Registry · Proposition
VI.P21
tau-effective
not_formalized
VI.P21 — Monotone Convergence of Enantiomeric Excess
Sequence {ee(n)} is monotonically increasing with limit 1; regression prevented by Hodge stabilization (barrier >> k_BT) and Poincare topological lock-in on L.