Перейти до основного вмісту
Symphony Accordare Vector (SAV) розв’язує заявлену композицію компонентів і їх сумісність. Його рушій — це процес на C++26 лише для читання на шляху заморожування. SAV компонує точні типізовані проєкції, але ніколи не перебирає вихідну істину від векторів-власників.

Операції

SAV підтримує широкий набір операцій оцінювання:
  • Розв’язання посилань Accord у незмінні похідні знімки CURRENT
  • Триосьова оцінка, порівняння та пояснення
  • Графи композиції та одноразові проєкції
  • Валідація та порівняння Named Version
  • Перевірки Extension Capsule
  • Планування Installation Blueprint
  • Узгодження сумісності між заявленими компонентами

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

  • SAV не перебирає семантичного володіння компонентами, які він компонує.
  • SAV не обирає дизайн за вас; він оцінює те, що ви заявили.
  • SAV не змінює канонічних файлів. Його вивід — це докази та пропозиції.
  • SAV не є авторитетом дописування STAV. Обробку намірів перед мутацією див. у продюсері STAV для Accordare.
SAV лише читає, виконує запити, перевіряє й пропонує. Програмне канонічне застосування залишається вимкненим для всього сімейства рушіїв SKV.

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

Огляд SKV

Парасольковий фреймворк і модель Contract Quad.

Продюсер Accordare

Обмежений контур аудиту Named Version для SAV.

SEV

Випадки еволюції, що запускають оцінку змін композиції в SAV.

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

Ратифікована граматика Accordare з’явиться як qxctl accord ... після реалізації.
Останнє оновлення 10 жовтня 2026 р.