Operations exist to keep three promises: instant under caps, truthful state everywhere, and evidence producible on demand. Every procedure below keeps exactly one of them; anything that keeps none should not exist.
Ownership rule: every flow below has one named owner and one ledger it writes to. If two teams own a flow, no one does; if a flow writes nowhere, it did not happen.