Mark the Invariant Unheld
Kind: technique
Layer: Execution Core
Record: lexicon:mark-the-invariant-unheld
Canonical: Lexicon
A technique for marking an invariant that nothing enforces as unheld, together with every derivation that rests on it.
Listed in Lexicon terms, after Name the Objector and before Derive State from Edges.