I.R38 — Token-Set vs Tuple Encoding

ABCD chart is extensional (tuple); alternative token-set encoding is intensional (construction process). Hyperfactorization Theorem guarantees both agree. Token-set perspective appears in Lean formalization.