Chemistry Maillard Reaction Threshold From Jcost Maillard Cert

A formal certificate for browning

The Maillard reaction is the cascade of chemistry that browns bread crust, sears steak, and darkens roasted coffee. Food chemists date its systematic study to Louis-Camille Maillard's 1912 work, and the standard account of the cascade is Hodge's 1953 scheme. The reaction is slow at low temperatures, becomes noticeable around 140°C, and accelerates sharply above that point.

Recognition Science (RS) is a framework that derives physical structure from a single starting point: reality keeps a ledger, a discrete record of recognition events, and the cost of recognition is forced, not chosen. Its core theorem proves that any cost function satisfying five plain conditions equals J(x) = (x + 1/x)/2 - 1. The framework's machine-checked library of formal theorems contains a declaration called MaillardCert, which applies this cost function to the Maillard reaction.

MaillardCert models the reaction's onset as the point where the J-cost vanishes, using r := observed_surface_temperature / activation_threshold. The certificate states that the reaction transitions from imperceptible to dominant when J-cost crosses a canonical band. Its structural prediction: peak Maillard activity sits at one φ-step above the onset threshold, meaning about 227°C, matching the empirical caramelisation peak near 230°C. Burns and acrylamide formation cross two φ-steps above, around 365°C, near the char threshold.

The certificate is a formal structure in the library, with zero unproved assumptions and zero axioms. It is not a measurement and not a law of chemistry. Its falsifier is named: Maillard kinetics that do not decay smoothly through the canonical band on a temperature sweep on any sugar-amine pair. The empirical match is a check, not a proof.

structure MaillardCert where
  base : CanonicalCert

structure MaillardCert where
  base : CanonicalCert

structure MaillardCert where
  base : CanonicalCert

What this page does not claim

MaillardCert does not prove that the Maillard reaction must occur at 140°C; it models the onset as a definitional choice. The certificate does not derive the empirical caramelisation peak near 230°C; it predicts it and notes the match. No claim is made that acrylamide formation is a direct consequence of the cost function; it is a predicted crossing point.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Chemistry/MaillardReactionThresholdFromJCost.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: