Chemistry Maillard Reaction Threshold From Jcost

The browning threshold

The Maillard reaction is the cascade of chemistry that browns bread crust, roasted coffee, and seared meat. It is named for Louis-Camille Maillard, who described it in 1912, and it accelerates sharply above roughly 140°C. Below that temperature the reaction is imperceptible; above it, the familiar flavors and dark colors appear within minutes. The reaction is not a single step but a network of sugar-amine rearrangements, first mapped by John Hodge in 1953, and it is responsible for much of what makes cooked food taste cooked.

In Recognition Science, a framework that derives structure from the cost of recording events in a discrete ledger, the Maillard onset is treated as a threshold on a temperature ratio. The framework models the activation cost as a function of r, the observed surface temperature divided by the activation threshold near 140°C. The cost vanishes at r = 1, meaning the reaction is exactly at its onset, and it rises as the temperature moves away. The framework's central cost function, J(x) = (x + 1/x)/2 - 1, is the unique function satisfying five plain conditions, and it forces a natural scaling step at the golden ratio φ ≈ 1.618.

That scaling step gives the structural prediction: peak Maillard activity should sit one φ-step above the onset threshold, which lands near 227°C. Empirical caramelisation peaks near 230°C, within a few degrees of that prediction. Two φ-steps above the onset, near 365°C, the framework places the burn and acrylamide formation threshold, close to the char point. The framework does not measure these temperatures; it derives the ratios from the cost function and compares them against measured cooking chemistry.

The module in the machine-checked library of formal theorems is small: it defines a certificate structure that carries the canonical cost certificate, and it constructs an instance of that certificate. The Lean status is 0 sorry and 0 axiom, meaning the formal proof is complete. The falsifier is equally plain: Maillard kinetics that do not decay smoothly through the canonical band on a temperature sweep for any sugar-amine pair would break the prediction. The framework's contribution is not a new measurement but a structural claim: the browning cascade's onset, peak, and char points are not arbitrary temperatures but ratios forced by a single cost law.

structure MaillardCert where
  base : CanonicalCert

def maillardCert : MaillardCert where
  base := cert

def maillardCert : MaillardCert where
  base := cert

What this page does not claim

The framework does not measure the Maillard onset temperature; it takes ~140°C as an input from empirical chemistry. The near-match at 227°C versus 230°C is a comparison against measured values, not a derivation of those measurements. The module does not prove that acrylamide formation follows the same φ-step scaling; that is a structural prediction with a named falsifier.

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: