## Acceptance Criteria
- [ ] Code matches SPEC.md exactly
- [ ] All tests pass (if applicable)
- [ ] No extra features added
- [ ] CONTRACT_MET is output when complete

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