Five user stories: assignment double-assignment race, SLA pause/resume race, escalation idempotency, ticket optimistic-concurrency proof, and HTTP load/throughput testing tooling. Scoped from a targeted audit of existing concurrency guarantees rather than guesswork — see spec.md's Assumptions. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>