IndisputableMonolith.Verification.BridgeCore
Defines the bridge layer between RS-native units and laboratory observables: anchor rescaling that multiplies time and length anchors by the same s>0 while holding c fixed, plus dimensionless observables and the K-gate bridge quantities. Verification and RecogSpec modules import it to certify unit-invariant laws and band placements. Structure is definitional scaffolding with invariance lemmas, not a deep proof stack.
claimAnchor rescaling: if $(T,L)$ are time and length anchors with $c=L/T$ fixed, a rescaling by $s>0$ sends $(T,L)\mapsto(sT,sL)$. The module packages units packs, dimensionless observables, bridge evaluation maps, and the $K_A$, $K_B$, $K_{\mathrm{gate}}$ bridge observables, together with anchor-invariance statements.
background
Recognition Science works in RS-native units where $c=1$ and the fundamental time quantum is $\tau_0=1$ tick (from Constants). Laboratory comparison requires a bridge: choose time and length anchors and relate dimensionless combinations of predictions to measured numbers.
This module introduces that bridge core. UnitsRescaled is the relation that scales time and length anchors together by $s>0$ so $c$ is unchanged. Dimensionless and Observable mark quantities that must be invariant under that rescaling. BridgeEval evaluates a prediction in a chosen units pack. The $K_A$, $K_B$, and $K_{\mathrm{gate}}$ observables are the concrete bridge scalars used downstream for gate and band checks.
The local setting is verification infrastructure: pure definitions and invariance facts that later certificates and RecogSpec layers import, not the forcing chain (T0–T8) itself.
proof idea
Definition module. It introduces structures and relations (UnitsRescaled, Dimensionless, Observable, BridgeEval) and short invariance lemmas such as anchor_invariance and the K-gate bridge identities. No deep tactic developments; downstream certificates (e.g. UnitsRescaledLawsCert) prove reflexivity, symmetry, and transitivity of the rescaling relation on top of these definitions.
why it matters in Recognition Science
Without a clean anchor-rescaling relation, RS predictions cannot be compared to SI data while keeping $c$ fixed. RecogSpec.Bands and RecogSpec.Spec import this module to place dimensionless predictions in bands. UnitsRescaledLawsCert builds directly on it: that certificate records closure properties of UnitsRescaled (reflexivity, symmetry, transitivity), turning the bridge into an auditable equivalence on units packs.
In the broader framework this sits in Verification, not Foundation: it does not force $\phi$ or $D=3$, but it is the interface that lets mass-ladder and $\alpha$-band claims be stated as unit-invariant observables.
scope and limits
- Does not derive numerical values of c, hbar, G, or alpha.
- Does not prove the forcing chain T0–T8 or J-uniqueness.
- Does not by itself certify physical law closure; that is UnitsRescaledLawsCert.
- Does not define the mass ladder or Berry threshold; only bridge/units structure.
- Does not choose a preferred laboratory anchor; only the rescaling relation.