Registry · Remark V.R350 tau-effective not_applicable

V.R350 — Room for improvement

The ~10 ppm deviation in alpha is the principal improvement target; closing gap requires subleading Epstein terms.

Book V Part 8 Ch. 71

Lean Formalization

Module: