Struct RootBaselinePlanner 

pub struct RootBaselinePlanner { /* private fields */ }

A restart planner that root-gates the tracked working set (Phase-8 §5.5).

Round 1 probes every tracked account’s storage root via the account-proof fetcher (no reads are injected). For each tracked account:

• observed root equal to the baseline ⇒ the cached tracked slots are provably current — the root is retained in the updated baseline and the slots are not re-read;
• observed root diverged (or no baseline entry) ⇒ the new root is adopted into the updated baseline and the account’s tracked slots are re-read in a second verify round;
• probe failed (root: None) ⇒ conservative: the tracked slots are re-read, and no root is adopted — an unobserved root never clobbers a previously persisted one.

When nothing needs re-reading the run finishes after the probe round. updated_baseline returns the baseline with this run’s adoptions applied — persist it as the next roots.bin.

Like RootBaseline, this is a currency gate, not a completeness gate (spec §6): it detects change in the tracked subset, not slots that were never tracked.

Implementations

impl RootBaselinePlanner

pub fn new(tracked: Vec<(Address, Vec<U256>)>, baseline: RootBaseline) -> Self

Build a planner over tracked (account -> its tracked slots) and baseline loaded from roots.bin (empty when nothing was persisted).

pub fn updated_baseline(&self) -> RootBaseline

The observed roots adopted by this run, layered over the loaded baseline (persist as the next roots.bin).

Accounts whose probe failed keep their previous baseline entry (if any); accounts whose root was observed carry the observed root.

Trait Implementations

impl ColdStartPlanner for RootBaselinePlanner

fn initial_plan(&mut self, _state: &dyn StateView) -> ColdStartPlan

The first plan to execute, derived from the current cached state.

fn on_results( &mut self, results: &ColdStartResults, _state: &dyn StateView, ) -> ColdStartStep

Decide whether to continue (with a next plan) or finish, given the just- completed round’s results and the post-injection state view.