Compare commits

...

6 Commits

Author SHA1 Message Date
suzmii c675c08f2e Merge branch 'master' into codex/game-agent-runtime-interaction-design
Project CI / Repository checks (pull_request) Successful in 1m12s
Project CI / Frontend tests (pull_request) Successful in 3m2s
Project CI / Backend tests (pull_request) Successful in 3m42s
Project CI / Native shell tests (pull_request) Successful in 13m49s
2026-08-17 22:10:18 +08:00
suzmii ec565b8d5d 重构 Game Agent Runtime 交互边界设计文档
Project CI / Backend tests (pull_request) Failing after 14s
Project CI / Repository checks (pull_request) Failing after 15s
Project CI / Frontend tests (pull_request) Successful in 2m41s
Project CI / Native shell tests (pull_request) Failing after 10m32s
将原交互边界长文档拆分为总览、Contract、迁移矩阵和证据附录
冻结 Snapshot、事件、Capability、Interaction、Conversation 和错误合同
明确 P0–P6 阶段边界、Writer Cutover 与分阶段证据门禁
更新文档索引和四份设计文档的权威阅读顺序
2026-08-17 21:55:31 +08:00
suzmii 17684223ab 完善 Agent Runtime 交互边界重构协议
Project CI / Frontend tests (pull_request) Successful in 2m38s
Project CI / Repository checks (pull_request) Failing after 13s
Project CI / Backend tests (pull_request) Failing after 13s
Project CI / Native shell tests (pull_request) Failing after 9m56s
冻结 Public Snapshot、五命令和 Runtime 事件的权威边界
统一 Public wire schema、字段限制和 Rust 到 TypeScript 生成合同
补齐请求幂等、Interaction、审批、取消、恢复和 retry lineage 状态机
明确 submit、same-run steer、Goal Contract 与 slash management 路由
引入 durable record envelope、owner fencing 和跨平台恢复门禁
完善 Session rotation、handoff target 与 continuation set 恢复合同
拆分 direct reply、Runtime final reply、status 和 public event 交付
新增 Public conversation message、分页、去重和历史完整性合同
调整分阶段实施计划、兼容策略和编码前证据验收门禁
2026-08-16 12:09:38 +08:00
suzmii bc959b2a85 Merge branch 'master' into codex/game-agent-runtime-interaction-design
Project CI / Repository checks (pull_request) Successful in 1m28s
Project CI / Frontend tests (pull_request) Successful in 3m4s
Project CI / Backend tests (pull_request) Successful in 4m6s
Project CI / Native shell tests (pull_request) Failing after 10m14s
2026-08-13 15:43:44 +08:00
suzmii 784facbdb3 根据Review意见完善Game Agent Runtime交互协议
Project CI / Frontend tests (pull_request) Successful in 2m43s
Project CI / Native shell tests (pull_request) Successful in 13m45s
Project CI / Backend tests (pull_request) Failing after 8s
Project CI / Repository checks (pull_request) Failing after 8s
补齐公开协议版本、事件身份、有序性、cursor与Snapshot revision规则

统一五个公开写命令的request ledger、请求指纹、幂等冲突、结果读回与崩溃恢复

补充Interaction identity、response去重、项目级PolicyApproval与锁内策略复核

拆分Public/Developer Snapshot,冻结公开字段白名单、稳定枚举与结构化错误

明确project/Runner/GUI owner、projection journal、恢复矩阵与自动调度门禁

调整分阶段实施边界、旧公开面检查范围并补充技术文档索引
2026-08-13 14:53:26 +08:00
suzmii c703b2ed2f 新增Game Agent Runtime交互边界重构计划
梳理Consumer与Supervisor Shell的现状边界
规划统一命令、状态投影、Runner自驱和分阶段迁移
明确旧公开接口的渐进下线与验收门禁
2026-08-13 14:11:01 +08:00
5 changed files with 2341 additions and 0 deletions
+10
View File
@@ -34,6 +34,16 @@
- [浏览器内 AI Web 工程沙箱预览](./technical/【技术方案】浏览器内AIWeb工程沙箱预览方案-2026-06-13.md) - [浏览器内 AI Web 工程沙箱预览](./technical/【技术方案】浏览器内AIWeb工程沙箱预览方案-2026-06-13.md)
- [AI Web 工程 Runner 安全模型](./technical/【安全模型】AIWeb工程Runner与预览隔离威胁模型-2026-06-13.md) - [AI Web 工程 Runner 安全模型](./technical/【安全模型】AIWeb工程Runner与预览隔离威胁模型-2026-06-13.md)
### AI 游戏创作 Runtime
1. [AI 游戏创作 Agent Runtime 交互边界重构总览与实施计划](./technical/【技术方案】AI游戏创作Agent%20Runtime交互边界重构实施计划-2026-08-12.md)
2. [AI 游戏创作 Agent Runtime 交互合同 V1(唯一规范性协议)](./technical/【技术协议】AI游戏创作Agent%20Runtime交互合同V1-2026-08-17.md)
3. [AI 游戏创作 Agent Runtime 交互边界迁移矩阵](./technical/【迁移方案】AI游戏创作Agent%20Runtime交互边界迁移矩阵-2026-08-17.md)
4. [AI 游戏创作 Agent Runtime 交互边界证据与决策附录](./technical/【设计依据】AI游戏创作Agent%20Runtime交互边界证据与决策附录-2026-08-17.md)
5. [AI 游戏创作 Agent Runtime V1.1](./technical/【技术方案】AI游戏创作Agent%20Runtime%20V1.1-2026-07-12.md)
上述四份交互边界文档按“总览 → Contract → 迁移矩阵 → 证据附录”阅读;字段、状态机和错误语义只以 Contract 中的 `IC-*` 为准。
### 后端与公开数据 ### 后端与公开数据
- [外部生成 Worker 化方案](./technical/【后端架构】外部生成Worker化方案-2026-06-03.md) - [外部生成 Worker 化方案](./technical/【后端架构】外部生成Worker化方案-2026-06-03.md)
@@ -0,0 +1,345 @@
# AI 游戏创作 Agent Runtime 交互边界重构
> 文档角色:总览与分阶段实施计划
> 状态:评审中;尚未允许进入 P1–P6 生产实现
> 更新日期:`2026-08-17`
## 0. 阅读入口与权威顺序
本文只解释重构目的、系统边界和 P0–P6 实施顺序,不定义协议字段与状态机。四份配套文档的职责和权威顺序如下:
1. 本文:第一次理解方案和实施阶段的入口。
2. [`【技术协议】AI游戏创作Agent Runtime交互合同V1-2026-08-17.md`](./【技术协议】AI游戏创作Agent%20Runtime交互合同V1-2026-08-17.md):唯一规范性协议;所有 `IC-*` 要求以它为准。
3. [`【迁移方案】AI游戏创作Agent Runtime交互边界迁移矩阵-2026-08-17.md`](./【迁移方案】AI游戏创作Agent%20Runtime交互边界迁移矩阵-2026-08-17.md):把 `IC-*` 映射到当前代码、入口、阶段和验收证据。
4. [`【设计依据】AI游戏创作Agent Runtime交互边界证据与决策附录-2026-08-17.md`](./【设计依据】AI游戏创作Agent%20Runtime交互边界证据与决策附录-2026-08-17.md):保存 `EV-*` 代码事实、`DR-*` 设计决策和 `EG-*` 证据门禁。
如四份文档发生冲突:
- 当前代码和仓库最新架构文档决定“系统现在是什么”;
- Interaction Contract 决定“本次重构必须实现什么”;
- 迁移矩阵和证据附录不得改变 Contract,只能暴露当前差距;
- 实现发现 Contract 不可行时,先修改 Contract 并重新评审,不得在 Consumer 或 Adapter 中自行发明兼容语义。
---
## 1. 为什么要重构
当前 GUI、CLI、`swarm_cli`、Tauri wrapper 和测试路径分别承担了一部分 Runtime 生命周期判断:
- 是否启动新 Run
- 是否 steer 当前 Run
- 是否直接回复;
- 如何处理用户输入、批准、拒绝、重试、恢复和取消;
- 如何合并 Runtime state、event、response stream 和 conversation
- 如何把 Runtime 输出再次保存为聊天消息。
这导致同一个用户操作可能因 Consumer 不同而走不同控制流,也使前端刷新、CLI 无头运行、Runner 恢复和测试夹具难以共享同一行为边界。
本重构解决的不是“代码散落”本身,而是控制权归属不清:
> Consumer 现在既展示状态,又在部分路径中决定下一步并写入 Runtime;重构后 Consumer 只展示后端状态并表达用户意图,Supervisor Shell 统一作出交互决策。
---
## 2. 目标边界
### 2.1 核心目标
1. GUI、CLI 和公开协议测试成为同一协议的平等 Consumer。
2. Consumer 只执行 `render(snapshot)``dispatch(command)`,不推进 Runtime 状态机。
3. Supervisor Shell 统一处理正式用户交互决策、命令校验、幂等受理和结果读回。
4. 现有 Runtime task、state、pending、provider、steer、finalization、conversation 和 event records 继续作为执行事实源。
5. External Runner 存在时,由持有现有 OS project execution-owner lock 的 Runner 执行正式写入。
6. Public 与 Developer read model 分离,正式用户协议不泄漏路径、Provider、工具参数、内部 action 或 recovery 细节。
7. 通过 Adapter 和明确 writer cutover 分阶段迁移,不制造第二套 Runtime authority 或第二份 conversation 正文。
### 2.2 不在本轮
- Runtime `main_loop`、task queue、Provider retry、delegation/all-join 或 Agent 执行状态机内部重构;
- LLM、Provider、提示词或工具体系调整;
- Runner 开机自启或无人值守常驻;
- 新增 live Session rotation、Session handoff、第二 active-session index 或 session control lease
- 新增全局 owner generation/lease CAS
- 重新设计资源上传、项目资源 lineage、Preview Registry 或 Session 管理面;
- 把管理命令、路径操作或 Developer 调试能力伪装成五个 Public Runtime 命令。
---
## 3. 新系统的一句话结构
```text
GUI / CLI / Tests
读取 Public Snapshot 与 Public Conversation
提交五个公开写命令
Supervisor Shell
校验身份、权限、版本、目标和幂等性
决定 direct reply / start / steer / reject / interaction required
通过 Adapter 调用现有 Runtime 能力
Existing Runtime
继续维护 task / state / action / provider / finalization / conversation / event 事实
```
四个角色的责任如下:
| 角色 | 负责 | 禁止 |
|---|---|---|
| Consumer | 显示 Snapshot、提交 command、读取 Conversation | 根据 phase/文案自行选择 start、steer、retry、resume;直接解释私有 Runtime records |
| Supervisor Shell | 统一交互判断、命令受理、幂等、能力投影和错误映射 | 复制 Runtime 生命周期真相;把投影完成当成执行成功 |
| Runtime | 实际执行、恢复、finalization 和事实持久化 | 依赖 GUI 轮询推进状态 |
| Runner | 持 owner lock 时执行正式 Shell 写入、wake 和恢复 | 失去 owner 后继续写;依赖诊断 JSON 或本地时间接管 |
---
## 4. 一次用户输入如何流动
1. Consumer 读取 `PublicSnapshot`
2. Snapshot 返回当前状态以及服务端生成的 command capability。
3. 用户提交消息时,Consumer 调用 `submit_intent`,不调用 start/steer primitive。
4. Shell 校验 schema、项目、Session、权限、requestId 和 capability target。
5. Shell 持久化可读回的 request acceptance record。
6. Shell 根据冻结 policy matrix 决定:
- DirectReply
- Start
- Steer
- Reject
- InteractionRequired。
7. 需要 Runtime 执行时,Shell 通过 Adapter 绑定现有 run/steer/action/finalization identity;不复制这些对象的生命周期。
8. Runtime 更新 durable facts。
9. Public projector 从 facts 重建 Snapshot`SnapshotChanged` 只提示 Consumer 重新读取 Snapshot。
10. 文本交付通过 Public Conversation Adapter 按 source 回读;Snapshot 和 conversation 都不能互相推导对方的权威结论。
### 4.1 五个 Public 写命令
| 命令 | 用户含义 | Shell 负责决定的内部动作 |
|---|---|---|
| `submit_intent` | 提交消息或受支持的内置命令 | direct reply / start / steer / reject / interaction required |
| `answer` | 回答 UserInput | 校验 interaction revision、答案约束和 durable target |
| `approve` | 批准、拒绝或带意见返工 | 校验 audience、policy、artifact binding 和 rework identity |
| `cancel` | 取消精确 Supervisor Run | 校验 Session、Run 和取消矩阵;不伪造终态 |
| `resume` | 继续、重试或受信任 reconcile | 明确区分 ContinueRun、RetryTerminalRun、ReconcileRun |
### 4.2 两个 read model
- Public Snapshot:普通 GUI、普通 CLI 和公开测试的唯一完整 Runtime 视图。
- Developer Snapshot:受信任开发入口的独立 DTO;扩大 read,不扩大正式 Supervisor 写权限。
### 4.3 Conversation 是独立展示通道
Public Conversation 不保存第二份正文,只建立 source-to-Public 索引并从原 source 回读。V1 区分:
- User
- DirectReply
- RuntimeFinalReply
- 满足准入条件的 RuntimeStatus
- 满足准入条件的 PublicEvent。
不能稳定定位、校验或归属的 source 默认隔离,不因 GUI 当前能展示就进入永久 Public history。
---
## 5. 关键不变量
1. **单一执行事实源**Runtime durable records 决定执行事实;Shell ledger 只记录 request 协调和 source binding。
2. **单一正式 writer**:同一真实副作用和同一 conversation source identity 在任一时刻只有一个正式 writer。
3. **服务端能力驱动**:没有 capability 就不能构造命令;有 capability 仍需 Shell 在锁内重读事实并复核。
4. **结果未知不重放**:无法证明真实副作用是否发生时进入 outcome-unknown/reconciliation,不换 requestId 重做。
5. **Session 不重归属**:历史 command、interaction 和 delivery 依赖已落盘 `agentId + sessionId + runId`,不依赖当前 active Session 猜测。
6. **事件不是状态**:事件只提示重新读取 Snapshot;事件丢失、重复或乱序不能改变最终状态。
7. **Conversation 不复制正文**Public index 不成为正文 authoritysource 不可回读时失败关闭。
8. **Public 与 Developer 隔离**Developer read capability 不能成为绕过同一 Shell write ingress 的通道。
完整规范见 Contract 中的 `IC-*` 要求。
---
## 6. 分阶段实施计划
### P0:行为基线与协议验证框架
**人话目标**:在改变系统前,建立可以重复观察当前行为、发现重构破坏的测试入口;不是决定协议,也不实现生产协议。
允许:
- 只读 fixture、golden trace、negative fixture
- crash-point harness
- 调用图和 writer inventory
- 对当前 identity、Session、owner、conversation 和 event 行为的代码/运行证据记录。
禁止:
- 新生产 handler
- Consumer fallback
- 改变 Runtime 生产行为;
- 用空 DTO、stub 或 ignored test 假装协议已实现。
完成条件:
- 迁移矩阵中的 P0 inventory 均有证据;
- 每条 `EG-*` 能区分“现状满足”“现状必须隔离”“待后续阶段实现”;
- 当前 master 行为基线可重复通过。
### P1:最小持久协议底座
**人话目标**:实现 Shell 以后需要的请求受理、结果读回和 source binding 基础,但不开放五个 Public 写命令。
实现:
- 统一 Contract/schema 单一来源;
- 以专用 append-only Shell ledger 为 authority 的 command acceptance/read-back、interaction/rework mapping 与 source-binding record
- 可从 ledger 重建的 projection journal/index
- RFC 8785 canonical fingerprint/checksum、连续 ledgerVersion、内容安全过滤和损坏隔离;
- 专用 `.agent/runtime/supervisor-shell/` record namespace(不混入 `agent.db` 或 Runtime journal);
- `TrustedProjectContext` resolver、execution-owner guard 内的 Shell lock 与调用来源基础设施。
P1 的实现边界:Public DTO 始终无路径,但 Shell 只能接收宿主已解析、已核验 manifest 的 trusted project context;现有 `.agent/project.lock` 具有 PID/时间回收语义,不能作为 Shell protocol lock。`.agent/runtime/supervisor-shell/ledger.jsonl` 是唯一追加顺序 authoritysidecar/index 只是可重建缓存。P1 交付的是持久协调底座和 read-back,不把当前 Runner 内存 request cache 当作幂等证据,也不开放 Public 写入口。
不实现:
- 新 Public 写入口;
- Consumer 迁移;
- 第二份 task/finalization/provider/steer 生命周期。
### P2Public / Developer Snapshot 与事件流
**人话目标**:先让 Consumer 能通过一个稳定接口看懂系统,而不改变旧写行为。
实现:
- Public Snapshot
- Developer Snapshot
- Snapshot revision/hash
- Public/Developer 隔离的 `(projectId, view)` Snapshot 订阅、`SnapshotChanged` 有界事件和重连;
- read-only/shadow projection
- User/Developer interaction view 的只读物化;
- 带 source identity/revision/digest witness 与正常缺失/损坏矩阵的有界 projection observation:能确定 project/view scope 而观察无法闭合时,发布无 capability、无未证实 Runtime 事实的 fail-closed invalid/reconciliation Snapshot;完全不能确定安全 outcome 时返回 read error,而不挑一份跨文件旧读结果继续。
- 为每项协作执行持久化 opaque `collaborationId` binding;同组多 child、retry successor 与 manifest fallback replacement 不依赖动态 child identity;无 parent run 的静态 fallback 绑定 project/session/manifest digest/group,不能承载可操作 interaction。
旧 GUI/CLI 仍保留写路径;shadow 只能比较投影,不能执行真实副作用。P2 不能把当前跨 `runtime.json`、JSONL、stream 和 sidecar 的聚合读取结果直接序列化为 Public Snapshot。
### P3:五命令与统一 Interaction Loop
**人话目标**:让后端具备完整、真实可用的统一写协议,并将新旧正式入口收进同一 Shell ingress。
实现:
- 五个 Public 命令及 strict schema
- requestId 幂等、业务拒绝读回、unknown outcome
- submit intent policy matrix
- answer/approve/cancel/resume 状态机;
- Public Conversation read adapter
- legacy ingress 的单 writer 收口。
P3 不提前迁移 GUI/CLI 的读模型和界面体验,但必须先收口真实 writer:任何仍能操作同一 Supervisor Run 的旧 Tauri/CLI/`swarm_cli` wrapper 都要转发同一 Shell handler(或在新协议启用时明确禁用),不得先在 Consumer 进程写 Runtime 再通知 Runner。P5 只迁移 Consumer 的读与交互体验。
### P4Runner 自驱与安全恢复
**人话目标**:已受理操作不依赖 GUI 轮询推进;Runner 在现有 owner/lifecycle 门禁内完成 wake、恢复和 reconciliation。
实现:
- 已接受 operation 的 durable wake/discovery
- dirty projection 修复;
- Runner 重启后的安全恢复与跨重启 project discovery registry
- drain、owner 冲突和 GUI-owner/CLI 启动路径的区分;
- outcome-unknown 零自动真实副作用重放;
- watchdog 强退视为 crash 边界,而非已完成的 drain。
本阶段不新增 headless lease,也不承诺无人值守常驻。
### P5:迁移 CLI、Tests、GUI
**人话目标**:只切换 Consumer,不新增协议语义。
顺序:
1. 普通 Supervisor CLI
2. 面向 Public Contract 的测试;
3. GUI
4. Developer UI/CLI 的独立 read 边界。
迁移后:
- Consumer 只读 Snapshot/Conversation,只提交五命令;
- GUI 不再解释 Runtime phase、合成启动决策或 autosave Runtime output
- CLI 不再直接调用 start/steer/resume primitive
- 内部 Runtime 单测和恢复测试仍可直接测试内部能力。
P5 前产品决策 `FD-001``--swarm-chat` 必须明确选择为只读 Public view 的普通 Supervisor CLI,或显式受信任的 Developer CLI;无论选择哪种,其正式写操作均不得绕过 Shell。
### P6:删除旧公开面并最终收口
**人话目标**:删除已经没有正式 Consumer 的旧公开控制协议,同时保留 Runtime 内部能力和必要回归测试。
删除:
- 正式 transport 的旧 start/steer/confirm/reject/answer/cancel/retry/resume/schedule/read 注册;
- Consumer 旧调用点和生命周期分支;
- GUI Runtime output 派生 autosave
- migration fallback
- Public scope 内缺少稳定 messageId 的 conversation append。
保留:
- Runtime 内部 start/steer/resume/recovery primitive
- 验证内部能力的单元和恢复测试;
- 独立管理面 goal/compact/session/config
- 明确隔离的 Developer/local history。
---
## 7. 里程碑
| 里程碑 | 对应阶段 | 产出 | 允许进入下一阶段的条件 |
|---|---|---|---|
| M0 | P0 | 基线、调用图、证据门禁 | 现状与隔离边界可证明 |
| M1 | P1 | 最小持久底座 | 原子性、损坏、幂等基础测试通过 |
| M2 | P2 | 双 Snapshot 与事件 | source 缺失/损坏、fail-closed 发布、协作 lineage、订阅重连/缺口、权限和字段隔离通过 |
| M3 | P3 | 五命令、Interaction、Conversation read | crash/read-back、单 writer、跨 transport fixture 通过 |
| M4 | P4 | Runner wake/recovery | owner、drain、重启、unknown outcome 通过 |
| M5 | P5 | CLI/Tests/GUI 迁移 | 三类 Consumer 行为等价且无私有字段依赖 |
| M6 | P6 | 旧公开面删除 | 静态调用图和最终协议验收通过 |
阶段完成条件必须引用 Contract `IC-*`、迁移矩阵 `MX-*` 和证据门禁 `EG-*`;本文不重复字段级验收。
---
## 8. 冻结与开发准入
当前允许:
- 继续评审和收束四份文档;
- 编写不改变生产行为的 P0 基线与 fixture 骨架;
- 解决 `FD-001` 产品决策。
当前不允许:
- 开始 P1P6 生产实现;
- 因实现方便而修改 Contract 语义;
- 根据旧评论恢复 owner generation、Session rotation、handoff 或 Consumer fallback
- 把 P0 证据任务解释为“以后再决定协议规则”。
允许进入 P1 的前提:
1. P0/M0 已完成:当前 master 行为基线可重复通过,正式 ingress/read/writer inventory 已形成,且每条后续 `EG-*` 已标记现状、隔离边界和责任阶段;
2. Contract 中没有未标注的候选字段、重复定义或互相冲突的 `IC-*`
3. 迁移矩阵覆盖所有正式 ingress、read、conversation writer 和删除面;
4. 附录中的冻结前 `EG-*` 有明确预期结果;
5. P1 的 trusted project resolver、owner-guard Shell lock、RFC 8785 canonicalization、专用 Shell record namespace 已明确为单一实现边界;
6. `FD-001` 可在 P5 开始前决定,不阻塞 Contract 核心冻结或 P0P4
7. PR #168 完成针对四份文档职责和 Contract 可施工性的重新评审。
---
## 9. 最小心智模型
```text
Consumer 只表达意图、读取状态;
Shell 统一交互决策和正式写入口;
Runtime 继续保存和推进执行事实;
Runner 只在持有现有 owner 时写;
Snapshot 是状态视图,事件是刷新提示;
Conversation 从原 source 回读,不复制正文;
不知道副作用结果时停止并 reconciliation,不重复执行。
```
@@ -0,0 +1,432 @@
# AI 游戏创作 Agent Runtime 交互边界证据与决策附录
> 文档角色:代码事实、设计决策、反例与证据门禁
> 状态:持续维护;不能覆盖 Interaction Contract
> 规范来源:[`【技术协议】AI游戏创作Agent Runtime交互合同V1-2026-08-17.md`](./【技术协议】AI游戏创作Agent%20Runtime交互合同V1-2026-08-17.md)
> 迁移入口:[`【迁移方案】AI游戏创作Agent Runtime交互边界迁移矩阵-2026-08-17.md`](./【迁移方案】AI游戏创作Agent%20Runtime交互边界迁移矩阵-2026-08-17.md)
## 0. 使用边界
本附录只保存三类内容:
- `EV-*`:当前代码已经能直接证明的事实;
- `DR-*`:明确采用或拒绝的设计决策及其理由;
- `EG-*`:证明实现满足 `IC-*` 的测试/调用图门禁。
代码变化可能使 `EV-*` 过期;此时必须更新 evidence 和迁移矩阵。不得为了适应过期代码事实而静默放宽 Contract。
---
## 1. 当前代码事实
### 1.1 Session 与 conversation
#### EV-SESSION-001Session catalog 按 Agent 持久化
- 代码:`apps/ai-game-creator-shell/src-tauri/src/project/conversation.rs`
- 关键对象/函数:Agent Session catalog、`read_game_creator_agent_session_catalog_at` 一类 catalog 读写函数。
- 事实:catalog 保存 `schemaVersion + agentId + activeSessionId + sessions`;不是项目级全 Agent catalog。
- 事实:当前没有独立 `sessionRevision`;不能把候选 digest 写回或解释为第二 revision。
- 约束:支持 `IC-ID-002``IC-ID-003`;对应 `MX-ID-002``MX-ID-003`
#### EV-SESSION-002Live task 阻止 Session mutation
- 代码:`apps/ai-game-creator-shell/src-tauri/src/project/conversation.rs`
- 关键函数:`ensure_agent_session_has_no_live_tasks`、create/fork/set-active/archive Session 路径。
- 事实:Agent 有未终结 Runtime task 时,create/fork/archive/set-active 会被拒绝。
- 约束:V1 不能用新协议绕过该语义,也不能默认具备 live handoff。
#### EV-CONV-001Conversation 支持有 identity 和无 identity append
- 代码:`apps/ai-game-creator-shell/src-tauri/src/commands.rs`
- 关键函数:Tauri command `append_local_conversation_message`
- 事实:`messageId: Option<String>`;有值走 idempotent append,无值走普通 append。
- 风险:Public cutover 后无 identity append 会破坏去重、source mapping 和完整性证明。
- 约束:支持 `IC-CONV-010`;对应 `MX-CONV-012``MX-CONV-014`
#### EV-CONV-002Conversation 正文已有持久 source
- 代码:`apps/ai-game-creator-shell/src-tauri/src/project/conversation.rs`
- 关键函数:`append_local_conversation_message_for_session_at``append_local_conversation_message_for_session_idempotent_at`、带 finalization 的幂等 append。
- 事实:已有 project conversation 与 Agent Session conversationPublic adapter 无需复制正文。
- 约束:支持 `IC-CONV-002`
### 1.2 Project owner、Runner 与 CLI
#### EV-OWNER-001OS lock 是当前 project execution owner
- 代码:`apps/ai-game-creator-shell/src-tauri/src/runner/project_owner.rs`
- 事实:`.agent/runtime/execution-owner.lock` 通过平台 OS 文件锁实现排他;Windows/Unix 分别有安全打开与文件类型校验。
- 约束:支持 `IC-OWNER-001`;拒绝新增平行 owner authority。
#### EV-OWNER-002Owner JSON 和 bootId 是诊断信息
- 代码:`apps/ai-game-creator-shell/src-tauri/src/runner/project_owner.rs``runner/state.rs``runner/protocol.rs`
- 事实:诊断 record 描述 owner/boot,但真正写入排他来自 lock handle。
- 风险:按 JSON、mtime、本地时钟或 bootId generation 接管会形成第二 authority。
#### EV-OWNER-003:现有 project 写锁不是 execution owner
- 代码:`apps/ai-game-creator-shell/src-tauri/src/project/filesystem.rs`
- 事实:`.agent/project.lock` 用 create-new 文件和 PID/时间/mtime stale reclaim;它服务现役项目写操作,不由 Runner execution owner guard 定义。
- 约束:不能把它直接解释为 `IC-OWNER-002` 的 supervisor project lockShell 必须在真实 owner 下另行串行。
#### EV-OWNER-004:进程内 Runtime 当前只持局部锁
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_driver/recovery_scan.rs``runner/state.rs`
- 事实:production execution owner 的获取在 Runner state;未启用 Runner 的恢复主要依赖 Agent task/run lock。
- 约束:P1/P3 进程内 Shell 必须在任何 record/projection/Runtime 写之前补同一 OS owner-lock 获取,不能把局部锁当等价 owner。
#### EV-RUNNER-001Runner 已有内部 Runtime RPC
- 代码:`apps/ai-game-creator-shell/src-tauri/src/runner/dispatch.rs`
- 当前方法包括:`runtime.resume``runtime.continue_action``runtime.steer``runtime.interrupt_for_steer_decision``runtime.pause``runtime.cancel``runtime.compact``runtime.wake_pending`
- 事实:这些是现有 Runner 内部控制能力,不能因新 Shell 再作为平行 Public 协议保留。
- 约束:支持 `IC-CMD-001``IC-CMD-010`;对应 `MX-ING-006`
#### EV-CLI-001CLI 可无 GUI 启动/连接受限 Runner
- 代码:`apps/ai-game-creator-shell/src-tauri/src/cli.rs` 与 Runner client/server 路径。
- 事实:Runtime 写入要求显式项目外 `--config-dir` 并可启动 External Runner;普通 CLI Runner 路径不要求 GUI-owner。
- 约束:V1 保留该终端会话能力,不新增 headless lease,也不承诺无人值守常驻。
#### EV-CLI-002CLI/`swarm_cli` 当前仍直接调用内部能力
- 代码:`apps/ai-game-creator-shell/src-tauri/src/cli.rs``src-tauri/src/swarm_cli/turn_dispatch.rs`
- 事实:`AgentSteer` 路径调用 `steer_game_creator_agent_runtime_task_at``swarm_cli` 可 dispatch Runtime turn 并直接 append user/assistant conversation。
- 约束:支持 `MX-ING-004``MX-ING-005``MX-CONV-002`
#### EV-RUNNER-002request 去重与已知项目均是进程内状态
- 代码:`apps/ai-game-creator-shell/src-tauri/src/runner/state.rs``runner/protocol.rs``runner/dispatch.rs`
- 事实:`write_request_cache``known_roots` 都在 Runner 内存;重启后 cache 无法提供 request result read-backRunner 也不能仅凭自身发现此前项目。
- 约束:P1 durable command record 不能复用该 cache;P4 的自驱恢复必须增加受信任的跨重启候选项目发现,且每个候选仍重取 owner、重读 durable evidence。
### 1.3 Runtime final reply 与 response stream
#### EV-FINAL-001messageId 与 finalizationId 不是同一 identity
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_protocol/finalization.rs`
- 事实:final reply `messageId` 由 Agent/Session/Run 派生;`finalizationId` 还绑定 response fingerprint、revision、request slot、steer cursor、plan 和 Goal fingerprint。
- 约束:支持 `IC-CONV-005`Public 去重 key 不能反推 finalization。
#### EV-FINAL-002Response stream 有独立 tuple
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_protocol/response_stream.rs`
- 事实:stream 使用 taskId/sessionId/runId/requestSlot/responseRevision/appliedSteerCursor`streaming → ready → committed` 会合法改变 status/sequence。
- 约束:status/sequence 不能被放入“不可变 source identity digest”。
#### EV-FINAL-003Response stream 不能独自证明 committed
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_actions/response_stream.rs`
- 事实:部分 streaming sidecar 写错误被忽略;publisher 可在 char 上限处截断;dirty 状态不能替代写后回读。
- 约束:支持 `IC-IDEMP-004``IC-CONV-005`;必须交叉验证 finalization 和 conversation lifecycle。
#### EV-FINAL-004:成功后 recovery sidecar 会删除
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_state.rs``runtime_protocol/finalization.rs`
- 事实:成功路径完成 conversation assistant、Runtime completed、response committed 后会清理 finalization/provider/tool-plan handoff recovery sidecar。
- 约束:历史正文必须从 conversation messageId 回读,不能假定 sidecar 永久存在。
#### EV-PROJECTION-001:现有 Runtime 聚合读取不是原子观察点
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_driver/entrypoints.rs``agent/runtime_state.rs`
- 事实:读取会依次组合 runtime state、task/event JSONL、response stream 和 sidecar;写入跨文件,state rename 与 journal append 各有独立锁/时刻。
- 约束:P2 不能直接把该聚合结果包装为 Public Snapshot;必须建立带 identity/revision/digest witness 的 observation,无法闭合即 fail closed。
### 1.4 RuntimeStatus
#### EV-STATUS-001:根 Supervisor status 落在 project conversation
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_state.rs`
- 关键函数:`append_game_creator_agent_runtime_public_status_message_at`
- 事实:messageId 由 agentId/sessionId/runId/status correlation 派生,但 append 时 `agent_id=None``session_id=None`
- 约束:进入 `(projectId, sessionId)` Public history 前必须显式保存 correlation mapping,不能从文件 scope 猜 Session。
#### EV-STATUS-002:专业 Agent terminal status 落在其 Session conversation
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_state.rs`
- 关键函数:`append_game_creator_agent_runtime_terminal_public_message_at`
- 事实:非根 Supervisor 的 terminal status 使用其 `agentId/sessionId` 幂等 append。
- 约束:历史消息保持原 agent/session/run,不重归属到 Supervisor 当前 Session。
#### EV-STATUS-003:部分 Supervisor continuation 不写 Session status
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_state.rs`
- 事实:有 parent agent/run 的 Supervisor receipt 或 isolated-join continuation 为避免重复 formal project chatterminal path直接返回,不写第二 Session message。
- 约束:这类 status 默认不进入 Public Conversation;不能假设每个 Run 有同构 status source。
#### EV-STATUS-004Accepted start status 只覆盖特定根 Supervisor
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_driver/task_start.rs`
- 事实:`requires_public_start_status` 只对无 parent 的根 Project Supervisor 且非 receipt/join source 生效。
- 约束:P0 必须按类型而非泛化 “RuntimeStatus” 建 fixture。
### 1.5 Runtime event
#### EV-EVENT-001:普通 eventId 不可恢复
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_state.rs`
- 关键函数:`new_game_creator_agent_runtime_event_id`
- 事实:无 actionId 时使用 `pid + unixMillis + process-local sequence + eventType`;重启/重试没有稳定规范 key。
- 约束:支持 `IC-CONV-007` 默认拒绝。
#### EV-EVENT-002:带 actionId 的 event 只覆盖部分路径
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_state.rs`
- 关键函数:`append_game_creator_agent_runtime_event_with_action`
- 事实:有 actionId 时可按 run/eventType/phase/actionId 形成较稳定 identity 和重复检查;普通 append 仍生成新 eventId。
- 约束:即使 action event 较稳定,也必须同时满足 reader、digest、scope 和重放条件才能显式登记 Public。
#### EV-EVENT-003:现有 reader 吞坏行并截断最近 20 条
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_state.rs``src-tauri/src/main.rs`
- 关键函数/常量:`read_recent_game_creator_agent_runtime_events_for_session``AGENT_RUNTIME_RECENT_EVENT_LIMIT = 20`
- 事实:JSON 解析失败直接跳过;成功记录只返回最后 20 条。
- 约束:该 reader 只能支持当前 GUI recent display,不能作为 `IC-CONV-007` 的 Public source reader。
#### EV-EVENT-004Event record 自带公开正文
- 代码:`apps/ai-game-creator-shell/src-tauri/src/agent/runtime_state.rs`
- 事实:allowlist event 写入 `publicText`;正文不一定存在于 conversation message。
- 约束:若未来接入,PublicEvent 是 source-record projection 例外,不能复制成普通 assistant conversation。
### 1.6 GUI writer 与跨 scope 落盘
#### EV-GUI-001GUI 为 Runtime event 生成第二 identity
- 代码:`apps/ai-game-creator-shell/src/features/project-workspace/SupervisorChatOnlyView.tsx`
- 事实:GUI 以 `game-chat-runtime-event:${eventId}` 构造聊天 message,并同时聚合 Supervisor 和直接 child events。
- 约束:该 identity 不能进入规范 Public history。
#### EV-GUI-002GUI 为 final reply 生成派生 identity
- 代码:`apps/ai-game-creator-shell/src/features/project-workspace/SupervisorChatOnlyView.tsx`
- 事实:GUI 使用 `game-chat-final-reply:*` 构造 final 聊天 message。
- 约束:应归一到现有 finalization conversation `messageId`
#### EV-GUI-003:派生消息会 autosave 到 project conversation
- 代码:`apps/ai-game-creator-shell/src/App.tsx`
- 事实:全局 messages autosave 可用 `agentId=null` 调用 `append_local_conversation_message`child event 的 source Session 与实际 project transcript scope 不同。
- 约束:支持 `MX-CONV-010``MX-CONV-011`;历史跨 scope 项默认隔离。
#### EV-GUI-004:普通 Agent chat 直接 append
- 代码:`apps/ai-game-creator-shell/src/App.tsx``features/app-shell/useDeveloperAgentPanel.ts`
- 事实:普通 Agent user/assistant、错误回复和 Developer panel user message 存在直接 append 调用。
- 约束:writer cutover 必须覆盖全部调用方,而不是只覆盖 Runtime output 双写。
---
## 2. 设计决策
### DR-001:采用统一 Supervisor Shell
- 决定:正式 Consumer 只读状态、表达意图;Shell 统一交互决策。
- 原因:GUI/CLI/测试当前存在重复且不一致的生命周期判断。
- Contract`IC-ARC-001``IC-ARC-004`
### DR-002:拒绝平行 Runtime authority
- 拒绝:让 request ledger、projection ledger 或 Public Snapshot 自己决定 task/finalization/provider 成功。
- 原因:现有 Runtime facts 跨多个 record,当前没有可复用的全局事务;平行状态会漂移。
- Contract`IC-ARC-004``IC-IDEMP-003``IC-READ-004`
### DR-003:拒绝 Session rotation 与 handoff
- 拒绝:ActiveSessionIndex、live Session rotation、handoff manifest、continuation set、rotation fence、session control lease。
- 原因:现有 catalog 明确禁止 live task 时切换;新增能力需要跨 task/conversation/finalization/interaction 的迁移和 rollback authority,超出本轮交互边界重构。
- Contract`IC-ID-002``IC-ID-003`
### DR-004:拒绝全局 owner generation/lease
- 拒绝:用 boot generation、诊断 JSON、lease expiry 或本地时间替代 OS lock。
- 原因:会建立第二 owner authority,并在 pause/时钟漂移/文件残留时产生双 writer。
- Contract`IC-OWNER-001`
### DR-005:采用 Snapshot + 有范围的事件提示
- 决定:Snapshot 是完整 Public readevent 只提示重新读取。Public 与 Developer 事件流按 `(projectId, view)` 隔离,订阅原子取得完整初始 Snapshot。
- 原因:Consumer 本地合并不能可靠处理缺口、重连和跨 source 更新;全局或按路径过滤的 event 会泄露/混淆多项目状态。
- Contract`IC-READ-001``IC-READ-004``IC-EVT-001``IC-EVT-003`
### DR-005Afail-closed 也是可发布状态
- 决定:source observation 无法闭合但仍能确定 project/view scope 时,发布无 capability、无未证实 Runtime 事实的 `failClosed` Snapshot;完全不能确定安全 outcome 时返回 read error。
- 原因:若 invalid 状态不推进 revision/hash/eventConsumer 会永久保留一份已失效的 valid Snapshot;保留旧 capability 会绕过失败关闭。
- Contract`IC-READ-001``IC-READ-004``IC-CAP-002`
### DR-005B:协作实体有独立持久 identity
- 决定:Public collaborator 使用 durable `collaborationId` binding,不从 group 或动态 child Agent identity 临时拼接;retry/successor 延续该 IDmanifest fallback 被 Runtime binding 替换。
- 原因:同组多 child、重试与 isolated 执行都不能由单一 group/agentId 稳定代表,且 Public 不得泄露真实 child identity。
- Contract`IC-ID-003``IC-READ-001``IC-INT-002`
### DR-006:采用五命令,不公开内部 primitive
- 决定:`submit_intent/answer/approve/cancel/resume` 是唯一 Public 写集合。
- 原因:Consumer 表达用户意图,不选择 Runtime primitive。
- Contract`IC-CMD-001``IC-CMD-010`
### DR-007Conversation 不复制正文
- 决定:Public 只建无正文 source index,从既有 conversation/event source 回读。
- 原因:复制会建立第二正文 authority,并放大 GUI/CLI 双写。
- Contract`IC-CONV-002`
### DR-008PublicEvent 默认拒绝
- 决定:普通现有 event 不进入永久 Public history;只有显式登记且满足全部 identity/reader/digest/scope 条件的类型才可接入。
- 原因:现有普通 eventId 不可恢复,reader 截断且吞坏行,GUI 还会再造 identity。
- Contract`IC-CONV-007`
### DR-009RuntimeStatus 按具体 source 准入
- 决定:不把 RuntimeStatus 泛化为所有 Run 的同构 conversation source。
- 原因:根 Supervisor、专业 Agent 和 receipt/join 的实际落盘行为不同。
- Contract`IC-CONV-006`
### DR-010:结果未知时停止而非重放
- 决定:Provider/工具/Runtime 副作用可能发生但不可证明时进入 outcome-unknown/reconciliation。
- 原因:换 requestId 或 fallback 会产生重复真实副作用。
- Contract`IC-IDEMP-004``IC-MIG-002`
### DR-011:保留 CLI 无 GUI 的受限 Runner 能力
- 决定:不以 GUI-owner 门禁删除现有 CLI 会话期间启动/连接 Runner 的能力。
- 原因:普通 CLI 是协议平等 Consumerheadless 能力是前端逻辑是否泄漏的重要验收。
- Contract`IC-OWNER-001`
### DR-012`--swarm-chat` 产品定位仍需显式决定
- 决策 ID`FD-001`
- 可选:普通 Public Supervisor CLI;或显式受信任 Developer CLI。
- 不可选:无 capability 时静默读取私有字段;Developer write 绕过 Shell。
- Contract 不变量:`IC-MIG-004`
---
## 3. 冻结前证据门禁
同一个 `EG-*` 跨多个阶段时,状态按 `EG-ID@P阶段` 独立记录:某阶段 PR 只需关闭属于该阶段的子门禁,后续阶段的未实现证据不阻塞前一阶段完成;最终门禁只有在全部子门禁关闭后才整体完成。后续实现若推翻已关闭证据,必须重新打开对应子门禁。下文“阶段”按顺序对应各阶段必须提供的证据,不得以一个阶段的局部通过冒充整项关闭。
### EG-BASE-001:当前行为基线
- 对应:全部 P0。
- 要求:确定性 Provider/进程内 Runtime 记录 submit、等待、批准、取消、恢复、终态与副作用计数;归一化随机 ID/时间。
- 失败处理:阻塞迁移比较,不改变 Contract。
### EG-SCHEMA-001Strict wire fixture
- 对应:`IC-WIRE-001``IC-WIRE-002`
- 要求:`@P0` 定义全部 DTO 的 schema/golden/negative 向量和预期结果;`@P1` 实现 Rust→TypeScript 生成/校验,覆盖未知/重复/错误字段、tagged union、大小、Unicode scalar/UTF-8 byte、Public 零路径/私有字段。
- 阶段:P0(规范向量)/P1(实现与通过);`@P1` 阻塞 P2/P3。
### EG-ID-001:身份与 Session
- 对应:`IC-ID-001005`
- 要求:projectId/path mismatchopaque catalog digestlive-task create/fork/archive/set-active 拒绝;Supervisor 与 collaborator 交叉 Session mutation;历史 delivery 不重归属。
- 阶段:P0/P2/P3。
### EG-OWNER-001Owner 与执行位置
- 对应:`IC-OWNER-001002``IC-CMD-010`
- 要求:External Runner 下所有正式 writer 实际在 owner Runner;进程内测试持等价 owner;双 Runner、drain、失锁、GUI-owner 丢失、CLI 启动回归。
- 阶段:P0/P3/P4/P5。
### EG-STORE-001Shell durable 底座
- 对应:`IC-ID-001``IC-OWNER-001002``IC-DUR-001003``IC-IDEMP-001005`
- 要求:trusted project resolver 的缺失/manifest mismatch;进程内与 Runner 对同一 project owner 互斥;`.agent/project.lock` stale reclaim 不参与 Shell 互斥;RFC 8785 向量;专用 Shell ledger 的连续 ledgerVersion、tail repair/中间损坏隔离、atomic write、回读、checksum、派生 index 重建与 Runner crash 后 read-back。
- 阶段:P1;阻塞 P2/P3。
### EG-PROJECTION-001Projection observation
- 对应:`IC-READ-001004``IC-EVT-001003``IC-CAP-001003`
- 要求:读 manifest/catalog/state/task/event/stream/Shell binding/projection journal 期间并发变化;source witness 变化的有界 retry;验证 normal/required absence、损坏和 conflict;验证 failClosed 完整固定向量及 manifest identity 不可证明时 read error;逐类 capability issuance/撤销;首次 revision1/sequence0。
- 阶段:P2;阻塞 P2 完成与 P3 capability 依赖。
### EG-CMD-001Request 幂等与崩溃读回
- 对应:`IC-IDEMP-001005``IC-CMD-001010`
- 要求:同 request 同/异 fingerprint、并发重复、业务拒绝重放、prepared/executing/succeeded 各 crash point、Runner 强杀、unknown outcome 零重复副作用。
- 阶段:P1/P3/P4。
### EG-INT-001Interaction 状态机
- 对应:`IC-INT-001007`
- 要求:identity/revision/response replayPublic interaction capability 与 allowedActions 精确一致;User/Developer audiencequestion/option/freeformtarget setartifact digestrequestChanges 唯一 reworkResolving crash recoverycollaboration binding 的 restart 重建、retry successor/parent lineage/source/group 漂移旧 interaction stale、manifestFallback 不可操作。
- 阶段:P2/P3。
### EG-READ-001Snapshot 与事件
- 对应:`IC-READ-001004``IC-EVT-001003``IC-CAP-001003`
- 要求:Public/Developer `(projectId, view)` 路由隔离、原子 initial Snapshot、snapshot-first/no-backlog、duplicate/out-of-order/gap/reconnectPublic failClosed 固定向量、Developer source failure 统一 read errorrevision/hash/排序/size canonical vectorsPublic/Developer 超限均返回固定 read error 且无 partial DTO;全部 capability 正反签发与 cancel run revision/builtin Session/retry policy guardsbootstrap collaborators 为空、parentRun multi-child、retry lineage、fallback replacement、stale cancel 复核。
- 阶段:P2。
### EG-CONV-001Final reply source
- 对应:`IC-CONV-005`
- 要求:messageId/finalizationId/stream tuple 唯一性;streaming→ready→committedpublisher 写失败/截断;sidecar 清理后 conversation 回读;Provider 调用计数。
- 阶段:P0/P3/P4。
### EG-CONV-002Status source
- 对应:`IC-CONV-006`
- 要求:根 Supervisor start/terminal、专业 Agent terminal、receipt/isolated join 无 source 三类分别验证;project status correlation 缺失/冲突失败关闭。
- 阶段:P0/P3。
### EG-CONV-003Event 默认隔离与准入
- 对应:`IC-CONV-007`
- 要求:枚举规范 action identity 与普通 pid/time identity call site;普通 event 未进入 Public chain;如接入某类型,必须通过 eventId 定位、坏行/截断报告、digest、scope 和重放 fixture。
- 阶段:P0/P1/P3;不通过只阻塞该 event type 接入,不阻塞默认隔离方案。
### EG-CONV-004Writer cutover
- 对应:`IC-CONV-010`
- 要求:全部 `append_local_conversation_message` 调用方三选一;GUI final/event autosave 停止;同 source 单 writerPublic scope 无缺少 messageId append。
- 阶段:P0/P3/P5/P6。
### EG-CONV-005Cursor 与历史完整性
- 对应:`IC-CONV-008``IC-CONV-009`
- 要求:origin/tail、分页、永久 sequence 空洞、duplicate、非法 cursor、index/source/digest/correlation 损坏、无 partial page、session-lifetime cursor。
- 阶段:P3/P5/P6。
### EG-MIG-001:跨 Consumer golden replay
- 对应:`IC-ARC-001``IC-MIG-001004`
- 要求:GUI、普通 CLI、进程内测试和 Runner transport 对同一输入产生等价 request/result/Snapshot/conversation 语义和副作用计数。
- 阶段:P3/P5/P6。
### EG-INGRESS-001P3 正式写入口与 writer cutover
- 对应:`IC-CMD-010``IC-CONV-010``IC-MIG-005`
- 要求:legacy Tauri/CLI/`swarm_cli`/helper 的正式写入口全部转发同一 Shell handler 或禁用;Public Conversation adapter 启用前所有 writer 已接管、隔离或停止;cutover watermark 后零旧正式 writer、零派生双写。
- 阶段:P3;阻塞 P3 完成与 P5 Consumer 迁移。
### EG-RUNNER-001P4 跨重启发现与安全恢复
- 对应:`IC-OWNER-001002``IC-IDEMP-004``IC-MIG-006`
- 要求:trusted discovery registry 的注册/删除/损坏/权限 fixtureRunner 重启后重新解析 manifest、重取 owner、按 durable evidence wake/reconcile/no-op;未知真实副作用零自动重放。
- 阶段:P4;阻塞 P4 完成。
### EG-DEL-001:旧公开面删除
- 对应:`IC-MIG-003`
- 要求:正式 invoke handler、transport、Consumer、Public DTO 不再引用旧协议;内部 primitive 与回归测试仍存在;Preview/resource/session 管理面未误删。
- 阶段:P6。
---
## 4. 证据更新规则
1. `EV-*` 只能由代码读取、定向测试或运行证据支持;README/旧设计声明不能单独成为事实。
2. 代码与 `EV-*` 冲突时先更新 evidence 和迁移矩阵;若冲突使 `IC-*` 不可实现,再提交 Contract 变更评审。
3. `EG-*` 失败的默认处理是隔离、阻塞阶段或进入 reconciliation,不是增加 Consumer fallback。
4. 每个 P0–P6 PR 必须列出所实现的 `IC-*`、受影响 `MX-*` 和关闭的 `EG-ID@P阶段`;不得把跨阶段门禁标记为提前整体完成。
5. 本附录不保存密钥、Token、绝对本地私密路径、Provider 原文、会话记录或构建产物。
@@ -0,0 +1,161 @@
# AI 游戏创作 Agent Runtime 交互边界迁移矩阵
> 文档角色:把 Interaction Contract 映射到当前代码、阶段和验收证据
> 状态:P0 inventory;矩阵不得修改 `IC-*` 语义
> 总览入口:[`【技术方案】AI游戏创作Agent Runtime交互边界重构实施计划-2026-08-12.md`](./【技术方案】AI游戏创作Agent%20Runtime交互边界重构实施计划-2026-08-12.md)
> 规范来源:[`【技术协议】AI游戏创作Agent Runtime交互合同V1-2026-08-17.md`](./【技术协议】AI游戏创作Agent%20Runtime交互合同V1-2026-08-17.md)
> 证据来源:[`【设计依据】AI游戏创作Agent Runtime交互边界证据与决策附录-2026-08-17.md`](./【设计依据】AI游戏创作Agent%20Runtime交互边界证据与决策附录-2026-08-17.md)
## 0. 使用规则
每一行包含:
```text
当前 source/入口
→ 适用 IC 规则
→ 当前差距
→ 唯一迁移动作
→ 阶段
→ 完成证据
```
状态值:
- `baseline`:现状能力,尚未迁移;
- `isolate`:不满足 Public Contract,默认隔离;
- `adapt`:复用现有事实并通过 Shell Adapter 接入;
- `replace-consumer`:后端能力就绪后替换 Consumer;
- `remove-public`P6 删除公开注册/调用;
- `decision`:需要显式产品决定,但不得改变 Contract。
---
## 1. 正式 ingress 与执行位置
| MX ID | 当前入口/source | 当前事实 | Contract | 目标动作 | 阶段 | 状态/证据 |
|---|---|---|---|---|---|---|
| MX-ING-001 | GUI Supervisor chat`apps/ai-game-creator-shell/src/App.tsx``SupervisorChatOnlyView.tsx` | GUI 仍参与 start/steer、状态合并和输出同步 | `IC-ARC-002``IC-CMD-003``IC-CMD-004` | GUI 只提交 capability 中的 `submit_intent`,不选择 disposition | P5 | `replace-consumer`GUI 调用图无 Runtime primitive |
| MX-ING-002 | 普通 Agent chat`apps/ai-game-creator-shell/src/App.tsx` | user/assistant 直接 append,并调用内部 Agent 能力 | `IC-CMD-010``IC-CONV-010``IC-MIG-005` | P0 归类;正式路径在 P3 接 Shell、开发路径在 P3 隔离;P5 只清理旧 Consumer 分支 | P0/P3/P5 | 全调用图、ingress cutover 与 UI 清理 |
| MX-ING-003 | Tauri commands`apps/ai-game-creator-shell/src-tauri/src/commands.rs` | 暴露旧 Runtime 和 conversation write wrapper | `IC-OWNER-001``IC-CMD-010``IC-MIG-005` | P3 先转发同一 Shell endpoint;旧注册 P6 删除 | P3/P6 | transport fixture + invoke handler 静态检查 |
| MX-ING-004 | CLI commands`apps/ai-game-creator-shell/src-tauri/src/cli.rs` | `AgentSteer` 等路径直接调用 Runtime primitiveCLI 可启动受限 Runner | `IC-CMD-001``IC-CMD-010``IC-MIG-005` | P3 先收口为 Shell transportP5 再迁 Public CLI read/UX;保留无 GUI 启动 Runner 能力 | P3/P5 | CLI golden replay;无直接 start/steer/resume |
| MX-ING-005 | `--swarm-chat``cli.rs``swarm_cli/turn_dispatch.rs` | 读取专业 Agent 状态并直接 dispatch/append | `IC-ARC-005``IC-CMD-010``IC-MIG-004``IC-MIG-005` | P3 先让正式写走 Shell 或禁用;P5 按 `FD-001` 选择 Public/Developer read 呈现 | P3/P5 | Shell writer fixture`decision`Public/Developer DTO 零交叉 |
| MX-ING-006 | Runner `runtime.*` RPC`src-tauri/src/runner/dispatch.rs` | 已有 resume/steer/cancel/pause/compact 等内部 RPCrequest cache 仅内存 | `IC-CMD-001``IC-CMD-010``IC-IDEMP-001005` | 仅作为 Shell 内部实现/委托 Shell;不得把 cache 当 durable read-back | P1/P3/P6 | crash 后同 requestId read-back + dispatch 调用图 |
| MX-ING-007 | 进程内测试 transport | 可绕过 External Runner 直接调用实现 | `IC-OWNER-001``IC-CMD-010` | 复用同一 Shell handler,并在任何 Shell/Runtime 写前取得同一 OS owner lockper-Agent lock 不等价 | P1/P3 | 同 fixture 跨 Runner/进程内 replay |
| MX-ING-008 | Runtime 内部 wake/recovery | timer/lane/schedule/owner recovery 不属于用户意图;Runner known roots 当前仅在内存 | `IC-CMD-009``IC-ARC-004``IC-MIG-006` | 保持内部 recovery intent,不导出为 Public resumeP4 建跨重启候选项目发现 | P4/P6 | 静态 Public DTO 检查、重启 discovery 与恢复测试 |
---
## 2. Read model 与 Consumer 决策
| MX ID | 当前 read/source | 当前事实 | Contract | 目标动作 | 阶段 | 状态/证据 |
|---|---|---|---|---|---|---|
| MX-READ-001 | manifest/Session catalog/Runtime state/task/Shell binding 读取 | GUI/CLI 分别解释 status/phase;缺少完整 project/session/binding witness | `IC-READ-001``IC-READ-004``IC-ARC-002` | Shell 按完整 source dependency matrix 形成 valid/failClosed/read-error,稳定投影 status/stage/waitingOn/nextStep | P1/P2/P5 | manifest/catalog/binding/journal、bootstrap、active-task 缺失、损坏、跨 Consumer Snapshot fixture |
| MX-READ-002 | pending action、user-input、tool confirmation sidecar | 当前由不同 UI/CLI 分流;无 open interaction 可缺失 | `IC-READ-004``IC-CAP-003``IC-INT-001``IC-INT-007` | P2 只读物化稳定 Interaction,并生成与 interactionId/revision 一致的 response capabilityrequired sidecar 缺失/损坏则 fail-closedP3 接管 answer/approve | P2/P3 | identity/revision/audience/capability/required-source fixture |
| MX-READ-003 | response stream | 是 optional Runtime final-reply 实时/恢复辅助,写错误可能被忽略 | `IC-READ-004``IC-CONV-005``IC-IDEMP-004` | 只作为短期 source evidence;不能单独证明 committed;完成证明依赖它时损坏/缺失 fail-closed | P0/P2/P3 | optional、写失败、截断、ready→committed fixture |
| MX-READ-004 | GUI Runtime state/event merge | Consumer 自行拼接多个 source | `IC-READ-001``IC-EVT-001` | P5 删除 normalize/merge 决策,只渲染 Snapshot | P5 | 前端类型/调用图检查 |
| MX-READ-005 | Tauri best-effort update event | 不提供按 project/view scope 可靠补读历史 | `IC-EVT-001``IC-EVT-003` | 替换为按 `(projectId, view)` 路由的 snapshot-first subscriptionV1 不补历史 event,缺口/重连均重读完整 Snapshot | P2 | 首次 revision1/sequence0、Public/Developer 隔离、重复/乱序/缺口/重连 fixture |
| MX-READ-006 | Developer Agent panel | 可读私有 Agent 状态并直接操作 | `IC-ARC-005``IC-READ-003``IC-MIG-005` | P2 建独立 Developer DTO;正式 Supervisor 写在 P3 走五命令,Developer-local 写在 P3 隔离;P5 只清理旧 UI 分支 | P2/P3/P5 | 未授权拒绝、ingress cutover、Public 字段零泄漏 |
| MX-READ-007 | Preview/resource/session 管理面 | 独立现役合同 | `IC-ARC-002``IC-MIG-003` | 保持 sibling contract,不从 Snapshot nextStep 重造 | P5/P6 | 调用图证明未误删 |
| MX-READ-008 | command capability 投影 | 当前 Consumer 由 status/phase 自行判断按钮 | `IC-CAP-001003``IC-READ-004` | 按 Contract issuance matrix 从完整 witness 必签/撤销 submit、interaction、cancel、resume 与 Developer reconcile capability | P2/P3 | 每类 capability 正反状态、witness 漂移、Public/Developer audience fixture |
---
## 3. 身份、Session 与 owner
| MX ID | 当前 source | 当前事实 | Contract | 目标动作 | 阶段 | 状态/证据 |
|---|---|---|---|---|---|---|
| MX-ID-001 | 项目 manifest/路径 | manifest 有 project identitytransport 大量使用绝对路径定位,尚无 projectId 反向 root registry | `IC-ID-001` | Public 只传 projectId;宿主 resolver 产出并复核 `TrustedProjectContext`locator 留在受信任边界 | P1/P2/P3 | path-free schema + resolver/subscription mismatch fixture |
| MX-ID-002 | Session catalog`project/conversation.rs` | 每 Agent 一份 catalog;无独立 revisionlive task 禁止变更 | `IC-ID-002``IC-ID-003` | 对 Project Supervisor catalog 计算 opaque digest;不写回、不扩权 | P0/P2/P3 | live-task 与跨 Agent Session fixture |
| MX-ID-003 | collaborator/child history | 各自具有 agentId/sessionId/runId,但无稳定公开协作实体 | `IC-ID-003` | 首次 binding durable 分配 collaborationIdretry/successor 保持 IDfallback 被 Runtime binding 替换;无 parent run 的 fallback 绑定 project/session/manifest digest/group;不使用 Supervisor 当前 Session 重新归属 | P2/P3 | parentRun multi-child、retry lineage、fallback replacement、交叉 mutation fixture |
| MX-OWNER-001 | `.agent/runtime/execution-owner.lock` | OS 排他锁是真正 owner;现仅 Runner production path 获取 | `IC-OWNER-001``IC-OWNER-002` | 直接复用;进程内 Shell 也必须在写前取得同一实现,不新增 generation/lease | P0/P1/P4 | 双 Runner、进程内冲突、drain、失锁测试 |
| MX-OWNER-002 | `.agent/project.lock` | create-new 文件锁按 PID/时间/mtime reclaim,不是 owner | `IC-OWNER-002` | 不可作为 Shell protocol lock;保留其现役业务用途 | P1 | stale reclaim 与 Shell lock 分离 fixture |
| MX-OWNER-003 | `execution-owner.json` 与 bootId | 仅诊断/实例关联 | `IC-OWNER-001` | 保持私有诊断,不用于接管/CAS | P0/P4 | 时间/mtime/诊断冲突 negative fixture |
| MX-OWNER-004 | GUI-owner watchdog | GUI 启动 Runner 时的生命周期门禁 | `IC-OWNER-001` | 保留 GUI-owner 路径;不扩张为 CLI control lease | P4 | GUI-owner 丢失与 drain fixture |
| MX-OWNER-005 | CLI `--config-dir` Runner | 当前可无 GUI 启动/连接受限 Runner | `IC-OWNER-001` | 保留现有终端会话能力;不承诺常驻 | P4/P5 | CLI Runner 回归 |
---
## 4. Command 与现有 Runtime identity
| MX ID | Public command | 现有内部能力/source | Contract | Adapter 要求 | 阶段 | 证据 |
|---|---|---|---|---|---|---|
| MX-CMD-001 | `submit_intent` DirectReply | CLI Reply/Execute kernel、conversation append | `IC-CMD-003``IC-CMD-005``IC-CONV-004` | 预分配 user/assistant messageId,先 user commit 再 reply | P3 | crash-point + same request replay |
| MX-CMD-002 | `submit_intent` Start | Runtime start/pending/task/status | `IC-CMD-004``IC-CMD-005` | 绑定 input envelope、现有 task/run/status identity | P3 | user→status→queued crash fixture |
| MX-CMD-003 | `submit_intent` Steer | 现有 V1.13 steer ledger | `IC-CMD-004``IC-CMD-005` | prepared 时绑定 steerId/cursor;不复制 steer 生命周期 | P3 | same-run、重复和 deferred fixture |
| MX-CMD-004 | `answer` | user-input sidecar/answer primitive | `IC-CMD-006``IC-INT-001007` | 物化稳定 interaction,按 response/revision 解决 | P2/P3 | option/freeform/stale/replay fixture |
| MX-CMD-005 | `approve` | tool/policy confirm 与 reject primitive | `IC-CMD-007``IC-INT-001007` | audience/policy/target set/artifact binding 锁内复核 | P2/P3 | approve/reject/requestChanges matrix |
| MX-CMD-006 | `cancel` | Runtime cancel primitive | `IC-CMD-008` | 精确 Session/Run/revision;唯一 cancel operation;不伪造终态 | P3 | cancel revision/state matrix |
| MX-CMD-007 | `resume` ContinueRun | paused Run resume | `IC-CMD-009` | 同 Run + expected revision | P3 | paused/running/waiting/finalizing negative fixture |
| MX-CMD-008 | `resume` RetryTerminalRun | terminal retry/successor lineage | `IC-CMD-009` | 唯一 successor runId;保存 predecessor/source identity;绑定 terminal revision 与 retry policy digest | P3 | policy drift、concurrent retry + crash fixture |
| MX-CMD-009 | `resume` ReconcileRun | 受信任 reconciliation | `IC-CMD-009``IC-IDEMP-004` | 只读/修复已知事实,不重放未知副作用 | P3/P4 | Developer capability + provider/tool count |
| MX-CMD-010 | Goal replacement | 现有 replacement primitive | `IC-CMD-004` | 仅显式 Goal management operation;不由普通 execute intent 触发 | P3 | frozen Goal Contract negative fixture |
---
## 5. Conversation source 与 writer cutover
| MX ID | Source/writer | 当前事实 | Contract | 目标动作 | 阶段 | 状态/证据 |
|---|---|---|---|---|---|---|
| MX-CONV-001 | Session user message | 现有 conversation 正文 source | `IC-CONV-002``IC-CONV-004` | 复用正文;Public index 只保存 source metadata | P3 | source digest/read-back fixture |
| MX-CONV-002 | DirectReply | `swarm_cli`/GUI 可直接 append user+assistant | `IC-CONV-004``IC-CONV-010` | Shell 接管稳定 identity 和写入顺序 | P3/P5 | 零重复 user/assistant |
| MX-CONV-003 | RuntimeFinalReply | finalization + response stream + conversation | `IC-CONV-005` | 保存三层 identity binding;长期正文从 conversation 回读 | P3 | sidecar 清理后历史回读 |
| MX-CONV-004 | 根 Supervisor start/terminal status | 稳定 messageId 但正文写 project conversation | `IC-CONV-006` | 以 task/run correlation 显式绑定 Supervisor Session | P0/P3 | correlation 缺失/冲突 fixture |
| MX-CONV-005 | 专业 Agent terminal status | 写其 Agent Session conversation | `IC-CONV-006` | 按该 agent/session/run 回读,不重归属 | P0/P3 | session scope fixture |
| MX-CONV-006 | receipt/isolated join status | 当前不写 Session status message | `IC-CONV-006` | 默认不进入 Public Conversation | P0 | `isolate` negative fixture |
| MX-CONV-007 | 普通 Runtime event | eventId 依赖 pid/时间/进程计数 | `IC-CONV-007` | V1 默认隔离 | P0 | `isolate`call site inventory |
| MX-CONV-008 | action-identity event | 部分 event 可按 action identity 幂等 | `IC-CONV-007` | 仅在规范 reader/digest/scope 全闭合后显式登记 | P0/P1/P3 | 默认 `isolate`event replay fixture |
| MX-CONV-009 | recent-events reader | 静默跳过坏行,只返回最近 20 条 | `IC-CONV-007``IC-CONV-009` | 不作为 Public source reader;若接 event 必须补新 reader | P0/P1 | 损坏/截断/定位 fixture |
| MX-CONV-010 | GUI final autosave | `response-stream → game-chat-final-reply:* → autosave` | `IC-CONV-005``IC-CONV-010` | P3 adapter 启用前停止正式写入;P5 只删除旧消费/展示分支 | P3/P5 | cutover watermark 后零派生 writerGUI 调用图清理 |
| MX-CONV-011 | GUI event autosave | `Runtime event → game-chat-runtime-event:* → project conversation` | `IC-CONV-007``IC-CONV-010` | P3 adapter 启用前停止正式写入并隔离历史跨 scope 项;P5 清理旧 UI 分支 | P0/P3/P5 | source scope inventory + cutover 后零派生 writer |
| MX-CONV-012 | 普通 Agent chat append | `App.tsx` user/assistant 可无 messageId append | `IC-CONV-010` | P3 前将正式 Supervisor 接 Shell、Developer/local 显式隔离;P5 只清理旧 Consumer 分支 | P0/P3/P5 | writer 三选一清单 + cutover fixture |
| MX-CONV-013 | Developer panel append | Developer user history 直接写 | `IC-ARC-005``IC-CONV-010` | P3 前标记 Developer-local 且永不进入 Public,或接正式 ShellP5 清理旧调用面 | P0/P3/P5 | DTO/调用面隔离 + cutover fixture |
| MX-CONV-014 | project pending-message autosave | 项目级 conversation writer | `IC-CONV-010` | P3 adapter 启用前接 stable source binding 或停止;P5 只删除旧 Consumer 分支 | P0/P3/P5 | writer cutover fixture |
| MX-CONV-015 | Public Conversation cursor | 当前无统一永久 source index | `IC-CONV-002``IC-CONV-008``IC-CONV-009` | P3 建无正文 index、origin/tail/cursor chain | P3 | 分页、空洞、损坏、全量补读 |
---
## 6. Public / Developer 字段边界
| MX ID | 数据 | 当前风险 | Contract | 动作 | 阶段 | 证据 |
|---|---|---|---|---|---|---|
| MX-DATA-001 | project path / LocalConversationResult.path | GUI/CLI 可读本地路径 | `IC-ID-001``IC-READ-002` | Public DTO 零 pathlocal transport 单独返回 | P2/P5/P6 | schema/static check |
| MX-DATA-002 | Provider、tool、observation | Developer/runtime records 含私有原文 | `IC-READ-002``IC-ERR-003` | Public 严格白名单;Developer 仍脱敏有界 | P2 | sensitive fixture |
| MX-DATA-003 | dynamic child identity | GUI 可聚合专业/child Runtime | `IC-ID-003``IC-READ-002` | Public Snapshot/event/error/capability 只显示 durable collaborationId/组摘要;真实 child agent/session/parentRun/run/delegation identity 只留 private binding | P2/P5 | parentRun multi-child、retry、fallback replacement、Public zero-leak、权限 fixture |
| MX-DATA-004 | interaction private prompt/policy | sidecar 可能含原始模型内容 | `IC-INT-005``IC-ERR-003` | 生成独立 Public presentation;不安全则 Developer/reconciliation | P2 | redaction fixture |
| MX-DATA-005 | finalization/provider identity | 恢复和调试需要,正式 UI 不需要 | `IC-CONV-005``IC-READ-002` | 保留 private bindingPublic message 仅 provenance allowlist | P3 | Public schema zero-leak |
---
## 7. P6 删除清单
| MX ID | 删除范围 | 保留范围 | Contract | 完成证据 |
|---|---|---|---|---|
| MX-DEL-001 | 正式 transport 旧 start/steer/confirm/reject/answer/cancel/retry/resume/schedule/read 注册 | Runtime 内部 primitive | `IC-MIG-003` | handler/route 静态检查 |
| MX-DEL-002 | GUI/CLI 旧生命周期判断和 fallback | Public Consumer + Developer read | `IC-ARC-002``IC-MIG-002` | Consumer 调用图 |
| MX-DEL-003 | GUI Runtime output 派生 autosave | 原 conversation/finalization/event source | `IC-CONV-010` | writer cutover + 零 duplicate |
| MX-DEL-004 | Public DTO 的 path/finalization/provider/private fields | 受信任本地/Developer DTO | `IC-READ-002``IC-READ-003` | schema diff |
| MX-DEL-005 | Public scope 无稳定 messageId append | 明确 Developer/local history | `IC-CONV-010` | 所有 append caller 已分类 |
| MX-DEL-006 | migration unknown-command fallback | 内部回归测试 | `IC-MIG-002``IC-MIG-003` | transport fixture |
---
## 8. 当前冻结前缺口
| ID | 缺口 | 性质 | 阻塞阶段 |
|---|---|---|---|
| FD-001 | `--swarm-chat` 是普通 Public Supervisor CLI 还是显式 Developer CLI | 产品兼容决策 | P5 产品绑定/呈现;不阻塞 Contract 核心冻结 |
| GAP-001 | 全部 legacy Runtime ingress 的实际写入进程调用图尚未形成正式 artifact | P0 evidence | P3 |
| GAP-002 | 全部 conversation append writer 的接管/隔离/禁用归类尚未闭合 | P0 evidence | P3/P5 |
| GAP-003 | event type/call site identity inventory 尚未形成正式 artifact | P0 evidence | PublicEvent 接入;默认隔离不受阻 |
| GAP-004 | 按 eventId 定位、报告坏行/截断、校验 digest 的 reader 尚不存在 | implementation gap | PublicEvent 接入;默认隔离不受阻 |
| GAP-005 | Rust→TypeScript strict schema/golden fixture 尚未实现;冻结前只定义规范与向量 | P1 implementation | P2/P3 |
| GAP-006 | `projectId → TrustedProjectContext` 的受信任宿主 resolver 尚未实现 | P1 implementation | P2/P3Public DTO 始终保持无路径 |
| GAP-007 | 现有 `.agent/project.lock` 具有 stale reclaim,不能当 Shell protocol lock | P1 implementation boundary | P1;须与 execution owner 下串行分离 |
| GAP-008 | RFC 8785 canonicalization 尚无单一复用实现 | P1 implementation | P1checksum/fingerprint/hash 不可各自序列化 |
| GAP-009 | Shell record 尚无唯一 append order authority;不能由多份 sidecar 自行分配 ledgerVersion | P1 implementation | P1;建立专用 ledgersidecar/index 只能派生 |
| GAP-010 | Projection reader 尚无 witness、一致 observation、source absence/corruption matrix、fail-closed publication | P2 implementation | P2;不能直接公开现有聚合 read |
| GAP-011 | Runner 的 known roots 与 request dedupe 都是内存态 | P3/P4 implementation | P3 durable read-backP4 restart discovery |
| GAP-012 | Snapshot subscription 尚无按 `(projectId, view)` 路由、durable sequence 与原子 initial Snapshot | P2 implementation | P2V1 使用 snapshot-first/no-backlog,不能复用全局 best-effort event |
| GAP-013 | collaborator/child 到 durable collaborationId 的 binding/lineage 尚不存在 | P2 implementation | P2Public 不得临时以 agentId/组名拼接 identity |
这些缺口不得被解释为 Contract 规则未决定:除 `FD-001` 外,现状不满足即按 Contract 默认隔离或失败关闭。