主体、权限与责任

授权

subject reviewer "human:role/reviewer"
subject agent "agent:code-writer"

authority agent may transform edit_files within scope allowed_paths
authority reviewer may commit transaction modify_software
accountable reviewer for transaction modify_software

规则：

1. 权限必须显式授予，不存在默认全权主体；
2. 不可逆变换必须有 accountable 主体，否则 R_irr = 0；
3. Agent 主体的权限范围必须是可枚举的（路径、资源、能力）。