pub fn naive_add_body() -> (Vec<FabricOp>, usize)Expand description
A deliberately NAIVE (non-isolated) packed add — a single 64-bit add. Carry bleeds across lane boundaries, so it must NOT equal the lane-wise spec (the non-vacuity witness for the isolation proof).