IndisputableMonolith.Experimental.ANITAUpgoingStructure
The module establishes that ANITA upgoing neutrino events supply the structural input required for the gallium anomaly inside the Recognition Science ledger. Experimental physicists studying neutrino anomalies would cite it to connect ANITA observations to gallium data. The module imports the gallium anomaly structure and defines the implication through its core declarations.
claimANITA upgoing structure implies gallium anomaly structural input: $ANITA-upgoing events imply gallium anomaly input$.
background
The module operates in the experimental domain of Recognition Science and imports GalliumAnomalyStructure to access definitions of the anomaly expressed via the phi-ladder and J-cost. It places ANITA upgoing events in the same ledger framework that already encodes the unified forcing chain from T0 to T8. The setting therefore treats high-energy neutrino detections as additional ledger entries that must satisfy the same Recognition Composition Law used for the gallium structural requirements.
proof idea
This is a definition module, no proofs. It organizes the argument by introducing anita_upgoing_from_ledger, anita_upgoing_structure, and anita_implies_gallium to encode the implication from the imported gallium definitions.
why it matters in Recognition Science
The module feeds DAMAModulationStructure, supplying the ANITA-to-gallium link that later supports modulation analyses. It fills the experimental step that maps ANITA upgoing events onto the gallium anomaly structural input required by the Recognition Science chain.
scope and limits
- Does not simulate ANITA detector response or event reconstruction.
- Does not derive numerical rates or cross sections for the anomaly.
- Does not address backgrounds or alternative explanations for ANITA data.
- Does not extend the implication to DAMA modulation inside this module.