I.T41 — Bi-Square Characterization

The complete structural characterization: pasted bi-square of tower coherence (left) and spectral naturality (right). Both squares commute independently; together equivalent to HolFun. Global Hartogs: limit row determines every stage row.