Module determinism 

Determinism verification: double-run same-seed trace identity.

Runs a simulation twice with the same seed and verifies that both runs produce bit-identical traces. Any divergence indicates a non-determinism bug (e.g., HashMap iteration order, thread scheduling, system time leaking into the sim).

Structs

DeterminismResult

Result of a determinism check.

Functions

compare_traces

Compare two traces for equality, returning detailed divergence info.

verify_determinism

Verify determinism by running a simulation twice and comparing traces.