药物代谢动力学
16个隔室。一个赛德尼翁。
14隔室PBPK · Cayley-Dickson转移动力学 · GUM精确ODE
每个赛德尼翁基元素编码一个解剖隔室。药物在组织间的转移是Cayley-Dickson乘法——代数即药代动力学。
Explore → 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.
知识论系统语言
一门能携带自身不确定性的编程语言。
不是权宜之计。是一个类型。
编译期患者安全
门控在任何代码运行之前触发。
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
不是启发式。不是警告。类型检查器看到 ε = 0.71，签名要求 ε ≥ 0.82，程序无法编译。契约在类型中。
阅读完整的万古霉素示例 →知识论不动点
这门语言将其不确定性系统对准了自身。在八代自举过程中，编译器追踪了每个表达式的自身置信度。第八代：113,931 个表达式，全部确定。防护开销：零字节。二进制文件通过两次编译出相同哈希值证明了这一点。
md5(gen₂.elf) = md5(gen₃.elf) · 15,636 个调用点 · 0 个受防护 · 1.25 MB
知识论。效应。代数。
三种编译时类型规程，没有其他语言将其作为一等原语。每一种在每个调用点强制执行。每一种都经过形式化规范。
置信度门
fn dose_vancomycin(auc: Knowledge<f64>) -> f64
where auc.ε >= 0.82
{
auc.value / 24.0
}效应类型
effect NonUnitary {
amplitude: Complex<f64>
}
fn tt_amplitude(
p1: FourMomentum, p2: FourMomentum
) -> f64 / NonUnitary {
// …
}代数类型
algebra Octonion {
basis: [e0..e7]
product: fano_table
reassociate: fano_selective
}
let count = count_nonassoc_triples();
// result: 168类型系统在旅行。
130个标准库模块。八个领域——没有其他编译语言能在编译时同时实现不确定性、效应和代数。
标准模型
18个常数。每个σ。强制执行。
31个模块 · 每个顶点的PDG不确定性 · LO QED ±2% vs CERN数据
18个标准模型参数以Knowledge<f64>携带其PDG不确定性。类型检查器在每个费曼振幅中强制执行误差预算。
Explore →计算精神病学
双重束缚动力学。在代码中。
Bateson L0-L3 · Spencer-Brown演算 · Pask本征形式 · 可执行Maturana
二阶控制论形式化为运行程序。双重束缚动力学、分裂生成、自生——不是隐喻。是类型。
Explore →量子计算
禁止克隆。在类型系统中。
线性类型量子比特 · Bell对 · VQE H₂基态 · 编译时禁止复制
线性类型使量子克隆成为编译错误。不克隆定理是对量子比特类型的约束。
Explore →物理单位
mg/kg是一个类型。mg/L + L/h无法编译。
44个SI基本+导出单位 · 编译时量纲分析 · 100+个PK变量带类型
物理单位是一等类型。量纲不匹配是编译错误。100变量PBPK模型在每一步都携带完整的单位类型。
Explore →差分隐私
隐私预算。不能被双重消费。
线性类型ε · Laplace机制 · GUM B类噪声+基因组采样不确定性
隐私预算ε是线性类型——编译器防止双重消费。噪声融入GUM不确定性；两者在同一类型中被追踪。
Explore →几何证明
IMO定理。诚实的置信度。
AlphaGeoZero · Beta分布解置信度 · 首个带ε的几何证明器
AlphaGeoZero证明IMO几何问题并以Beta分布报告每题置信度——首个量化自身不确定性的几何证明器。
Explore →浏览器运行时
在浏览器中运行。无需安装。
WASM目标 · 客户端雷帕霉素PBPK · souc build --backend wasm
编译为WebAssembly。论文PBPK模型在浏览器标签中运行——完整标准库，零服务器，认知类型完好无损。
Explore →编译器
它编译自身。
souc 用 Sounio 编写，通过三个阶段引导。第2阶段和第3阶段的二进制文件 SHA-256 完全相同——不动点即证明。
3 引导阶段 — C → souc₁ → souc₂ ≡ souc₃
4 编译器阶段 — parse / check / HLIR / emit
5 后端 — x86_64 · ARM64 · PTX/GPU · WASM · Cranelift JIT
1000+ 优化通道中的 e-graph 重写规则
LSP 语言服务器 — 代码补全、诊断、转到定义，支持 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 identical药理学和患者安全功能的真实状态 — 不是营销承诺。
正常运行
- 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
脚手架/草图
- Provenance metadata — prov strings on Knowledge<T>; full audit chain still expanding
- Clinical Lean obligations — partial formal verification; not a regulatory submission
缺失
- EHR / FHIR integration — no live hospital connector in public artifacts
- Multi-site clinical validation — single-author research codebase, not a trial platform