Registry · Remark V.R458 tau-effective not_applicable

V.R458 — V.OP3 Status Wave 39: Peak Ratios Resolved

V.OP3 PARTIAL-IMPROVED: All three peaks sub-1300 ppm. ℓ₂ 93.6% improved, ℓ₃ 93.7% improved. n-exponent α=0.82 is computational fit (not axiom-derived). Peak heights require Boltzmann solver.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Lean Formalization

Module: