Tipos Epistémicos

Los tipos epistémicos son donde Sounio más se distingue hoy: el contrato público validado es estrecho, pero es real y está respaldado por tests.

Verificado hoy

• Knowledge<T> sigue exigiendo fronteras de unwrap explícitas en lugar de extracción silenciosa.
• Los fixtures compile-fail con límites de confianza forman parte del contrato verificado.
• tests/run-pass/vancomycin_propagation.sio y el fixture médico documentan el flujo epistemic actual.

Caveats actuales

• El modelo completo de incertidumbre y proveniencia es más rico en la spec y en la stdlib que en el artefacto validado de hoy.
• El comportamiento depende del binario exacto de souc, no solo de los archivos presentes en el repositorio.