記録されたDeepSeek Harnessスキーママイグレーションに対する、オフラインでコンテンツアドレス方式の証拠。マイグレーションを実行したりデータ本体を返したりすることなく、出力の決定性、冪等な再実行、可逆的なロールバック、必須不変条件、明示的な損失フィールドの開示について、固定されたフィクスチャエンベロープを検証します。
これは、マイグレーションランナー、データベースツール、リカバリシステム、またはセカンドサーフェスコントラクト検証器ではありません。dsh-recovery-proof は分離された復元訓練をテストし、dsh-surface-contract-proof は ToolRuntime/MCP/CLI エンベロープを比較し、dsh-lineage はオブジェクト/アクション関係を記録します。このプロジェクトは、ツールリビジョンとソース/ターゲットスキーマが固定されたマイグレーションテストハーネスによって生成された証拠を評価します。
マニフェストには、安定したIDとSHA-256ダイジェストのみが含まれます。ボディ、データ、ペイロード、シークレット、クレデンシャル、プロンプト、メッセージの形をしたフィールドは拒否されます。必須不変条件が欠落している、失敗している、または未観測の場合、フェイルクローズドになります。可逆的なマイグレーションはロールバックを証明する必要があり、損失を伴うフィクスチャは開示されたすべての損失フィールドを列挙する必要があります。
DSH: dsh_schema_migration_inspect, dsh_schema_migration_verify.
CLI: dsh-schema-migration-proof verify --workspace-root examples --migration migration.json --artifact-dir artifacts.
MCP: schema_migration_inspect_inline, schema_migration_verify_inline；インラインJSONのみに制限され、ファイルシステム、ネットワーク、子プロセス、マイグレーション実行はありません。
dsh plugin --profile web add github:dongsheng123132/dsh-schema-migration-proof
npm test
npm run check
npm run smoke:plugin
npm run smoke:mcpMIT
This server cannot be deployed
Read-only verifier for 25 ProofRelay MCP tools and non-confidential evidence bundles.
Verifies Bernstein run receipts and hash chains; lists the shipped presets and adapters. Read-only.
Reviewed public-data search and execution with provenance and verifiable integrity receipts.
Browser-local and CLI static evidence for deployed AI model artifacts.
