tools/symphony-validator), bağımsız, deterministik ve salt okunur bir C++26 depo denetleyicisidir. Deponun ve sözleşmelerinin mevcut durumu hakkında değiştirilemez kanıt üretir. Hiçbir şeyi onaramaz veya yayımlayamaz.
Doğrulayıcının kontrol ettikleri
- Sözleşme biçimi: gerekli Contract Quad bağlantı noktaları ve yapısı
- SKVI tarafından dizinlenen yüzeyler genelinde mevcut kaynak kapanışı
knowledge/INVARIANTS.mdve değişmez kayıt defterine göre değişmez sahipliği- SSFV tarafından raporlanan özellik yönetimi beklentileri
- SODV tarafından raporlanan sürüm kayıtları
- Depo README dosyasındaki makineye ait kök özet
Doğrulayıcının yapmadıkları
- Depo üzerinde yan etki yok
- Ağ erişimi yok
- qxctl’in korumalı uyarı politikası dışında uyarı bastırma yok
qxctl entegrasyonu
qxctl, korumalı uyarı politikasını uygulamadan önce doğrulayıcının kesin makbuzunu ve yapılandırılmış özetlerini doğrular. Korumalı uyarı yaşam döngüsüne ait dokuz qxctl yaprak komutu ile makbuz destekli kesin kök özet rotası, ham algılayıcı kanıtını değiştirmeden doğrulama yönetimini sunar.İlgili yüzeyler
qxctl validate
Korumalı uyarı politikası, temel çizgi ve görüntüleme dil bilgisi.
SSFV
Doğrulayıcı tarafından kontrol edilen özellik yönetimi beklentileri.
SODV
Doğrulayıcının incelediği sürüm kayıtları.
SKV genel bakış
Sözleşmeleri doğrulayıcı tarafından kontrol edilen kapsayıcı çerçeve.