Expand description
Deterministic simulation harness for multi-agent Bones behavior.
Modules§
Structs§
- Seed
Replay - Deterministic replay descriptor.
- Simulation
Config - Top-level simulation configuration.
- Simulation
Result - Completed simulation run with trace and convergence output.
- Simulator
- Deterministic simulator state machine.
- Trace
Event - A single deterministic simulation trace entry.
Enums§
- Drop
Reason - Reason a message was dropped.
- Trace
Event Kind - Trace event payload variants.
Functions§
- sometimes_
reaches_ interesting_ state - “Sometimes” assertion helper: verify interesting fault states are reachable.