Function check_range_claim 

pub fn check_range_claim(cells: &[RCell], claim: &RangeClaim) -> bool

Replay the claim and judge it. true iff every check passes; ANY malformation (arity mismatch, dangling reference, non-finite number, inverted interval) is false — fail-closed.