IndisputableMonolith.Experimental.MiniBooNELSNDStructure
The module shows that MiniBooNE and LSND neutrino anomaly structures imply the structural input required for the flyby anomaly in Recognition Science. Researchers mapping particle data onto gravitational anomalies would cite it. The module builds the link through three sibling declarations that extract a structure from ledger data, define it, and prove the implication.
claimThe structure extracted from MiniBooNE and LSND data implies the structural input for the flyby anomaly: $M/L$ structure $implies$ flyby anomaly input.
background
The module sits in the Experimental domain and imports FlybyAnomalyStructure to supply the target input. It operates inside the Recognition Science setting where anomalies are expressed via J-cost, defectDist, and the phi-ladder derived from the T0-T8 forcing chain. The module doc states its purpose directly: MiniBooNE/LSND structure implies flyby-anomaly structural input.
proof idea
This is a definition module, no proofs. Its argument is distributed across three sibling declarations that derive the structure from ledger data, define the structure itself, and establish the implication to the flyby input.
why it matters in Recognition Science
The module supplies the experimental bridge from neutrino data to the flyby anomaly, feeding the FlybyAnomalyStructure module. It realizes the module-level claim that MiniBooNE/LSND structure implies flyby-anomaly structural input and thereby connects particle anomalies to the eight-tick octave and D=3 geometry of the unified chain.
scope and limits
- Does not validate the statistical significance of MiniBooNE or LSND data.
- Does not compute numerical values for either anomaly.
- Does not derive the flyby anomaly from first principles.
- Does not address other neutrino experiments or anomalies.