[MathisWellmann]

No description provided.

[github-actions]

Summary

The PR lets replays and live runs continue from an already-revealed prefix (Replay::with_prefix, replay_from, Live::from_tree), threads that prefix through Trajectory (counted in best quality, exempt from cost), and adds an Arc-backed Replay::shared. I verified the prefix-closure validation, revealed-vector bookkeeping, objective change, serde default, and the new tests against replay.rs, live.rs, objective.rs, and tree.rs; no blocker or major defect found.

Issues

None