Chemistry Maillard Threshold From Jcost Maillard Threshold Cert

The Maillard threshold certificate

The Maillard reaction is the chemistry that browns bread crust, roasts coffee, and creates much of cooked flavor. It has a sharp temperature threshold around 140°C (413 K), and above that threshold its rate accelerates roughly φ-fold per 10°C. The Recognition Science framework models the threshold as a crossing in a cost function, a measure of how much recognition events, discrete records of interaction, deviate from equilibrium. In this model, below the threshold the cost is zero, meaning the system sits at a stable equilibrium; above it, the cost becomes positive, and that positive cost triggers the cascade of browning reactions.

The declaration MaillardThresholdCert is a machine-checked certificate, a compact bundle of three statements about the cost function. First, at the equilibrium ratio, the cost is exactly zero. Second, for any ratio not equal to one, the cost is strictly positive. Third, the cost is symmetric: swapping the ratio for its reciprocal leaves the cost unchanged. These three properties are not new chemistry; they are formal consequences of the framework's cost function, and the certificate packages them so that any downstream argument can rely on them without re-deriving them.

In Recognition Science, the certificate is part of a larger story. The cost function itself is forced by a uniqueness theorem, and the golden ratio φ appears as a natural scale throughout the framework. The claim that the threshold sits at the canonical band J(r_trigger) ∈ (0.11, 0.13) is stated in the documentation, but it is not part of the certificate. The certificate only asserts the three algebraic properties; it does not assert that the Maillard reaction actually behaves this way in a kitchen or a lab.

What the certificate does not claim is as important as what it establishes. It does not claim that the Maillard reaction is actually governed by this cost function; that is a modeling choice, not a theorem. It does not claim that the threshold is exactly 140°C; that value is an empirical observation, not a derivation. And it does not claim that the framework's cost function is the only possible description of browning; other models may exist. The certificate is a precise, narrow tool: it says that if you accept the cost function, then these three properties follow. It says nothing about whether the cost function is the right model for your pot of jam.

For a reader, the practical upshot is this: the certificate gives a clean, machine-checked statement of the mathematical backbone of the framework's Maillard story. It is a foundation stone, not a complete building. The chemistry, the temperature threshold, and the rate acceleration remain empirical facts; the certificate only supplies the formal scaffolding that the framework uses to talk about them.

/-- Below threshold: normal hydration = recognition equilibrium. -/
theorem below_threshold_equilibrium : Jcost 1 = 0 := Jcost_unit0

/-- Above threshold: dehydration has positive recognition cost. -/
theorem above_threshold_positive {r : ℝ} (hr : 0 < r) (hne : r ≠ 1) :
    0 < Jcost r := Jcost_pos_of_ne_one r hr hne

/-- The Maillard cascade is symmetric in water-activity ratio. -/
theorem maillard_symmetric {r : ℝ} (hr : 0 < r) :
    Jcost r = Jcost r⁻¹ := Jcost_symm hr

structure MaillardThresholdCert where
  equilibrium_below : Jcost 1 = 0
  cascade_above : ∀ {r : ℝ}, 0 < r → r ≠ 1 → 0 < Jcost r
  symmetric : ∀ {r : ℝ}, 0 < r → Jcost r = Jcost r⁻¹

What this page does not claim

The Maillard reaction is actually governed by the cost function; that is a modeling choice, not a theorem. The threshold is exactly 140°C; that value is an empirical observation, not a derivation. The cost function is the only possible description of browning; other models may exist.

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