DSH ビルド密閉性証明

DeepSeek Harness サプライチェーンのためのオフラインで決定的な証拠レイヤー。明示的でハッシュのみのビルドアクセス受領書が、宣言されたファイル、環境、ネットワーク、クロック、乱数、出力の閉包内に留まっているかを検証します。

これはビルドを実行せず、サンドボックスを強制せず、受領書を認証せず、記録されていないアクセスが発生し得ないことを証明するものでもありません。また、再現性を証明するものでもありません。hermetic という判定は、提供された受領書が内部的に完全で、ポリシーに準拠していることのみを意味します。

補完的な境界

• dsh-reproducible-build-proof は、独立して実行された再ビルドの受領書を比較し、指定された出力がバイト単位で同一であることを確認します。

• dsh-attestation-proof は、DSSE/in-toto の署名、サブジェクト、署名者の閾値を検証します。

• このプラグインは、記録された1つのビルドの宣言された外部影響の閉包（ファイル読み書き、環境読み取り、ネットワーク、クロック、乱数）をチェックします。

観測された未宣言のアクセスは失敗します。拒否された未宣言の試みは封じ込めの証拠として保持されますが、閉包を破るものではありません。観測されたネットワークアクセスは、v1 の拒否のみのネットワークポリシーの下では常に失敗します。宣言された入力と出力はすべて受領書に現れなければならず、ソースリビジョン、呼び出し、クロック値、乱数シード、許可された環境値はハッシュで束縛されます。

Related MCP server: Spec Kit Acceptance Gate MCP

インストール

dsh plugin add github:dongsheng123132/dsh-build-hermeticity-proof#COMMIT

このバンドルは、単一のヘッドレスコアから dsh_build_hermeticity_inspect と dsh_build_hermeticity_verify を公開します。独立した MCP stdio サーバーは build_hermeticity_inspect と build_hermeticity_verify を公開します。CLI は inspect または verify と明示的な JSON パスを受け付けます。

examples/hermetic.json を参照してください。レポートには、ハッシュ、カウント、ブール値、分類、判定のみが含まれます。秘密に相当する素材、生のログ、本文/コンテンツフィールドは拒否されます。DSH 検証ツールは、ワークスペース相対の非シンボリックリンクマニフェストを読み取り、明示的なワークスペース相対の artifactDir にのみ書き込み、決定的なコンテンツアドレス指定の出力のみを作成し、読み戻しによって検証します。

npm test
npm run check
npm run smoke:plugin
npm run smoke:mcp
python C:/Users/YOU/.codex/skills/.system/plugin-creator/scripts/validate_plugin.py .

Node.js 22 以降が必要です。検証器には実行時依存関係がなく、プロセスを生成せず、ネットワークリクエストも行いません。