罗盘 / 规则即代码·法律与机器规则同源
暗星档案 · 未点亮的星规则即代码·法律与机器规则同源
本条为初评草案（AI 辅助编目 · 评于 2026-07-16）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
规则即代码·法律与机器规则同源T6 量级 · 行星
让人类法条与机器可执行规则同一流程生成、版本绑定并可申诉。
暗星编号DS-0672
轴R · 风险与文明安全
领域governance-institutions
状态初评草案 · 待双评与红蓝复核
这是什么 · 为什么难
真实，通常称 Rules as Code／Law as Code：把规则的官方版本同时表达为人类文本和机器可执行逻辑。它不等于让软件工程师取代立法与司法。 税收、福利和行政流程有原型；奥地利项目完成从自然语言抽取、人工比较修订到规则引擎执行的端到端概念验证。尚无普遍法律效力、跨法域互操作的“代码即唯一法律”。
卡在哪 · 机制级卡点
法律包含开放纹理和价值裁量，强行形式化会隐藏政策选择；代码错误可规模化剥夺权利；专有实现、版本漂移和缺少上诉会把透明承诺变成黑箱自动化。
谁在攻
OECD 的 Mohun 与 Roberts 系统化 Rules as Code；奥地利公共行政 Law as Code、加拿大、新西兰、巴塞罗那和新加坡等开展实践。
怎么参与
从 OpenFisca 开源项目贡献规则模型，或研究本国某项具体福利/税务法规能否代码化写一个原型