メインコンテンツへスキップ
アクティブなアプリケーションレベルの Symphony ベクターには、それぞれ個別にインストール可能なプロセス外の C++ エンジンを用意できます。権限を持たない共有 C++ メカニズムは libraries/ 配下にあり、別個の C++ コーディネーターが認証済みセッションとワークツリー調整のメカニズムを所有します。エンジンは、ベクターが所有するコントラクトの範囲内で検査、検証、プロジェクション、提案を行います。コンテンツを生成しただけで権限を得ることはありません。

実装済みのエンジン

Knowledge Vector 基盤

C++ のプロセスフレーミング、JSON、SHA-256、スナップショット、レシート、マニフェスト探索。

セッションコーディネーター

認証済みセッション、ワークツリーの調整、ライフサイクル適用の調整。

SCV ソースエンジン

SCV、ハイパースケーラー、エッジ、プロバイダー向けの 8 つの C++26 ソースナレッジエンジン。

SHV エンジン

ハードウェアのソース、カタログ、プロファイル、パーティション、公開、アダプターの各エンジン。

SKV エンジンファミリー

SKV の各サーフェスには、それぞれ専用のエンジンがあります。
  • SKVI、SCLV、SACV、SODV、SSFV の各エンジンは、inspect、check、propose、project(および該当する場合は recovery)を実装します。
  • SAV と SEV のエンジンは、構成の評価と進化のケースを扱うフリージングパスの C++26 プロセスです。
現在のすべての SKV エンジンは、読み取り、クエリ、検証、提案のみを行います。プログラムによる正規の適用は、各エンジンの SSIAG 権限検証、期待状態トランザクション、qxctl セーフガード、STAV イベント、リカバリー、ネガティブテストの各コントラクトが完成するまで無効のままです。

共通の保証

  • モジュールごとの個別のインストールとアンインストール
  • リポジトリ全体の暗黙的なクロールはなく、マニフェスト探索は明示的
  • 権限の共有はなく、変更を伴うすべてのルートは SSIAG と STAV によって制御
  • ホットパスへの常駐はなく、エンジンがライブワークロードにレイテンシーを持ち込むことはない

関連するサーフェス

qxctl の概要

レシートで検証された厳密なエンジンを呼び出す管理 CLI。

Maestro

エンジンとレセプター間のドッキング関係を記録します。
最終更新日 2026年10月10日