Estado das Funcionalidades

Esta página é o painel de estado compacto do contrato público. Os números são gerados a partir de artefatos de gate já commitados e do README.md via npm run sync:artifacts — não são texto de marketing mantido manualmente.

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

Por que esses números importam

Vêm de artefatos commitados, não de texto aspiracional de roadmap.
Definem o que a documentação pode afirmar sem ressalvas.
Explicam por que partes grandes do repositório ainda devem ser descritas como trabalho ativo, superfície stub ou inventário desativado, e não como APIs estáveis.

Artefatos-fonte principais

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

Como usar esta página

Use-a como o resumo de estado da porta de entrada.
Use as páginas de documentação mais detalhadas quando precisar de profundidade de workflow, arquitetura ou implementação.
Use os artefatos brutos quando precisar de detalhe exato por lane ou prova legível por máquina.