module module moderate

`IndisputableMonolith.Gravity.SPARCFalsifier`

The SPARCFalsifier module supplies the generous falsification threshold of 5.0 for median chi-squared per degree of freedom on the SPARC galaxy sample; exceeding it falsifies the ILG model. Researchers testing Recognition Science gravity predictions against rotation-curve data would cite these definitions. The module consists of threshold constants and a decidable predicate with no proofs.

claimThe generous threshold is $5.0$, so that if the median $\chi^2/\mathrm{dof} > 5.0$ across the SPARC sample then the ILG model is falsified.

background

Recognition Science derives all physics from the J-uniqueness functional equation and the phi-ladder fixed point in the T0-T8 forcing chain. The SPARC sample supplies high-resolution HI and photometric rotation curves used to test galaxy-scale predictions. This module imports the RS time quantum $\tau_0 = 1$ tick from Constants and defines the generous chi-squared threshold together with the associated falsification predicate.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the falsification interface for ILG against SPARC data and directly feeds the sibling declarations ILG_falsified, RS_prediction_refuted and falsification_decidable. It implements the generous threshold criterion stated in the module documentation for testing RS gravity predictions in the D=3 sector.

scope and limits

Does not contain the SPARC dataset or any chi-squared computation.
Does not derive ILG rotation-curve predictions or the phi-ladder mass formula.
Does not apply the tight threshold or decide the actual falsification outcome.
Does not address other galaxy samples or non-ILG models.

depends on (1)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import

declarations in this module (29)

def generous_threshold L45
def tight_threshold L50
def ILG_falsified L53
def RS_prediction_refuted L57
def ILG_passes L61
theorem falsification_decidable L65
def alpha_locked L73
def upsilon_locked L76
def clag_locked L79
theorem parameters_from_phi L82
def per_galaxy_free_parameters L90
theorem zero_free_params L92
def predicted_median L100
def H_SPARC_median L103
def paper2_median_chi2 L110
def paper2_mean_chi2 L113
def paper2_N_galaxies L116
def mond_median_chi2 L119
def mond_mean_chi2 L120
theorem ilg_better_mean_than_mond L124
structure GlobalOnlyPolicy L140
theorem global_only_policy L146
def NegativeControl L156
def velocity_permutation_control L159
def rotation_180_control L163
def gas_stars_swap_control L167
def all_controls_inflated L171
structure SPARCFalsifierCert L178
theorem sparc_falsifier_cert L186