singleAnchorClaim
plain-language theorem explainer
In single-anchor calibration mode, Recognition Science claims every SI constant follows from φ plus exactly one external numerical anchor. This definition builds the corresponding audit string from the anchor's name and source. Auditors of the SI bridge cite it to separate zero-parameter dimensionless claims from scale-setting inputs. The body is pure string assembly, not a mathematical derivation.
Claim. Given an SI anchor $A$ (external constant with name, real value, provenance source, and unit), the single-anchor claim is the prose statement that RS derives all SI constants from $\varphi$ plus the one external anchor $A$, and that every other SI value follows from $\varphi$-based relations applied to $A$.
background
The Calibration Policy module separates two classes of RS output. Dimensionless predictions (ratios, exponents, ladder relations) follow from $\varphi=(1+\sqrt{5})/2$ alone and need no external input. SI-anchored predictions are absolute numbers in laboratory units and require at least one external scale-setting constant.
An SI anchor is a structure carrying name, real value, source string (e.g. CODATA 2022), and unit. Single-anchor mode fixes exactly one such constant and treats all other SI values as derived via the native $\varphi$-relations (for example the RS-native $G=\lambda_{\mathrm{rec}}^2 c^3/(\pi\hbar)$ and $\hbar=\varphi^{-5}$ in native units). The Constants file currently uses placeholders $\hbar=G=c=1$, so the live mode is dimensionless-only; this claim string is the honest wording once a real anchor is chosen.
Upstream constant definitions make the seam explicit: Codata supplies laboratory $\hbar$ and $G$, while the RS-native projections are not themselves SI predictions until a dimensional bridge is closed.
proof idea
Definitional string construction, not a proof. Concatenate a fixed template with the anchor's name and source fields, asserting that all other SI values follow from $\varphi$-based relations on that single external input. No lemmas are applied.
why it matters
Closes an audit gap: SI constants in the monolith include placeholders or need explicit anchors. By emitting a named, source-tagged claim string, the policy makes the single-anchor stance machine-checkable and human-readable. It sits beside the dimensionless-only claim and the calibration-mode switch, so reviewers can see which regime is active.
Framework context: RS-native units set $c=1$, $\hbar=\varphi^{-5}$, $G=\varphi^5/\pi$, but converting those to SI numerics is a bridge problem, not a free prediction. Single-anchor mode is the minimal honest compromise (one CODATA input, everything else from $\varphi$). No downstream theorems currently consume this string; it is documentation infrastructure for the verification layer and for particle-mass modules that display MeV values as a convention rather than a first-principles derivation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.