One-Compartment PK Simulator (first-order) 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-with-binding-errata

Evidence ID

t6-019

Effect

Computation or source lookup only

Input and validation requirements

The oral formula is undefined when ka=ke unless a limiting-case branch is implemented. Negative rate constants also produce nonphysical growth and a divergent AUC, so the instrument should reject them.

Required corrections

[
  {
    "vector": 3,
    "field": "AUC_0_inf",
    "wrong": 115.415603271,
    "correct": 11.5415603271,
    "cause": "10x: AUC=F*D/(Vd*ke) with Vd=10 dropped"
  }
]

Inspectable interface fixture

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

{
  "inputs": {
    "route": "IV bolus",
    "dose_mg": 500,
    "Vd_L": 50,
    "ke_per_h": 0.1,
    "times_h": [
      0,
      10,
      20
    ]
  },
  "expected_outputs": {
    "concentration_mg_per_L": {
      "0": 10,
      "10": 3.678794412,
      "20": 1.353352832
    },
    "Cmax_mg_per_L": 10,
    "Tmax_h": 0,
    "AUC_0_inf_mg_h_per_L": 100,
    "curve_features": {
      "root_or_zero_concentration": "No finite positive-time root; C approaches 0 as t approaches infinity",
      "asymptote_mg_per_L": 0
    }
  },
  "working": "C0=D/Vd=500/50=10 mg/L. C(t)=10e^(-0.1t). At t=0: C=10e^0=10 mg/L. At t=10: C=10e^(-1)=10(0.3678794412)=3.678794412 mg/L. At t=20: C=10e^(-2)=10(0.1353352832)=1.353352832 mg/L. Because IV bolus concentration decreases immediately, Cmax=C(0)=10 mg/L and Tmax=0 h. AUC=C0/ke=10/0.1=100 mg·h/L."
}

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
• tranche errata record