Vancomycin Uncertainty

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

Vancomycin Uncertainty

O estudo de caso da vancomicina continua sendo a prova pública mais clara de que restrições epistêmicas podem produzir recusa em tempo de compilação em Sounio.

Verificado hoje

  • tests/run-pass/vancomycin_propagation.sio e o fixture médico documentam o fluxo epistemic atual.
  • tests/compile-fail/vancomycin_low_conf.sio continua provando a recusa em tempo de compilação.
  • Os assets em /docs/assets/vancomycin-ship/ continuam sendo a evidência visual pública deste estudo de caso.

Ressalvas atuais

  • O comportamento depende do binário souc exato, não apenas dos arquivos presentes no repositório.
  • O modelo completo de incerteza e proveniência é mais rico na spec e na stdlib do que no artefato validado de hoje.

Teste neste repositório

"$SOUC_BIN" check tests/run-pass/vancomycin_propagation.sio
"$SOUC_BIN" check tests/run-pass/med/vancomycin_full_propagation.sio
"$SOUC_BIN" check tests/compile-fail/vancomycin_low_conf.sio
"$SOUC_BIN" check tests/compile-fail/med/vancomycin_low_conf_refusal.sio

Run-pass check Run output Compile-fail diagnostics