463 B
463 B
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.