base_decay_rate
plain-language theorem explainer
Base decay rate is defined as the reciprocal of the golden ratio φ in Recognition Science units. Thermodynamic models of memory retention cite it to scale forgetting against memory cost in the forgetting_rate definition. The declaration is a direct assignment with no lemmas or reduction steps.
Claim. The base decay rate equals $1/φ$, where $φ$ is the golden ratio fixed point of the Recognition Composition Law.
background
The Memory Ledger module treats memory traces as thermodynamic systems whose retention is controlled by free-energy decay. Base decay rate supplies the universal prefactor that multiplies memory_cost and divides by breath_cycle inside the forgetting_rate definition. The module imports PhiForcing to obtain φ and Constants for the RS-native units (c=1, ħ=φ^{-5}).
proof idea
The declaration is a direct definition that assigns the value 1/φ with no tactics or lemmas applied.
why it matters
It anchors the positivity result base_decay_rate_pos and the forgetting_rate used by emotional_forgets_slower and forgetting_decreases. The constant places memory thermodynamics on the same phi foundation as T6 of the unified forcing chain and the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.