Reliability gate
estável100%
251/251 pass · FAIL=0
PARA CLÍNICOS E PESQUISADORES • BIOMATERIAIS E FARMACOLOGIA
Seus Cálculos Escondem Incertezas.
Ao calcular uma dose de medicamento, uma métrica de paciente ou uma previsão clínica, o código tradicional fornece um único número sem contexto. O Sounio rastreia automaticamente o erro de medição, a incerteza do padrão ISO GUM e a proveniência dos dados em cada etapa da execução.
Destaque: Dosagem de vancomicina que não esconde a incerteza.
Desenvolvido para segurança clínica e software científico de alta consequência.
CADEIA DE FERRAMENTAS BETA • LINGUAGEM EPISTÊMICA SELF-HOSTED
Compute na fronteira entre a certeza e a consequência.
O Sounio é uma linguagem de programação de sistemas para equipas científicas que precisam de raciocinar não apenas sobre valores, mas sobre confiança, proveniência e incerteza em cada fase de execução.
Destaque: Análise aprofundada do teorema não-associativo de 168 dos Octoniões.
Desenvolvido para equipas que produzem software científico de alta consequência.
LINGUAGEM DE SISTEMAS EPISTÉMICOS
Uma linguagem de programação que carrega
o que não sabe.
Não um contorno. Um tipo.
Pulso da Linguagem Viva
O que muda precisa virar orientação.
Sounio se move rápido. Este pulso mantém a superfície pública ligada a artefatos verificados, saúde dos gates, limites conhecidos e um caminho claro para verificação cética.
Ler o plano operacional Gerado: 2026-07-05
Sinais atuais
fonte: artifactStatus.tsChecked artifact
delimitado1.0.0-beta.5
bin/souc
Self-hosted source
em movimento172
105,058 lines
Translations
localizado100%
docs 222/222 · showcases 54/54 · tutorials 36/36
Caminho de verificação
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.
Precisa de atenção
- 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 lacunas conhecidas seguem rastreadas
SEGURANÇA DO PACIENTE NA COMPILAÇÃO
O portão dispara antes de qualquer execução.
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
Não uma heurística. Não um aviso. O verificador de tipos vê ε = 0,71, a assinatura exige ε ≥ 0,82, e o programa não compila. O contrato está no tipo.
Leia o exemplo completo da vancomicina →PONTO FIXO EPISTÉMICO
A linguagem virou o seu sistema de incerteza sobre si própria. Ao longo de oito gerações de bootstrap, o compilador rastreou a sua própria confiança em cada expressão. Na geração oito: 113.931 expressões. Todas certas. Overhead de guarda: zero bytes. O binário provou-o compilando-se a si próprio duas vezes com o mesmo hash.
md5(gen₂.elf) = md5(gen₃.elf) · 15.636 call sites · 0 guardados · 1,25 MB
Epistémico. Efeito. Álgebra.
Três disciplinas de tipo em tempo de compilação que nenhuma outra linguagem tem como primitivas de primeiro nível. Cada uma aplicada em cada chamada. Cada uma especificada formalmente.
PORTÃO DE CONFIANÇA
fn dose_vancomycin(auc: Knowledge<f64>) -> f64
where auc.ε >= 0.82
{
auc.value / 24.0
}TIPO DE EFEITO
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: 168O sistema de tipos viaja.
130 módulos da stdlib. Oito domínios que nenhuma linguagem compilada alcança com incerteza, efeitos e álgebra em tempo de compilação.
FARMACOCINÉTICA
16 compartimentos. Um sedenion.
PBPK de 14 compartimentos · dinâmica Cayley-Dickson · ODE GUM-exata
Cada elemento de base sedenion codifica um compartimento anatómico. A transferência de medicamento entre tecidos é multiplicação Cayley-Dickson — a álgebra é a farmacocinética.
Explore →MODELO PADRÃO
18 constantes. Cada σ. Aplicado.
31 módulos · incertezas PDG em cada vértice · QED LO ±2% vs dados CERN
Os 18 parâmetros do Modelo Padrão carregam as suas incertezas PDG como Knowledge<f64>. O verificador de tipos aplica orçamentos de erro em cada amplitude de Feynman.
Explore →PSIQUIATRIA COMPUTACIONAL
Dinâmica de duplo vínculo. Em código.
Bateson L0-L3 · cálculo Spencer-Brown · eigenformas Pask · Maturana executável
A cibernética de segunda ordem formalizada como programas em execução. Dinâmica de duplo vínculo, esquismogénese, autopoiese — não metáforas. Tipos.
Explore →COMPUTAÇÃO QUÂNTICA
Sem clonagem. No sistema de tipos.
Qubits lineares · pares Bell · VQE H₂ · sem cópia em tempo de compilação
Os tipos lineares tornam a clonagem quântica um erro de compilação. Sem verificação em tempo de execução. O teorema sem clonagem é uma restrição no tipo de Qubit.
Explore →UNIDADES FÍSICAS
mg/kg é um tipo. mg/L + L/h não compila.
44 unidades SI base + derivadas · análise dimensional em tempo de compilação
Unidades físicas são tipos de primeiro nível. Incompatibilidades dimensionais são erros de compilação. Um modelo PBPK de 100 variáveis carrega o seu tipo de unidade completo em cada passo.
Explore →PRIVACIDADE DIFERENCIAL
Orçamento de privacidade. Não pode ser gasto duas vezes.
ε linear · mecanismo de Laplace · ruído GUM Tipo-B + incerteza genómica
O orçamento de privacidade ε é um tipo linear — o compilador impede o duplo consumo. O ruído integra-se na incerteza GUM; ambos são rastreados no mesmo tipo.
Explore →PROVAS DE GEOMETRIA
Teoremas OIM. Confiança honesta.
AlphaGeoZero · confiança Beta por solução · primeiro provador de geometria com ε
AlphaGeoZero prova problemas de geometria da OIM e reporta a confiança por problema como uma distribuição Beta — o primeiro provador de geometria que quantifica a sua própria incerteza.
Explore →RUNTIME NO BROWSER
Corre no browser. Sem instalação.
Target WASM · PBPK de rapamicina no lado do cliente · souc build --backend wasm
Compile para WebAssembly. O modelo PBPK de dissertação corre no separador do browser — stdlib completa, zero servidor, tipos epistémicos intactos.
Explore →O COMPILADOR
Ele se compila.
souc é escrito em Sounio e bootstrapped em três estágios. Os binários do Estágio 2 e Estágio 3 são SHA-256 idênticos — o ponto fixo é a prova.
3 estágios de bootstrap — C → souc₁ → souc₂ ≡ souc₃
4 fases do compilador — parse / check / HLIR / emit
5 backends — x86_64 · ARM64 · PTX/GPU · WASM · Cranelift JIT
1000+ regras de e-graph no passo de optimização
LSP servidor de linguagem — completações, 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 das funcionalidades de farmacologia e segurança do paciente — não promessas 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
Em Esboço
- Provenance metadata — prov strings on Knowledge<T>; full audit chain still expanding
- Clinical Lean obligations — partial formal verification; not a regulatory submission
Em Falta
- EHR / FHIR integration — no live hospital connector in public artifacts
- Multi-site clinical validation — single-author research codebase, not a trial platform
Clone o repositório. Execute o compilador self-hosted. Leia as superfícies de prova. 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