Vancomycin Uncertainty

Full uncertainty propagation and compile-time refusal for vancomycin dosing.

Vancomycin Dosing That Cannot Lie About Uncertainty

This page is the public clinical-safety showcase for Sounio.

What Ships

  • canonical run-pass kernel: tests/run-pass/med/vancomycin_full_propagation.sio
  • low-confidence refusal: tests/compile-fail/med/vancomycin_low_conf_refusal.sio
  • weak-evidence refusal: tests/compile-fail/med/vancomycin_weak_evidence_refusal.sio

Run It

souc check tests/run-pass/med/vancomycin_full_propagation.sio --error-format=json
souc run tests/run-pass/med/vancomycin_full_propagation.sio
souc check tests/compile-fail/med/vancomycin_low_conf_refusal.sio --error-format=json
souc check tests/compile-fail/med/vancomycin_weak_evidence_refusal.sio --error-format=json

Expected Refusals

Type mismatch: expected confidence ε >= 0.82, found ε >= 0.71
Type mismatch: expected `StrongEvidence`, found `EvidenceLevel`

Runtime note: compile-time enforcement is available today via souc check; this fixture currently hits a self-hosted run codegen limitation (Unsupported: Expression kind: Discriminant(32)).

Screenshots

Run-pass check Run output Compile-fail diagnostics

Clinical Rationale

In high-risk cohorts, vancomycin-associated AKI rates are often reported in the 7% to 19% range. Sounio turns confidence and evidence requirements into compile-time contracts so under-qualified orders fail before runtime.

For the full long-form writeup, see docs/vancomycin-uncertainty.md.