I.T21 — Tau-Identity Theorem

THE CROWN JEWEL: if two tau-holomorphic functions agree at stage d0 for all inputs, they agree at all stages <= d0. Hallmark of holomorphic rigidity. Proof uses tower coherence for vertical propagation (not classical sideways analytic continuation).