Spec Growth Engine, AI kod hatalarını önlemek için önerdi
25 Haziran 2026'da sunulan bir makale, "sahiplik yolu" bağlamının kapsamını ve bir drift kapısının bağlam aşırılığını ve gizli sapmayı azaltabileceğini iddia ediyor.
Hartwig Grabowski'nin Spec Growth Engine önerisi, iki tekrarlayan AI destekli geliştirme sorununu hedef alıyor: “bağlam patlaması” ve “sessiz spesifikasyon-kod kayması.” Çerçevenin uygulama mekanizması, kodun makine tarafından okunabilir bir spesifikasyondan sapması durumunda birleştirmeleri engelleyen bir kayma kapısıdır.
Spec Growth Engine, Bağlam Patlaması ve Spec Drift için Bir Çözüm Öneriyor
AI kodlama ajanları çalışan özellikleri hızlı bir şekilde teslim edebilir, ancak Spec Growth Engine önerisi bu hızın daha sonra maliyetli hale gelen iki başarısızlık modunu gizlediğini savunuyor: “bağlam patlaması” ve “sessiz spesifikasyon-kod kayması.” Makale, 25 Haziran 2026'da Hartwig Grabowski tarafından sunulmuş olarak tanımlanıyor ve temel sorunu model zekasından ziyade kapsam yönetimi olarak çerçeveliyor.
İlk hata modu, bağlam patlamasıdır; burada, bir ajan tüm bir havuz üzerinde akıl yürütmeye zorlandıkça çıktı kalitesi düşer ve bağlam penceresi alakasız dosyalar, bağımlılıklar ve geçmişle dolup taşar.
İkincisi, sessiz spesifikasyon-kod kaymasıdır; burada, yinelemeli ajan odaklı değişiklikler devam ederken spesifikasyon sabit kalır ve bu durum, hatalar veya gerilemeler bir niyetin adli yeniden inşasını zorladığında yalnızca görünür hale gelen bir uyumsuzluk bırakır.
Kripto takımları için sunum, geliştirici ergonomisinden daha çok operasyonel riskle ilgilidir. Protokol kod tabanları, borsa arka uçları ve onchain otomasyon yığınları zaten sıkı değişiklik kontrolü kısıtlamaları altında yaşamaktadır. EğerYapay zeka ajanlarıuygulamayı sıkılaştırmadan değişimi hızlandırmak, başarısızlık modu "kötü kod" değil, izlenmeyendir.sapmagözden geçmeyi geçen ve sevk edilen.
Dört Mekanizma: Spec Graph, Spine Context, Hardest-First Slices ve Birleştirme Engelleyici Drift Gate
Spec Growth Engine, doğrudan iki başarısızlık moduna karşılık gelen dört birbiriyle bağlantılı mekanizma olarak tanımlanmaktadır. Makine tarafından okunabilir bir spesifikasyon grafiği ile başlar; bu, araçların ayrıştırabileceği ve kontrol edebileceği yapılandırılmış bir spesifikasyon formatıdır.
Teklifte, spesifikasyon düğümleri “sözleşme” (bir bileşenin vaat ettikleri) ile “tasarım” (bunu nasıl yaptığı) arasında ayrım yapar, böylece gözden geçirenler ve ajanlar niyet ile uygulama arasında daha net bir referansa sahip olurlar.
Bağlam patlamasını ele almak içinçerçeve, bir ajanın çalışma bağlamını tüm depo yerine belirli bir “sahiplik yolu” ile sınırlayan bir “Omurga” bağlam toplayıcısı tanıtmaktadır. Sahiplik yolu burada sınır kavramıdır: bir bileşen veya ekip sınırı ile ilişkili tanımlı bir kod tabanı dilimi, ajanın isteminin gerçekten dokunması gereken şeylere odaklanmasını sağlamak amacıyla.
Dikey dilim büyüme protokolü, sıralama katmanıdır. Geliştirme görevlerinin “en zor olanı önce” sıralamasını zorunlu kılarak, en mimari tanımlayıcı çalışmaları ön plana çıkarır; böylece ajanların kolay yüzey alanında çalışıp zor kararları sona bırakmalarına izin verilmez, bu da yeniden çalışma maliyetinin arttığı bir durumdur.
Zorunluluk kaldıracı, kayma kapısıdır. Spesifikasyon-kod ayrışmasını birleştirme engelleyici bir koşul haline getirir; bu, uyumsuz kodun ana dalda yer alamayacağı anlamına gelir, ta ki uyumsuzluk çözülene kadar. Mekanik olarak, bu “spesifikasyonları güncel tutmaya çalışıyoruz” ile “pipeline kaymayı göndermeyi reddediyor” arasındaki farktır.
Makale, bunu yeni bir ağır metodoloji yerine hafif bir sentez olarak konumlandırmakta ve Parnas’ın bilgi gizleme, C4 mimari modeli, Mimari Karar Kayıtları (ADR'ler), Yürüyen İskelet deseni, Reflexion Modelleri ve Fitness Fonksiyonları gibi yerleşik yazılım mühendisliği fikirlerinden açıkça ödünç almaktadır.
Ayrıca, RUP (Rasyonel Birleşik Süreç) ve MDA (Model Tabanlı Mimari) gibi ağır çerçevelerle ilişkili olan yükten kaçınmayı açıkça çerçevelendirmektedir.
Benimseme Sinyalları ve En Büyük Kanıt Boşluğu: Henüz Hiçbir Karşılaştırma Yok
Kısa vadeli soru, bileşenlerin okunabilir olup olmadığı değil, okunabilir olduklarıdır. Soru, ekiplerin “makine tarafından okunabilir spesifikasyonu” başka bir bayat nesne haline getirmeden bunları operasyonel hale getirip getiremeyecekleridir ve kayma kapısının gerçek ayrışmayı engelleyecek kadar hassas hale getirilip getirilemeyeceğidir.
Kanıt boşluğu açıktır: paket, herhangi bir ampirik sonuç, karşılaştırma, benimseme verisi veya gerçek dünya dağıtım sonuçları içermemektedir. Ayrıca doğrudan birbağlantıtemel makaleye, sunulduğu yere veya 25 Haziran 2026'da "gönderildi" iddiasının ötesinde herhangi bir hakem değerlendirme durumu.
Bu, sonraki sinyalleri alışılmadık şekilde somut hale getiriyor. Kağıda ve mekâna ait bir kamu bağlantısı, en azından geliştiricilerin tanımları, varsayımları ve herhangi bir değerlendirme metodolojisini incelemesine olanak tanıyacaktır.
Bunun ardından, ilk anlamlı doğrulama, uygulamada spec-code ayrışmasını yakalayan drift gate'i veya büyük havuzlarda bağlam patlamasını azaltan Spine bağlam toplayıcısını gösteren yayımlanmış kıyaslamalar veya vaka çalışmaları olacaktır.
Benimseme hikayesi muhtemelen tweetlerden ziyade araçlarla ilgili olacak: makine tarafından okunabilir bir spesifikasyon grafi için açık kaynaklı uygulamalar ve yaygın CI iş akışlarına entegre olan birleştirme engelleyici kayma kontrolleri. Eğer bu, bir referans uygulaması olmadan kavramsal bir çerçeve olarak kalırsa, mühendislik temelinden çok bir süreç denemesi gibi okunacaktır.
Benim görüşüm: Birleştirme engelleyici spesifikasyon kontrolleri gerçek uygulama aracıdır—eğer takımlar spesifikasyonları canlı tutabilirse.
Önemli olan eşik, drift kapısının hem katı hem de düşük gürültülü hale getirilip getirilemeyeceğidir, çünkü bu, aslında son tarih baskısı altında davranış değişikliğini zorlayan tek parçadır. Bir sahiplik yolu aracılığıyla kapsamlı bağlam, bağlam patlamasına mantıklı bir yanıt olsa da, pipeline'ın ajanın görebileceği ve dokunabileceği şeyleri zorunlu kılmadığı sürece hâlâ bir konvansiyondur.
Bu çerçevenin temel iddiası, AI kodlama güvenilirliğinin daha çok kapsam kontrolü ve uygulama ile ilgili olduğu, daha akıllı modellerden ziyade olduğu yönündedir. Ekipler, spesifikasyon grafiğini drift kapısının güvenilir olabilmesi için yeterince güncel tutabilirse, kurulum bir belge ritüeli yerine operasyonel bir kontrol gibi görünmeye başlar.
