HHY 语言报告

HHY 语言状态报告 · 2026-09-01

发布 HHY 当前语义、Runtime、性能与工程质量状态，包含可复核的 CI 实测数据。

发布摘要

报告维度	回答的问题	当前结论
语言基线	核心语义是否稳定	Pipe、Value、Stream、Error 与核心 callable contract 保持稳定，AST/Bytecode 持续对照
Runtime 健康度	资源、内存与取消边界是否可靠	资源上限、GC stress、sanitizer、fuzz、故障注入与显式所有权治理通过
执行引擎	Bytecode 是否适合默认启用	原生 Opcode 路径语义门禁与性能门禁通过，Bytecode 默认，AST 可显式回退
工程治理	变化是否可审计	四平台 CI、真实 workload、分层门禁、版本一致性和发行证据形成闭环

本期数据概览

数据项	结果	证据口径
当前正式版本	v1.3.10	四平台 Release、逐包 SHA-256 与 SHA256SUMS
执行引擎	Bytecode 默认 / AST 回退	完整双引擎套件与机器可读决策
核心 callable	96	Runtime Callable Contract Registry
持续验证平台	4 个	macOS arm64、Linux arm64、Linux x86_64、Windows x86_64
最终 CI 引擎门禁	全部通过	1M CPU 0.3695；短任务 1.0088；持续 JSON 1.0207
Profiler 开销	1.0269× / +2.786 ms	9 次样本；门槛 1.35× 且 12 ms
Bytecode 缓存	不准入	5 个负载 × 21 次；compile+verify 不构成主要成本
完整实战项目	6 个	AST/Bytecode 端到端 acceptance 与稳定退出码

总体基线与兼容性

基线	稳定承诺	验证方式
语言语义	不引入第二套 Pipe、Stream 或 Error 模型	规范示例、Parser/Checker fixtures 与合法程序回归
Callable contract	名称、arity、effect、lazy、cancellable 和 threading 可机器读取	Contract Registry JSON 与 96 项 contract 一致性检查
诊断	CLI 文本与 JSON/LSP 使用同一 Core 检查路径	诊断 schema 与 LSP 协议测试
扩展边界	第三方能力优先走 Process Extension Protocol	清单完整性、Protocol 1 与官方扩展验收
C ABI	当前不公开 Runtime 内部 ABI	只有真实集成证据证明进程协议不足时才重新决策

当前正式基线为 v1.3.10。Bytecode 是默认引擎，AST evaluator 继续作为语义 oracle，可通过 --engine ast 或 HHY_ENGINE=ast 显式使用。Compiler 产生的 Stream Kernel 必须独立通过 Verifier；动态或未知形状无损回退通用 Bytecode。

v1.2.2 发行与扩展状态

能力	当前状态	验收结果
扩展分发	Ed25519 签名 Registry、确定性依赖解析	篡改、来源不明和依赖冲突稳定拒绝
可复现环境	Lockfile、content-addressed 离线缓存	同一 lock 得到同一依赖图，干净环境可离线重建
安全变更	事务式安装、升级和显式回滚	失败升级不破坏旧环境
HTML 0.2.0	Lexbor、CSS selector、单次解析多字段投影	畸形 HTML、硬上限、截断和结构化错误通过四平台验收
协议决策	保留同步有界批量 API	没有真实证据需要 Stream credit、跨调用取消或 Opaque Handle

查看 HHY Language v1.2.2 正式发行下载四平台归档、校验文件并查看完整发行说明。

v1.3.7–v1.3.10 Bytecode 加固状态

版本	核心交付	已验证结论
v1.3.7	具名 specialization metadata、统一 stack/error、fallback reason	无 magic kind；三路径差分与变形测试通过
v1.3.8	Compiler 生成版本化 Stream Kernel IR	Runtime 不读取 AST 形状；Kernel 独立 verify；动态形状安全回退
v1.3.9	普通执行与 Profiler 共用优化决策	kernel/opcode、取消、CPU/Heap 归因与机器报告一致；开销门禁通过
v1.3.10	真实性能触发的缓存治理	数据未触发准入；无进程/磁盘缓存；不接受未验证外部 Bytecode

查看 HHY Language v1.3.10 正式发行包含四平台归档、逐包 SHA-256、SHA256SUMS 与缓存治理发行说明。

性能实测

最终 v1.3.10 CI 数据来自提交 4ddc8c3、GitHub Actions Ubuntu 24.04 的 schema-2 paired/interleaved benchmark 和独立 Profiler/缓存决策 artifact。数值是 Bytecode/AST 墙钟比；小于 1 表示 Bytecode 更快。

门禁	实测	上限	结果
1M CPU	0.3695×	0.90×	通过
短任务	1.0088×	1.25×	通过
持续 JSON/I/O	1.0207×	1.10×	通过
Profiler 开销	1.0269× / +2.786 ms	1.35× / +12 ms	通过

缓存准入负载	compile+verify 中位数	冷运行中位数	占比
Hello	0.0097 ms	5.860 ms	0.1649%
Advanced Flow	0.0269 ms	5.916 ms	0.4546%
Stdlib	0.0286 ms	7.003 ms	0.4086%
Sustained JSON	0.0089 ms	33.518 ms	0.0266%
Core Flow 1M	0.0105 ms	166.285 ms	0.0063%

v1.3.10 六语言同机重测

2026-09-01 在 macOS 26.6.2 arm64 上重新实测 HHY 1.3.10、PHP 8.5.10、Go 1.27.0、Python 3.14.7、Lua 5.5.1 和 OpenJDK 26.0.2.1。固定任务为 range(0, 1,000,000) → 乘 2 → 保留可被 3 整除的值 → 稳定去重 → 物化 → 计数；六种实现都验证输出 333334。每种语言先预热 2 次，再做两轮独立测量；每轮 7 个 fresh process，固定种子随机交错运行，墙钟包含进程启动；Go 与 Java 预先编译，编译时间不计入。

实现	版本	第 1 轮中位数	第 2 轮中位数	两轮范围
Go	1.27.0	7.995 ms	7.969 ms	7.622–15.325 ms
Lua	5.5.1	18.368 ms	17.957 ms	17.582–19.822 ms
PHP	8.5.10	43.174 ms	43.549 ms	42.588–49.033 ms
Java	OpenJDK 26.0.2.1	49.394 ms	48.153 ms	46.995–53.066 ms
HHY Bytecode	1.3.10	55.297 ms	53.404 ms	51.027–78.702 ms
Python	3.14.7	81.747 ms	86.459 ms	79.993–87.774 ms

比较	第 1 轮	第 2 轮	解读
HHY / PHP	1.28×	1.23×	该任务 HHY 比 PHP 多用约 23%–28% 墙钟
HHY / Java	1.12×	1.11×	包含 JVM fresh-process 启动时，Java 略快
HHY / Python	0.68×	0.62×	HHY 在该任务上用时更少
HHY / Lua	3.01×	2.97×	Lua 在该整数循环上更快
HHY / Go	6.92×	6.70×	预编译 Go 显著更快

治理结论与后续观察

总体状态：v1.3.10 已正式发布；v1.3.7–v1.3.10 的语义、三路径、Profiler、资源与缓存治理门禁完整。
执行引擎策略：Bytecode 默认；AST 永久保留为语义 oracle、差分测试和 --engine ast 紧急回退。
性能结论：最终 CI 的 1M CPU ratio 0.3695，短任务 1.0088、持续 JSON 1.0207，Profiler 开销 1.0269×，全部通过。
缓存结论：compile+verify 不构成冷运行主要成本；当前不引入缓存，未来必须由新数据和完整威胁模型重新触发。
跨语言结论：本次仅说明同机固定任务；Go/Lua/PHP/Java 更快，HHY 快于 Python，不能外推到所有场景。
更新规则：发布基线、测量方法、引擎/缓存决策或总体风险结论变化时同步更新本报告。

查看 v1.3.10 最终持续验证证据四平台构建、sanitizer、fuzz、Profiler、缓存决策、性能门禁与真实项目验收。