pith. the verified trust layer for science. sign in
module module high

IndisputableMonolith.Chemistry.EnzymeCatalysisThresholdFromJCost

show as:
view Lean formalization →

The module defines the enzyme catalysis threshold derived from J-cost in Recognition Science. Biophysicists modeling turnover rates would cite it to connect the recognition composition law to kcat in RS-native units. It is a definition module that builds EnzymeClass, kcat, kcat_ratio, and EnzymeCatalysisCert on top of the time quantum from Constants.

claimThe module introduces $k_{cat}$ as the catalytic turnover frequency and certifies the threshold via $EnzymeCatalysisCert$ when the J-cost condition holds, normalized by the base time quantum $τ_0 = 1$ tick.

background

Recognition Science derives all structure from the J-uniqueness function $J(x) = (x + x^{-1})/2 - 1$ obeying the Recognition Composition Law. This module applies that apparatus to chemistry by defining enzyme classes and the catalytic rate constant kcat. It imports the fundamental RS time quantum $τ_0 = 1$ tick from Constants, which fixes the scale for all rate quantities in the phi-ladder units.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the EnzymeCatalysisCert and related definitions that populate the chemistry domain of the Recognition Science monolith. It connects J-cost directly to enzymatic thresholds, supporting later applications of the mass formula and the eight-tick octave in biophysical contexts.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)