| Campaign finance — the contribution limit lives in the ledger, not the law | 106 | a state machine, a memory invariant, try / catch |
| Census — after certification, the count is history, not a database row | 106 | a state machine, a memory invariant, try / catch |
| Disaster aid — one emergency grant per household, however many times asked | 116 | a state machine, a memory invariant, try / catch |
| Election audit — a risk-limiting audit that cannot count a ballot twice | 117 | a state machine, a memory invariant, try / catch |
| Foia — the statutory clock cannot be silently ignored | 99 | a state machine, a memory invariant, try / catch |
| Grants — budget conservation: the fund cannot award money it does not have | 107 | a state machine, a memory invariant, try / catch |
| Jury — strikes are counted by the bench, not by the honor system | 118 | a state machine, a memory invariant, try / catch |
| Land registry — a parcel cannot be sold to two buyers at once | 110 | a state machine, a memory invariant, try / catch |
| Lottery — committed entries, a published seed, and a draw that closes forever | 96 | a state machine, a memory invariant, try / catch |
| Permit — a building permit that cannot skip a review | 118 | a state machine, a memory invariant, try / catch |
| Petition — one signature per citizen, a wall in memory, not a clerk's eye | 100 | a state machine, a memory invariant, try / catch |
| Procurement — sealed bids stay sealed, and the unsealing ends the auction | 112 | a state machine, a memory invariant, try / catch |
| Sunshine — a council cannot vote on what the public never got to discuss | 135 | a state machine, a memory invariant, try / catch |
| Vital records — a person dies at most once, and benefits know it instantly | 107 | a state machine, a memory invariant, try / catch |