The rule of this mapping
An invariant is written as an externally verifiable property, never as a mechanism. A mechanism dies — SHA-256 falls to a quantum machine, sqlite-vec is replaced, an anchor authority disappears. A property survives every such migration. Each row below therefore reads: the property (from the Charter), the mechanism that realizes it now, the parts expected to be replaced, and — the point of the whole exercise — the honest limit of that enforcement.
Scope. This appendix maps only the eight Core invariants. M5 (sqlite-vec RAG, Plane H grounding gate, Merkle inclusion proofs) implements a duty — the duty against deception, Art 11 / satya — not a Core invariant, and is documented separately; DIIP governance classes and reputation anti-ossification belong to the amendable governance layer. Both sit outside this mapping by design.
What — Charter (immortal)
“Every significant act is recorded in an append-only, independently verifiable record.”
How — Appendix (mortal)
Hash-chained log (SHA-256), externally anchored via OpenTimestamps. Swap the hash, swap the anchor — the property holds.