Function to_range_claim 

pub fn to_range_claim(
    schedule: &GainSchedule,
    cert: &RangeCertificate,
) -> (Vec<RCell>, RangeClaim)

Convert a netlist + schedule + certificate into the INDEPENDENT checker’s neutral vocabulary. The producer’s only role here is faithful translation; the judgment belongs to logicaffeine_proof::interval_replay::check_range_claim.