Function decision_fabric_is_float_arith 

pub fn decision_fabric_is_float_arith(df: &DecisionFabric) -> bool

True iff the fabric is a pure FLOAT-arithmetic datapath (its cells are all FuncUnit float ops over float/Val operands) — lowered by emit_float_datapath_verilog. It must end in a float result (no FFloorF float→int bridge here — the caller floors the streamed f64 downstream) and carry no heap.