unit_sensor_not_physical_cert
plain-language theorem explainer
Any real σ strictly between 1/2 and 1 makes the unit-charge zeta defect sensor non-physical. Researchers deriving the Riemann Hypothesis from the Recognition Science chain cite this as the direct bridge from the zeta-ledger construction to the ontological dichotomy. The proof is a one-line wrapper that applies the lemma unit_sensor_not_physical to the strip hypothesis.
Claim. For any real number $σ$ with $1/2 < σ < 1$, the unit-charge defect sensor for the Riemann zeta function at $σ$ is not physically realizable: $¬$PhysicallyExists(zetaDefectSensor $σ$ $hstrip$ 1).
background
The RH Certificate module assembles the full chain from RS foundations to the Riemann Hypothesis. Central notions are the DefectSensor (an object carrying charge and annular cost) and the predicate PhysicallyExists (from the bridge data core, requiring positive $c$, ħ, $G$). The ontological dichotomy asserts charge zero if and only if the sensor is physically realizable. The zeta-ledger bridge shows that any point in the open strip forces unit charge to imply non-existence. Upstream results include the zetaDefectSensor definition and the dichotomy lemma from UnifiedRH.
proof idea
This is a one-line wrapper that applies the lemma unit_sensor_not_physical to the supplied σ and strip hypothesis hstrip.
why it matters
The declaration supplies the zeta-ledger bridge step inside the RH Certificate module and feeds the conditional result riemann_hypothesis_from_rs. Under the RS Physical Thesis that zeta zeros are recognition events, the unit-charge sensor cannot exist, yielding the contradiction that forces the Riemann Hypothesis once the classical zero-free region is adjoined. It closes the link from the T0-T8 forcing chain through the Recognition Composition Law to the number-theoretic defect structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.