4R 现实鲁棒核

学习目标：写出完整的 robust 块，理解无补偿性。

R_pred

R_ctrl

R_irr

R_stab

无补偿性

四个维度

维度	现实风险	要求
R_pred	不可预测	显式变量化
R_ctrl	不可控制	Provider / Capability 边界化
R_irr	不可逆	授权、证据与回滚边界化
R_stab	不稳定	自适应不变量场化

robust 块

robust {
  predictable  variable regression_risk
  controllable provider ci
  reversible   rollback unpublish_build
  stable       invariant field error_budget
}

合法转移子集

𝒯_legal = { τ | R_pred(τ) ∧ R_ctrl(τ) ∧ R_irr(τ) ∧ R_stab(τ) }

无补偿性

四项不可互相抵消。回滚做得再好，也不能弥补未显式化的不确定性。任何一项为 0，提交即被拒绝。

当前实现状态：RCL 0.94.0-alpha.1 的 4R 检查报告为 partial；RNCS 具有原生 Commit Gate。

动手练习

补全 robust 块的四项声明，使这个事务可以通过 4R 检查。

world release_gate {
  variable regression_risk: Decimal {
    range 0.0 .. 1.0
    uncertainty beta(a = 2, b = 8)
    source "provider:ci"
  }

  provider ci "github-actions" {
    capability [run_tests]
    on_failure abort
  }

  invariant field error_budget {
    when regression_risk < 0.2 keep true
    when regression_risk >= 0.2 keep false
  }

  subject release_manager "human:role/release"
  accountable release_manager for transaction publish

  transaction publish by release_manager {
    provider ci capability [run_tests]
    robust {
      // 补全四项
    }
    accept when ci.tests_passed
    abort when regression_risk >= 0.2
    rollback to snapshot pre_publish
  }
}

在 Playground 中编译验证

理解检查

某事务 R_irr = 0，但 R_stab 声明得非常完善。结果是？