Proveniência

Proveniência ainda é melhor entendida como uma disciplina explícita de fronteira: o que o compilador aplica com mais clareza hoje é o passo intencional de unwrap.

Verificado hoje

• unwrap(reason) é a fronteira de proveniência mais claramente aplicada hoje.
• Knowledge<T> ainda exige fronteiras de unwrap explícitas em vez de extração silenciosa.
• Trate testes e artefatos de gate como evidência mais forte do que texto aspiracional ou nomes de diretório.

Ressalvas atuais

• O modelo completo de incerteza e proveniência é mais rico na spec e na stdlib do que no artefato validado de hoje.
• O comportamento depende do binário souc exato, não apenas dos arquivos presentes no repositório.