Що робить SKVI
SKVI виконує три обмежені операції:- Inspect і check: перевірка того, що кожна обов’язкова поверхня, заявлена в маніфесті, проіндексована рівно один раз зі стабільним власником, роллю істини, зв’язками, споживачами та придатністю до проєкції.
- Propose: прийняття заявлених викликачем незмінних пропозицій щодо змін індексу без їх застосування.
- Project: створення одноразових проєкцій поточного індексу, прив’язаних до дайджесту, для подальших споживачів.
Чого SKVI не робить
SKVI ніколи не вирішує, чи варта функція уваги, і не визначає членство в маніфесті. Володіння залишається за Contract Quad кожного вектора. Крім того, SKVI не:- Записує й не переписує канонічний Markdown
- Публікує нічого в публічну проєкцію
- Надає повноважень лише тому, що згенерував докази
Коли його використовувати
Використовуйте SKVI, щоб переконатися, що репозиторій повністю покрито, перш ніж пропонувати зміну вихідного коду, або щоб побачити, який власник і яка роль істини належать певній поверхні. Його проєкції живлять рецензентів пропозицій, контекст агентів і базові лінії валідатора.SKVI — один із рушіїв, що лише читають, виконують запити, перевіряють і пропонують. Канонічне застосування залишається вимкненим для ратифікованих векторних рушіїв, доки для кожного рушія не буде завершено контракти SSIAG, транзакцій очікуваного стану, запобіжників qxctl, подій STAV, відновлення та негативних тестів.
Пов’язані поверхні
Огляд SKV
Парасольковий фреймворк, що керує SKVI.
SCLV
Журнал змін, що лише доповнюється й фіксує завершені суттєві зміни вихідного коду.
Векторні команди qxctl
Запустіть
qxctl skvi ..., щоб викликати inspect, check і propose.Валідатор
Незалежні перевірки лише для читання, що доповнюють покриття SKVI.