IndisputableMonolith.Gravity.SPARCFalsifier

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