Tu Primer Programa

Un primer programa útil hoy es uno que mantiene explícitos los datos epistémicos. Empieza con Knowledge<T> y una frontera intencional de unwrap.

Verificado hoy

• Knowledge<T> sigue exigiendo fronteras de unwrap explícitas en lugar de extracción silenciosa.
• Los efectos explícitos con with ... siguen siendo parte real del contrato del lenguaje.
• Los fixtures compile-fail con límites de confianza forman parte del contrato verificado.

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

struct KnowledgeF64 { value: f64, uncertainty: f64, confidence: f64 }

fn main() -> i32 with IO {
    let dose = KnowledgeF64 { value: 42.0, uncertainty: 0.1, confidence: 0.99 }
    let accepted: f64 = dose.value
    println(accepted)
    return 0
}

"$SOUC_BIN" check first_program.sio