Function check_integrator_claim 

pub fn check_integrator_claim(
    cells: &[RCell],
    outs: &[RSrc],
    init_lo: &[f64],
    init_hi: &[f64],
    frames: usize,
    claim: &RangeClaim,
) -> bool

Replay a MULTI-STATE INTEGRATOR claim: the cells run once per frame over the held state vector (starting inside the init boxes); outs[s] gives state s’s next value. The claim’s input boxes must contain every frame’s state vector (the trajectory hull), and the per-node claims must contain the per-frame hulls, inside the rails / above the noise floor.