tools/symphony-validator) — це незалежний, детермінований засіб перевірки репозиторію на C++26, що працює лише на читання. Він формує незмінні докази щодо поточного стану репозиторію та його контрактів. Він не може нічого виправляти чи публікувати.
Що перевіряє валідатор
- Форму контрактів: обов’язкові якорі та структуру Contract Quad
- Поточне замикання джерел у поверхнях, індексованих SKVI
- Володіння інваріантами згідно з
knowledge/INVARIANTS.mdі реєстром інваріантів - Очікування щодо адміністрування функцій, які повідомляє SSFV
- Записи випусків, які повідомляє SODV
- Кореневий підсумок, яким володіє машина, у README репозиторію
Чого валідатор не робить
- Жодних побічних ефектів у репозиторії
- Жодного доступу до мережі
- Жодного приглушення попереджень поза захищеною політикою попереджень qxctl
Інтеграція з qxctl
qxctl валідує точну квитанцію валідатора та структуровані дайджести, перш ніж застосовувати захищену політику попереджень. Дев’ять захищених листових команд qxctl для життєвого циклу попереджень, а також точний маршрут кореневого підсумку, підкріплений квитанцією, надають адміністрування валідації без зміни сирих доказів детектора.Пов’язані поверхні
qxctl validate
Граматика захищеної політики попереджень, базової лінії та відображення.
SSFV
Очікування щодо адміністрування функцій, які перевіряє валідатор.
SODV
Записи випусків, які інспектує валідатор.
Огляд SKV
Загальна структура, контракти якої перевіряє валідатор.