IndisputableMonolith.Chemistry.MaillardReactionThresholdFromJCost

   1import Mathlib
   2import IndisputableMonolith.Common.CanonicalJBand
   3
   4/-!
   5# F7: Maillard Reaction Threshold from J-Cost on Surface-Temperature Ratio
   6
   7The Maillard browning cascade (Hodge 1953; Mottram 2007) initiates at
   8~140°C and accelerates rapidly above. In RS terms, Maillard activation
   9J-cost on `r := observed_surface_temperature / activation_threshold`
  10vanishes at the canonical onset; the reaction transitions from
  11imperceptible to dominant when J-cost crosses the canonical band.
  12
  13The structural prediction: peak Maillard activity sits at one φ-step
  14above the onset threshold (i.e., at ~227°C, matching empirical
  15caramelisation peak ~230°C), and burns / acrylamide formation crosses
  16two φ-steps above (~365°C, near char threshold).
  17
  18Falsifier: Maillard kinetics that do not decay smoothly through the
  19canonical band on a temperature sweep on any sugar-amine pair.
  20
  21Lean status: 0 sorry, 0 axiom.
  22-/
  23
  24namespace IndisputableMonolith
  25namespace Chemistry
  26namespace MaillardReactionThresholdFromJCost
  27
  28open Common.CanonicalJBand
  29
  30structure MaillardCert where
  31  base : CanonicalCert
  32
  33def maillardCert : MaillardCert where
  34  base := cert
  35
  36end MaillardReactionThresholdFromJCost
  37end Chemistry
  38end IndisputableMonolith
  39