Asosiy tarkibga o'tish
Symphony Validator (tools/symphony-validator) — mustaqil, deterministik, faqat oʻqish rejimida ishlaydigan C++26 repozitoriy tekshiruvchisi. U repozitoriy va uning shartnomalarining joriy holati haqida oʻzgarmas dalillar ishlab chiqaradi. U hech narsani taʼmirlay yoki nashr qila olmaydi.

Validator nimalarni tekshiradi

  • Shartnoma shakli: Contract Quad’ning talab qilinadigan langarlari va tuzilmasi
  • SKVI indekslagan yuzalar boʻylab joriy manba yopiqligi
  • knowledge/INVARIANTS.md va invariantlar reyestriga muvofiq invariant egaligi
  • SSFV hisobot bergan funksiya boshqaruvi kutilmalari
  • SODV hisobot bergan reliz yozuvlari
  • Repozitoriy README faylidagi mashinaga tegishli root xulosasi
Dalillar qator chiqishi yoki tuzilmaviy JSON sifatida chiqariladi. Har bir chiqish bir xil repozitoriy holatidan qayta tiklanadi.

Validator nima qilmaydi

Validator fayllarni taʼmirlay olmaydi, shartnomalarni qayta yoza olmaydi yoki repozitoriyni nashr qila olmaydi. U hech narsa haqida kanonik haqiqat yaratmaydi; u faqat hisobot beradi.
  • Repozitoriyga nojoʻya taʼsirlar yoʻq
  • Tarmoqqa kirish yoʻq
  • qxctl’ning himoyalangan ogohlantirish siyosatidan tashqarida ogohlantirishlarni bostirish yoʻq

qxctl integratsiyasi

qxctl himoyalangan ogohlantirish siyosatini qoʻllashdan oldin validatorning aniq kvitansiyasi va tuzilmaviy digest’larini tekshiradi. Toʻqqizta himoyalangan ogohlantirish hayot sikli qxctl buyruqlari hamda aniq, kvitansiyaga asoslangan root xulosasi marshruti xom detektor dalillarini oʻzgartirmasdan validatsiya boshqaruvini taqdim etadi.

Tegishli yuzalar

qxctl validate

Himoyalangan ogohlantirish siyosati, bazaviy holat va koʻrsatish grammatikasi.

SSFV

Validator tekshiradigan funksiya boshqaruvi kutilmalari.

SODV

Validator tekshiradigan reliz yozuvlari.

SKV umumiy koʻrinishi

Validator shartnomalarini tekshiradigan umumiy freymvork.
Oxirgi o'zgartirish 10-oktabr, 2026