IndisputableMonolith.Verification.Knobs
Export surface for the zero-knobs verification bundle: a discoverable list of core dimensionless proofs that Recognition Science claims hold with no free parameters. Auditors and paper writers cite it to locate the forced constants and identities. The module is a thin catalog over Mathlib, not a proof engine.
claimA zero-knobs export bundle: a named collection of core dimensionless Recognition identities (forced cost $J$, golden ratio fixed point $\varphi$, eight-tick period, $D=3$, and related dimensionless relations) presented as a discoverable proof list with no adjustable parameters.
background
Recognition Science derives physics from a single functional equation and the Recognition Composition Law, forcing the cost $J(x)=(x+x^{-1})/2-1$, the self-similar fixed point $\varphi$, the eight-tick octave, and $D=3$ spatial dimensions along the T0–T8 chain. Dimensionless means statements independent of unit choice once $c=1$, $\hbar=\varphi^{-5}$, and related RS-native normalizations are fixed.
This module sits in the Verification domain. Its stated role is a zero-knobs proof bundle export: a discoverable index of those core dimensionless proofs. The only import is Mathlib; sibling content centers on zeroKnobsExports as the catalog object.
proof idea
This is a definition and export module, not a theorem module. It packages named references to already-proved dimensionless results into a single discoverable bundle. No local forcing argument is carried here; structure is catalog plus export surface over Mathlib.
why it matters in Recognition Science
Zero-knobs is the audit claim that RS constants and structural identities are forced rather than fitted. This module is the verification-facing list of those dimensionless cores so downstream checks and paper cross-references can point at one place. It does not itself close T5–T8; it surfaces the dimensionless layer those steps feed. Parent use is organizational: verification and export consumers that need a single entry for the no-free-parameter core.
scope and limits
- Does not prove J-uniqueness, phi-forcing, eight-tick, or D=3 locally.
- Does not bind dimensionful constants beyond the dimensionless export list.
- Does not assert completeness of all RS proofs, only the catalogued core set.
- Does not provide numerical experiments or empirical falsification harnesses.