Chemistry Maillard Temperature Ladder

The Maillard temperature ladder

The Maillard reaction is the cascade of chemical reactions between amino acids and sugars that browns bread crust, sears a steak, and creates much of roasted coffee's flavor. It is named after Louis-Camille Maillard, who first described it in 1912. Cooks know its onset: browning begins around 140°C, and if the heat climbs too far, the same chemistry turns bitter and eventually chars. The reaction's temperature range is a familiar kitchen fact, but this framework treats it as a structural prediction.

In Recognition Science, the framework models the Maillard reaction as a discrete record of recognition events, a ledger where each entry is a step in the reaction's progress. The framework's central result forces a specific scaling constant, the golden ratio φ ≈ 1.618, into any such ledger. The Maillard temperature ladder applies that constant to the reaction's onset temperature. The ladder's first rung is set at 140°C, the observed onset of browning. The next rung is 140 × φ ≈ 226°C, which the framework identifies as the Maillard peak, where browning is optimal. The third rung is 140 × φ² ≈ 366°C, the boundary where Maillard chemistry gives way to charring and acrylamide formation.

The framework establishes that this ladder is not arbitrary. It proves, in a machine-checked library of formal theorems, that each rung is exactly φ times the previous one, that temperatures strictly increase along the ladder, and that the ratio of adjacent rungs is always φ. These are formal statements about the defined ladder, and they hold for any sugar-amine pair, not just the specific reactions measured in a particular kitchen. The empirical bench supports the structure: caramelisation peaks around 170 to 190°C, a lower sub-step near the first rung, and thermal degradation and charring begin above 350°C, close to the second rung.

What the ladder changes is how a cook or a food scientist thinks about temperature. Instead of a continuous range of outcomes, the framework predicts discrete steps where the reaction's character shifts. The onset, the peak, and the char boundary are not arbitrary points on a dial; they are rungs on a fixed scale. This gives a testable prediction: any sugar-amine pair should show its own ladder, scaled by its own onset temperature, with the same φ ratio between rungs.

/-- Reference Maillard onset temperature (RS-native dimensionless 1,
calibrated at 140°C). -/
def referenceTemp : ℝ := 1

/-- Maillard reaction temperature at φ-ladder rung `k`. -/
def tempAtRung (k : ℕ) : ℝ := referenceTemp * phi ^ k

theorem tempAtRung_succ_ratio (k : ℕ) :
    tempAtRung (k + 1) = tempAtRung k * phi := by
  unfold tempAtRung; rw [pow_succ]; ring

theorem tempAtRung_strictly_increasing (k : ℕ) :
    tempAtRung k < tempAtRung (k + 1) := by
  rw [tempAtRung_succ_ratio]
  have hk : 0 < tempAtRung k := tempAtRung_pos k
  have hphi_gt_one : (1 : ℝ) < phi := by
    have := Constants.phi_gt_onePointFive; linarith
  have : tempAtRung k * 1 < tempAtRung k * phi :=
    mul_lt_mul_of_pos_left hphi_gt_one hk
  simpa using this

theorem temp_adjacent_ratio (k : ℕ) :
    tempAtRung (k + 1) / tempAtRung k = phi := by
  rw [tempAtRung_succ_ratio]
  field_simp [(tempAtRung_pos k).ne']

What this page does not claim

The framework does not prove that 140°C is the universal Maillard onset; it takes that as a calibration point. The empirical bench values for caramelisation and charring are measurements, not theorem outputs. The ladder does not claim to explain the chemical mechanisms of the Maillard reaction itself.

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/MaillardTemperatureLadder.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: