Function eval_loop_fabric_seq 

pub fn eval_loop_fabric_seq(lf: &LoopFabric, params: &[i64], seq: &[i64]) -> i64

Evaluate a loop fabric, supplying the iterated SEQUENCE’s element values when it is a sequence loop (seq_input.is_some()). The induction range is then 0..=seq.len()-1 (an empty seq runs zero iterations, exactly like the VM), and each LoopCell::MemRead reads seq[addr]. For a numeric range loop, seq is unused and the bounds come from lo/hi.