用途：把薄意图字符串或计划/规则文件生成“冻结、可做漂移检测”的 Starlark 治理规则块，供下游工作注入使用，并用 --verify 做规范化漂移比对。
主要能力：输入自适应。target 是可读文件路径时进入 SHALLOW 模式，读取文件并扫描“Invariants/Rules/Constraints”标题、含 MUST/NEVER/ALWAYS 的条目及谓词式代码块提取不变量；提取不足 2 条或语义模糊时回退 DEEP 模式。DEEP 通过 /grill-me 访谈抽取规则不变量（范围、恒真/恒假条件、变量空洞、组合子、失败模式），再进入草拟流程。草拟遵循 notation.md（按主题分组、函数体不超过 5 行、每函数一条注释、禁止突变），随后交 /review 收敛，收敛后原样冻结输出，冻结时不做规范化。
使用方式： /policy-algebra <target> 生成规则 /policy-algebra <target> --write <path> 生成并写入原始块 /policy-algebra --verify <frozen> <candidate> 漂移检测 --verify 读取两文件、各取第一个 starlark 围栏块、规范化（去尾空白、合并空行、裁剪边缘）后比较，一致输出 MATCH 并退出 0，否则输出 DRIFT 与 unified diff 并退出 1。多块文件静默使用第一个块。退出码：0 匹配/成功，1 漂移，2 输入错误，3 内部错误。
跨工具：Claude Code 通过 Skill 工具调用 /grill-me 与 /review；Codex、Cursor 需直接读取 .claude/skills/grill-me/SKILL.md 与 .claude/skills/review/SKILL.md 并内联执行。--verify 为运行时无关，仅依赖内联 bash。该技能自托管，其自身规则以冻结 Starlark 治理块编码。
限制：DEEP 模式依赖 /grill-me，缺失时报错；草拟为空时报“no invariants found to codify”并返回不变量列表；--write 路径不可写时报错但仍返回内联结果；--verify 路径不可读或无 starlark 块时报错并退出 2；规范化异常退出 3。