IndisputableMonolith.Chemistry.MaillardReactionThresholdFromJCost
This module certifies the Maillard reaction threshold via the J-cost band template imported from CanonicalJBand. Recognition Science researchers cite it as one of the domain certs in the master chain for chemistry. The module structure instantiates the reusable six-clause template on the reaction ratio parameters to establish the threshold properties.
claimThe Maillard reaction threshold $\tau$ satisfies the J-cost band: $J(1)=0$, $J(x)\geq 0$ for $x>0$, and the four remaining clauses of the six-clause J-cost-on-ratio template.
background
The upstream CanonicalJBand module supplies the six-clause J-cost-on-ratio template reused across the master cert chain and Plan v7 domain certs. Its doc-comment states that each domain cert proves matched-zero ($J(1)=0$) and nonneg ($J(x)\geq 0$ for $x>0$). This chemistry module imports that template (plus Mathlib) to define the Maillard reaction objects in the chemistry domain.
proof idea
This is a definition module that applies the CanonicalJBand template to the Maillard reaction, defining MaillardCert and maillardCert to certify the threshold.
why it matters in Recognition Science
The module feeds the master cert chain as one of the domain certs referenced in the CanonicalJBand doc-comment. It extends the J-cost band to the Maillard reaction threshold, supporting B-tier whole-science openings in chemistry.
scope and limits
- Does not derive a numerical value for the threshold.
- Does not address reaction kinetics outside the J-cost band.
- Does not prove the template clauses independently.
- Does not connect to experimental measurements.