Reliability gate
estable100%
251/251 pass · FAIL=0
FOR CLINICIANS & RESEARCHERS • BIOMATERIALS & PHARMACOLOGY
Your Calculations Hide Uncertainty.
When you compute a drug dose, a patient metric, or a clinical prediction, traditional code gives you a single number with no context. Sounio automatically tracks measurement error, ISO GUM uncertainty, and data provenance through every step of execution.
Featured: Vancomycin dosing that cannot lie about uncertainty.
Built for clinical safety & high-consequence scientific software.
BETA TOOLCHAIN • SELF-HOSTED EPISTEMIC PL
Compute at the boundary between certainty and consequence.
Sounio is a systems programming language for scientific teams that need to reason not only about values, but about trust, provenance, and uncertainty at every stage of execution.
Featured: Deep-dive on the non-associative 168 Octonion theorem.
Built for teams shipping high-consequence scientific software.
LENGUAJE DE SISTEMAS EPISTÉMICOS
Un lenguaje de programación que lleva
lo que no sabe.
No una solución alternativa. Un tipo.
Pulso del Lenguaje Vivo
Lo que cambia debe convertirse en orientación.
Sounio se mueve rápido. Este pulso mantiene la superficie pública ligada a artefactos verificados, salud de puertas, límites conocidos y un camino claro para la verificación escéptica.
Leer el plan operativo Generado: 2026-07-05
Señales actuales
fuente: artifactStatus.tsChecked artifact
delimitado1.0.0-beta.5
bin/souc
Self-hosted source
en movimiento172
105,058 lines
Translations
localizado100%
docs 222/222 · showcases 54/54 · tutorials 36/36
Ruta de verificación
self-hosted native ELF/Mach-O
The public onboarding path is the checked self-hosted launcher. It type-checks and compiles to host binaries — no Rust/Cargo build step required for the default workflow.
Necesita atención
- Epistemic ODE solver (general RHS) Exponential decay works; general RHS needed for full PBPK epistemic integration
- Ontology federation Local ontology work exists; 15M-term federated query not implemented
- GPU CLI entry point PTX/GPU codegen exists in-tree; no complete default CLI path (gpu/lib.sio stub)
+3 brechas conocidas siguen rastreadas
SEGURIDAD DEL PACIENTE EN COMPILACIÓN
La puerta se activa antes de que se ejecute el código.
vancomycin_dosing.sio
fn dose_vancomycin(auc: Knowledge<f64>) -> f64
where auc.ε >= 0.82
{
auc.value / 24.0
}
// caller — ε = 0.71, below threshold:
let measured = Knowledge { value: 430.0, ε: 0.71 };
dose_vancomycin(measured); E: epistemic confidence too low ε = 0.71 < where auc.ε >= 0.82 — compile rejected
No una heurística. No una advertencia. El verificador de tipos ve ε = 0,71, la firma exige ε ≥ 0,82, y el programa no compila. El contrato está en el tipo.
Lea el ejemplo completo de vancomicina →PUNTO FIJO EPISTÉMICO
El lenguaje volvió su sistema de incertidumbre sobre sí mismo. A lo largo de ocho generaciones de bootstrap, el compilador rastreó su propia confianza en cada expresión. En la generación ocho: 113.931 expresiones. Todas ciertas. Coste de guarda: cero bytes. El binario lo demostró compilándose a sí mismo dos veces con el mismo hash.
md5(gen₂.elf) = md5(gen₃.elf) · 15.636 call sites · 0 guardados · 1,25 MB
Epistémico. Efecto. Álgebra.
Tres disciplinas de tipo en tiempo de compilación que ningún otro lenguaje tiene como primitivas de primer nivel. Cada una aplicada en cada sitio de llamada. Cada una especificada formalmente.
PUERTA DE CONFIANZA
fn dose_vancomycin(auc: Knowledge<f64>) -> f64
where auc.ε >= 0.82
{
auc.value / 24.0
}TIPO DE EFECTO
effect NonUnitary {
amplitude: Complex<f64>
}
fn tt_amplitude(
p1: FourMomentum, p2: FourMomentum
) -> f64 / NonUnitary {
// …
}TIPO DE ÁLGEBRA
algebra Octonion {
basis: [e0..e7]
product: fano_table
reassociate: fano_selective
}
let count = count_nonassoc_triples();
// result: 168El sistema de tipos viaja.
130 módulos de stdlib. Ocho dominios que ningún otro lenguaje compilado alcanza con incertidumbre, efectos y álgebra en tiempo de compilación.
FARMACOCINÉTICA
16 compartimentos. Un sedenion.
PBPK de 14 compartimentos · dinámica Cayley-Dickson · EDO GUM-exacta
Cada elemento de base sedenion codifica un compartimento anatómico. La transferencia de fármacos entre tejidos es multiplicación Cayley-Dickson — el álgebra es la farmacocinética.
Explore →MODELO ESTÁNDAR
18 constantes. Cada σ. Aplicado.
31 módulos · incertidumbres PDG en cada vértice · QED LO ±2% vs datos CERN
Los 18 parámetros del Modelo Estándar llevan sus incertidumbres PDG como Knowledge<f64>. El verificador de tipos impone presupuestos de error en cada amplitud de Feynman.
Explore →PSIQUIATRÍA COMPUTACIONAL
Dinámica de doble vínculo. En código.
Bateson L0-L3 · cálculo Spencer-Brown · eigenformas Pask · Maturana ejecutable
La cibernética de segundo orden formalizada como programas en ejecución. Dinámicas de doble vínculo, esquismogénesis, autopoiesis — no metáforas. Tipos.
Explore →COMPUTACIÓN CUÁNTICA
Sin clonación. En el sistema de tipos.
Qubits lineales · pares Bell · VQE H₂ · sin copia en tiempo de compilación
Los tipos lineales hacen que la clonación cuántica sea un error de compilación. El teorema de no clonación es una restricción sobre el tipo de Qubit.
Explore →UNIDADES FÍSICAS
mg/kg es un tipo. mg/L + L/h no compila.
44 unidades SI base + derivadas · análisis dimensional en tiempo de compilación
Las unidades físicas son tipos de primer nivel. Los errores dimensionales son errores de compilación. Un modelo PBPK de 100 variables lleva su tipo de unidad completo en cada paso.
Explore →PRIVACIDAD DIFERENCIAL
Presupuesto de privacidad. No se puede gastar dos veces.
ε lineal · mecanismo de Laplace · ruido GUM Tipo-B + incertidumbre genómica
El presupuesto de privacidad ε es un tipo lineal — el compilador impide el doble consumo. El ruido se integra en la incertidumbre GUM; ambos se rastrean en el mismo tipo.
Explore →PRUEBAS DE GEOMETRÍA
Teoremas OIM. Confianza honesta.
AlphaGeoZero · confianza Beta por solución · primer probador de geometría con ε
AlphaGeoZero demuestra problemas de geometría de la OIM e informa la confianza por problema como una distribución Beta — el primer probador de geometría que cuantifica su propia incertidumbre.
Explore →RUNTIME EN NAVEGADOR
Corre en el navegador. Sin instalación.
Target WASM · PBPK de rapamicina del lado del cliente · souc build --backend wasm
Compila a WebAssembly. El modelo PBPK de la disertación corre en la pestaña del navegador — stdlib completa, sin servidor, tipos epistémicos intactos.
Explore →EL COMPILADOR
Se compila a sí mismo.
souc está escrito en Sounio y bootstrapped en tres etapas. Los binarios de Etapa 2 y Etapa 3 son SHA-256 idénticos — el punto fijo es la prueba.
3 etapas de bootstrap — C → souc₁ → souc₂ ≡ souc₃
4 fases del compilador — parse / check / HLIR / emit
5 backends — x86_64 · ARM64 · PTX/GPU · WASM · Cranelift JIT
1000+ reglas de e-graph en el paso de optimización
LSP servidor de lenguaje — completaciones, diagnósticos, goto definition para VS Code, Neovim, JetBrains
Bootstrap fixed-point
# Stage 0 → 1 (C-compiled seed)
souc-seed lean_single.sio gen1.elf
# Stage 1 → 2
./gen1.elf lean_single.sio gen2.elf
# Stage 2 → 3 (fixed-point check)
./gen2.elf lean_single.sio gen3.elf
sha256sum gen2.elf gen3.elf
# must be identicalEstado honesto de las funcionalidades de farmacología y seguridad del paciente — no promesas de marketing.
Funcional
- Vancomycin ε gate — compile-fail fixtures reject under-confident dosing (ASHP ε ≥ 0.82)
- ISO GUM propagation — Knowledge<T> uncertainty through arithmetic in stdlib epistemic lane
- PBPK dissertation demo — browser-side rapamycin & semaglutide compartment simulation
En Esbozo
- Provenance metadata — prov strings on Knowledge<T>; full audit chain still expanding
- Clinical Lean obligations — partial formal verification; not a regulatory submission
Inexistente
- EHR / FHIR integration — no live hospital connector in public artifacts
- Multi-site clinical validation — single-author research codebase, not a trial platform
Clone el repositorio. Ejecute el compilador self-hosted. Lea las superficies de prueba. The public onboarding path is the checked self-hosted launcher. It type-checks and compiles to host binaries — no Rust/Cargo build step required for the default workflow.
$ git clone https://github.com/sounio-lang/sounio.git