8
22 分钟
Docs 0.94.0-alpha.1 (Draft)

权限、责任与证据

学习目标:为主体授权,并声明证据要求。

authority
accountable
evidence require
Receipt

默认拒绝

RCL 没有"默认全权主体"。权限必须显式授予:

authority agent may transform draft_change within scope ["content/**"]
authority reviewer may commit transaction apply_change
accountable reviewer for transaction apply_change
  • authority:能做什么,范围多大;
  • accountable:后果归谁。不可逆事务缺少 accountable 时 R_irr = 0

证据不是日志

evidence require {
  test_report from provider "ci"
  reviewer_approval from subject reviewer
}

日志描述发生了什么;证据使主张可被第三方复核。 提交成功后生成 Evidence Receipt:证据 ID、主体、主张、时间、哈希。

理解检查

一个不可逆事务没有声明 accountable 主体,会怎样?

下一课