Weight-Based Dosage Calculator (education) 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

t4-038

Effect

Computation or source lookup only

Input and validation requirements

A zero concentration produces an undefined volume through division by zero, so the instrument must reject that input or report undefined rather than emit a numeric result. The specification also leaves concentration units and sign/physical-validity checks insufficiently constrained, allowing materially different interpretations or nonphysical inputs.

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": {
    "weight_kg": 70,
    "dose_min_mg_per_kg": 5,
    "dose_max_mg_per_kg": 10,
    "concentration_mg_per_mL": 25
  },
  "expected_outputs": {
    "dose_min_mg": 350,
    "dose_max_mg": 700,
    "volume_min_mL": 14,
    "volume_max_mL": 28
  },
  "working": "Minimum dose = 5 mg/kg × 70 kg = 350 mg. Maximum dose = 10 mg/kg × 70 kg = 700 mg. Minimum volume = 350 mg ÷ 25 mg/mL = 14 mL. Maximum volume = 700 mg ÷ 25 mg/mL = 28 mL."
}

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-tranche4/tranche4-results.json