IndisputableMonolith.Chemistry.Structural_Chemistry_mod97
Module packaging a structural-chemistry certificate at modulus 97: a nonnegative domain cost on the RS cost functional, a positive canonical threshold, and an inhabited certificate record. Chemists and RS auditors cite it when wiring discrete structural constraints into the cost layer. Contents are mostly definitions plus elementary positivity and evaluation lemmas.
claimStructural chemistry at modulus $97$ is packaged as a domain cost $C$ (nonnegative, agreeing with pointwise evaluation), a canonical threshold $\theta>0$, and an inhabited certificate record $\mathrm{StructChemistryM97Cert}$ bundling those data for downstream use.
background
Recognition Science measures mismatch with the J-cost $J(x)=(x+x^{-1})/2-1$ from the Cost layer, with constants (including the tick $\tau_0$) from Constants. Chemistry modules specialize that cost to discrete structural domains rather than continuous kinematics.
This file introduces a domain-level cost for structural chemistry at modulus 97, together with a canonical positive threshold against which that cost is compared. The sibling names indicate pointwise agreement of the domain cost with its evaluation map, nonnegativity, positivity of the threshold, and a certificate type with an inhabitation proof.
The local setting is certificate-first: the module does not derive the full periodic table; it freezes a reusable cost-and-threshold interface that later chemistry theorems can assume or discharge.
proof idea
Definition-heavy module. Domain cost and canonical threshold are introduced as defs; nonnegativity and positivity are short lemmas (likely direct from Cost/Constants facts or trivial arithmetic). The certificate is a structure bundling those pieces, with inhabitation by an explicit witness. No deep forcing-chain argument lives here.
why it matters in Recognition Science
Gives the Chemistry domain a concrete mod-97 structural certificate tied to the RS cost layer, so later results can quote a single inhabited record rather than re-proving cost nonnegativity and threshold positivity. Used_by is empty in the graph snapshot, so this is presently a leaf interface: it feeds future structural or spectroscopic claims once they import the cert. It sits downstream of Constants and Cost only, not of the T0–T8 forcing chain directly.
scope and limits
- Does not derive atomic masses, spectra, or the full periodic table.
- Does not prove uniqueness of modulus 97 among other moduli.
- Does not connect domain cost to the eight-tick octave or D=3 forcing steps.
- Does not supply numerical chemistry predictions beyond the certificate interface.
- Does not discharge open physics hypotheses outside Cost/Constants.