Implementation report
Binding human approval to an exact proposed change
An approval link is only meaningful if it authorizes one change, once. We found our single-use enforcement was split across two statements and did not hold under concurrency, and rewrote it as one atomic predicate.