pith. sign in
module module high

IndisputableMonolith.Chemistry.Quasicrystal

show as:
view Lean formalization →

The Chemistry.Quasicrystal module supplies definitions that tie quasicrystal geometry and energetics to the golden ratio phi in Recognition Science. It introduces phi_ratio, tiling_energy, quasicrystal_stable, Penrose ratios, and icosahedral order for use in condensed-matter models. A physicist modeling stable quasicrystals or icosahedral symmetry would cite these objects. The module is purely definitional with supporting identities and no deductive proofs.

claimThe module defines the inverse golden ratio satisfying $1/φ = φ - 1$, the phi-ratio for quasicrystal tilings, tiling energy, the stability predicate quasicrystal_stable, Penrose frequency ratios, and icosahedral order conditions.

background

Recognition Science models quasicrystals via the self-similar fixed point phi forced in the UnifiedForcingChain (T6). The module imports Constants, where the fundamental RS time quantum is defined as τ₀ = 1 tick. It builds on this by introducing phi_ratio as the ratio obeying the identity 1/φ = φ - 1, together with tiling_energy and the predicate quasicrystal_stable that encode minimal-energy configurations on the phi-ladder.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the concrete objects needed to apply RS constants (c=1, ħ=φ^{-5}, G=φ^5/π) to chemical quasicrystals and icosahedral order. It feeds downstream results on stable structures and connects directly to the eight-tick octave and D=3 spatial dimensions in the forcing chain. No open scaffolding is closed here.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (11)