IndisputableMonolith.Masses.KernelTypes
KernelTypes establishes foundational types for kernels in Recognition Science mass calculations. It supports structures such as gauge skeletons and rung specifications on the phi-ladder. This definition-only module imports Mathlib, lists no dependencies or uses, and precedes sibling modules in the Masses domain.
claimKernel types for mass assignments: $m = y_0 · ϕ^{r-8+g(Z)}$ on the phi-ladder
background
Module in the Masses domain of Recognition Science. Introduces types supporting kernel definitions for mass formulas. Theoretical setting uses the phi-ladder with rung and gap functions; sibling modules include GaugeSkeleton, Completion, WordLength, GenClass, tauOf, RungSpec, rungOf. Imports only Mathlib.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
Supplies type infrastructure for mass theorems in the Recognition Science framework. Supports the mass formula on the phi-ladder and downstream calculations of physical constants.