## Acceptance criteria
- AC-{{n}}: Given {{precondition}}, when {{action}}, then {{observable_result}} (proof: automated).
- AC-{{n+1}}: Given {{precondition}}, when {{action}}, then {{observable_result}} (proof: manual).
## Coverage Notes
- {{which AC covers which FR outcome / edge case}}