Registry · Definition V.D231 tau-effective planned

V.D231 — The iota_tau chain

Complete derivation chain: K0-K6 -> coherence kernel -> tau^3 -> Central Theorem -> spectral forces -> micro/macrophysics.

Book V Part 8 Ch. 74

Lean Formalization

Module: