Rust, agent destekli geliştirme için güçlü ama affetmeyen bir ortamdır. Kodun sözdizimsel olarak ikna edici görünmesi; borrow checker, trait çözümleme, feature kombinasyonları ve workspace kuralları karşısında geçerli olduğu anlamına gelmez. Bu nedenle agentın değerlendirme döngüsü, yalnız metin analizine değil derleyici ve dil sunucusu çıktısına dayanmalıdır.
Araç sonuçları tipli ve sınırlı olmalı
Derleme hatası, bulunamayan crate veya erişilemeyen belge olağan alan sonuçlarıdır; protokol arızası değildir. Bunları yapılandırılmış sonuçlar olarak döndürmek, agentın bir sonraki adımı deterministik seçmesini sağlar. Buna karşılık geçersiz girdi, yetki ihlali veya kaynak tükenmesi gerçek araç hatası olarak ayrılmalıdır.
Cargo kapısı tek bir komut değildir
Bir workspace için check, Clippy, test ve docs farklı riskleri yakalar. Ancak agentın sınırsız komut çalıştırmasına izin vermek doğru çözüm değildir. Süre, çıktı boyutu, çalışma kökü ve cache politikası baştan belirlenmeli; her süreç aynı yetki sınırında yürütülmelidir. AGZ Rust Coder bu adımları tek bir sınırlı doğrulama yüzeyinde toplar.
- Cargo işlemleri için sert son süre uygula.
- Alt süreç çıktısını belirli bir bayt sınırında tut.
- Çalışma ve bağımlılık köklerini kanonikleştir.
- Beklenen derleyici başarısızlığını tipli sonuç olarak döndür.
Rust Analyzer değişikliğin bağlamını verir
Derleyici son kararı verir; Rust Analyzer ise agentın değişiklik yapmadan önce sembolün tanımını, referanslarını, uygulamalarını ve çağrı ilişkilerini anlamasını sağlar. Bu iki yüzey birlikte kullanıldığında agent yalnız hata mesajını düzeltmez, değişikliğin workspace üzerindeki etkisini de görebilir.
Yazmayan refactor daha güvenli bir ara katmandır
Bir MCP aracının kaynak dosyayı doğrudan değiştirmesi, geri alma ve inceleme sınırlarını belirsizleştirir. Bunun yerine yeniden adlandırma veya refactor sonucu doğrulanmış bir düzenleme paketi olarak döndürülebilir. Uygulama kararı istemcide kalır; agent diff’i görebilir, kullanıcı onayı eklenebilir ve dosya sistemi değişikliği ayrı bir politika katmanına bağlanır.
Compiler-grounded yaklaşımın özü, agentı daha özgür bırakmak değil; her iddiasını çalışma alanının gerçek araçlarıyla sınamaya zorlamaktır.
