## 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}}