tools/symphony-validator) adalah pemeriksa repositori C++26 yang independen, deterministik, dan baca-saja. Validator ini menghasilkan bukti yang tidak dapat diubah tentang status repositori dan kontraknya saat ini. Validator tidak dapat memperbaiki atau menerbitkan apa pun.
Apa yang diperiksa validator
- Bentuk kontrak: jangkar dan struktur Contract Quad yang diwajibkan
- Penutupan sumber saat ini di seluruh permukaan yang diindeks SKVI
- Kepemilikan invarian sesuai
knowledge/INVARIANTS.mddan registri invarian - Ekspektasi administrasi fitur yang dilaporkan oleh SSFV
- Catatan rilis yang dilaporkan oleh SODV
- Ringkasan root milik mesin di README repositori
Apa yang tidak dilakukan validator
- Tidak ada efek samping pada repositori
- Tidak ada akses jaringan
- Tidak ada penekanan peringatan di luar kebijakan peringatan yang dilindungi milik qxctl
Integrasi qxctl
qxctl memvalidasi tanda terima eksak dan digest terstruktur validator sebelum menerapkan kebijakan peringatan yang dilindungi. Sembilan leaf qxctl siklus hidup peringatan yang dilindungi, ditambah rute ringkasan root eksak yang didukung tanda terima, mengekspos administrasi validasi tanpa mengubah bukti detektor mentah.Permukaan terkait
qxctl validate
Tata bahasa kebijakan peringatan yang dilindungi, baseline, dan tampilan.
SSFV
Ekspektasi administrasi fitur yang diperiksa oleh validator.
SODV
Catatan rilis yang diinspeksi oleh validator.
Ikhtisar SKV
Kerangka payung yang kontraknya diperiksa oleh validator.