## Acceptance Criteria
- [ ] Goal is clearly stated
- [ ] Requirements are numbered and unambiguous
- [ ] Acceptance criteria are testable
- [ ] Non-goals are listed

## Stop Condition
When all checkboxes are checked, output "CONTRACT_MET" and stop.