pub fn split_on_discovery(mark_name: &str)Expand description
Split the simulation timeline at a discovery point.
Called when an assertion detects a new success (e.g. via assertion_bool
or assertion_numeric). Spawns timelines_per_split child timelines,
each with a different seed derived from the current seed and the mark name.
When parallelism is configured, uses a sliding window of concurrent children. Otherwise falls back to sequential fork→wait→fork→wait.