I.D79 — Program Monoid as Linear Calculus

Reinterpretation of the program monoid (I.D14) as a linear sequent calculus: programs = linear proofs, concatenation = cut rule, NF-Confluence (I.L02) = cut-elimination, four orbit channels = linear context zones.