Chemistry Maillard Temperature Ladder Reference Temp

The reference rung

The Maillard reaction is the cascade of chemistry between sugars and amino acids that browns bread crust, sears steak, and creates the flavor of roasted coffee. Its onset is commonly cited near 140°C (284°F), the temperature at which browning first becomes visible. In the Recognition Science framework, this familiar kitchen fact becomes the anchor of a formal temperature ladder: the declaration referenceTemp sets the dimensionless value 1 to mean 140°C, and every other rung on the ladder is that reference multiplied by a power of the golden ratio φ ≈ 1.618.

The ladder itself is defined by the function tempAtRung k = referenceTemp * φ^k. So rung 0 is 140°C, rung 1 is 140 × φ ≈ 226°C, and rung 2 is 140 × φ² ≈ 366°C. The framework's machine-checked library proves three structural facts about this ladder: every rung is a positive temperature, each step multiplies the previous rung by exactly φ, and the sequence is strictly increasing. These are formal theorems, verified with no unproved assumptions. The library also bundles them into a single certificate object that any other proof can rely on.

The empirical bench gives the ladder its practical interest. Caramelization, the sugar-only browning that often accompanies Maillard chemistry, peaks around 170–190°C, which sits below rung 1 but on a lower sub-step of the same ladder. Thermal degradation and charring set in above roughly 350°C, near rung 2 at 366°C. The framework presents this as a structural prediction: for any sugar-amine pair, the same φ-scaling should describe the progression from first browning to peak browning to charring, though the absolute temperatures will shift with the specific chemistry.

What the declaration does not claim is just as important. referenceTemp is a calibration, not a derivation. It chooses 140°C as the anchor because that is the conventional onset temperature; the framework does not prove that Maillard chemistry must begin at exactly 140°C. The φ-multiplied rungs above it are a prediction, not a measured law. And the ladder says nothing about reaction rates, yields, or which specific aroma compounds form at each rung. It is a temperature scaffold, not a full kinetic model.

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

theorem tempAtRung_pos (k : ℕ) : 0 < tempAtRung k := by
  unfold tempAtRung referenceTemp
  have : 0 < phi ^ k := pow_pos Constants.phi_pos k
  linarith [this]

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

/-- Maillard-temperature-ladder certificate. -/
def maillardTemperatureCert : MaillardTemperatureCert where
  temp_pos := tempAtRung_pos
  one_step_ratio := tempAtRung_succ_ratio
  strictly_increasing := tempAtRung_strictly_increasing
  adjacent_ratio_eq_phi := temp_adjacent_ratio

What this page does not claim

The framework does not derive 140°C as a necessary onset; it calibrates the ladder to that conventional value. The ladder does not predict reaction rates, yields, or specific flavor compounds at each rung. Caramelization at 170–190°C is an empirical observation, not a theorem of the framework.

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: