メインコンテンツへスキップ
Symphony Accordare Vector(SAV)は、宣言されたコンポーネントの構成と互換性を解決します。そのエンジンは、凍結パス上の読み取り専用 C++26 プロセスです。SAV は正確な型付きプロジェクションを構成しますが、オーナーベクターからソースの真実を取得することは決してありません。

操作

SAV は豊富な評価操作をサポートします:
  • 不変の導出 CURRENT スナップショットへの Accord 参照の解決
  • 3 軸評価、比較、説明
  • 構成グラフと使い捨てのプロジェクション
  • Named Version の検証と差分
  • Extension Capsule のチェック
  • Installation Blueprint の計画
  • 宣言されたコンポーネント間の互換性ネゴシエーション

SAV が行わないこと

  • SAV は、構成するコンポーネントのセマンティックな所有権を持ちません。
  • SAV が設計を選ぶことはありません。宣言された内容を評価します。
  • SAV は正規ファイルを変更しません。その出力はエビデンスと提案です。
  • SAV は STAV の追記権限ではありません。変更前のインテント処理については Accordare STAV プロデューサーを参照してください。
SAV は読み取り、クエリ、検証、提案のみを行います。プログラムによる正規 apply は SKV エンジンファミリー全体で引き続き無効化されています。

関連するサーフェス

SKV の概要

包括的なフレームワークと Contract Quad モデル。

Accordare プロデューサー

範囲が限定された SAV Named Version 監査回路。

SEV

構成変更に対する SAV の評価をトリガーする進化ケース。

qxctl ベクターコマンド

承認済みの Accordare 文法は、実装され次第 qxctl accord ... として提供されます。
最終更新日 2026年10月10日