III.P21 — Earned Admissibility

Characters (W=1), identity (W=0), successor (W=1) are admissible. Composition sub-additive: W(g∘f) ≤ W(f)+W(g). CRT product: W = max. The admissible functions form a compositionally closed class.