第 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_changeauthority:能做什么,范围多大;accountable:后果归谁。不可逆事务缺少 accountable 时R_irr = 0。
证据不是日志
evidence require {
test_report from provider "ci"
reviewer_approval from subject reviewer
}日志描述发生了什么;证据使主张可被第三方复核。 提交成功后生成 Evidence Receipt:证据 ID、主体、主张、时间、哈希。
理解检查
一个不可逆事务没有声明 accountable 主体,会怎样?
延伸阅读