数据库迁移 255–259 到底在做什么

Up：两种 Group owner 增 Memory

PIWG 在这里新增的是私人 projection Memory；老的共享 Project Rules/Memory 继续走老字段。

Up：Turn 冻结 owner

agent_task_queue 增加 work_private_memory_scope、work_private_memory_group_kind、work_private_memory_group_id。CHECK 只允许：三列全空、Session owner、完整 Group owner。这样 Group A 创建的 Turn 不会因 Session 后来移到 B 而写进 B。

Up：应用只追加的 merge ledger

work_group_memory_merge 保存来源 Session/revision/原文/hash、目标 Group/revision/全文 hash、source order、merge kind、cutover epoch。UNIQUE(epoch, source_session_id) 防同批重复；保留原文而不是只留 hash，才能真实回滚与审计。正常 Context 路径不读它。“不可变”是应用和发布规则；schema 没有另设 trigger/RLS 禁止管理员直接 UPDATE/DELETE，受控数据库权限和 runbook 仍是证据完整性的一部分。

Up：cutover completion

work_group_memory_cutover 保存 epoch、initial|reconciliation、source/group count、manifest SHA-256。部分唯一索引保证最多一个 initial。

Up：Group → Ungrouped trigger

1. 非该 placement 变化：不处理。
2. Session context 为空：保持空并推进 revision。
3. 非空且当前 ID + revision + 原文有精确完成证据：清空并推进 revision。
4. 非空但无精确证据：保留，让 startup fence/reconciliation 看得见。

它覆盖普通移出、Group 删除、PIWG dismiss、Project delete/access revoke 与 FK cascade，不依赖每个 handler 都正确实现。

Down

只要已有 cutover、merge evidence、非空/非初始 revision 的 Group Memory，或任务 owner snapshot，就抛异常。仅在确认从未承载有效数据时才删 trigger、表和列。生产 cutover 后的回滚不能靠 255 down，而要按 ledger 恢复 Session owner。当前没有自动 --rollback 命令；恢复 SQL/脚本与 representative snapshot rehearsal 仍是生产前 release blocker（OpenSpec task 4.9）。

Up：目录 binding

private Group FK 同时约束 group/workspace/creator；256 的 Project FK 先只约束 project/workspace，creator projection 由 257 补严。部分唯一索引按 creator + group + daemon + path_key 判重；排序索引按 position、id 返回。

Up：Turn 目录 snapshot

agent_task_queue.work_group_directory_snapshot 是非空 JSON array，默认 []。它冻结 Server 当时选择的当前 Runtime 设备目录，客户端不可写。claim 时由 Server 根据 claimant capability、持久 Runtime capability 与 feature flag 校验、剥离或 requeue；daemon 负责声明能力并消费通过校验的 snapshot。

Down

目录表有任何 row，或任一 task snapshot 非空，就拒绝 destructive rollback。目录功能正常回滚是关闭 work_group_directories_v1 并保留 binding，不是删表或删用户本地文件。

先从已有 Project 目录 binding 中 SELECT DISTINCT workspace_id, creator_id, project_id，幂等补建缺失的 work_project_group_projection；再增加：

(workspace_id, creator_id, project_id)
  → work_project_group_projection(workspace_id, user_id, project_id)

因此 PIWG 目录从“属于这个 Workspace 的 Project”收紧为“属于当前 creator 的私人 PIWG projection”。projection 删除时目录 cascade。Down 只删 FK，不猜测和删除 up 阶段补建的 projection，可能留下无害空 row，但不会误删 Memory。

早期 255 trigger 曾可能在 expand schema 与旧 Server 共存时，因 ungroup/delete 直接清空仍然权威的 grouped Session Memory。已执行数据库不会自动重跑后来修订的 255，所以 258 用 CREATE OR REPLACE FUNCTION 把 exact evidence fence 安装到这些数据库。

258 是过渡兼容形态：placement evidence 可直接授权；历史/reconciliation merge 只要关联到已完成 epoch 即可。259 再把 merge kind 与 run kind 配对收紧。

Down 故意是 no-op：只输出 NOTICE，不恢复已知会丢数据的旧函数。安全修复一直保留到未来明确移除整个 255 模型。

1. 给旧 cutover 表补 run_kind，历史 completion 默认 initial。
2. CHECK 限制 initial/reconciliation。
3. 部分唯一索引保证最多一个 initial。
4. merge kind 允许 post-cutover reconciliation。
5. trigger 要求 historical ↔ initial、reconciliation merge ↔ reconciliation run 精确配对；placement 保持独立。

Down

已有 reconciliation completion/evidence 时拒绝 down。否则先恢复不引用 run_kind 的 258 安全函数，再删除 initial 唯一索引、把 merge kind 收窄、最后删除 run_kind。