4R 现实鲁棒核
four-r-robust-core
草稿
更新于 2026-07-30｜来源：RCL-main / docs (0.94.0-alpha.1)4R 现实鲁棒核
四个维度
| 维度 | 现实风险 | 要求 |
|---|---|---|
| R_pred | 不可预测 | 显式变量化：未知量必须具名、类型化、带不确定性范围 |
| R_ctrl | 不可控制 | Provider / Capability 边界化 |
| R_irr | 不可逆 | 授权、证据与回滚边界化 |
| R_stab | 不稳定 | 自适应不变量场化 |
合法转移子集
R(τ) = (R_pred, R_ctrl, R_irr, R_stab) ∈ {0,1}^4
𝒯_legal = { τ ∈ 𝒯(𝔉₂₄) | ⋀ᵢ Rᵢ(τ) = 1 }只有四项全部为 1 的候选变换才有资格被提交为正式现实。
无补偿性
四项之间不可互相补偿：R_irr 不合格不能用更强的 R_stab 抵消。任何一项为 0，提交即被拒绝。
实现状态：在 RCL 0.94.0-alpha.1 中，4R 检查报告为 partial；RNCS 具有原生 Commit Gate。
本文小节
- · 四个维度
- · 合法转移子集
- · 无补偿性