-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Labels
Description
TASK-004: Implement Simulator driver
RFC: RFC-0005 - Deterministic Simulation Testing
Component: Simulation Core
Estimate: l
Description
Create Simulator with event queue (BinaryHeap). Implement tick() that processes next event. Support run() and run_until().
Acceptance Criteria
- AC-001: Same seed produces identical simulation results
- Verification: Run simulation with seed=42 twice, verify identical event sequence and final state
- AC-007: Simulate 1 million operations in under 60 seconds
- Verification: Benchmark 1M ops simulation on standard hardware
Dependencies
Depends on: TASK-001, TASK-002, TASK-003