Chemistry Maillard Temperature Ladder Temp Adjacent Ratio

The temperature ladder

The Maillard reaction, the browning that gives bread crust and roasted coffee their flavor, is often described as beginning around 140°C. The Recognition Science framework takes that onset temperature as a reference point and builds a discrete ladder of temperatures above it. Each rung of the ladder is the previous rung multiplied by the golden ratio φ, approximately 1.618. The first rung above onset lands near 226°C, and the second near 366°C. The framework's machine-checked library of formal theorems proves that this ratio holds exactly: for any rung k, the temperature at rung k+1 divided by the temperature at rung k equals φ.

The declaration temp_adjacent_ratio is that theorem. It is a statement about the framework's own ledger, a discrete record of events, in this case a record of temperature thresholds. The theorem does not measure real browning reactions. It proves a property of the framework's model: given the definition that rung k has temperature 140·φ^k, the ratio between adjacent rungs is exactly φ. This follows from the definition and from the fact that φ is a positive number greater than one. The proof is short and the library reports no unproven assumptions.

The framework's model also assigns meaning to the rungs. It labels rung 0 as Maillard onset, rung 1 as the peak browning region, and rung 2 as the boundary where charring and acrylamide formation become significant. These labels are interpretations of the ladder, not consequences of the theorem. The theorem itself only establishes the geometric ratio. The framework notes that caramelisation peaks around 170 to 190°C, which sits below rung 1, and that thermal degradation above 350°C approaches rung 2. Those comparisons are empirical observations offered as context, not derivations.

What the theorem does not claim is worth stating plainly. It does not prove that real Maillard reactions occur at these exact temperatures. It does not establish that the golden ratio governs actual food chemistry. The theorem is conditional: if one accepts the framework's definition of the temperature ladder, then the adjacent ratio is φ. The empirical fit to caramelisation and charring ranges is suggestive but not part of the formal result. The framework itself labels the ladder a structural prediction for sugar-amine pairs, which means it is a hypothesis about chemistry, not a measured law.

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

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

What this page does not claim

The theorem does not prove that real Maillard reactions occur at 140, 226, or 366 degrees Celsius. The framework does not claim that the golden ratio governs actual food chemistry as a measured law. The labels of rung 1 as peak browning and rung 2 as char boundary are interpretations, not consequences of the theorem.

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: