Registry · Definition IV.D246 tau-effective formalized

IV.D246 — Coherence Kernel --- Physics Presentation

The coherence kernel K = ({alpha, pi, gamma, eta, omega}, rho, K0-K6) restated in physics language. The seven axioms from Book I Parts I-III are inherited as mathematics; the physical reading is forced by the Generator-Sector Correspondence of Book III.

Book IV Part 1 Ch. 2

Lean Formalization

Module: TauLib.BookIV.Arena.CoherenceKernel

Symbol: Tau.BookIV.Arena.CoherenceKernelPhysicsPresentation