4.19 Strict growth of expanded dimensional richness under the canonical emergence rule

The typed-coordinate identity theorem already proves that the core state grows in direct richness. The new canonical emergence rule adds a second growth theorem: if each new Z_n generates at least one genuinely new emergent dimension not already in Expanded(H_n), then expanded dimensional richness strictly increases.

If Gamma_n contains at least one E_n not in Expanded(H_n), then ExpandedWidth(H_(n+1)) > ExpandedWidth(H_n)

For the specific Adeptness lineage now intended by canon, A_star,n+1 supplies such a new dimension. Therefore the Adeptness-directed dimensional family can grow even while primitive Adeptness remains fixed at 100%.