IndisputableMonolith.Chemistry.EnzymeCatalysis
The EnzymeCatalysis module characterizes enzymes by the J-cost profiles they add to reaction coordinates. Researchers extending Recognition Science to catalytic kinetics would cite these definitions. The module supplies type definitions and lemmas layered directly on the activation energy module.
claimAn enzyme is characterized by the J-cost profile $J_E(x)$ it adds at each reaction coordinate $x$, lowering the transition-state maximum from $J(x^*)$ to $J(x^*) - J_E(x^*)$.
background
The module imports the activation energy framework in which barriers emerge from the J-cost landscape, with the transition state identified as the J-maximum along the reaction coordinate. Constants supplies the base time unit τ₀ = 1 tick. The local theoretical setting is the extension of this J-landscape to catalysis, where enzymes superimpose an additive profile that modifies barrier height and rate.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies the J-cost characterization of enzymes that enables computation of catalyzed rates and rate enhancements. It builds directly on the activation energy module (CH-017) and populates the sibling definitions for barriers, Boltzmann factors, and ideal enzyme properties.
scope and limits
- Does not derive molecular structures of real enzymes from first principles.
- Does not compute numerical rate constants outside RS-native units.
- Does not connect J-cost profiles to specific experimental enzyme data.
depends on (2)
declarations in this module (16)
-
structure
Enzyme -
def
uncatalyzedBarrier -
def
catalyzedBarrier -
def
IsIdealEnzyme -
theorem
ideal_enzyme_zero_barrier -
theorem
ideal_enzyme_exists -
def
boltzmannFactor -
def
uncatalyzedRate -
def
catalyzedRate -
theorem
ideal_enzyme_unit_rate -
theorem
rate_enhancement -
def
rungBarrier -
theorem
enzyme_rung_matching -
theorem
different_rungs_different_barriers -
theorem
off_target_not_ideal -
theorem
enzyme_jcost_lens_summary