メインコンテンツへスキップ
libraries/knowledge-vector-engine-cpp は、すべての Symphony ベクターエンジンが再利用する、権限を持たない共有 C++ メカニズムを提供します。決定論的な構成要素を提供することで、各エンジンが範囲を限定され、再現可能で、周囲への副作用がない状態を保てるようにします。

基盤が提供するもの

  • プロセスフレーミング: すべてのエンジンが使用する、権限を持たないローカルプロセスプロトコル
  • 範囲が限定された JSON: サイズと深さの明示的な制限付きの厳密な解析と出力
  • SHA-256: エビデンスとレシートのためのコンテンツアドレッシング
  • No-follow 読み取り: シンボリックリンクを予期せずたどることのないファイルシステム読み取り
  • 決定論的なスナップショット: 検査した状態の再現可能なスナップショット
  • 時間の検証: Symphony Temporal Semantics Contract に従った正規の UTC 処理
  • オーナーマニフェストの探索: コントラクトマニフェストの厳密な探索
  • バージョン管理されたパッケージング: 個別にインストール可能な、レシートが所有するパッケージ
  • レシートとレシートが所有するアンインストール: 成果物をインストールしたレシートのみによって駆動されるアンインストール

マニフェスト探索の境界

マニフェスト探索は固定のブートストラップセットから始まり、明示的な従属宣言のみをたどります。リポジトリ全体を暗黙的にクロールしたり、ディレクトリ名から所有権を推測したりすることはありません。
基盤を利用するすべてのベクターエンジンは、このルールを継承します。

基盤が行わないこと

  • 権限を持ちません。基盤を使用するエンジンは、引き続き SSIAG を通じて変更を認可する必要があります。
  • ネットワーク経由で何かを公開したり取得したりしません。
  • 単独で正規ファイルを変更しません。

関連するサーフェス

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

セッションと調整のために基盤の上に構築された C++26 コーディネーター。

エンジンの概要

基盤を再利用するエンジン。

SKV の概要

エンジンが実装するベクターコントラクト。

qxctl の概要

レシートで検証された厳密なエンジンを呼び出す管理 CLI。
最終更新日 2026年10月10日