IndisputableMonolith.Astrophysics.FRBStructure
This module organizes the structural link from Fast Radio Burst observations to Ultra-High-Energy Cosmic Ray inputs in the Recognition Science framework. Astrophysicists working on cosmic ray propagation or magnetic field modeling cite it to import FRB-derived constraints into UHECR analyses. The module consists of sibling definitions and an implication statement that directly supplies input to the downstream CosmicMagneticFieldsStructure module.
claimFRB structure $\implies$ UHECR structural input, via definitions frb_from_ledger, frb_structure, and the implication frb_implies_uhecr.
background
The module resides in the astrophysics domain and imports UHECRStructure to extend ledger-based structural inputs. It introduces frb_from_ledger (mapping ledger data to FRB properties), frb_structure (core FRB definition), and frb_implies_uhecr (the implication theorem). The local setting follows the Recognition Science forcing chain and Recognition Composition Law, treating FRB data as an additional structural constraint on the phi-ladder mass and defect distributions already present in UHECRStructure.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies the FRB-to-UHECR implication required by the downstream CosmicMagneticFieldsStructure module. It completes the astrophysics pipeline step that converts FRB observations into UHECR-side structural input, consistent with the eight-tick octave and D=3 spatial dimensions of the foundation.
scope and limits
- Does not derive numerical FRB dispersion measures or redshifts.
- Does not address specific UHECR energy spectra or arrival directions.
- Does not incorporate observational uncertainties or selection effects.
- Does not extend to other transient classes such as gamma-ray bursts.