功能状态

此页面是公共合同的紧凑状态板。数字是从提交的gate JSONs和README.md通过npm run sync:artifacts生成的——不是手动维护的市场营销副本。

Current snapshot

Generated 2026-10-27T10:02:46.672Z. Numbers come from committed gate JSONs and README.md — not marketing copy.

Surface	Current status
Checked launcher	`Madaros v0.80.0` (compiler build, printed by `souc --version`) via `bin/souc`
Default workflow	self-hosted native x86-64 ELF (Linux only) — 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.
Stdlib reliability gate	stdlib reliability · not in CI · artifact 2026-05-12 · engine unnamed
Stdlib inventory	927 `.sio` files in reliability inventory
Science lanes	2 lanes — see `artifacts/stdlib/stdlib_science_pipeline_status.v1.json`
Hyper lanes	stdlib hyper lanes · not in CI · artifact 2026-05-12 · engine unnamed

Compiler surfaces

Synced from artifacts/

Lexer / Parser / Type Checker ✓ Verified

Verified (gate pass); pre-1.0

Native Backend (x86-64 ELF) ✓ Verified

selftest_passed=true, scalar_smoke_present=true, fail_closed=true

Self-Hosted Compiler (default path) ✓ Verified

172 files, 105058 lines, cycle parity=true

Cranelift JIT (retired) ⊘ Stub

No longer shipped since 2.1.0 (CHANGELOG.md). Madaros native x86-64 is the only shipped engine.

LSP Server ✓ Verified

smoke status=pass, strict_no_rust=true

GPU Codegen (PTX) ✕ Blocked

status=fail, blockers=[remote_env_missing]

Bootstrap Chain ? Unknown

full_concat=pass, knowledge_bootstrap=pass

Generated 2026-10-27T10:02:46.672Z

Standard library gates

Synced from artifacts/

Core Standard Library ? Unknown

Stdlib end-to-end: 196 of 533 test programs pass (165 fail, 172 skipped), measured 2026-10-06 with `bash scripts/stdlib/run_stdlib_e2e.sh`; result in `artifacts/stdlib/stdlib_e2e_result.v1.json`

Scientific Pipelines ✓ Verified

lanes=2, status_summary=pass

fmri darwin_pbpk

Hyper-Execution Neural Lanes ✓ Verified

lanes=7, status_summary=pass

nn onn qnn snn spnn quantnn math

Generated 2026-10-27T10:02:46.672Z

为什么这些数字很重要

它们是从提交的artifacts中提取的，而不是从雄心勃勃的路图副本中提取的。
它们定义了文档可以声明的内容，无需保留。
它们解释了为什么仓库中的一些大型部分应该被描述为活跃工作、表面占位符或禁用库存，而不是作为稳定的API。

主要来源artifacts

artifacts/stdlib/stdlib_reliability_status.v1.json
artifacts/stdlib/stdlib_science_pipeline_status.v1.json
artifacts/stdlib/stdlib_hyper_execution_status.v1.json
artifacts/omega/native_backend_v2_gate.v1.json
artifacts/omega/selfhost_verification_report.v1.json
artifacts/omega/gpu_public_contract.v1.json
artifacts/omega/gpu_runtime_attest_gate.v1.json
README.md#honest-status
docs/guide/MINIMUM_VIABLE_SOUNIO.md

如何使用此页面

使用它作为前门的摘要状态。
当你需要工作流、架构或实现深度时，使用更详细的文档页面。
当你需要精确的通道级别细节或机器可读证明时，使用原始artifacts。