Address resolution, not calculation

The iterator ladder would remain unstable without canonical addresses. The construction therefore introduces normal forms in the genealogical DAG: codes reduce to a unique representative, and equality becomes finite-witness normal-form comparison rather than unrestricted symbolic calculation. The Cayley word metric on addresses is integer-valued and effective, supplying a genuine internal distance on generated code paths. This is the first place where arithmetic becomes address geometry.