Docket yapay zeka tarafından yazılan kodlar için kanıt kaydı tutuyor
Öne çıkanlar
- Docket, yapay zeka ajanlarının kod yazarken denediği adımları ve test sonuçlarını taahhüt bazında kaydediyor.
- Oluşturulan kanıt kayıtları harici bir sunucuya gitmeden yerel Git deposu içinde imzalı olarak tutuluyor.
- Araç, Claude Code, Codex CLI ve opencode oturumlarını ayrıştırarak kod parçacıklarına kanıt yoğunluk puanı atıyor.
Yazılım geliştirme süreçlerinde kod üreten yapay zeka ajanlarının yaygınlaşması, inceleme süreçlerinde kodun doğrulanmasını zorlaştırıyor. Geliştiriciler yalnızca nihai diff çıktısını görüyor; modelin daha önce neleri denediğine, hangi testlerin çalıştırıldığına veya hangi satırların hiç incelenmediğine dair bir bağlama ulaşamıyor. Yeni geliştirilen açık kaynaklı Docket aracı, aracın oturum geçmişini işleyerek Git taahhütleri bazında kanıt kayıtları üretiyor.
Araç; Claude Code, Codex CLI ve opencode gibi ajanların transkriptlerini olay akışı olarak çözümlüyor. Yapılan her düzenlemeyi yeniden yürüterek dosyadaki değişiklik parçacıklarıyla eşleştiriyor. Docket; test sonuçlarını, tip denetimlerini ve test kapsamı raporlarını ilgili satır değişiklikleriyle doğrudan ilişkilendiriyor. Böylece her kod parçacığı için sıfır ile bir arasında değişen bir kanıt yoğunluğu puanı hesaplanıyor ve inceleme önceliği kanıtı bulunmayan satırlara veriliyor.
Sistem tamamen yerel çalışıyor; harici bir hesap, sunucu veya ağ bağlantısı gerektirmiyor. Kanıt kayıtları ilgili Git deposu içindeki bağımsız bir referansta tutuluyor ve yerel anahtarlarla kriptografik olarak imzalanıyor. Oturumlardan toplanan veriler otomatik bir karartma adımından geçirilerek özel anahtarlar ve kimlik bilgileri ayıklanıyor. Böylece tüm geliştirme günlüğü yerine yalnızca bağlamı açıklayan kısa ve filtrelenmiş kesitler saklanıyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.