I.D78 — Diagonal-Linear Correspondence

Structural isomorphism between K5's diagonal discipline and the !-free fragment of Girard's linear logic: no unearned diagonals = no free contraction, channel consumption = linear resource tracking, saturation = finite resource budget.