Invariants / DC-MITHRIL-01
DC-MITHRIL-01
DC derived enforcedverify_mithril_binding is a pure deterministic BLUE predicate over its inputs (the manifest report + the anchor) — no I/O, no clock, no HashMap, no float, no String errors. Each field divergence maps to a distinct closed MithrilImportError variant (NetworkMagicMismatch, GenesisHashMismatch, CertifiedPointMismatch, CertificateHashMismatch, UnsupportedArtifactType); the compared sides come from two independent origins (Mithril manifest vs --json-seed-minted anchor), never a value vs itself.
- Source
docs/clusters/PHASE4-N-Y/S7-real-mithril-binding.md
- Cluster
- PHASE4-N-Y
- Introduced in
- PHASE4-N-Y
Enforcement trace
Tests 3
- mithril_anchor_binding_is_deterministic
- mithril_anchor_rejects_field_mismatch
- mithril_binding_rejects_certified_point_other_than_seed_point