技术优势 / ENGINEERING
把“可控”拆成四件具体的事
底层软件没有捷径:每一次构建、每一份发布、每一个字节,都应该可以被验证。Q+ 把验收闸门、确定性构建、SBOM 与可移植性验证纳入发布流程。
技术优势 / WHY US
四条硬理由
每一条优势背后都有对应的工程实践与可查的证据。
全栈自研
语言规范、编译器、虚拟机、AOT 与工具链全部自研,不依赖第三方运行时拼装。
工程可信
独立验收闸门 58/0、确定性构建 319/319、SBOM 逐文件核验,发布过程可追溯。
可控交付
支持私有化部署与源码级审计,交付物包含构建脚本、校验清单与长期维护路径。
长期支持
以年为单位维护语言与运行时版本,提供技术支持、培训与定制演进服务。
工程证据 / EVIDENCE
发布之前,
先过闸门
Q+ 的发布候选必须通过独立验收闸门:编译构建、官方测试集、确定性复现、SBOM 核验与发布树一致性检查全部通过,才允许进入发布候选流程。
58 / 0官方验收 PASS / FAIL
319 / 319确定性构建复现
2,101发布树文件 · SBOM 清单
11平台可移植性验证
$ qplus gate --full --determinism › build bqvm + qboot + cgtest .......... OK › acceptance gate ...................... PASS 58 / FAIL 0 › determinism (reproduce package) ...... PASS 319/319 › sbom verify .......................... SPDX 2,101 FILES › portability matrix ................... 11 PLATFORMS › release tree consistency ............. 0 DRIFT $ qplus version qplus 1.30.0-dev · spec v4.61 · x86-64
版本历程 / HISTORY
45 个版本候选,连续迭代
每一次候选都留下验收与复现记录;版本历史可追溯,不覆盖、不伪造。
1.30.0-dev
当前开发候选:规范 v4.61,M2 宏能力增强、AOT traceback 与 i64 归一化修复
CURRENT
1.29.0-dev
完整验收 PASS:58/0 验收闸门、SBOM 与确定性构建复现通过
ACCEPTED
1.20.0-dev
OS SDK 与网络能力持续集成,标准库扩展
ITERATION
1.10.0-dev
AOT 原生模块、qpm 包管理与签名能力引入
ITERATION
1.2.0-dev
早期候选:语言核心、VM 与文档体系成型
ITERATION
1.0.0-dev
首个开发版本:自举编译器与字节码 VM 打通
BASELINE
边界与声明 / HONESTY
我们不宣称的事
工程可信不仅是“做到了什么”,也包括“明确没做什么”。以下是当前版本的能力边界。
LIMITS / 01
浮点一致性
AOT 浮点一致性尚未做整体声明;当前仅在部分实测能力上验证了 VM/AOT 语义一致。
LIMITS / 02
异步能力
VM 路径的 async/await、通道与线程池仍在完善;AOT 路径的异步支持为阶段性能力。
LIMITS / 03
AOT 文本上限
AOT 编译文本存在 4 MiB 硬上限,超限会明确报错,不做静默截断。
LIMITS / 04
平台覆盖
可移植性验证覆盖 11 个平台组合;Windows 与 ARM64 的 AOT 路径尚未完整覆盖。