Chemistry Maillard Temperature Ladder Temp At Rung Succ Ratio

The temperature ladder

The Maillard reaction is the cascade of chemical changes that browns bread crust, sears meat, and creates the flavor compounds in roasted coffee. Its onset is commonly placed near 140°C. The Recognition Science framework, through its machine-checked library of formal theorems, models these temperatures as a discrete ladder: each rung is the previous one multiplied by the golden ratio φ ≈ 1.618. The declaration tempAtRung_succ_ratio proves that this step is exact: for every rung k, the temperature at rung k+1 equals the temperature at rung k times φ.

This is a direct consequence of how the framework defines the ladder. The base temperature is set to 140°C, and each rung is defined as 140 times φ raised to the power k. The theorem then follows from the algebraic property of powers, not from any new chemical assumption. The framework's library also proves that these temperatures are always positive and strictly increase from rung to rung. The adjacent ratio, the quotient of one rung's temperature by the previous one, is exactly φ.

In plain terms, the framework predicts a specific sequence: rung 0 at 140°C, rung 1 near 226°C, and rung 2 near 366°C. The first is the classic onset of browning. The second is described as the peak of optimal browning, and the third sits at the boundary where charring and acrylamide formation begin. These are structural predictions for any sugar-amine pair, though the framework notes that caramelization itself peaks lower, around 170 to 190°C, and thermal degradation starts above 350°C.

In Recognition Science, this ladder is not an isolated curiosity. It is one application of the framework's central result: any cost function satisfying five plain conditions must equal J(x) = (x + 1/x)/2 - 1. From that cost function, the golden ratio emerges as the unique self-similar scaling, and the temperature ladder is one place where that scaling is applied to a real-world process. The framework's library checks the proof with no gaps and no special axioms.

What the declaration does not claim is just as important. It does not prove that the Maillard reaction actually occurs at these temperatures. That is an empirical question, and the framework's ladder is a prediction to be tested against measured browning curves. The declaration also does not derive the 140°C reference point from first principles; that value is a calibration choice, taken from the standard culinary and food-science literature. The theorem only establishes the mathematical relationship between the rungs once that base is chosen.

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

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_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 declaration does not prove that the Maillard reaction occurs at these temperatures; that is an empirical prediction. The 140°C reference temperature is a calibration choice from food-science literature, not a derived constant. The ladder does not account for pressure, pH, or water activity, which also affect browning rates.

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: