step 0 / 0
Scrub to step N, pick a branch, and Fork here: one boid is nudged and the timeline splits. The shared prefix is identical; past the fork the branches diverge, because a single perturbed agent cascades through the flock. Each branch is a pure function of its forked state and step count, so Verify replay re-runs every branch from scratch and confirms it lands byte-for-byte on the same trajectory. Branching time is free; both timelines persist.
timeline graph