Registry · Definition I.D03 established formalized

I.D03 — Diagonal Discipline

Structural principle preventing free contraction/reuse; forces exactly four orbit channels via three successive diagonal rewirings.

Book I Part 1 Ch. 5

Dependency Graph

Depends on (1)

I.D01

Depended on by (17)

I.D06 I.D77 I.D78 I.D89 I.L01 I.P23 I.R31 I.R32 I.R33 I.R34 I.R35 I.T02 I.T35 I.T37 I.T39 I.T46 IV.P180

Lean Formalization

Module: TauLib.BookI.Kernel.Diagonal

Symbol: Tau.Kernel.diagonal_discipline