IndisputableMonolith.Verification.KnobsCount
Verification module that packages the named inputs consumed by the RS derivation layer as a finite ledger and records that the count of fitted continuous parameters is zero. Anyone arguing that Recognition Science has no free continuous knobs cites this ledger and count. The module is definitional: an input type, a concrete ledger, cardinality facts, and a zero-count theorem.
claimThe derivation layer consumes a finite ledger of named inputs. The number of fitted continuous parameters in that ledger is $0$.
background
Recognition Science derives physics from one functional equation and the forcing chain T0--T8 (J-uniqueness, $\phi$ as self-similar fixed point, eight-tick octave, $D=3$). In that setting there should be no free continuous parameters left to fit against data; constants such as $c=1$, $\hbar=\phi^{-5}$, $G=\phi^5/\pi$ are fixed in RS-native units.
This module sits in the Verification domain. It introduces a type of named inputs consumed by the derivation layer, assembles them into an explicit input ledger, and defines the fitted continuous parameter count on that ledger. Sibling facts record that the ledger is nonempty and give its cardinality, then specialize to the continuous-fitted count.
proof idea
This is a definition-and-count module, not a deep proof development. It defines a named-input type for the derivation layer, builds a concrete input ledger from those names, and records elementary facts (nonemptiness, cardinality). It then defines the fitted continuous parameter count on the ledger and states that this count is zero. No substantial tactic proof is required beyond unfolding the ledger and evaluating the count.
why it matters in Recognition Science
The module underwrites the verification claim that RS has no fitted continuous knobs: every continuous constant is forced rather than tuned. Downstream verification and "indisputable" packaging can cite the zero continuous-parameter count when contrasting RS with standard model fitting. It does not itself re-prove T5--T8 or the mass ladder; it only tallies what the derivation layer is allowed to take as input and records that the continuous-fitted slice is empty.
scope and limits
- Does not re-derive J-uniqueness, phi, or the T0--T8 forcing chain.
- Does not bound discrete or structural inputs beyond the named ledger.
- Does not compare numerically to experimental fits outside the ledger definition.
- Does not prove physical correctness of the forced constants, only the zero continuous-fitted count.