Registry · Remark V.R09 tau-effective not_applicable

V.R09 — Six, not five, cross-couplings

The symmetric coupling matrix of four primitive sectors has C(4,2) = 6 off-diagonal entries, but only five distinct values because kappa(A,B) = kappa(C,D) = iota_tau^3; this equality is a structural symmetry reflecting that the base-to-fiber transition costs the same as the fiber-to-base transition.

Book V Part 0 Ch. 2

Dependency Graph

Depends on (2)

Lean Formalization

Module: