编译器诊断
compiler-errors
草稿
更新于 2026-07-30｜来源：RCL-main / docs (0.94.0-alpha.1)编译器错误
| 诊断码 | 含义 | 处理 |
|---|---|---|
| RCL-E001 | 缺少 world 声明 | 所有声明必须位于 world 作用域内 |
| RCL-E101 | 变量未类型化 | 补全类型与不确定性范围 |
| RCL-R201 | R_pred = 0 | 存在影响提交的未显式变量化未知量 |
| RCL-R202 | R_ctrl = 0 | 外部效果缺少 provider / on_failure |
| RCL-R203 | R_irr = 0 | 不可逆操作缺少 accountable 或 rollback 边界 |
| RCL-R204 | R_stab = 0 | 不变量为硬编码阈值，未使用自适应场 |
| RCL-E301 | 权限缺失 | 主体未被授予该变换的 authority |
| RCL-E401 | 证据缺失 | evidence require 中的条目未满足 |