derivation_summary
plain-language theorem explainer
derivation_summary defines a string that records how the gap parameter 45 equals the product of the closure factor 9 from an eight-tick cycle and the Fibonacci factor 5. Researchers tracing the origin of spatial dimensions in Recognition Science cite the summary when connecting the eight-tick octave to the lcm condition that forces D=3. The definition assembles the text by direct string concatenation of three explanatory clauses.
Claim. The summary records that $45=(8+1)×5$ where the closure factor is 9 and the Fibonacci factor is 5, together with the full synchronization period given by lcm(8,45)=360 that forces three spatial dimensions.
background
The Gap45.Derivation module treats the eight-tick structure as the period 2^3 forced by T8 in the unified forcing chain, with phi the self-similar fixed point. The Fibonacci sequence supplies the coprime factor 5, while the triangular number T(9)=45 encodes cumulative phase accumulation over a closed cycle. The module states that this factorization is algebraically equivalent to the triangular formula and that lcm(8,45)=360 forces D=3.
proof idea
The definition constructs the output string by concatenating three literal lines. No lemmas are invoked inside the body; the upstream period definition (phi^k scaling) and the and theorem (explicit log-derivative bound) appear only as module-level dependencies.
why it matters
The definition supplies the compact reference for the 45-gap result that supports forcing D=3 from the eight-tick octave and closure principle. It encodes the module key result linking T(9) to lcm(8,45)=360, consistent with forcing-chain steps T7 and T8. No downstream uses are recorded, leaving open the integration of this numerical relation into derivations of constants such as alpha inverse.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.