Chemistry Maillard Temperature Ladder Maillard Temperature Cert

The temperature ladder

The Maillard reaction is the browning that happens when heat meets sugars and amino acids, from a seared steak to the crust of bread. Its onset is commonly placed near 140°C, where the first visible browning appears. The Recognition Science framework takes that 140°C as a reference point and multiplies it repeatedly by the golden ratio, about 1.618, to build a ladder of predicted reaction temperatures. Rung 0 is 140°C, rung 1 is roughly 226°C, and rung 2 is about 366°C.

The declaration MaillardTemperatureCert is a machine-checked certificate, a formal object in the framework's library of verified theorems. It does not invent new chemistry. It takes the definition of the ladder, where each temperature is the previous one times phi, and proves four properties of that definition: every rung is a positive temperature, each step multiplies by phi, the sequence strictly increases, and the ratio of consecutive rungs is exactly phi. These are not empirical measurements; they are consequences of how the ladder is defined.

The framework's library proves these properties with no gaps and no extra assumptions, using only the definition and the known fact that phi is greater than one. The certificate bundles the four proofs into one object, so any later framework result can rely on the ladder's behavior without rechecking it. The practical content is a structural prediction: if the Maillard onset sits at 140°C, then the framework expects peak browning near 226°C and a char boundary near 366°C.

The certificate does not claim that real caramelization hits those exact temperatures. The framework's own notes place caramelization near 170 to 190°C, below rung 1, and thermal degradation above 350°C, near rung 2. The ladder is a template, not a measurement. What the certificate establishes is internal consistency: given the starting point and the multiplier, the ladder behaves exactly as the golden ratio dictates, and that behavior is now locked in as a proved theorem.

structure MaillardTemperatureCert where
  temp_pos : ∀ k, 0 < tempAtRung k
  one_step_ratio : ∀ k, tempAtRung (k + 1) = tempAtRung k * phi
  strictly_increasing : ∀ k, tempAtRung k < tempAtRung (k + 1)
  adjacent_ratio_eq_phi : ∀ k, tempAtRung (k + 1) / tempAtRung k = phi

/-- 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

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

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

What this page does not claim

The certificate does not claim that real caramelization peaks at exactly 226°C or that charring begins at exactly 366°C. The certificate does not prove that the Maillard reaction itself follows the golden ratio; it proves properties of a defined ladder. The certificate does not establish any new empirical chemistry or replace laboratory measurements.

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: