Vancomicina: quando a incerteza impede a prescrição

O problema clínico

Na dosagem de vancomicina guiada por AUC, a confiança na estimativa de clearance renal (CrCl) não é um detalhe estatístico — é um critério de segurança. Diretrizes ASHP (2020) exigem confiança epistémica suficiente (ε ≥ 0,82) antes de autorizar ajuste guiado por AUC.

Em código tradicional, um valor numérico de CrCl entra na fórmula de dosagem sem contexto: o programa calcula uma dose, mesmo quando a medição subjacente é demasiado incerta para suportar essa decisão.

O que o Sounio faz diferente

O Sounio transporta valor + confiança (ε) + proveniência (prov) no tipo Knowledge<T>. Uma função de prescrição pode declarar um limiar mínimo de confiança:

• Se a dose fornecida tem ε = 0,40 (CrCl derivado de Cockcroft-Gault num doente idoso com comorbilidades), o compilador recusa a chamada — não é aviso em runtime, é rejeição estática.
• Se ε ≥ 0,82, a prescrição compila e pode prosseguir.

Isto transforma uma regra clínica em contrato verificável no código, reproduzível por qualquer revisor.

Evidência pública hoje

• tests/run-pass/vancomycin_propagation.sio — propagação epistémica e GUM no fluxo completo.
• tests/compile-fail/vancomycin_low_conf.sio — recusa quando ε viola o limiar declarado.
• Assets visuais em /docs/assets/vancomycin-ship/ — capturas de souc check e diagnósticos de compile-fail.

Limitações honestas

• O comportamento depende do binário souc exacto usado na verificação, não apenas dos ficheiros no repositório.
• Metadados de proveniência completos (dispositivo, calibração, carimbo temporal) estão em evolução na spec — o artefacto validado hoje prova sobretudo portões ε e propagação GUM.
• Isto não substitui validação clínica multi-centro, integração EHR/FHIR, ou submissão regulatória.

export SOUC_BIN=./bin/souc
"$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

Próximo passo

• Demo interactiva da dissertação — modelos PBPK com incerteza visual
• Página de provas — secção completa com código e diagnósticos