罗盘 / 计算法律·规则即代码
暗星档案 · 未点亮的星计算法律·规则即代码
本条为初评草案（AI 辅助编目）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
计算法律·规则即代码T6 量级 · 行星
把法条同步写成可执行代码,让合规不必猜条文
暗星编号DS-0845
轴R · 风险与文明安全
领域governance-institutions
状态初评草案 · 待双评与红蓝复核
这是什么 · 为什么难
Rules as Code(RaC)把立法/法规/政策同时写成两个版本:官方法律文本 + 结构化的机器可读代码,让政府系统能直接测试、模拟、自动化执行规则,同时保证代码与法条精确对应。新西兰、澳大利亚、加拿大、法国政府已在福利资格核定、贸易合规等场景试点,G7 数字工作组已成立监管创新工作组推动跨国试点标准。攻破意味着:法律的歧义在成文阶段就被代码化测试暴露,公民/企业可用同一套引擎预演自己是否合规,监管更新和执行成本大幅下降。
卡在哪 · 机制级卡点
自然语言法律天然含糊、依赖判例与裁量空间,强行代码化会丢失可解释的弹性;两个版本(法条与代码)如何保证长期同步且代码不悄悄变成事实上的法律,尚无成熟的治理机制;跨部门法规互相引用时代码化的组合爆炸也未解决。
谁在攻
新西兰政府数字部门 Better Rules 计划;MIT Computational Law Report / MIT Media Lab;G7 数字与技术工作组监管创新任务组;Cohubicol(鲁汶大学 Code-driven Law 研究组)
怎么参与
从参与开源的 Rules as Code 工具(如 Blawx)或本地一项福利资格规则的代码化练习入手。