| Amendment — supermajority ratification, and a "yes" that cannot be unsaid | 129 | a state machine, a memory invariant, try / catch |
| Anti-deficiency — no obligation of funds Congress never appropriated | 126 | a state machine, a memory invariant, try / catch |
| Auditor independence — one firm, one client, ONE role | 117 | a state machine, a memory invariant, try / catch |
| Board motion — Robert's Rules where "no quorum, no vote" is structural | 155 | a state machine, a memory invariant, try / catch |
| Emergency sunset — extraordinary powers that cannot become ordinary | 136 | a state machine, a memory invariant, try / catch |
| Four-eyes approval — the maker cannot be the checker, by construction | 115 | a state machine, a memory invariant, try / catch |
| Grant milestones — money moves only behind verified work, and only once | 148 | a state machine, a memory invariant, try / catch |
| Judicial recusal — a conflicted judge cannot sit, and cases aren't shopped | 121 | a state machine, a memory invariant, try / catch |
| Minutes adoption — the corporate record cannot be edited after the fact | 115 | a state machine, a memory invariant, try / catch |
| Open meetings — no public decision without public notice, structurally | 118 | a state machine, a memory invariant, try / catch |
| Peer review — double-blind where the blind cannot be lifted early | 132 | a state machine, a memory invariant, try / catch |
| Release pipeline — "tests pass before deploy" as a theorem, not a habit | 133 | a state machine, a memory invariant, try / catch |
| Sealed bids — the envelope opens once, for everyone, after the deadline | 131 | a state machine, a memory invariant, try / catch |
| Term limits — the third term is not forbidden, it is unrepresentable | 128 | a state machine, a memory invariant, try / catch |
| Three readings — an ordinance cannot be law the night it is introduced | 145 | a state machine, a memory invariant, try / catch, require / fail |
| Whistleblower shield — retaliation against a reporter is unrepresentable | 119 | a state machine, a memory invariant, try / catch |