Procedencia
De dónde vinieron los datos y cómo se transformaron.
Procedencia
En computación epistémica, datos sin origen son datos sin confianza. El modelo epistémico de Sounio trata la procedencia como parte del valor, no como un archivo de log externo.
Lo que Funciona Hoy (Realidad del Compilador)
El lenguaje aplica un límite explícito entre datos epistémicos y no epistémicos vía Knowledge<T>.unwrap(reason). Ese es el “gancho de auditoría” mínimo: debes declarar por qué estás extrayendo un valor crudo.
En la Spec / Diseño de la Stdlib
El modelo de procedencia intencionado es:
- append-only bajo transformaciones
- preservado bajo cómputos puros
- combinable al unir múltiples entradas
El módulo epistémico de la stdlib define estructuras de procedencia más ricas que pueden registrar fuentes, transformaciones y cadenas de evidencia.
Guía Práctica
- Trata
unwrap(...)como un límite de compliance: registra el motivo y el contexto alrededor. - Mantén la procedencia intacta al exportar resultados intermedios.