附录六 制度条款与智能合约功能映射表
本附录把制度文本拆成机器可处理的条件、权限与状态，同时明确保留人工判断和不得自动化的事项。目标是让代码执行制度决定，而不是让代码开发过程替代制度决定。
一、自动化分级
表A6-1 条款自动化等级
| 等级 | 适用条件 | 处理方式 | 示例 |
|---|---|---|---|
| L1 可自动执行 | 输入可核验、规则确定、后果可逆或风险有限 | 合约直接转换状态并留下记录 | 到期解锁、限额内按比例分配 |
| L2 自动计算后审批 | 计算规则明确，但事实、例外或重大后果需人判断 | 系统生成建议，有权人员批准后执行 | 贡献分值、较大支付、资格变更 |
| L3 人工决定后自动落实 | 决定需要裁量、听取意见或利益冲突处理 | 治理决定形成后由合约实施 | 争议结论、权益撤销、规则升级 |
| L4 不得自动决定 | 涉及基本权利、开放性事实或法律最终判断 | 只提供证据和流程支持 | 人格判断、违法认定、最终责任分配 |
二、映射主表
表A6-2 制度条款—功能映射字段
| 字段 | 填写说明 |
|---|---|
| clause_id | 制度条款和版本的唯一标识 |
| policy_purpose | 条款保护的利益和所要解决的问题 |
| subjects | 适用主体、角色及排除范围 |
| inputs | 所需数据、凭证、时间和外部事实 |
| input_owner | 谁对输入来源、完整性和更新负责 |
| conditions | 可以形式化检查的条件表达 |
| authorized_action | 条件成立时允许的最小行动 |
| state_transition | 旧状态、新状态及禁止状态 |
| automation_level | L1至L4 |
| approval_role | 需要人工批准时的有权角色 |
| exception_path | 输入缺失、争议、不可抗力和特殊情况 |
| pause_and_recovery | 暂停者、恢复条件和超时处理 |
| audit_events | 必须保留的请求、判断、执行和错误记录 |
| upgrade_rule | 参数调整、重大修订和迁移程序 |
| legal_and_rights_review | 法律、基本权利和不利影响审查结论 |
三、示例：收益分配条款
表A6-3 示例映射
| 制度内容 | 技术表达 | 自动化级别 | 人工责任 |
|---|---|---|---|
| 只分配已经确认的可分配资源 | 收益批次状态必须为已确认 | L1 | 财务确认收益来源 |
| 参与者按有效权益比例参与 | 读取指定快照和规则版本 | L1 | 权益管理员保证快照依据 |
| 存在争议的账户暂缓 | 争议标记触发冻结队列 | L2 | 争议机构决定释放或调整 |
| 重大亏损时可延期 | 触发阈值后停止自动支付 | L3 | 治理机构审议延期、披露和救济 |
| 不得剥夺法定请求 | 合约不得自行覆盖外部权利 | L4 | 法律和治理主体承担最终判断 |
四、合约发布门槛
发布前至少完成：条款文本批准、数据源测试、角色和密钥核验、边界值测试、重复执行测试、权限升级测试、暂停恢复演练、迁移方案、独立代码审查和最终业务验收。测试通过只能证明在测试范围内按模型运行，不能证明制度公平或外部事实真实。
五、版本与例外
合约地址、代码版本、参数版本和制度文本版本应分别记录。参数管理员只能调整被明确授权的参数；改变权利主体、分配原则、救济或退出条件属于制度修订，不得伪装成技术维护。紧急暂停用于限制损失，暂停者没有因此获得永久改变权益的权力。
审读补强：升级不变量清单
| 不变量 | 验收问题 |
|---|---|
| 权利语义 | 既有权利义务是否仅按获批内容改变 |
| 接口兼容 | 旧调用、事件和外部系统如何继续解释 |
| 状态完整 | 存储布局、余额、状态机和迁移前后是否勾稽 |
| 权限最小 | 升级、暂停和迁移权限是否扩大，何时撤销 |
| 证据连续 | 版本、提案、代码、部署、测试和快照能否追溯 |
| 失败处置 | 停止条件、回滚边界、外部后果和补偿如何处理 |
使用与控制栏
| 字段 | 填写要求 |
|---|---|
| 对象与适用范围 | 说明组织、业务、群体、资产或系统边界 |
| 负责人/批准人 | 分别记录编制、维护、批准与独立复核责任 |
| 版本与日期 | 版本、生效日、复核日、失效或替换版本 |
| 证据与保留 | 证据位置、访问权限、保留期和删除/归档规则 |
| 法域与专业审查 | 适用法域、法律/技术/治理/财务审查人及状态 |
| 状态与关闭证据 | 草案、试验、有效、暂停、终止；附批准、测试或复核证据 |
控制栏未填写完整时，本附录只能作为建模或审议工具，不能被表述为已经生效的合同、决议、登记、会计确认或系统控制。