Incerteza na Vancomicina

Este é o estudo de caso público mais forte no site de documentação, porque mostra por que o Sounio existe: confiança, evidência e proveniência não são comentários ao redor do programa — elas fazem parte da decisão sobre se o programa tem permissão para prosseguir. O repositório atual ainda comprova esse ponto com fixtures e capturas de tela reais.

Pontos de prova centrais

tests/run-pass/vancomycin_propagation.sio mostra o caminho de propagação atual, mais leve.
tests/run-pass/med/vancomycin_full_propagation.sio é o exemplo mais completo, no estilo de kernel clínico, na trilha “med”.
tests/compile-fail/vancomycin_low_conf.sio e tests/compile-fail/med/vancomycin_low_conf_refusal.sio comprovam que estados de baixa confiança podem ser rejeitados antes do runtime.
tests/compile-fail/med/vancomycin_weak_evidence_refusal.sio mostra que restrições de nível de evidência também importam.

Comandos de validação

export SOUC_BIN="$(pwd)/bin/souc"
export SOUNIO_STDLIB_PATH="$(pwd)/stdlib"

"$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
"$SOUC_BIN" check tests/compile-fail/med/vancomycin_weak_evidence_refusal.sio

O que esta página demonstra

Limiares de confiança podem se tornar contratos em tempo de compilação.
O caminho de recusa faz parte da história pública verificada, não apenas de uma aspiração de pesquisa.
A família de fixtures “med” conecta o modelo epistêmico mais amplo a um domínio no qual tratar a confiança de forma incorreta não é um bug cosmético.

Evidência visual

Verificação bem-sucedida Saída de execução Diagnósticos de compile-fail

Como discutir isso de forma responsável

Descrever o caminho de recusa em tempo de compilação como verificado via check.
Ser explícito quando um caminho maior de execução, em runtime ou self-host, ainda tiver limitações.
Usar o estudo de caso para explicar por que o Sounio acopla tipos, proveniência e confiança em vez de tratá-los como subsistemas separados.