Registry · Remark V.R345 tau-effective not_applicable

V.R345 — Independence from m_e

Bridge identity testable independently of m_e prediction; by R Formula Independence Theorem, the two are independent falsification targets.

Book V Part 8 Ch. 70

Lean Formalization

Module: