Skip to main content
Glama
deenesjakoruzh
dongsheng123132

dsh-schema-migration-proof

by dongsheng123132
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Remote

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

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