Status: Private development. Public repo is a placeholder; open sourcing soon.
Deterministic simulation testing (DST) for your codebase.
- Distributed deterministic simulation — model nodes, clocks, and network behavior with reproducible execution.
- Simulation against your code — drive real system code under that deterministic environment; same inputs → same trace.
- Property-based testing — assert invariants over simulation runs (schedules, failures, message order), not hand-written scenario lists.
Goal: find concurrency, timing, and distributed bugs before production.