IndisputableMonolith.Chemistry.MaillardTemperatureLadder
Defines the Maillard onset temperature ladder in RS-native units: reference temperature 1 calibrated to 140°C, temperatures at successive rungs, positivity, adjacent ratios, and strict increase, plus a small certificate bundle. Chemists or RS modelers of browning and food-chemistry thresholds would cite it. The module is mostly definitions with elementary positivity and ratio lemmas from the constants layer.
claimReference Maillard onset $T_{\mathrm{ref}}=1$ (dimensionless, calibrated at $140^\circ\mathrm{C}$). Rung temperatures $T(r)$ on the $\varphi$-ladder with $T(r)>0$, successive ratio $T(r+1)/T(r)$ fixed by $\varphi$, strict monotonicity in the rung, and a packaged Maillard temperature certificate.
background
Recognition Science places many dimensionful scales on a discrete $\varphi$-ladder (golden-ratio self-similarity forced at T6). Chemistry modules reuse that ladder for reaction thresholds rather than particle masses. The Maillard reaction is the non-enzymatic browning cascade whose practical onset is conventionally near $140^\circ\mathrm{C}$; here that point is fixed as RS-native dimensionless temperature 1.
The module imports only Mathlib and Constants (fundamental RS tick $\tau_0=1$). Sibling definitions introduce referenceTemp, the map tempAtRung, elementary facts that rung temperatures are positive and strictly increasing, the exact adjacent ratio, and a thin certificate type MaillardTemperatureCert witnessing the package.
proof idea
Definition-first module. referenceTemp and tempAtRung are pure data. Positivity of rung temperatures is immediate from positivity of the reference and of $\varphi$. The successor-ratio and adjacent-ratio lemmas are algebraic identities on the ladder multiplier. Strict increase follows because the common ratio exceeds 1. The certificate is a structure bundling those facts; no deep forcing-chain argument appears here.
why it matters in Recognition Science
Gives chemistry a calibrated, monotone temperature ladder consistent with the same $\varphi$-scaling used for masses and times elsewhere in the monolith. Downstream use is not yet wired in the graph (no used_by edges), so the module presently stands as a reusable primitive for Maillard or browning-threshold arguments rather than a step inside T0–T8. It ties the empirical 140°C onset to RS-native units without claiming a first-principles derivation of the chemistry itself.
scope and limits
- Does not derive Maillard kinetics or activation energies from the forcing chain.
- Does not claim experimental validation beyond the single 140°C calibration point.
- Does not fix absolute temperature units outside the stated dimensionless reference.
- Does not connect yet to downstream chemistry theorems (no used_by edges).
- Does not address pressure, pH, or water-activity corrections to onset.