Versions

版本中心

RCL 处于快速演进阶段，文档、Agent Skill 与编译适配器都与语言版本绑定。任何学习或排错动作之前，先在这里确认版本组合。

当前选择 RCL 0.94.0-alpha.1

实验

版本列表

RCL 0.94.0-alpha.1

实验

当前实验主线。Foundation 结构确定为「24 项现实结构面 ⤺ 4R 全局现实鲁棒核」，4R 提交闸门在 RCL 侧为 partial，RNCS 侧为原生实现。

RCL 0.93.4

稳定

0.93 稳定线。尚未引入统一的 4R 鲁棒证书，鲁棒性检查分散在 guard 与 provider 声明中。

RCL 0.90.0

已弃用

早期语法线，evidence 块与 transaction 块尚未分离，不建议新项目使用。

组合显示为「部分兼容」或「不兼容」时，请优先按 notes 中的说明升级，再提交问题。

RCL 版本	文档版本	Skill 版本	适配器版本	状态	说明
0.94.0-alpha.1	0.94.0-alpha.1 (Draft)	1.0.0-alpha.1	demo-1.0.0	部分兼容	文档为草案；4R 提交闸门在 RCL 侧为 partial，Playground 使用 Demo 适配器。
0.94.0-alpha.1	0.93.4	1.0.0-alpha.1	demo-1.0.0	不兼容	0.93 文档不包含 4R 鲁棒核语法，跨版本引用会产生错误结论。
0.93.4	0.93.4	0.9.2	demo-1.0.0	兼容	稳定线组合，示例与课程可直接使用。
0.93.4	0.94.0-alpha.1 (Draft)	1.0.0-alpha.1	demo-1.0.0	部分兼容	可用于迁移阅读，但 robust 块在 0.93.4 编译器上不被识别。
0.90.0	0.90.0	0.9.2	demo-1.0.0	不兼容	已弃用版本，Tutor Skill 将拒绝为其生成安装与学习建议。

变更

Foundation 重述为「24 项现实结构面 ⤺ 4R 全局现实鲁棒核」

2026-07-18

此前文档将 Foundation 表述为 28 个同级模块。修订后：24 项结构面回答“什么可以被表达、组合与变换”，4R 回答“哪些候选变换有资格被提交为现实”。

新增

新增 robust 块与四维鲁棒证书

2026-07-18

transaction 内可声明 robust { predictable / controllable / reversible / stable }，编译器输出 R(τ) ∈ {0,1}^4 证书。

修复

修正 foresee 与 realize 的语义分离

2026-07-22

foresee 仅做投影，不产生 Evidence；realize 才触发守卫、权限、保持式与 4R 检查。