Enzyme Kinetics (Michaelis-Menten) Solver implementation

Binding contract

This record describes what an executable surface must bind and validate. It does not claim that a public calculator, package, or production route is deployed.

Record owner

Guth Instruments

Lifecycle

verified-clean

Evidence ID

t6-049

Effect

Computation or source lookup only

Input and validation requirements

The specification exposes undefined-result paths at [S]=0 in the Lineweaver-Burk transform and at Km+[S]=0 in the Michaelis-Menten expression. Negative or unit-inconsistent inputs can also produce invalid or materially different results unless explicitly rejected or normalized.

Required corrections

No binding erratum is attached to this unique-name record. Implementers must still preserve the declared units, domain, and failure behavior.

Inspectable interface fixture

The sample below is evidence for interface and validation tests, not a production implementation.

{
  "inputs": {
    "mode": "direct",
    "Vmax": "100 micromol/min",
    "Km": "20 micromol/L",
    "sampled_substrate_concentrations": [
      "0 micromol/L",
      "20 micromol/L",
      "80 micromol/L"
    ]
  },
  "expected_outputs": {
    "sampled_points": {
      "0 micromol/L": "0 micromol/min",
      "20 micromol/L": "50 micromol/min",
      "80 micromol/L": "80 micromol/min"
    },
    "curve_features": {
      "root": "[S]=0 micromol/L, v=0",
      "half_maximum": "[S]=Km=20 micromol/L, v=50 micromol/min",
      "horizontal_asymptote": "v approaches 100 micromol/min as [S] approaches infinity",
      "finite_vertical_asymptote": "none for physical [S]>=0"
    },
    "R_squared": "not applicable for direct parameters"
  },
  "working": "At [S]=0: v=100*0/(20+0)=0/20=0 micromol/min. At [S]=20: v=100*20/(20+20)=2000/40=50 micromol/min. At [S]=80: v=100*80/(20+80)=8000/100=80 micromol/min. At [S]=Km, v=Vmax*Km/(Km+Km)=Vmax/2=50 micromol/min. As [S] becomes very large, Km/[S] approaches 0, so v approaches Vmax=100 micromol/min."
}

Other records

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

• VERIFIED_LEDGER.json
• evidence-tranche6/tranche6-results.json