Gate 5 of development cycle - ensures property-based tests exist to verify domain invariants hold for all randomly generated inputs.
| TestProperty_Money_AmountNeverNegative | Money | PASS |
| TestProperty_Money_CurrencyAlwaysValid | Money | PASS |
| TestProperty_Money_AdditionCommutative | Money | PASS |
## Handoff to Next Gate
- Ready for Gate 6 (Integration Testing): YES
Ensure domain logic has property-based tests to verify invariants hold for all randomly generated inputs.
Core principle: Property tests verify universal truths about your domain. If "balance is never negative" is a rule, test it with thousands of random inputs.
<block_condition>
This skill ORCHESTRATES. QA Analyst Agent (property mode) EXECUTES.
| Who | Responsibility |
|---|---|
| This Skill | Gather requirements, dispatch agent, track iterations |
| QA Analyst Agent | Write property tests, run quick.Check, report counterexamples |
MANDATORY: Load testing-property.md standards via WebFetch.
<fetch_required>