IndisputableMonolith.Relativity.ILG.Falsifiers
The module enumerates falsifier bands for ILG in PPN, lensing, and GW. Researchers testing Recognition Science gravity predictions against data would cite the bands. It functions as a catalog with no proofs or derivations.
claimFalsifier bands for ILG: $B_{PPN}$, $B_{lensing}$, $B_{GW}$.
background
The module resides in the Relativity.ILG section. ILG denotes the local gravity model built from the forcing chain T0-T8 and the J-cost function. Falsifier bands mark parameter intervals where PPN, lensing, or GW observations could contradict ILG predictions. The module imports only Mathlib.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies concrete falsification criteria for ILG and feeds into parent relativity consistency checks in Recognition Science. It enumerates the bands for PPN, lensing, and GW that support observational tests of the framework.
scope and limits
- Does not derive ILG equations from the J-cost or RCL.
- Does not assign numerical intervals to the bands.
- Does not reference specific experimental datasets.