DSH Schema Migration Proof

Offline, inhaltsadressierte Belege für protokollierte Schema-Migrationen des DeepSeek Harness. Es prüft feste Fixture-Envelopes auf Ausgabedeterminismus, idempotente Wiederholungsläufe, reversibles Rollback, erforderliche Invarianten und explizite Offenlegung verlustbehafteter Felder – ohne eine Migration auszuführen oder Daten-Bodies zurückzugeben.

Dieses Projekt ist kein Migrations-Runner, kein Datenbank-Tool, kein Wiederherstellungssystem und kein weiterer Schnittstellenvertrags-Verifier. dsh-recovery-proof testet isolierte Restore-Übungen; dsh-surface-contract-proof vergleicht ToolRuntime/MCP/CLI-Envelopes; dsh-lineage protokolliert Objekt-/Aktions-Beziehungen. Dieses Projekt hält die Belege fest, die ein Migrations-Test-Harness erzeugt, dessen Tool-Revision sowie Quell- und Ziel-Schemata gepinnt sind.

Das Manifest enthält ausschließlich stabile IDs und SHA-256-Digests. Body-, Daten-, Payload-, Secret-, Credential-, Prompt- und nachrichtenförmige Felder werden abgelehnt. Fehlt eine erforderliche Invariante, schlägt sie fehl oder bleibt unbeobachtet, so führt sie zu einem Fail-Closed-Verhalten. Eine umkehrbare Migration muss ein Rollback nachweisen, und ein verlustbehaftetes Fixture muss jedes offengelegte Verlustfeld auflisten.

Schnittstellen

• 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; nur begrenztes Inline-JSON; kein Dateisystemzugriff, kein Netzwerkzugriff, kein Kindprozess und keine Migrationsausführung.

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