Crate vortex_trace 

vortex-trace — Structured event tracing for deterministic simulation replay.

Every significant event in the simulation is captured as a TraceEvent. Given the same seed, the trace is bit-for-bit identical — enabling:

• Post-mortem debugging of failed seeds
• Differential replay (compare two runs)
• Human-readable dump for manual inspection

Re-exports

pub use determinism::DeterminismResult;

pub use determinism::compare_traces;

pub use determinism::verify_determinism;

pub use diagnosis::CausalEvent;

pub use diagnosis::DiagnosisReport;

pub use diagnosis::FaultCause;

pub use diagnosis::ViolationInfo;

pub use diagnosis::diagnose;

pub use minimize::MinimizedTrace;

pub use minimize::minimize_faults;

pub use minimize::minimize_ticks;

Modules

determinism

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

diagnosis

Failure diagnosis helper for simulation invariant violations.

minimize

Trace minimization for failing simulation seeds.

replay

Generic deterministic replay framework.

Macros

assert_deterministic

Assert that a simulation is deterministic (same seed produces identical trace).

Structs

SimStats

Aggregate statistics from a simulation run.

SimTrace

Collects trace events during a simulation run.

TraceEvent

A structured event captured during simulation.

Enums

TraceEventKind

The specific kind of trace event.

Type Aliases

EventId

A unique, monotonically increasing event identifier within a trace.