ZeroParameterFramework
plain-language theorem explainer
ZeroParameterFramework bundles the minimal axioms for any zero-parameter theory that evolves in time, carries a non-negative cost, is self-similar, and derives observables. Uniqueness arguments in Recognition Science cite this class to derive the Recognition Composition Law from constraints alone rather than from pre-loaded RS data. The declaration is a direct class definition that assembles the four properties listed in the module argument with no additional lemmas.
Claim. A zero-parameter framework is a type $F$ equipped with a dynamics predicate, a cost map $c:F→ℝ$ satisfying $c(x)≥0$ for every $x$, a self-similarity predicate, an observable-derivation predicate, and the assertion that the number of free parameters equals zero.
background
The module supplies a non-circular route to framework exclusivity. It starts from four explicit requirements: the framework must possess dynamics, admit no free parameters, produce measurable predictions, and support a scale hierarchy. These are collected into the class ZeroParameterFramework so that later steps can derive the Recognition Composition Law directly from them. Upstream results supply the supporting structures: ObserverForcing.cost_nonneg states that the cost of any recognition event is non-negative; PhiForcingDerived.of encodes the J-cost function $J(x)=(x+x^{-1})/2-1$; SpectralEmergence.of forces the gauge content and generation count from the same J-cost minimization.
proof idea
The declaration is a direct class definition with no proof body. It simply records the four required predicates and the zero-parameter constraint as fields, relying on the imported cost_nonneg theorem to guarantee non-negativity of the cost map.
why it matters
This class closes the circularity gap noted in the module doc by supplying the constraint set from which the Recognition Composition Law is to be derived. It therefore feeds the subsequent RCLDerivation and rcl_chain_is_valid siblings that aim at the NoAlternatives theorem. The construction sits at the foundation layer of the T0-T8 forcing chain, where the zero-parameter and self-similar conditions are used to force the eight-tick octave and the three spatial dimensions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.