IndisputableMonolith.Masses.KernelTypes
The KernelTypes module supplies the core type definitions and aliases for mass kernel structures in Recognition Science. Researchers constructing phi-ladder mass spectra or rung-based particle assignments would import these types to enforce discrete word lengths and generation classes. The module consists solely of definitions with no theorems or proofs, acting as a pure interface layer for sibling modules.
claimThe module defines the types $GaugeSkeleton$, $Completion$, $WordLength$, $GenClass$, the function $tauOf$, the structure $RungSpec$, and the function $rungOf$ for kernel representations on the phi-ladder.
background
Recognition Science builds masses via a phi-ladder where each rung encodes a defect distance scaled by powers of phi, with the J-cost function satisfying the Recognition Composition Law. This module introduces the supporting type layer in the Masses domain, including GaugeSkeleton for underlying gauge structure, Completion for value filling, WordLength for discrete length at the self-similar fixed point, and GenClass for generation classification. The functions tauOf and rungOf map elements to the tau parameter and rung index, respectively, consistent with the eight-tick octave and D=3 spatial dimensions.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module provides the type infrastructure required by downstream mass formulas, including the yardstick times phi to the power of (rung minus 8 plus gap(Z)). It supports parent results on particle spectra and the alpha inverse band by supplying RungSpec and GenClass for consistent rung and generation assignments across the forcing chain.
scope and limits
- Does not compute any numerical mass values or phi powers.
- Does not state or prove the J-cost equation or RCL.
- Does not reference the T0-T8 forcing chain or Berry threshold.
- Does not include any theorem statements or proof obligations.