I.R32 — Product-Free Operator Definitions

Route B axiomatizes arithmetic operations directly as finite-support rewrite functors on single channels, without defining them as iterations. Product-free: no Cartesian product needed. Both routes yield the same category.