ONE MODULE AT A TIME
Verify commit, rollback, affected rows and connection-scoped row locks.
Verify commit/rollback and held-row conflicts with explicit failure and retry boundaries.