15 lines
463 B
Markdown
15 lines
463 B
Markdown
# 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`.
|