I.R33 — Route B Axioms Comparison

Route B uses 13 axioms K0'-K12' (vs Route A's 7 axioms K0-K6). K7'-K9' axiomatize rewrite functors; K12' asserts saturation. Route A chosen for tighter foundation; Route B validates uniqueness.