currentCalibrationMode
plain-language theorem explainer
Pins the framework's active calibration stance to placeholder mode: no SI anchor has been chosen, so only dimensionless φ-relations are in scope. Verification and constants modules cite this flag when gating SI claims. The body is a one-line assignment to the Placeholder constructor of the calibration-mode inductive.
Claim. The active calibration mode of the framework is the placeholder mode: absolute SI scale is not yet fixed by any external anchor, and SI numerical claims are disallowed.
background
Recognition Science separates two classes of output. Dimensionless predictions (ratios, exponents, ladder relations) follow from $\varphi = (1+\sqrt{5})/2$ alone and need no external input. SI-anchored predictions assign concrete SI numbers and require at least one scale-setting constant (for example CODATA $\hbar$).
The module encodes that policy as an inductive CalibrationMode with three constructors: dimensionless-only (no SI claims), single-anchor (exactly one SI constant fixes scale), and placeholder (no anchor chosen yet). The constants file presently sets $c=1$, $\hbar=1$, $G=1$, which is the placeholder regime: ratios are meaningful, absolute SI numerics are not.
This definition records which of those three stances is currently active for the rest of the verification layer.
proof idea
Pure definitional assignment. The value is the Placeholder constructor of the calibration-mode inductive; there is no proof obligation, lemma application, or tactic script.
why it matters
Gives a single named handle for the framework's present honesty about absolute scale. Downstream compliance predicates (whether SI predictions are allowed, dimensionless-only claims, single-anchor claims) are meant to branch on this flag so that SI numerics cannot be asserted while constants remain unit placeholders.
In the broader RS picture this sits upstream of any claim that would quote $\hbar = \varphi^{-5}$ or $G = \varphi^5/\pi$ as SI numbers: those identities are meaningful as φ-relations, but converting them into CODATA-style SI values requires either accepting an external anchor or an internal scale-fixing mechanism that is not yet formalized. The placeholder setting keeps that gap explicit rather than silent.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.