Registry · Proposition
III.P08
tau-effective
formalized
III.P08 — Label-Idempotent Compatibility
B-type primes correspond to e₊-dominant spectral coefficients, C-type to e₋-dominant, X-type balanced. Label_n is compatible with the split-complex idempotent decomposition of H_τ.
Book III
Part 3
Ch. 18