Перейти до основного вмісту
Symphony Change Ledger Vector (SCLV) фіксує зміни, внесені до поверхонь SKV з часом. Його рушій — це незалежно встановлюваний процес на C++, що виконує детерміновані перевірки журналу, який лише доповнюється, і створює одноразові проєкції. Запис до журналу виконується лише після завершення суттєвої зміни вихідного коду.

Операції

  • Inspect і check: перевірка форми, безперервності та доказів журналу.
  • Propose (v3): прийняття заявлених викликачем, нейтральних щодо провайдера пропозицій для нових записів.
  • Recover: відновлення перерваного або неоднозначного стану без мутацій.
  • Project: створення одноразових інвентарів стану журналу на запит.

Прийняття та виведення з ужитку

Кожен прийнятий запис SCLV прив’язує поточні проіндексовані докази на момент його запису. Подальше легітимне виведення поверхні з ужитку зберігає незмінне історичне походження, не повертаючи видалений поточний текст назад до SKVI. Історія залишається історією; поточна істина залишається поточною.

Чого SCLV не робить

  • SCLV не створює й не схвалює змін вихідного коду.
  • SCLV не переписує наявних записів; він лише доповнюється.
  • SCLV нічого не публікує. Публічна проєкція належить SODV.
Кожен поточний рушій SKV лише читає, виконує запити, перевіряє й пропонує. Канонічне застосування вимкнено, доки для кожного рушія не буде завершено повні контракти повноважень і аудиту.

Пов’язані поверхні

SKVI

Індексує поточну канонічну істину, до якої прив’язуються записи SCLV.

SODV

Керує офіційною публічною проєкцією інформації журналу.

SEV

Випадки еволюції оцінюють зміни до того, як SCLV їх зафіксує.

Векторні команди qxctl

Запустіть qxctl sclv ... для inspect, check, propose і recover.
Останнє оновлення 10 жовтня 2026 р.