DSH Schema Migration Proof

記録された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:mcp

MIT