hawkingFactor
plain-language theorem explainer
Recognition Science defines the dimensionless Hawking factor as 1/(8 φ^{10}) from the unit conversion of the standard Hawking temperature formula. Researchers studying black hole thermodynamics in the RS framework cite this when normalizing evaporation rates or confirming T_H M positivity. The definition is introduced by direct assignment without additional lemmas.
Claim. The dimensionless Hawking temperature factor is given by $1/(8 φ^{10})$, where $φ$ is the golden-ratio fixed point of the Recognition Composition Law.
background
The module rewrites the classical Hawking temperature $T_H = ħ c^3 / (8 π G M k_B)$ using RS-native constants ħ = φ^{-5} and G = φ^5 / π. This produces the simplified relation $T_H = φ^{-10} / (8 M)$, so the mass-normalized factor equals φ^{-10}/8. The definition isolates the numerical prefactor 1/(8 φ^{10}).
proof idea
The definition is a direct noncomputable assignment of the real number 1 divided by 8 times phi raised to the tenth power.
why it matters
This definition supplies the numerical factor required by the HawkingCert structure, which asserts five Hawking effects, positivity of the factor, and φ^{10} > 100. It completes the A4 strong-field section by providing the constant that makes T_H M = φ^{-10}/8 positive. The result ties directly to the Recognition Composition Law and the eight-tick octave through the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.