pub fn eval_program_cfg_fabric(pf: &ProgramCfgFabric, params: &[i64]) -> i64Expand description
Evaluate a whole-function CFG fabric: seed the register file with params, then let the block-sequencing
controller walk the graph — each block runs its wired residual over its live-in registers, commits its
writes to the file, and its terminator predicate picks the successor — until a block returns. Equals the
VM interpreting the same function (proven by fabric_cfg_lock).