Q8. What gives -I_k a mathematical identity?

Each recursive H/I order has its own independent type-symbol tau. A negative occupancy is the ordered pair of negative sign with that exact type-symbol. State equality is coordinate-wise. Therefore -I_7 and -I_8 are provably distinct, and H_n differs from H_m for n!=m because their support differs.