SpecScore
neyi doğrular.
SpecScore; özellikler, gereksinimler ve kabul kriterleri için açık bir Markdown formatıdır — iki doğrulayıcı tarafından denetlenir: deterministik birlinter ve bir yapay zeka inceleyicisi. İşte her birinin neyi yakaladığı ve otomatik incelemenin nerede durduğu.
SpecScore'da yeni misiniz? Buradan başlayın ·CLI ·Yapay Zeka Becerileri
$ specscore lint checkout/ ✓ 24 requirements — structure, references, IDs valid ✓ no index drift · no broken links · no slug collisions 0 problems exit 0
Bir değil, üç katman.
SpecScore, en ucuz ve en kesin olandan başlayarak katmanlar halinde doğrular.Linter deterministiktir — hızlıdır, ücretsizdir, her commit'te çalışır.Yapay zeka incelemesi olasılıksaldır — daha derindir, token tüketir, linter'ın erişemediği şeyleri yakalar. İnsan muhakemesi üçüncü katmandır: ilk iki katmanın kapatamadığı dikiş yerleri hala bir insana ihtiyaç duyar — bugün hiçbir araç bunları güvenilir biçimde kapatamaz. İki otomatik katman birbirinin tamamlayıcısıdır, tekrarlayıcısı değil: linter yapay zekanın koruyamayacağı şeyleri yakalar; yapay zeka ise linter'ın ulaşamayacağı şeyleri yakalar.
Her doğrulayıcı neyi denetler.
Linter CLI
deterministikHer çalıştırmada aynı sonuç, LLM yok, maliyet yok. Burada geçiyorsa, bu bir fikir değil gerçektir.
$ specscore spec lint features/apply-discount/README.md:0 [error] oq-section: Open Questions section not found features/apply-discount/README.md:0 [error] index-entries: Child directory not listed in index: refunds features/apply-discount/refunds:0 [error] readme-exists: README.md not found 3 violations found (3 errors) # exit code 1
- Referans bütünlüğü — bağlantılar çözülür, ID'ler benzersizdir
- Yapısal kurallar — zorunlu bölümler, frontmatter biçimi
- Durum hijyeni ve indeks kayması
- Slug çakışmaları
- Meta veri alanlarındaki öneklerin geçerliliği (örn.
Related Ideas:)
Yapay zeka ile inceleme ve puanlama
deterministik olmayanİnsan bir incelemecinin yapacağı gibi anlam arayarak okur — ve bir insan gibi tamamen tekrarlanabilir değildir.
> /score apply-discount.md Grade: B — ready with edits AC-2 vague trigger — name the actor and event AC-3 no error path for an expired code prose reads clean; criteria need tightening
- Doğrulanabilir Given/When/Then olarak yazılmış kabul kriterleri (AC'ler)
- Bir yapı taşı içinde içsel tutarlılık
- Belirsiz veya dolgu içerikler
- İnsan bir incelemeci için okunabilirlik
- Önem derecesiyle birlikte yazar için eyleme geçirilebilir geri bildirim
- A'dan F'ye kadar bir olgunluk notu
Neyi yakalayamazlar.
Hiçbir doğrulayıcı sihirli değildir. İşte her birinin durduğu yer — böylece kendi muhakemenizin hala nerede devreye girmesi gerektiğini tam olarak bilirsiniz.
Linter CLI
- Derin hiyerarşiler boyunca örtük çelişkiler
- Spesifikasyon ile kod arasındaki kayma (
specstudio:recapgeldiğinde iyileşecek) - Kabul kriterlerinin anlamsal doğruluğu
- Bir ismin gerçekten mantıklı olup olmadığı
- Gereksinimlerin ortaya konan sorunu çözüp çözmediği
Yapay zeka ile inceleme ve puanlama
tutarsız bir şekilde yakalar- Çalıştırmalar arasında tam tekrarlanabilirlik — kararlar belirli bir aralıkta değişebilir
- Açık çapraz kontroller olmadan büyük bir ağaçta yapı taşları arasındaki çelişkiler
- Gereksinimlerin sorunu gerçekten çözüp çözmediği — bariz boşlukları işaretler, alana özgü ayrıntıları atlar
- Alttaki LLM'den miras kalan önyargılar
- Mutlak kesinlikle anlamsal doğruluk
- Değerlendirme kılavuzunun (rubric) ağırlıklandırmadığı herhangi bir şey
- 1
Linter buraya kadar ulaşır
Yapı, referanslar, hijyen. Ucuz ve güvenli — ama anlama karşı kördür.
- 2
Yapay zeka buraya kadar ulaşır
Anlam, netlik, yapı taşı içinde tutarlılık. Daha derin — ama olasılıksal ve büyük bir ağaçta zayıf.
- 3
Hala size bağlıdır
Tüm sistem genelindeki çapraz muhakeme — bugün hiçbir aracın güvenilir şekilde yapamayacağı bir iş, bu yüzden hala bir insan incelemeci gerektirir.
Hiçbir aracın sizi kurtaramayacağı durum
Gerçek ve derin bir spesifikasyon ağacı hayal edin. Feature A, X gerektirir. Feature B, Y gerektirir. Feature C, Z gerektirir. Ardından Feature D, sessizce B ile çelişen bir şey gerektirir — ancak yalnızca A da aktif olduğunda. Linter dört geçerli ve iyi bağlanmış belge görür ve geçer. Yapı taşlarını tek tek okuyan yapay zeka inceleyicisinin dördünü birden yüklemek ve bu üç yönlü etkileşimi fark etmek için hiçbir nedeni yoktur.
İki katman da bunu güvenilir bir şekilde yakalayamaz — ve aksini iddia etmeyeceğiz.Tam olarak bu tür bir çelişki, üçüncü katmanın var olma nedenidir. SpecScore'un görevi, dikiş yerlerini inceleyen bir insanın çatışmayı bulabilmesi için ağacı yeterince gezilebilir kılmaktır — açık sorular hiyerarşide yukarı çıkar, ilgili gereksinimler bir sorgu uzaklığındadır — bir aracın bunu zaten bulduğunu iddia etmek değildir.