« Tüm yayınlar

Evidence Graph: AI ajanlarının atladığı gereksinimleri derleme hatasına çevirir

Evidence Graph, @ttsc/lint eklentisiyle AI ajanlarının atladığı spesifikasyon gereksinimlerini derleme hatasına çevirerek kod-test-belge izlenebilirliği sağlıyor.

Evidence Graph, @ttsc/lint üzerinde çalışan yeni bir lint eklentisi (@samchon/lint-plugin-evidence) ile spesifikasyon belgeleri, kod ve testler arasında zorunlu bir izlenebilirlik katmanı kuruyor. Amaç net: Claude Code veya Codex gibi ajanlar denetimsiz çalışırken bir gereksinimi atlayıp yine de "tamamlandı" diyebiliyor; bu araç böyle bir sessiz atlamayı derleme zamanında yakalıyor.

Sistem, lint.config.ts içinde tanımlanan "claims" (iddia) grafiği üzerinden çalışıyor: örneğin src altındaki React bileşenleri docs altındaki H2/H3 başlıklarını @evidence yorumuyla açıkça referans göstermek zorunda. Referans eksikse ttsc derlemesi TS16411 hatasıyla durur ve hangi belge bölümünün karşılıksız kaldığını satır satır gösterir. Bilinçli olarak atlanan durumlar için @evidenceExclude ile gerekçe belirtmek mümkün.

Grafik markdown, typescript ve swagger tiplerini birbirine bağlayabiliyor; belgeler gereksinimlere, bileşenler belgelere, testler hem belgelere hem bileşenlere atıfta bulunacak şekilde çok katmanlı zincirler kurulabiliyor. Sembol seçicileri (function, property, type, h1-h4, swagger operasyonları) hangi kod veya belge biriminin kanıt taşıyabileceğini kısıtlıyor.

Mühendisler için asıl değer, bu kontrolün ayrı bir CI adımı değil, mevcut tip kontrolü akışının (ttsc, --noEmit, ttsx) doğal bir parçası olması. Bu da AI destekli "goal mode" geliştirmede spesifikasyon uyumunu, gözden kaçabilecek bir inceleme adımından çıkarıp derleyici garantisine dönüştürüyor.

Bu sentez, kaynağından yapay zeka tarafından üretildi; insan editör ya da elle onay adımı yoktur. Nasıl çalışıyoruz