Module campaign 

Campaign runner for deterministic simulation campaigns.

Executes many seeds across configurable parameters, collecting pass/fail results and identifying the first failing seed for replay.

Structs

CampaignConfig

Campaign-level configuration controlling how many seeds to run and what simulation parameters to use for each seed.

CampaignReport

Aggregate report produced by a campaign run.

DetailedTrace

Detailed trace produced by replaying a single seed.

SeedFailure

Failure details for a single seed.

Functions

replay_seed

Replay a single seed with full trace details for debugging.

run_campaign

Run a full campaign across all seeds in the config.

run_single_seed

Run a single seed and return Ok(()) on pass, Err(violations) on failure.