スコープとカバレッジ
SHV は、プログラム設計に関連する、エビデンスのあるあらゆる物理的機能をカバーできます。カバレッジプロファイルは qxctl を通じて管理します。デフォルトの日付基準はモデルの発表日であり、推定される個々の製造日ではありません。このフィルターは拡張、縮小、置換、削除できます。実装済みエンジン
SHV の知識は、個別にインストール可能な複数の C++ エンジンを通じて提供されます。shv-engine
コアカーネル（0.4.0-dev）: カバレッジプロファイル、保持されたソースのカタログのビルド/リプレイ、要件評価、決定的なグラフプロジェクション、ソースに裏付けられたグラフ検証。
shv-source-engine
ソース ID、再配置プラン、バイトキャプチャのバインディング、ソースからリプレイされた来歴グラフ。
shv-profile-engine
宣言の適合性、ポータブルなレシピ、正確なローカルソースのバインディング。
shv-partition-engine
ハードウェアのパーティションとコンポーネントのマッピング操作。
shv-publication-engine
保護された呼び出し元のカタログヘッド、オリジナルソースのリプレイ、永続的なスナップショットのリカバリー。
shv-graph-adapter
ロスレス交換のための汎用 C++ グラフポートとインメモリのポータブルなリファレンスアダプター。
shv-graph-duckdb-connector
ハードウェアグラフのエビデンスのための、オプションの DuckDB リレーショナルプロジェクション。
shv-pdf-adapter
範囲が限定された PDF 抽出と、オリジナルのバイトからのドキュメント上のアサーションの再検証。
ソースのリビジョンと来歴
shv-source-engine は、安定したソース ID、明示的な再配置プラン、純粋な遷移検証、実際のバイトのキャプチャバインディング、ソースからリプレイされた来歴グラフを実装します。これらは読み取り専用の操作です。コアのキュレーションでは、オリジナルのコンポーネント ID とエビデンスのあるバリアントが優先されます。保護されたソースの有効化は別途処理され、純粋なソースエンジンがオーソリティを付与することはありません。
グラフの交換とストレージ
shv-graph-adapter は、ロスレス交換と構造的クエリのための汎用 C++ グラフポートを提供します。永続的なストレージは、デフォルトの DuckDB SQL を通じて実装されています。現在、専用のグラフデータベースは選択されていません。
PDF エビデンスの境界
shv-pdf-adapter は、明示的な PDF テーブルから適格なドキュメント上のアサーションを抽出し、汎用グラフ交換の後にオリジナルのバイトからそれらを再検証します。一般的な PDF のカバレッジは、別途スコープが定められた作業として残っています。
残りの作業
広範なハードウェアアトラス、自動化されたソース取得、複数ソースの競合の集約、追加のベンダー固有のデータベースドライバー、カスタムプラグインの読み込み、Composer との統合は、今後の作業として残っています。広範なコンポーネントマッピングと永続的なベンダードライバーも未対応です。SHV と他のベクトルとの関係
SNV
SHV が記述するハードウェアを含む Node を記録します。
SCV
SHV が詳細に特徴付けるプロバイダーのハードウェアオファリングを参照します。
SOV
Node のプロビジョニングや調整の際に SHV のエビデンスに基づいて動作する場合があります。