形式理论

五级

1. 符号化：24 结构面、4R 控制核、候选事务与鲁棒证书。
2. 形式化：foresee 为投影；realize 提交须通过守卫、权限、保持式与 4R。
3. 参数化：变量与不确定性、Provider 能力集合、不可逆分类、权限关系、自适应不变量场。
4. 验证：Foundation tests 4/4；Conformance 93/93；4R 在 RCL 侧报告 partial，RNCS 具原生 Commit Gate。
5. 定理化：24 结构面分解定理、4R 全局性、不可约性、无补偿性、合法转移子集、投影—提交分离。

本质表述

RCL 是带四维现实鲁棒证书的、权限约束型、证据承载型现实事务演算。

其核心价值不是"能描述更多现实"，而是：任何被描述出来的候选现实，都不能未经变量显式化、能力边界验证、授权证据化与自适应不变量检验，就被提交成正式现实。