dongsheng123132/dsh-schema-migration-proof

README 摘要

DSH Schema Migration Proof Offline, content-addressed evidence for recorded DeepSeek Harness schema migrations. It verifies fixed fixture envelopes for output determinism, idempotent reruns, reversible rollback, required invariants and explicit lossy-field disclosure without executing a migration or returning data bodies. This is not a migration runner, database tool, recovery system, or second surface-contract verifier. dsh-recovery-proof tests isolated restore drills; dsh-surface-contract-proof compares ToolRuntime/MCP/CLI envelopes; dsh-lineage records object/action relationships. This project scores the evidence produced by a migration test harness whose tool revision and source/target schemas are pinned. The manifest contains only stable IDs and SHA-256 digests. Body-, data-, payload-, secret-, credential-, prompt- and message-shaped fields are rejected. A required invariant that is missing, failed or unobserved fails closed. A reversible migration must prove rollback, and a lossy fixture must enumerate every disclosed loss field. Surfaces - DSH: dsh schema migration inspect , dsh schema migration verify . - CLI: dsh-schema-migration-proof verify --workspace-root examples --mi…

分类