working_memory_window
plain-language theorem explainer
Memory retention calculations in the Recognition Science thermodynamics module rely on a fixed window of eight ticks. This constant enters the exponential decay in apply_forgetting and the logarithm in spaced_bonus. Researchers modeling forgetting rates and spacing effects would cite the value when unfolding decay expressions. The declaration is introduced as a direct definition without additional proof obligations.
Claim. The working memory window is the constant natural number $8$.
background
In the MemoryLedger module, memory is modeled as a thermodynamic system where retention competes with free-energy decay. Supporting structures include the LedgerMemoryTrace record holding strength, complexity, emotional_weight, and encoding_tick, along with functions such as forgetting_rate and memory_cost that depend on the window size. The module documentation emphasizes that all thermodynamic memory theorems are fully proven, formalizing retention versus decay as a physics problem.
proof idea
This is a direct definition that sets working_memory_window to the literal value 8.
why it matters
The value 8 supplies the period used in forgetting calculations and spacing bonuses, realizing the eight-tick octave from the forcing chain (T7). It is referenced by apply_forgetting, forgetting_decreases, spaced_bonus, and their nonnegativity theorems. This anchors the discrete time structure for memory dynamics within the Recognition Science framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.