ratify

ratify — 把草稿变成法的那段仪式

产物：一份 .lock（哈希 + 签字人 + 时间戳）+ 被裁决填满的制品本身。本文件只写引擎给不出的东西： 仪式的顺序为什么不可调换（γ）、什么算一条裁决而不是拖延（φ）、授权怎么留痕（γ）、原语在哪（Π）。

缺口（Control + Judgment）

deletion 测试：撤掉本 skill，人说「冻结吧」，引擎会直接去跑 lock_done_when.py sign。三件事同时发生： 未决项没人提起（引擎记得的是它觉得有趣的那几条，不是文件里全部）、裁决只停在对话里（几周后没人知道 当初为什么这么定）、签字人写谁全凭手气。缺口是 Control（顺序与留痕）与 Judgment（什么算裁决）。

不是 Capability：呈现与写回由 scripts/agenda.py 做，冻结由 ../ai-dlc/scripts/lock_done_when.py 做， 两者都已存在。本 skill 不重做它们，只保证它们按这个顺序、带着这些约束被用。

世界（Σ）

• 草稿可以有未决项，签字不能。这是两件事，不是同一件事的两个阶段——verify_card.py 默认放行未决项 （那正是草稿的用途），--ready-to-sign 才把它们升成拒。冻结是把「当下这份内容」按哈希钉死。
• 谁在签。lock_done_when.py sign 的 --signer-kind 只有两种：
  • human：人自己跑那条命令，--by 是人名；
  • delegated_agent：人在对话里明确授权、由 agent 代跑，此时 --authorization 必填，把人的授权原话 （谁、什么时候、授权了什么）写进锁文件。没有 --authorization 的受委托签署会被脚本直接拒。 没有第三种。 模型不得以 human 身份签字——那是伪造签名，不是省事。
• 制品的种类。不变量卡（territory_id + hard_invariants）、done_when 契约、G1 世界裁决记录 都走这段仪式；sign 对不变量卡会自己去跑卡的仪式检查，所以「跳过 ratify 直接签」这条路在卡上不存在。
• 末端不同，仪式相同。卡与契约签在 lock_done_when.py sign；G1 签在 aidlc_state.py gate g1 --verdict pass --by <人> --signer-kind human --record <g1-record.md>。 两者前面那一段——从文件里读出未决项、逐条呈、当场裁、带姓名日期写回、再跑判据——是同一段。 之所以不为 G1 另开一个 skill：人要的是「从草稿到签字」这段仪式本身，两个 skill 教同一件事早晚会漂成两套说法。
• G1 裁的是推导产物，不是世界。gate g1 要求 world.derived_dir 指向一个真实存在的 derived/ （/psl-derive 的产出）。只有 PSL 没有形态草案时签不了，也不该签——"日历筛选器"那类错误发生在推导那一步。

判据（φ）：什么算一条裁决

• 裁决是决定，不是复述。「这条冲突确实存在」不是裁决；「排除是有意的，按隐私要求，INV-003 收窄成 未同步窗口内加密落盘」才是。
• 拖延不算裁决，但拖延是合法的。「待定 / 再说 / 回头看」被 agenda.py 直接拒——它不是坏答案， 它是另一个去处：移进 open_questions，带负责人与截止日期，然后这张卡先不签，或者签其余部分。
• 「不知道」也是合法答案，处理同上：转成开放问题，不要猜一个答案填进去。一条猜出来的裁决会以 「已裁决」的样子活很久。
• 裁决要能被复核：写回时自动带日期与姓名。姓名是人的名字，不是 agent 的。
• G1 上，PSL 的每一条 Open Question 都要有一行，三选一：接受 seam / 现在回答 / 阻塞。 跳过不是选项——承重空槽会以默认值的形态混进实现。 裁为「阻塞」的，G1 不能 PASS：agenda.py 会把它单列出来，这不是提醒，是拦。

控制（γ）：顺序不可调换

1. 先读文件，再开口。未决项由 agenda.py <制品> 从文件里列出来，逐条呈现，不筛选—— 与 aidlc_state.py notes --for-gate 同一条纪律：做「有趣度」筛选的那一刻，被筛掉的那条就是下次撞的墙。
2. 一条一条裁。每条把证据（冲突两边、来路、statement）摆出来，等人回答；不要把五条打包成一个问题。
3. 当场写回（agenda.py --rule <n> --resolution "…" --by "<人名>"），不要攒到最后——中途断了， 已裁的部分留在文件里。
4. 再跑一次判据：verify_card.py --ready-to-sign（卡）或对应制品的校验器。不许跳过这一步， 因为裁决可能引出新的未决项（改写一条规则会动它的 survival_test）。
5. 最后才签。人自己签 → 给命令、由人执行；人授权 agent 代签 → --signer-kind delegated_agent --authorization "<人的原话 + 时间>"。
6. 签完把话说全：锁文件路径、被冻了哪些文件、签字人与方式、之后改这些文件要走变更提案。