Knowledge<T>

El tipo epistémico de valor de Sounio: unwrap explícito, sin pérdida silenciosa de incertidumbre.

Knowledge<T>

Knowledge<T> sigue siendo la superficie epistémica aplicada con mayor claridad: conserva el valor envuelto todo lo posible y haz unwrap solo con una razón registrada.

Verificado hoy

  • Knowledge<T> sigue exigiendo fronteras de unwrap explícitas en lugar de extracción silenciosa.
  • unwrap(reason) sigue siendo la frontera de proveniencia más claramente aplicada hoy.
  • 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.

Pruébalo en este repositorio

let k = Knowledge { value: 42.0 }
let accepted: f64 = k.unwrap("accepted for demo")