Playground

在线实验

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

RCL 0.94.0-alpha.1

Docs 0.94.0-alpha.1 (Draft)

示例：Evidence Trace

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

源码

world audit_demo {
  object report { state status: String = "draft" }

  subject auditor "human:role/auditor"
  accountable auditor for transaction publish_report

  transaction publish_report by auditor {
    evidence require {
      source_data from provider "warehouse"
      auditor_signature from subject auditor
    }
    accept when evidence.complete
    abort when evidence.missing
    rollback to snapshot pre_publish
  }
}

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

编译与验证结果

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

AI 导师（本地教学检索）

Docs 0.94.0-alpha.1 (Draft)

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

附带当前编辑器中的代码

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