Incerteza

A incerteza continua central na história da linguagem, mas o artefato validado ainda a expõe por uma superfície menor do que o modelo completo em nível de spec.

Verificado hoje

• Fixtures compile-fail com limites de confiança fazem parte do contrato verificado.
• 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.