Repairing Orphaned Allocation Counters Without Weakening Database Invariants
Trace a valid database rejection back to stale derived allocation counters, repair the data under row locks and version checks, and translate the error only after rollback is guaranteed.