Playground

在线实验

编写 RCL 源码并观察完整检查链：解析 → 解析引用 → 权限守卫 → 4R 鲁棒核 → 执行 → 提交或中止。结果的真实性来源始终显式标注。

RCL 0.94.0-alpha.1

Docs 0.94.0-alpha.1 (Draft)

示例：Adaptive Invariant

DemoCompilerAdaptervdemo-1.0.0教学演示适配器。基于结构化静态解析生成示意性的 Reality IR、4R 报告与 Trace，不执行真实 RCL 编译器。

源码

world service_level {
  object api {
    state p99: Duration = 240ms
    state load: Decimal = 0.42
  }

  invariant field latency_budget {
    when api.load < 0.6  keep api.p99 <= 300ms
    when api.load >= 0.6 keep api.p99 <= 800ms
  }

  subject sre "human:role/sre"

  transform accept_traffic_shift by sre {
    effect api.load = api.load + 0.2
  }
}

从示例库载入查看语法文档

编译与验证结果

尚未运行。点击「编译并运行」查看 Reality IR、4R 证书、Trace 与证据记录。

AI 导师（本地教学检索）

Docs 0.94.0-alpha.1 (Draft)

本地教学检索器：在本平台收录的当前版本资料中做关键词检索并摘录，不是模型，也不是官方规范解释器。

附带当前编辑器中的代码

提问示例：什么是候选现实？为什么 4R 不能互相补偿？我的事务为什么报 RCL-R203？