Function reference_eval 

pub fn reference_eval(
    ops: &[MicroOp],
    frame: &mut [i64],
    fuel: u64,
) -> Option<i64>

The reference evaluator — the independent model every differential runs against. Deliberately the dumbest possible implementation: a pc loop. fuel bounds the step count (None when caught in a loop that long). A zero divisor also yields None — the reference’s model of the chain’s side exit (differentials feed nonzero divisors when comparing values, and assert Deopt agreement when not).