Q+ Language

English · Quick start · Language guide

Q+ is a statically typed systems/application language with a self-hosted compiler, a bytecode VM, and a clean standard library. This repository contains the language only — the 另一产品线 kernel and OS services are a separate closed-source product line.

Quick start (Linux x86-64, gcc)

tools/build.sh          # builds build/bqvm and self-hosts build/qboot.qbc
build/bqvm --timeout-ms 0 build/qboot.qbc src/examples/arith_sum.q -o <tmp>/arith_sum.qbc
build/bqvm <tmp>/arith_sum.qbc

v1.30.0-dev 新特性

M2 宏 step3 单层嵌套重复（A.30.13）：外层重复组直接引用一个变参（顺序展开），组内允许一层内层重复组（深度上限 2）；p34_m2_nested（m2nest!(1,2; 3,4)）→ VM/AOT 134234；p33 12|348|9 保持；负例 n40/n41/n42 rc=2+稳定消息；MACRO_M2_TEST_PASS 22/0；M1 39/0 不回归；包装型嵌套/深度>2/固定参数+多变参/ zip/递归 emit 未做；MB 仍不完整。
AOT traceback Round55（12/12 + deep10）：12 个逐字节 case（含 deep10 深度 parity）+ AOT-only 诊断（async trap 固定消息/rc=1/无 traceback）；TRACEBACK_PARITY_PASS 12/12；残余其他 natdisp/共享 stub 未逐项；不宣称全量 parity。
i64 小常量累积（§9.5.11，未修/审计）：2^57×8 VM=2^60/AOT=-2^60 等复现；两种修法未生效/污染自举→回退； p19 boundary 仍 PASS；需离线 qbc 重写/稳定 helper（2–4 天）；不宣称 i64 full/无条件 full u64。
1.29 扩展测试修正：f64 指数常量 1.5e300 AOT 成功 + VM/AOT parity 实测（不宣称整体浮点 parity）。
保留：AOT async M3/M3b（AOT-only POC）、AOT text 4MiB、std.fs AOT 四批、MB 1–6 批、AOT-native POC4、 A.30.9 浮点残差收口。
T8 英文摘要：13 篇 A-20 inline ## English Summary；FLOAT_PARITY/MB_M04/U64_A5/MB_GAPS/AOT_ASYNC_M2 摘要更新；摘要级，非全文翻译。
OS SDK 1.18（外部原型）：14/2/4、tests 29/29、fuzz 339、128/0、5/5；非发布/非 API 1.0。
IDE 0.19 overlay（外部，不随 tar；描述滞后）；语言树支持组件仍 0.6.0。
B2 文档/站点定稿：1.30.0-dev/spec v4.61；最终锚点 bqvm ca0539df / bqvm_small e24b284b / qboot abd9fb83 / cgtest.qbc d0295342 / cgtest_aot 1e619ad3；二次 build SAME；NOT PUBLISHED。

Editor support

发布包支持的 VS Code 扩展为 0.6.0（支持组件、随发布包分发；scripts/validate.sh --integration 190 checks ALL PASS）；editors/vscode 是扩展源码。离线 LSP（qplus-lsp，stdio JSON-RPC，无网络/ 第三方运行时）实现 LSP v1.0 子集 + 0.6 编辑特性：符号/工作区符号、跳转定义、引用、重命名（prepareRename）、签名帮助、语义 token、hover/completion、code action（安全编译诊断 quick fix、 organize imports、format document）、inlay hint、document link、code lens、workspace folders、 executeCommand，以及编译器/运行期/AOT 诊断；格式化由扩展自身提供。未实现：call hierarchy、 code action/inlay hint/document link 的 resolve 阶段、安全 quick fix 之外的复杂自动修复。

可选/开发版 LSP 组件（均不在语言 tar、未发布 Marketplace、不是受支持发布组件）： 0.7.0/0.8.0 为更早 dev 线；0.12.0 为最新 optional/dev .vsix（0.9.0/0.10.0/0.11.0 为更早 dev 线）。发布树 VS Code 源码为 0.6.0； dev 组件能力在正式发布收编前不作为已发布特性宣称。

.vsix 包由扩展源码按需构建（scripts/package.sh，需要 Node.js/npm），不提交到仓库；安装/打包见扩展 README。

Community, governance and releases

GOVERNANCE.md — 决策模型、角色、版本与发布策略
MAINTAINERS.md — Maintainer/维护者角色（公开发布前为占位）
SUPPORT.md — 获取帮助与支持边界（无 SLA/商业支持承诺）
RELEASING.md — 候选→冻结→G0–G7→Maintainer 批准→发布的 runbook（未授权不得发布）
ROADMAP.md — 1.4.x→2.0 公开路线与明确非目标
P0_RELEASE_CHECKLIST.md — v1.0 发布前检查清单与 15 条不得宣称
GITHUB_READY.md — GitHub 仓库就绪状态与版本决策项
CODE_OF_CONDUCT.md / SECURITY.md — 社区行为与漏洞报告

状态：v1.30.0-dev 是发布候选，NOT PUBLISHED。 OS SDK 1.18.0 是外部原型（29/29 tests、14 PASS/2 PARTIAL/4 BLOCKED、fuzz 7 组 339、api_stability 128/0、examples 5/5；0.x 非稳定、不属于本发布包）；LSP 0.6.0 为支持组件，0.12.0 为最新 optional/dev（0.7/0.8 为更早 dev 线；不在 tar、未发布 Marketplace）。

Layout

src/compiler/ — self-hosted Q+ compiler (qboot) and AOT helpers
src/runtime/ — bqvm bytecode VM and its minimal C runtime
stdlib/std/ — Q+ standard library
src/examples/ — runnable examples
src/tests/ — language-level negative/positive fixtures
docs/qplus_language_spec.md — language specification
docs/OS_SDK_PROTO.md — OS SDK 0.1 prototype report (external prototype, not part of the release package)
docs/OS_SDK_DESIGN.md — OS SDK design overview (planning)
bootstrap/qboot.qbc — bootstrap compiler bytecode (used to self-host)
tools/build.sh — reproducible standalone build
tools/test.sh — examples + language fixtures regression
editors/vscode/ — VS Code extension sources (syntax, formatter, offline LSP; release component 0.6.0, optional/dev 0.9.0/0.10.0/0.11.0/0.12.0)

Status

Q+ Language v1.21.0-dev, language specification v4.52. The reference compiler is self-hosting and produces a deterministic qboot.qbc; the VM and AOT backend share one formal runtime-error model and a checked integer matrix (see CHANGELOG 1.21.0-dev).

Maintainer

Q+ Language is maintained by 如东星瀚科技有限公司 (Rudong Xinghan Technology Co., Ltd.), brand 星瀚 / Xinghan. The 另一产品线 kernel is a separate closed-source product line.

License

Platform support (1.4 dev)

Linux x86-64 mainline (default): tools/build.sh; build anchors unchanged.
Windows x86-64: tools/build.sh --target win32 (mingw-w64) → bqvm.exe; wine smoke PASS; async/ucontext loud gap; no AOT.
ARM64 Linux: tools/build-arm64.sh (aarch64 gcc) → static bqvm; 30/30 examples parity under qemu-aarch64; no AOT.
Optional CI gate: ci/portability_check.sh (Linux required; cross targets SKIP when toolchains are missing). Details: docs/PORTABILITY.md, docs/internal CI evidence (not shipped).

Docs

QPM install/vendor
TSAN limitations
Windows AOT spike
OS SDK 1.18.0 MVP
STD_FS（预留/planned）
CI
AOT-native design (2.0)
LSP 0.6.0 为支持组件；0.9.0/0.10.0/0.11.0/0.12.0 为 OPTIONAL/DEV（不进 tar、未发布 Marketplace）。
Formatter
Windows AOT spike3
OS SDK API stability (1.6.0-prep)
OS SDK net design
Benchmark baseline & regression（单机非权威，仅回归）
Network Phase1 POC · Network Phase2
Playground 部署与安全边界 · Benchmark 基线
STD API（核心模块，中英） · English summary
Playground 运行文档 · Windows/Wine 指南
语言指南进阶（错误/类型/并发/网络/AOT，中英） · English summary
贡献指南 · 发布工程 · 仓库布局
下载页（公开版） · 部署模板
快速上手 / Getting Started（中英）
English summaries
AOT async M2（fiber 基础件，AOT-only POC）：docs/AOT_ASYNC_M2.md · MB 缺口审计：docs/MB_GAPS.md · std.fs AOT 第一批：docs/STD_FS_AOT.md
英文摘要（v320/v330）：NET Phase7–12、AOT 事件循环、cast 语义、qpm 透明日志、std.env args、AOT async M2、MB_GAPS、std.fs AOT、Windows AOT 文档均含 ## English Summary（摘要级，非全文翻译）。
Network Phase3
String perf POC
Security/ASAN summary
Network Phase4
AOT-net feasibility (conclusion B)
QPM production POC
AOT network POC
Network Phase5
SBOM
SBOM 签名 POC
std.net API 参考
OS SDK 1.18.0
Float parity
QPM production POC
QPM key rotation design
Cast semantics
Network Phase8
QPM transparent log design
STD env args
AOT event-loop feasibility (external POC, not integrated)
QPM transparent log design
AOT event-loop / epoll unified
Network Phase11
QPM production POC (SBOM/graph)
Remaining gaps register
v1.0 版本决策记录