mond_mean_chi2
plain-language theorem explainer
This definition records the mean chi-squared per degree of freedom for the MOND model on the SPARC sample as 4.65. Model comparators in galactic dynamics cite it to contrast against the zero-parameter ILG prediction from Recognition Science. The declaration is a direct constant binding with no further reduction.
Claim. The mean $chi^2$ per degree of freedom attained by the MOND rotation curve model on the SPARC galaxy sample equals 4.65.
background
The SPARC Falsifier module formalizes a test for the ILG rotation curve model using the SPARC galaxy sample with all parameters locked to values derived from the golden ratio phi and zero per-galaxy free parameters. The mean chi-squared for MOND serves as a benchmark for comparison against the ILG result. The module imports the has class from AsteroidOreSpectroscopy, which defines characteristic spectral peaks at frequencies scaled by powers of phi.
proof idea
The definition is a direct assignment of the constant 4.65, serving as a one-line wrapper for the MOND mean chi-squared benchmark.
why it matters
This constant feeds the theorem ilg_better_mean_than_mond, which establishes that the ILG mean chi-squared is lower than MOND's despite a higher median, highlighting the benefit of the global-only constraint. It supports the SPARCFalsifierCert structure by providing a reference value for negative controls. In the Recognition Science framework, it anchors the gravity falsification test against the phi-derived parameters alpha_t, C_lag, and Upsilon_star.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.