Reverse mathematics calibrates the logical strength of a theorem against a stipulated base such as RCA₀, so its verdicts are relative: change the base and the answer can move. We propose a measure that is not relative. The discrete tower ℕ_δ → ℤ_δ → ℚ_δ is forced as the initial object of an explicit distinction signature, hence unique up to unique isomorphism, so the named posit cost of deriving a theorem T becomes a base-canonical, machine-checkable invariant whose upper half is an internal Lean term, the forcing spectrum σ(T), where "base-canonical" means free of any base-representative parameter while remaining relative to the chosen signature, the posit alphabet, and the ambient metatheory. We present the framework: the forced base, the choice-free discrete tower, the proved fact that the continuum is not forced, and the demarcation that forced base plus classical completeness entails an omniscience principle of LPO class. We define σ as a certificate discipline on a finite semilattice of named posits, argue it cannot be a total computable recognizer, and state honestly which half of a certificate is internal Lean and which is external metatheory. Finally we specify a reproducible, continuous-integration-gated audit. The audit engine and the first spectrum certificate are the named next deliverables, tagged in construction throughout, and no machine output is invented here.