Spec Forge: Kodlama Öncesi Spesifikasyonları Adversarial Şekilde Sertifikalar

Spec Forge, bir spesifikasyonun 'davranışsal olarak tam' sayılabilmesi için, belirlenen bir gözlem alfabesi (Σ) altında onu karşılayan her uygulamanın birbirinden ayırt edilemez olmasını şart koyan bir Claude Code eklentisi. İnsan onayına dayanan klasik gözden geçirme yerine, aynı spesifikasyonu karşılayıp gözlemlenebilir davranışta birbirinden ayrılan iki uygulama üretmeye çalışan 'tanık' aramaları çalıştırır; her ayrışma somut bir boşluğa, onaylanmış bir karara ve nihayetinde kabul test paketindeki bir test senaryosuna dönüşür.

Araç kendi sınırlarını açıkça kabul ediyor: tam tamlık kontrolü genel olarak karar verilemez olduğundan, kanıt yerine istatistiksel bir sertifika üretir; bu sertifika evrensel bir iddia değil, belirli bir ajan sınıfı ve araç zincirine (toolchain) göre kapsam belirler. Kabul kriteri de mekaniktir: kodlama ajanının soru sayısı ve kaynak göstermeden aldığı karar sayısı ikisi de sıfır olmalı — 'bir insan okudu ve beğendi' türü öznel onayın yerini alır.

Σ'yı tanımlamaktan başlayıp spesifikasyonu maddelere ayırma, ontoloji ızgarası kurma, belirsizlik ve çelişki avı, kararları onaylama, her maddeyi bir uygulama mekanizmasına yönlendirme ve son olarak inşa aşamasına kadar süren altı fazlı hattın tamamı Python tabanlı bir CLI ve alt ajanlara devredilemeyen Workflow script'leriyle yürütülür. Transkript tabanlı körlük denetimi, kanarya hedefleme doğrulaması ve atıf denetimi gibi sıkı kapılar ajanın süreci sessizce atlatmasını önler. Gerçek bir 9 maddelik spesifikasyonda tüm süreç, yaklaşık 90 ajan çağrısı ve 2,5 milyon token'a mal olmuş — spesifikasyon titizliğini LLM maliyetine karşı tartan mühendisler için somut bir referans noktası.