Skip to content

CMDG Programme Charter

The authoritative CMDG implementation charter is CMDG_CHARTER.md.

The charter translates the Human Steward-ratified Council decision in ADR-0017 into the programme execution contract for CMDG — Certified Reconstruction of the Mathematical Dependency Graph.

Its binding implementation rules include:

  • separation of semantic, proof, implementation, and provenance graphs;
  • manifest-relative GRAPH_CERTIFIED semantics under CMDG-C01;
  • the canonical REALIZES_AS cross-layer relation, direct-edge discipline, and certified equivalence quotient rules under CMDG-C02;
  • demonstration-spine and certified-spine terminology under CMDG-C08;
  • preservation of CMDG-C03 through CMDG-C06 as later stage gates;
  • continuation of the MATHFORGE → MATHSOLVE → MATHCERT authority split;
  • explicit metatheory/object-theory and foundational-concordance discipline;
  • the ratified natural-number concordance, Euclid bridge, V0/V1/V2, and Condensed Mathematics implementation route.

This page is a navigation surface only. The protected root charter and ADR-0017 govern if this page is stale or inconsistent.

Related protected records: