energyPerResolution
plain-language theorem explainer
The declaration defines the energy per resolution as φ^5 in Recognition Science native units. Researchers deriving power bounds from the 8-tick recognition cycle cite it when multiplying resolution rate by this quantum. It is introduced as a direct constant assignment from the relation ℏ = φ^{-5}.
Claim. The energy per resolution equals $φ^5$, where $φ$ is the golden ratio fixed point.
background
The RecognitionBremermann module develops the recognition-theoretic Bremermann limit. The 8-tick cycle is the minimum time for one complete debt resolution, so no physical process resolves debt faster than 8τ₀. The factor φ^5 enters because each resolution carries a φ^5-energy quantum once ℏ = φ^{-5} in RS units.
proof idea
This is a direct definition that sets energy per resolution to phi raised to the fifth power. No lemmas or tactics are applied.
why it matters
The definition supplies the φ^5 factor used in the parent theorem bound_from_phi, which states that bremermannBound times energy per resolution equals φ^5 / 8. It fills the energy-scale step in the Q7 chain that links the T7 eight-tick octave to the power bound on recognition events.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.