IV.T215 — Unitarity from Dagger Structure

τ³ carries canonical dagger structure: f† satisfies (f∘g)†=g†∘f† and (f†)†=f. Unitarity S†S=1 follows structurally from compositional structure, not as additional postulate.