IndisputableMonolith.TruthCore.MRD.Scaling
The Scaling module in TruthCore.MRD supplies the core definitions for phi-ladder scaling used in mass and ratio predictions. It introduces ScalingModel together with predicted_ratio and predicted_ratio_rescale to encode rung-based exponents and Z-gap adjustments. These objects implement the quantitative layer that turns the Recognition Composition Law into concrete particle-mass forecasts. The module contains only definitions and no proofs.
claimScalingModel encodes rung and gap(Z) parameters on the phi-ladder. predicted_ratio(r) computes the base scaling factor as yardstick times phi to the power (r - 8 + gap(Z)). predicted_ratio_rescale adjusts the ratio for local Z corrections while preserving the self-similar fixed point.
background
Recognition Science derives all constants and masses from the single functional equation whose solution forces phi as the self-similar fixed point and produces the eight-tick octave. Scaling sits inside TruthCore.MRD and supplies the concrete mapping from abstract rung numbers to observable ratios. ScalingModel is the record that packages the rung index, the gap function of atomic number Z, and the yardstick normalization. predicted_ratio and predicted_ratio_rescale are the two functions that apply the exponent (rung - 8 + gap(Z)) to phi, exactly as required by the mass formula.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies the scaling layer that parent theorems in TruthCore use to derive the mass spectrum and the alpha band (137.030 to 137.039) from the phi-ladder. It directly implements the yardstick times phi^(rung - 8 + gap(Z)) expression that appears in the mass formula and connects T5 J-uniqueness to T8 D = 3. Downstream results that compute specific particle masses or the Berry threshold phi^-1 import these definitions.
scope and limits
- Does not derive phi from the forcing chain.
- Does not evaluate numerical masses for specific Z.
- Does not incorporate Berry creation threshold.
- Does not address interaction terms beyond pure scaling.