# Testing Strategy

## Property & Model-Based Tests
- Differential testing: in-memory reducer vs. process with WAL — compare state hashes.
- Fuzz: reorder, duplicate, drop transitions; random restarts; capacity jitter.

## Invariants
- No time travel (HLC monotonic).
- Exactly-once epoch advance per region.
- READY implies prereqs READY + content/version pinned.
- Quorum cert matches member set hash.

## Chaos Suite
- Scripts under `/ops/chaos-harness.md`.