DSH Schema Migration Proof

Офлайн-доказательство с адресацией по содержимому для зафиксированных миграций схем DeepSeek Harness. Оно проверяет фиксированные оболочки фикстур на детерминизм вывода, идемпотентные повторные запуски, обратимый откат, требуемые инварианты и явное раскрытие полей с потерями без выполнения миграции или возврата тел данных.

Это не средство запуска миграций, не инструмент для работы с базой данных, не система восстановления и не ещё один верификатор контрактов поверхности. dsh-recovery-proof проверяет изолированные тренировочные восстановления; dsh-surface-contract-proof сравнивает оболочки ToolRuntime/MCP/CLI; dsh-lineage записывает связи объект/действие. Этот проект оценивает доказательства, полученные с помощью тестового стенда миграций, в котором зафиксированы ревизия инструмента и исходная/целевая схемы.

Манифест содержит только стабильные идентификаторы и 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