Feature Status

本页是公开契约的紧凑状态面板。数字通过 npm run sync:artifacts 从已提交的 gate JSON 和 README.md 重新生成——不是手工维护的营销文案。

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

为什么这些数字重要

它们来自已提交的构件，而不是有抱负的路线图文案。
它们定义了文档在不加限定条件的情况下可以声称的内容。
它们解释了为什么仓库中的大部分内容仍应被描述为进行中的工作、stub 表面或已禁用库存，而不是稳定的 API。

主要来源构件

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

如何使用本页

把它当作门户状态摘要来使用。
需要工作流、架构或实现深度时，使用更详细的文档页面。
需要精确的 lane 级细节或机器可读证明时，使用原始构件。