proofline
EN

Nasıl çalışır

Aşağıdaki diyagramlar workflow dosyalarından çizilir; her düğüm geldiği aşamanın veya kuralın adını belirtir. Diğer özellikler diyagramlardan sonra gelir.

Bir görevin yolu

Bir görevin yoluProofline workflow'dan alınan diyagram bilgileri.1. Intake1. Intake aşaması2. Classification2. Classification aşaması3. DISCOVER3. DISCOVER aşaması4. Design and plan4. Tasarım ve plan5. Approvals and freeze5. Onaylar ve freeze6. Implement6. Implement aşaması7. Knowledge7. Knowledge aşaması8. Report, DONE, cleanup8. Rapor ve cleanup
Bir görevin yolu

Kaynak Lifecycle aşamaları

Proofline workflow'dan alınan diyagram bilgileri.
  1. 1. Intake

    Kaynak 1. Intake aşaması

  2. 2. Classification

    Kaynak 2. Classification aşaması

  3. 3. DISCOVER

    Kaynak 3. DISCOVER aşaması

  4. 4. Design and plan

    Kaynak 4. Tasarım ve plan

  5. 5. Approvals and freeze

    Kaynak 5. Onaylar ve freeze

  6. 6. Implement

    Kaynak 6. Implement aşaması

  7. 7. Knowledge

    Kaynak 7. Knowledge aşaması

  8. 8. Report, DONE, cleanup

    Kaynak 8. Rapor ve cleanup

Roller ve gate'ler

Roller ve gate'lerProofline workflow'dan alınan diyagram bilgileri.gate SECRETSGate listesiscript agent.sh secret-scan <ID>Gate listesigate REVIEW_SMALLGate listesirole reviewerGate listesigate REVIEW_PLANGate listesirole reviewerGate listesigate REVIEW_RULESGate listesirole reviewerGate listesigate REVIEW_TESTSGate listesirole reviewerGate listesigate REVIEW_DATAGate listesirole reviewerGate listesigate SECURITYGate listesirole security-reviewerGate listesigate QAGate listesirole qaGate listesigate VERIFYGate listesirole verifierGate listesigate VERIFYGate listesiscript the verifier reads reviews/visual-proof/report.json, which the QA visual focus producesGate listesi
Roller ve gate'ler

Kaynak Gate listesi

Proofline workflow'dan alınan diyagram bilgileri.
  • SECRETS → agent.sh secret-scan <ID>

    Kaynak Gate listesi

  • REVIEW_SMALL → reviewer

    Kaynak Gate listesi

  • REVIEW_PLAN → reviewer

    Kaynak Gate listesi

  • REVIEW_RULES → reviewer

    Kaynak Gate listesi

  • REVIEW_TESTS → reviewer

    Kaynak Gate listesi

  • REVIEW_DATA → reviewer

    Kaynak Gate listesi

  • SECURITY → security-reviewer

    Kaynak Gate listesi

  • QA → qa

    Kaynak Gate listesi

  • VERIFY → verifier

    Kaynak Gate listesi

  • VERIFY → the verifier reads reviews/visual-proof/report.json, which the QA visual focus produces

    Kaynak Gate listesi

Dört sınıf, dört akış

TRIVIAL

All of: ≤ 2 scope paths (script-enforced), text or configuration only (no executable code or tests in scope, script-enforced, A115), no behaviour change, no design choice, no contract, persistence, security or concurrency involvement

Kaynak Class kuralları

TRIVIALClass kurallarıautonomousAutonomy politikasıevidence: noTRIVIAL pipeline kurallarıqa: noTRIVIAL pipeline kuralları
TRIVIAL

Kaynak Class kuralları

  1. TRIVIAL

    Kaynak Class kuralları

  2. autonomous

    Kaynak Autonomy politikası

  3. evidence: no

    Kaynak TRIVIAL pipeline kuralları

  4. qa: no

    Kaynak TRIVIAL pipeline kuralları

  5. review: no

    Kaynak TRIVIAL pipeline kuralları

  6. architect: no

    Kaynak TRIVIAL pipeline kuralları

  7. max_explorers: 0

    Kaynak TRIVIAL pipeline kuralları

  8. max_scope_paths: 2

    Kaynak TRIVIAL pipeline kuralları

STANDARD

Bounded behaviour change in one component; no new integration, persistence or security boundary

Kaynak Class kuralları

STANDARDClass kurallarıautonomousAutonomy politikasıevidence: yesSTANDARD pipeline kurallarıqa: yesSTANDARD pipeline kuralları
STANDARD

Kaynak Class kuralları

  1. STANDARD

    Kaynak Class kuralları

  2. autonomous

    Kaynak Autonomy politikası

  3. evidence: yes

    Kaynak STANDARD pipeline kuralları

  4. qa: yes

    Kaynak STANDARD pipeline kuralları

  5. review: optional

    Kaynak STANDARD pipeline kuralları

  6. architect: no

    Kaynak STANDARD pipeline kuralları

  7. max_explorers: 1

    Kaynak STANDARD pipeline kuralları

COMPLEX

≥ 2 modules; new integration or dependency; public contract change; persistence or schema change; meaningful concurrency; a design choice with real tradeoffs

Kaynak Class kuralları

COMPLEXClass kurallarısupervisedAutonomy politikasıevidence: yesCOMPLEX pipeline kurallarıqa: yesCOMPLEX pipeline kuralları
COMPLEX

Kaynak Class kuralları

  1. COMPLEX

    Kaynak Class kuralları

  2. supervised

    Kaynak Autonomy politikası

  3. evidence: yes

    Kaynak COMPLEX pipeline kuralları

  4. qa: yes

    Kaynak COMPLEX pipeline kuralları

  5. review: yes

    Kaynak COMPLEX pipeline kuralları

  6. architect: yes

    Kaynak COMPLEX pipeline kuralları

  7. max_explorers: 2

    Kaynak COMPLEX pipeline kuralları

CRITICAL

Auth, authorization, cryptography, secrets, any security boundary; destructive or irreversible migration; financial or data-integrity-critical behaviour; high-impact CI, deploy or infrastructure

Kaynak Class kuralları

CRITICALClass kurallarısupervisedAutonomy politikasıevidence: yesCRITICAL pipeline kurallarıqa: yesCRITICAL pipeline kuralları
CRITICAL

Kaynak Class kuralları

  1. CRITICAL

    Kaynak Class kuralları

  2. supervised

    Kaynak Autonomy politikası

  3. evidence: yes

    Kaynak CRITICAL pipeline kuralları

  4. qa: yes

    Kaynak CRITICAL pipeline kuralları

  5. review: yes

    Kaynak CRITICAL pipeline kuralları

  6. architect: yes

    Kaynak CRITICAL pipeline kuralları

  7. max_explorers: 3

    Kaynak CRITICAL pipeline kuralları

Yaşam döngüsündeki diğer özellikler

  • Bir ürün, task run başlamadan önce ana oturumda sizinle keşfedilir ve değerlendirilir.

    Kaynak Lead komutları

  • Bir ürün PRD'si sizinle yazılır ve onayınızdan önce review edilir.

    Kaynak Lead komutları

  • Bir ürünün her yüzeyi için ayrı bir tasarım belgesi ve ortak bir temel olabilir.

    Kaynak Komut yönlendirmesi

  • Bir task batch'i tek oturumda, her task kendi worktree'sinde, sırayla çalışır.

    Kaynak Gate ve tamamlama kuralları

  • Başarısız veya bloke run yalnızca onayınızla yeniden açılır; donmuş plan korunur.

    Kaynak Gate ve tamamlama kuralları

  • Implementer'lar bilinçli kısayolları kodda işaretler; bunlar debt olarak listelenir.

    Kaynak 7. Knowledge aşaması

  • Tek komut, tek soruyla Knowledge, commit, push, pull request, merge ve cleanup yapar.

    Kaynak Tek komutla teslim

  • Kırmızı CI check, size sorulmadan ayrı bir fix round içinde düzeltilir.

    Kaynak CI düzeltme turu

  • GitHub, GitLab ve Azure DevOps desteklenir; CI yoksa merge öncesi build ve test yerelde çalışır.

    Kaynak Lead komutları, Tek komutla teslim

  • Sonuçlar kaydedilip kontrol edilir; trace bir gereksinimin veya task'ın arkasındaki zinciri gösterir.

    Kaynak Lead komutları

Claude Code ve Codex ile çalışır

Proofline, Claude Code ve Codex ile çalışır. Codex, Implementer rolünde desteklenir.

Kaynak Runtime rol seçimi

Gerçek kullanımda görüldü: Codex limiti dolduğunda Claude devraldı.