Skip to main content
Glama
deenesjakoruzh
dongsheng123132

dsh-schema-migration-proof

by dongsheng123132
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Remote

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

This server cannot be deployed

Shareable, User-Owned Context BackendPeople, applications, and agents read, write, and coordinate together in one context lake. Reach it over MCP, a CLI, a Python SDK, or REST.fulcradynamics.comAd

Maintenance

ActivityMaintained
ResponsivenessNo issues

Resources

Related MCP Connectors

Related MCP Servers

  • dsh-artifact-promotion-proof

    dongsheng123132
    A
    license
    Not graded
    quality
    C
    maintenance
    Enables offline, deterministic verification that one immutable artifact followed a declared build-to-production promotion chain, using only hash-based evidence and failing closed on incomplete or nonconformant gate records.
    MIT

  • dsh-vulnerability-remediation

    dongsheng123132
    A
    license
    Not graded
    quality
    C
    maintenance
    Offers proof-only tools to inspect and verify remediation closure receipts, deterministically confirming asset coverage, fixed artifact deployment, rescanning, deadline compliance, and zero-residual closure without executing scans or touching live systems.
    MIT

  • deepbom

    JunHwan-Kwon
    A
    license
    Not graded
    quality
    B
    maintenance
    Enables local inspection of AI model deployment artifacts without executing model code, returning SHA-256, structure, defect analysis, and evidence-gap findings in Gemini CLI conversations.
    Apache 2.0

  • io.github.loopg/pramana-mcp

    reliai-in
    A
    license
    A
    quality
    B
    maintenance
    Lets an assistant read recorded production AI agent runs — steps, model and tool calls with arguments, and outcomes — along with the findings of comparison runs that checked a prompt or model change against those recordings, and verify a signed evidence bundle offline with no account or network. It is strictly read-only: no tool starts a replay or comparison, so nothing can spend money or act without a person deciding.
    5
    3,236 PyPI
    Apache 2.0