Function eval_dae 

pub fn eval_dae(sched: &DaeSchedule, inputs: &[i64], heap: &mut Vec<i64>) -> i64

Evaluate a decoupled schedule against inputs + a shared heap, exactly as the coupled body would. Reuses the decision-fabric heap reduction over the re-laid-out cells — so agreement with the coupled eval is the semantics-preservation certificate.