语言概览

顶层结构

一个 RCL 程序由若干 world 组成。每个 world 内部可以声明：

• object：现实对象及其状态
• subject：可以发起变化的主体
• relation：对象与主体之间的关系
• constraint / invariant：任何时刻或跨变换必须成立的条件
• transform：候选变换
• transaction：一组必须整体提交或整体中止的变换
• provider / capability：真实执行者及其能力边界
• evidence：证据要求

投影与提交分离

foresee 是投影：它计算候选现实但不产生正式现实、不产生 Evidence。 realize 是提交：它必须依次通过守卫（guard）、权限（authority）、保持式（invariant）与 4R 鲁棒核，才能提交。

RCL 不会自己改变外部世界。任何外部效果都必须由声明过的 Provider 执行。