Proveniência
De onde os dados vieram e como foram transformados.
Proveniência
Em computação epistêmica, dados sem origem são dados sem confiança. O modelo epistêmico de Sounio trata proveniência como parte do valor, não como um arquivo de log externo.
O que Funciona Hoje (Realidade do Compilador)
A linguagem aplica uma fronteira explícita entre dados epistêmicos e não epistêmicos via Knowledge<T>.unwrap(reason). Esse é o “gancho de auditoria” mínimo: você precisa declarar por que está extraindo um valor bruto.
Na Spec / Design da Stdlib
O modelo de proveniência pretendido é:
- append-only sob transformações
- preservado sob computações puras
- mesclável ao combinar múltiplas entradas
O módulo epistêmico da stdlib define estruturas mais ricas de proveniência, capazes de registrar fontes, transformações e cadeias de evidência.
Orientação Prática
- Trate
unwrap(...)como uma fronteira de conformidade: registre o motivo e o contexto ao redor. - Mantenha a proveniência intacta ao exportar resultados intermediários.