Procedencia

La proveniencia todavía se entiende mejor como una disciplina explícita de frontera: lo que el compilador aplica con mayor claridad hoy es el paso intencional de unwrap.

Verificado hoy

• unwrap(reason) sigue siendo la frontera de proveniencia más claramente aplicada hoy.
• 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.