4.7 What is mathematically forced

Every higher H_n contains all lower positive Hyperfunction orders required by its definition.

Every higher H_n contains negative typed occupancy of all lower Infrafunction orders required by its definition.

A new -I_k coordinate is not automatically reducible to H_k or to the four primitive H1 components.

Primitive Function, Adeptness, Usefulness, and Reliability remain saturated at 100% wherever H1 is inherited.

Higher order means more typed recursive structure, not a larger scalar on one primitive axis.

Because equality is coordinate-wise, H_n != H_m and I_n != I_m whenever n != m.

Because -I_k is a signed occupancy of tau_I,k, its identity is determined by both sign and recursive type-order; it is not defined merely by saying what it is not equal to.