Tipos Epistêmicos

Tipos epistêmicos são onde Sounio mais se diferencia hoje: o contrato público validado é estreito, mas é real e sustentado por testes.

Verificado hoje

• Knowledge<T> ainda exige fronteiras de unwrap explícitas em vez de extração silenciosa.
• Fixtures compile-fail com limites de confiança fazem parte do contrato verificado.
• tests/run-pass/vancomycin_propagation.sio e o fixture médico documentam o fluxo epistemic atual.

Ressalvas atuais

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