スコープとカバレッジ
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 のエビデンスに基づいて動作する場合があります。