Registry · Remark IV.R388 tau-effective not_applicable

IV.R388 — OQ-A1 Status: RESOLVED

OQ-A1 (121/225 from E₁ spectral page) is RESOLVED via tensor-square interpretation. The EM-sector density in A_spec(L)^{⊗2} gives 121/225 as a single computation. Physical: two-vertex EM coupling (emission × absorption), each contributing 11/15.

Book IV Part 1 Ch. 1

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Sectors.SpectralPage

Symbol: