Registry · Proposition
V.P172
tau-effective
formalized
V.P172 — Solar Flare Consistency
Prediction 0.117 v_A vs observed (0.1±0.03) v_A. Deviation +17% (~0.6σ). Well within experimental uncertainties.
Dependency Graph
Depends on (1)
Depended on by (1)
Lean Formalization
Module: TauLib.BookV.FluidMacro.TauMHD
Symbol: Tau.BookV.FluidMacro.SolarFlareConsistency