Two departments each read allocated budget 90 from a shared limit of 100, then add 10 to different rows. Show the bad schedule and a valid control.

Both can approve from the same old total and produce 110. Serialize through a shared budget guard acquired before the sum at Read Committed, with every writer following the protocol, or use Serializable and retry the complete transaction. Disjoint row locks are insufficient.