business logic

Model a bounded reservation workflow, run an offline invariant fixture, and reason about retries, contention, immutable intent and uncertain external outcomes.

Every check passed and every write succeeded. The money still left twice, because the check and the write were two steps and another request got between them.