Przejdź do głównej treści
Symphony Knowledge Vector Index (SKVI) to silnik mapujący bieżącą kanoniczną prawdę we wszystkich powierzchniach SKV. Jest to niezależnie instalowalny proces C++, który działa deterministycznie, wyłącznie w trybie odczytu i nie może decydować o członkostwie ani zapisywać plików kanonicznych.

Co robi SKVI

SKVI wykonuje trzy ograniczone operacje:
  • Inspect i check: weryfikują, czy każda wymagana powierzchnia zadeklarowana w manifeście jest zindeksowana dokładnie raz, ze stabilnym właścicielem, rolą prawdy, relacjami, konsumentami i kwalifikowalnością do projekcji.
  • Propose: przyjmuje deklarowane przez wywołującego niezmienne propozycje zmian indeksu bez ich stosowania.
  • Project: emituje jednorazowe, powiązane z digestem projekcje bieżącego indeksu dla konsumentów niższego rzędu.

Czego SKVI nie robi

SKVI nigdy nie decyduje o tym, czy coś zasługuje na miano funkcji, ani o członkostwie w manifeście. Własność pozostaje przy Contract Quad każdego wektora. SKVI również nie:
  • Zapisuje ani nie przepisuje kanonicznego Markdownu
  • Publikuje niczego w publicznej projekcji
  • Przyznaje uprawnień tylko dlatego, że wygenerował dowody

Kiedy go używać

Używaj SKVI, aby potwierdzić, że repozytorium jest w pełni pokryte, zanim zaproponujesz zmianę w źródłach, lub aby sprawdzić, jakiego właściciela i jaką rolę prawdy ma określona powierzchnia. Jego projekcje zasilają recenzentów propozycji, kontekst agentów i linie bazowe walidatora.
SKVI jest jednym z silników służących do odczytu, zapytań, walidacji i propozycji. Kanoniczne apply pozostaje wyłączone we wszystkich ratyfikowanych silnikach wektorowych, dopóki nie zostaną ukończone kontrakty każdego silnika dotyczące SSIAG, transakcji z oczekiwanym stanem, zabezpieczeń qxctl, zdarzeń STAV, odzyskiwania i testów negatywnych.

Powiązane obszary

Przegląd SKV

Nadrzędny framework zarządzający SKVI.

SCLV

Rejestr zmian tylko do dopisywania, rejestrujący ukończone istotne zmiany w źródłach.

Polecenia wektorowe qxctl

Uruchom qxctl skvi ..., aby wywołać inspect, check i propose.

Walidator

Niezależne kontrole tylko do odczytu uzupełniające pokrycie SKVI.
Ostatnia modyfikacja 10 października 2026