Pith. sign in
module module low

IndisputableMonolith.Physics.PhotonicsMetamaterialFromPhi

show as:
view Lean formalization →

This module defines metamaterial types and photonic bandgap quantities derived from the golden ratio phi within Recognition Science. Physicists modeling RS-native optical materials would reference it for type classifications and frequency derivations. It is a definition module establishing types, counts, frequencies, ratios, and a certification object on top of the imported time quantum.

claimMetamaterialType classifies photonic structures; metamaterialTypeCount gives their cardinality; bandgapFrequency and bandgapRatio compute the gap frequency and ratio from phi; PhotonicsMetamaterialCert is the certification object.

background

The module sits inside the Recognition Science framework and imports the fundamental time quantum τ₀ = 1 tick from Constants. It introduces MetamaterialType as a classification of photonic metamaterials, metamaterialTypeCount as the number of such types, bandgapFrequency as the derived gap frequency, bandgapRatio as the corresponding ratio, and PhotonicsMetamaterialCert as the certified object.

All quantities are expressed in RS-native units where c = 1 and lengths are scaled by the phi-ladder. The module therefore supplies the concrete objects needed to apply the Recognition Composition Law to optical bandgaps.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the photonic-metamaterial objects that feed applications of the phi-ladder and eight-tick octave in optical contexts. It stands as a leaf definition set with no downstream uses recorded, providing the type and certification infrastructure for any later derivation of bandgap properties from J-cost or defectDist.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)