IndisputableMonolith.Chemistry.MaillardReactionThresholdFromJCost
This module certifies the Maillard reaction threshold via the reusable J-cost band template. Chemists modeling reaction kinetics cite it to connect recognition costs to activation thresholds. The module structure applies the six-clause template from CanonicalJBand to establish matched-zero and nonnegativity on the relevant ratio.
claimLet $r$ be the Maillard reaction ratio. MaillardCert asserts $J(1)=0$ and $J(r)geq 0$ for $r>0$, where $J(x)=(x+x^{-1})/2-1$.
background
The module imports CanonicalJBand, which supplies the reusable six-clause J-cost-on-ratio template used across the master cert chain. This template verifies matched-zero at unity and nonnegativity for positive ratios under the cost function $J(x)=(x+x^{-1})/2-1$. The chemistry module instantiates that template for the Maillard reaction threshold, the point at which browning kinetics become appreciable.
proof idea
This is a definition module, no proofs. It defines MaillardCert and maillardCert by direct application of the imported CanonicalJBand template to the Maillard ratio.
why it matters in Recognition Science
This module supplies the chemistry-specific domain certification in the master cert chain for B-tier whole-science openings. It feeds the Plan v7 domain certs by instantiating the Canonical J-Cost Band template, ensuring the Maillard threshold satisfies the same J-cost clauses as other domains.
scope and limits
- Does not compute a numerical value for the threshold.
- Does not address temperature or pH dependence.
- Does not extend the certification to other reactions.
- Does not prove uniqueness of the Maillard ratio.