Back to Insights Insight

Shipping Typed Refusal Examples: COVID 2020 Kernel and Vancomycin Safety Gate

Two production-facing Sounio examples now highlighted across Learn and Science: temporal policy kernels and compile-time clinical safety refusal.

The Sounio Team

Shipping Typed Refusal Examples

Today we are publishing two examples that show why Sounio matters in real decision systems:

  • a COVID March 2020 kernel with explicit temporal validity and epistemic typing
  • a vancomycin clinical safety gate that rejects low-confidence prescriptions at compile time

These examples are now surfaced in the Learn and Science sections of the website.

1) COVID 2020 Kernel

The kernel models policy-relevant inputs with explicit validity windows and confidence-aware types:

souc check tests/run-pass/covid_2020_kernel.sio

This keeps assumptions auditable and prevents stale or weakly grounded values from silently flowing through policy logic.

2) Vancomycin Safety Propagation + Refusal

The propagation fixture shows confidence evolution across dosing steps:

souc check tests/run-pass/vancomycin_propagation.sio

The refusal fixture enforces a minimum confidence threshold:

souc check tests/compile-fail/vancomycin_low_conf.sio

This is a hard compile-time safety boundary, not a best-effort runtime warning.

Where to Read

What Ships Next

We will continue adding domain fixtures that make epistemic constraints executable, auditable, and testable in CI by default.