hbar
plain-language theorem explainer
Planck's reduced constant ħ is assigned the SI value 1.054e-34 for use in the entanglement entropy module. It enters the Ryu-Takayanagi relation S_A = Area(γ_A) / (4 G_N ħ) that the module derives from 2D ledger projections. The implementation is a direct numerical definition that matches approximate CODATA values already present in sibling constant modules.
Claim. $ħ = 1.054 × 10^{-34}$ (in SI units of J·s).
background
The Quantum.EntanglementEntropy module derives the Ryu-Takayanagi formula from Recognition Science ledger structure. Ledger entries are treated as fundamentally 2D surfaces; shared entries between a region and its complement count as boundary area, yielding S_A = Area(γ_A) / (4 G_N ħ). The module imports constants and cost structures to support this area-law emergence.
proof idea
The declaration is a direct noncomputable definition that assigns the floating-point literal 1.054e-34 to the real number ħ. No lemmas or tactics are invoked; it functions as a one-line constant provider for SI-based computations.
why it matters
This supplies the SI ħ required by the BridgeData structure and the lambda_rec definition λ_rec = √(ħ G / c^3) that feeds forty downstream uses, including dimensionless identities and physical-assumption lemmas. It enables the module target of proving the area-law entropy formula from ledger projections, consistent with framework landmarks where native ħ = φ^{-5} and G = φ^5 / π.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.