tools/symphony-validator) egy független, determinisztikus, csak olvasó C++26 tárolóellenőrző. Megváltoztathatatlan bizonyítékot állít elő a tároló és szerződései jelenlegi állapotáról. Semmit nem tud javítani vagy közzétenni.
Amit a validátor ellenőriz
- A szerződések alakja: a Contract Quad kötelező horgonyai és szerkezete
- Az aktuális forrászártság az SKVI által indexelt felületeken
- Az invariánsok tulajdonlása a
knowledge/INVARIANTS.mdés az invariánsnyilvántartás szerint - Az SSFV által jelentett funkcióadminisztrációs elvárások
- Az SODV által jelentett kiadási rekordok
- A tároló README-fájljában található, gép által kezelt gyökérösszefoglaló
Amit a validátor nem végez
- Nincs mellékhatása a tárolóra
- Nincs hálózati hozzáférése
- Nem nyom el figyelmeztetéseket a qxctl védett figyelmeztetési szabályzatán kívül
qxctl-integráció
A qxctl validálja a validátor pontos nyugtáját és strukturált kivonatait, mielőtt a védett figyelmeztetési szabályzatot alkalmazná. Kilenc védett, figyelmeztetési életciklushoz tartozó qxctl-levélparancs, valamint a pontos, nyugtával alátámasztott gyökérösszefoglaló-útvonal teszi elérhetővé a validálási adminisztrációt anélkül, hogy a nyers detektorbizonyítékot módosítaná.Kapcsolódó felületek
qxctl validate
A védett figyelmeztetési szabályzat, az alapállapot és a megjelenítés nyelvtana.
SSFV
A validátor által ellenőrzött funkcióadminisztrációs elvárások.
SODV
A validátor által vizsgált kiadási rekordok.
SKV áttekintés
Az átfogó keretrendszer, amelynek szerződéseit a validátor ellenőrzi.