DSH Schema Migration Proof

Evidencia offline y direccionada por contenido para migraciones de esquema registradas de DeepSeek Harness. Verifica envoltorios fijos de fixtures para el determinismo de la salida, las reejecuciones idempotentes, el rollback reversible, los invariantes requeridos y la divulgación explícita de campos con pérdida, sin ejecutar una migración ni devolver cuerpos de datos.

Esto no es un ejecutor de migraciones, una herramienta de base de datos, un sistema de recuperación ni un segundo verificador de contratos de superficie. dsh-recovery-proof prueba simulacros de restauración aislados; dsh-surface-contract-proof compara envoltorios de ToolRuntime/MCP/CLI; dsh-lineage registra relaciones de objeto/acción. Este proyecto evalúa la evidencia producida por un arnés de pruebas de migración cuya revisión de herramienta y cuyos esquemas de origen/destino están fijados.

El manifiesto contiene solo IDs estables y resúmenes SHA-256. Se rechazan los campos con forma de cuerpo, datos, carga útil, secreto, credencial, prompt y mensaje. Un invariante requerido que falte, falle o no se observe falla en modo cerrado. Una migración reversible debe demostrar el rollback, y una fixture con pérdida debe enumerar cada campo de pérdida declarado.

Superficies

• 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; solo JSON en línea acotado, sin sistema de archivos, red, procesos hijo ni ejecución de migraciones.

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