Incertidumbre

La incertidumbre sigue siendo central en la historia del lenguaje, pero el artefacto validado todavía la expone a través de una superficie menor que el modelo completo a nivel de spec.

Verificado hoy

• Los fixtures compile-fail con límites de confianza forman parte del contrato verificado.
• Knowledge<T> sigue exigiendo fronteras de unwrap explícitas en lugar de extracción silenciosa.
• Trata los tests y los artefactos de gate como evidencia más fuerte que la prosa aspiracional o los nombres de directorio.

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.