🧵 5. Users can change a running task without forcing a full restart. Valid intermediate work stays, while only the affected branches are revised, so the pipeline can keep moving from raw files through inspection, method selection, code execution, and final outputs even when missing values, format issues, or failed assumptions appear.

And verification is intentionally narrower than generation: a checker gets 1 claim, its evidence, and the relevant delivery constraint, then tries to falsify or correct it before the result is delivered.