FRB_amplification_factor
plain-language theorem explainer
The FRB amplification factor is defined as the integer 360, encoding the per-rung scaling for fast radio burst periods on the BIT carrier band. Astrophysicists working within Recognition Science would cite this constant when converting the base carrier period into multi-day periodicities via the phi-ladder. It is supplied directly as the product 8 times 45 with no further reduction steps.
Claim. The canonical per-rung amplification factor for FRB periods is defined to be the integer 360, obtained as the product of the eight-tick window and the consciousness gap of 45.
background
In the module Fast Radio Burst Period from BIT Carrier the Recognition Science framework places FRB periodicities on the phi-ladder of the BIT carrier band. The base carrier period is given as approximately 0.124 s (corresponding to frequency 5φ Hz), and longer periods arise by repeated multiplication by the amplification factor 360. This factor is introduced explicitly as the product of the eight-tick octave and a gap of 45, consistent with the forcing-chain landmarks T7 and the gap assignments in the mass formula.
proof idea
The declaration is a direct definition that sets the constant to the numerical value 8 multiplied by 45. No lemmas or tactics are invoked; the value is introduced as the canonical 8-tick times gap-45 product for all subsequent period calculations in the module.
why it matters
This definition supplies the numerical constant 360 that appears in the master certificate FastRadioBurstFromBITCert and the one-statement theorem fast_radio_burst_one_statement. It realizes the per-rung geometric step P_FRB(k) = (1/(5φ)) * 360^k, connecting the eight-tick octave (T7) to observable multi-day FRB periodicities. The assignment of the gap value 45 remains an open modeling choice within the framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.