maillardCert
plain-language theorem explainer
The declaration supplies a concrete certificate for the Maillard reaction threshold derived from the J-cost evaluated on the surface-to-activation temperature ratio. Researchers modeling thermal activation in Recognition Science would cite this when linking the canonical J-band to the observed 140°C onset and the 227°C peak. The proof is a one-line wrapper that populates the base field of the MaillardCert structure from an underlying canonical certificate.
Claim. The Maillard certificate is the record whose base field equals the canonical certificate, thereby certifying that the J-cost on the surface-temperature ratio $r = T_mathrm{surface}/T_mathrm{activation}$ vanishes inside the canonical band at the Maillard onset.
background
The J-cost is the Recognition Science function $J(x) = (x + x^{-1})/2 - 1$, equivalently $cosh(log x) - 1$, which is zero at $x=1$ and rises symmetrically. The module applies this cost to the temperature ratio $r := T_mathrm{observed}/T_mathrm{activation}$ so that the Maillard browning cascade becomes perceptible exactly when $J(r)$ enters the canonical band. The structure MaillardCert packages a CanonicalCert in its base slot to record this threshold crossing.
proof idea
The definition is a one-line wrapper that constructs the MaillardCert record by assigning the base field to the identifier cert.
why it matters
This definition realizes the F7 claim by supplying an explicit certificate that the Maillard threshold aligns with the J-cost band on the temperature ratio. It connects the phi-ladder and canonical band to chemical activation energies. No downstream uses are recorded yet, leaving open the question of integration into larger reaction-network theorems.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.