Przejdź do głównej treści
Symphony Validator (tools/symphony-validator) to niezależne, deterministyczne narzędzie C++26 do sprawdzania repozytorium w trybie tylko do odczytu. Tworzy niezmienne dowody dotyczące bieżącego stanu repozytorium i jego kontraktów. Nie może niczego naprawiać ani publikować.

Co sprawdza walidator

  • Kształt kontraktu: wymagane kotwice i strukturę Contract Quad
  • Bieżące domknięcie źródeł w powierzchniach zindeksowanych przez SKVI
  • Własność niezmienników zgodnie z knowledge/INVARIANTS.md i rejestrem niezmienników
  • Oczekiwania dotyczące administracji funkcjami raportowane przez SSFV
  • Rekordy wydań raportowane przez SODV
  • Zarządzane maszynowo podsumowanie główne w pliku README repozytorium
Dowody są emitowane jako dane wyjściowe w formie wierszy lub ustrukturyzowany JSON. Każda emisja jest odtwarzalna z tego samego stanu repozytorium.

Czego walidator nie robi

Walidator nie może naprawiać plików, przepisywać kontraktów ani publikować repozytorium. Nie tworzy kanonicznej prawdy o niczym; jedynie ją raportuje.
  • Brak efektów ubocznych w repozytorium
  • Brak dostępu do sieci
  • Brak wyciszania ostrzeżeń poza chronioną polityką ostrzeżeń qxctl

Integracja z qxctl

qxctl waliduje dokładne potwierdzenie walidatora i ustrukturyzowane skróty przed zastosowaniem chronionej polityki ostrzeżeń. Dziewięć chronionych liści qxctl dotyczących cyklu życia ostrzeżeń oraz dokładna, oparta na potwierdzeniu trasa podsumowania głównego udostępniają administrację walidacją bez zmieniania surowych dowodów detektora.

Powiązane powierzchnie

qxctl validate

Gramatyka chronionej polityki ostrzeżeń, linii bazowej i wyświetlania.

SSFV

Oczekiwania dotyczące administracji funkcjami sprawdzane przez walidator.

SODV

Rekordy wydań sprawdzane przez walidator.

Przegląd SKV

Nadrzędna struktura, której kontrakty sprawdza walidator.
Ostatnia modyfikacja 10 października 2026