k_B
plain-language theorem explainer
The declaration fixes the Boltzmann constant at its exact 2019 SI value of 1.380649 × 10^{-23} J/K. Researchers deriving the Page curve for black hole evaporation cite this anchor to convert ledger entropies into laboratory temperature scales. The assignment is a direct numerical binding with no internal derivation or reduction steps.
Claim. The Boltzmann constant satisfies $k_B = 1.380649 × 10^{-23}$ in SI units of J/K.
background
Entropy of a configuration equals its total defect count, with the zero-defect state as the minimum-entropy reference. The active edge count per fundamental tick is fixed at A = 1, which enforces the phi-power balance identity at three spatial dimensions. The module develops the Page curve by treating entanglement as shared ledger entries whose conservation produces the characteristic rise to a maximum at Page time followed by a decline.
proof idea
Direct numerical assignment of the 2019 CODATA value. The binding matches the identical constant definitions appearing in the BekensteinHawking and ComputationLimitsStructure modules.
why it matters
The constant supplies the conversion factor that lets Page-curve theorems interface with external anchors such as thermal_energy_at_unit_T and the EN-002 room-temperature superconductivity certificate. It thereby connects the ledger-dynamics resolution of the information paradox to measurable energy scales while preserving the RS-native relations among phi, the eight-tick octave, and D = 3.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.