tools/symphony-validator) è un verificatore di repository C++26 indipendente, deterministico e in sola lettura. Produce evidenze immutabili sullo stato attuale del repository e dei suoi contratti. Non può riparare né pubblicare nulla.
Cosa verifica il validator
- Forma dei contratti: ancore e struttura obbligatorie del Contract Quad
- Chiusura corrente delle sorgenti attraverso le superfici indicizzate da SKVI
- Proprietà degli invarianti secondo
knowledge/INVARIANTS.mde il registro degli invarianti - Aspettative di amministrazione delle funzionalità riportate da SSFV
- Record delle release riportati da SODV
- Il riepilogo radice gestito automaticamente nel README del repository
Cosa non fa il validator
- Nessun effetto collaterale sul repository
- Nessun accesso alla rete
- Nessuna soppressione degli avvisi al di fuori della policy protetta degli avvisi di qxctl
Integrazione con qxctl
qxctl valida l’esatta ricevuta e i digest strutturati del validator prima di applicare la policy protetta degli avvisi. Nove comandi foglia qxctl protetti per il ciclo di vita degli avvisi, più l’esatta route del riepilogo radice supportata dalla ricevuta, espongono l’amministrazione della validazione senza alterare le evidenze grezze dei rilevatori.Superfici correlate
qxctl validate
Grammatica della policy protetta degli avvisi, della baseline e della visualizzazione.
SSFV
Aspettative di amministrazione delle funzionalità verificate dal validator.
SODV
Record delle release ispezionati dal validator.
Panoramica di SKV
Il framework ombrello i cui contratti vengono verificati dal validator.