mond_median_chi2
plain-language theorem explainer
The declaration supplies the constant 2.47 as the median chi-squared per degree of freedom for the MOND simple-nu model on the SPARC galaxy sample. Researchers testing rotation-curve predictions against observations cite this benchmark when comparing the zero-parameter ILG model to MOND performance. It is introduced as a direct numerical assignment with no computation or derivation.
Claim. The median chi-squared per degree of freedom for the MOND simple-nu model on the SPARC sample is $2.47$.
background
The SPARC falsifier module formalizes a test for the ILG rotation-curve prediction under Recognition Science parameters locked to phi. Chi-squared per degree of freedom quantifies the mismatch between predicted and observed velocities for each galaxy; the median across the sample becomes the falsification statistic. Separate thresholds are defined: generous at 5.0 and tight at 3.0, with the theory document claiming a median near 2.75 for the RS prediction.
proof idea
Direct constant definition that assigns the real number 2.47 drawn from the MOND simple-nu comparison on SPARC data.
why it matters
This value anchors the falsification protocol by supplying the MOND benchmark against which the phi-locked ILG prediction is judged. It supports downstream definitions such as ILG_falsified and RS_prediction_refuted. In the Recognition Science setting it tests whether the D=3, eight-tick-octave structure with zero free parameters matches or exceeds MOND fit quality on the SPARC sample.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.