IndisputableMonolith.Chemistry.OrganicFunctionalGroupsFromConfigDim
The module defines organic functional groups derived from configuration dimension in the Recognition Science framework. Researchers applying Recognition Science to chemistry would cite these definitions for molecular classification. It imports the Constants module providing the time quantum. The module consists entirely of definitions and certificates with no proofs.
claimThe module introduces the type of functional groups in organic chemistry, their enumeration function, and associated certificates, all constructed from configuration dimension in RS-native units.
background
The module sits in the Chemistry domain of Recognition Science and imports IndisputableMonolith.Constants. That import supplies the fundamental RS time quantum τ₀ = 1 tick. Sibling declarations establish the functional group type, its count, and certification objects derived from configuration dimension.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
This module supplies the organic functional group definitions that feed higher-level chemistry constructions in the Recognition Science framework, though the used_by block lists no specific parent theorems at present.
scope and limits
- Does not derive specific molecular structures or reaction mechanisms.
- Does not reference the forcing chain T0-T8 or the Recognition Composition Law.
- Does not connect to mass formulas, phi-ladder, or the alpha band.