Skip to main content
Glama
deenesjakoruzh
dongsheng123132

dsh-schema-migration-proof

by dongsheng123132
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Remote

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

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