TASK-502: Property-Based Testing

[copyleftdev]

Description

Implement property tests per TESTING_STRATEGY.md

Phase

Set up development infrastructure with Tiger Style discipline

Acceptance Criteria

• Property: request count = responses + errors
• Property: events respect happens-before ordering
• Property: metrics consistent with event log
• Property: memory usage within bounds
• Property: deterministic replay (same seed = same events)
• Run each property with 1000+ random inputs
• All property tests pass

Dependencies

• TASK-401

Files to Create/Modify

tests/property/*.zig

Estimated Effort

24 hours

---

Tiger Style Requirements:

• Minimum 2 assertions per function
• All loops are bounded
• Explicit error handling (no silent failures)
• Code formatted with zig fmt
• Pre-commit hook passes
• All tests pass