メインコンテンツへスキップ
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日