IndisputableMonolith.Pipelines
The Pipelines module defines the golden ratio φ as a concrete real number together with supporting pipeline functions for Recognition Science. It supplies phi, coeff, partialSum, F, f_gap, deltaKappa, and alphaInvPrediction to enable numerical work on the phi-ladder and constant predictions. The module imports Mathlib for real arithmetic and forms the computational base layer. These definitions allow direct evaluation of mass formulas and alpha-band quantities without further abstraction.
claim$φ = (1 + √5)/2$ together with the pipeline objects coeff, partialSum, $F$, $f_{gap}$, $δκ$, and the $α^{-1}$ prediction map.
background
The module supplies the concrete numerical setting for the golden ratio φ in Recognition Science. It introduces phi as the self-similar fixed point and the auxiliary pipeline terms partialSum, F, f_gap, deltaKappa, and alphaInvPrediction that implement summation, gap, and prediction steps on the phi-ladder. These rest on the forcing chain in which T6 selects φ as the unique fixed point of the J map.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The definitions supply the numerical base for mass formulas of the form yardstick · φ^(rung - 8 + gap(Z)) and for alpha inverse predictions inside the (137.030, 137.039) band. They directly support the Recognition Composition Law and the eight-tick octave structure.
scope and limits
- Does not contain theorems or proofs.
- Does not import other Recognition modules.
- Does not encode the full forcing chain T0-T8.