proofline
EN

Kanıt yoksa iddia yok.

Proofline, her iddianın kaynağıyla geldiği bir agent ve skill workflow'udur.

Kaynak Proofline kanıt kuralları

Nasıl çalıştığını gör

Bir görevin yolu

Sıradaki adımı model değil komut belirler. Her görev aynı sekiz aşamadan geçer.

Kaynak Lead temel kuralları

  1. 1. AlımGörev alınır
  2. 2. SınıflandırmaSınıf seçilir
  3. 3. DISCOVERKanıt toplanır
  4. 4. Tasarım ve planPlan yazılır
  5. 5. Onaylar ve dondurmaPlan dondurulur
  6. 6. UygulamaTek Implementer yazar
    Implement'tan sonra gate'ler çalışırSECRETSREVIEWQAVERIFYCODE_DONE
  7. 7. BilgiBilgi kaydedilir
  8. 8. Rapor, DONE, temizlikRapor ve temizlik

Her iddia kaynağıyla birlikte gelir

  • Her görev TRIVIAL, STANDARD, COMPLEX veya CRITICAL olarak sınıflandırılır. Herhangi bir göstergenin ulaştığı en yüksek sınıf geçerli olur.

    Kaynak Class kuralları

  • Freeze; görevin, kanıtın, planın ve QA planının özetini alır. Sonradan yapılan her değişiklik verify-freeze komutunu başarısız kılar.

    Kaynak Freeze kuralları

  • Her run'da tam olarak bir Implementer vardır. Reviewer'lar gate'te paralel çalışır.

    Kaynak Rol listesi

  • Bir görev CODE_DONE durumuna ancak gerekli her gate mevcut içerik için geçtiğinde ya da tamamen feragat edildiğinde ulaşır.

    Kaynak Gate ve tamamlama kuralları

  • Commit ve push için kullanıcının onayı gerekir ve git hook'larından geçer.

    Kaynak Gate ve tamamlama kuralları

Başka neler yapar

  • Ürün PRD'si sizinle birlikte yazılır; trace, bir gereksinimin veya görevin arkasındaki zinciri gösterir.

    Kaynak Lead komutları

  • Bir grup görev tek oturumda, tek tek ve her biri kendi worktree'sinde çalışır.

    Kaynak Gate ve tamamlama kuralları

  • Başarısız veya engellenmiş bir run yalnızca sizin onayınızla yeniden açılır; dondurulmuş plan korunur.

    Kaynak Gate ve tamamlama kuralları

  • Tek komut; Knowledge, commit, push, pull request, merge ve temizliği tek bir soruyla yapar.

    Kaynak Tek komutla teslim

  • Kırmızı bir CI kontrolü, size sormadan ayrı bir turda düzeltilir.

    Kaynak CI düzeltme turu

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

    Kaynak Lead komutları, Tek komutla teslim

  • Bir ürünün her yüzeyinin kendi tasarım belgesi ve ortak bir tabanı olabilir.

    Kaynak Komut yönlendirmesi

  • Implementer'lar her bilinçli kısayolu kodda işaretler; böylece borç olarak listelenebilir.

    Kaynak 7. Knowledge aşaması

İki tür kanıt var

Kaynak Proofline kanıt kuralları

reproduced

Kontrol çalıştırıldı ve sonuç gözlendi.

traced

Somut bir girdi, somut bir yol boyunca izlendi.

Daha derine

11 rol ve 28 skill