hbar
plain-language theorem explainer
The declaration supplies the CODATA 2018 numeric value of the reduced Planck constant as an empirical anchor in SI units. Bridge structures import it to compute recognition length and run dimensionless checks against RS-derived quantities. The definition is a direct numeric assignment with no further reduction.
Claim. $ ħ := 1.054571817 × 10^{-34} $ (J·s, CODATA 2018 value).
background
The module quarantines empirical SI/CODATA constants so the certified certificate chain never depends on them. This ħ is the 2018 measured value, distinct from the RS-native form ħ = φ^{-5} supplied by the sibling Constants.hbar. Upstream results in Information.ComputationLimitsStructure and Quantum.EntanglementEntropy reuse the same numeric value for Bremermann limits and entanglement entropy.
proof idea
One-line definition that directly assigns the CODATA 2018 numeric constant.
why it matters
It supplies the empirical ħ anchor for BridgeData, which is required by lambda_rec = √(ħ G / c³) and the identity (c³ λ_rec²) / (ħ G) = 1/π. The placement keeps numeric comparisons outside the core RS forcing chain (T0-T8) while still allowing concrete checks against the derived G = λ_rec² c³ / (π ħ).
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.