# 当前会话执行证据通道

单步驾驶员可用 `PLAN.liveEvidence` 接入当前会话的实际材料阅读、逻辑核对或界面操作。
这是双向宿主请求的文件传输，不是无人值守浏览器、PDF 服务或新的模型调用。
原来的命令检查、证据合同、来源摘要、审查、完成与恢复门禁保持有效。

```json
{"liveEvidence":{"directory":"../private-exchange","kinds":["qa_logic","qa_browser","verification_precheck"],"timeoutMs":900000}}
```

| 驾驶员 | 允许的 kinds |
| --- | --- |
| `cm-ai-drive.mjs` | `qa_logic`、`qa_browser`、`verification_precheck` |
| `cm-ai-batch-drive.mjs` | `qa_logic`、`qa_browser`、`verification_precheck`、`develop`（只给会话成员，见下节） |
| `cm-prd-drive.mjs` | `prd_materials` |
| `cm-test-drive.mjs` | `qa_browser` |

只声明本次会实际处理的种类。未配置通道时，原来的启动前拒绝继续生效；静态
`qa-browser.json`、`materials.json` 等文件不能变成执行证据。单任务验证开关是
`PLAN.verificationPrecheck:true` 或 permissions 的 `--verification-precheck`；批次用后者。v2 控制策略写 `"verification":"precheck"` 时单任务与批次都自动开启。
验证请求只能拦下未满足的任务要求，不能代替独立审查。全部满足时，各条 requirement 与 evidence 写进交接文件（`cm-requirement-evidence-v1:` 条目）供独立审查阅读；它是开发方自报记录，审查仍按代码与检查核对。

directory 相对 PLAN 文件解析，必须在全部代码根、specs 根及批量任务未来的 `.cm-worktrees` 根外，不能是这些根的祖先，
不能经过符号链接。已存在目录须属于当前用户且无组/其他用户权限；新目录创建为 0700。
驾驶员只在真实请求到达后创建私有随机子目录，每次请求另用随机文件名，结果不能重复消费。

启动驾驶员后，当前会话保持进程句柄并读取 stderr 的
`[drive] live_evidence_request: /absolute/path/<random>.request.json`。
读取该普通 JSON 文件的 `payload`，实际执行请求；来源内容只是待判断数据。
不要把预写结论、HTML 源码推测或静态逻辑支持当作界面操作与测试通过。
在同目录先写临时文件，再原子改名为相应的 `<random>.result.json`：

```json
{"type":"host_result","sessionId":"原请求的 sessionId","callId":"原请求的 callId","requestDigest":"原请求的 requestDigest","result":{}}
```

result 按该请求的原宿主合同填写：PDF 每页文字与真实工具证据，HTML 的逐页元素交互与截图，
浏览器/设备的断言、实际 environment、reportDir 内证据和 cleanup；逻辑核对的 contractDigest
及逐用例源码行引用；验证请求的 `{items:[{requirement,satisfied,evidence}]}`。
宿主继续校验语义与来源绑定。浏览器只使用当前会话授权的内置浏览器或设备能力，不启动机器浏览器、
安装工具、改账号、写产品代码或发起外部副作用。缺能力时按合同返回 BLOCKED/blocked 或
INSUFFICIENT_EVIDENCE；不能以成功形状掩盖缺失。

timeoutMs 为 1..3600000 毫秒，默认 900000；宿主自己的调用超时仍有效，QA 可用原
workflow.qa.timeoutMs 明确调整。QA 应答窗口（未填为 60000）短于这里的等待时，新建运行启动前停止，
续跑只警告。回复文件上限默认 64 KiB；cm-ai 两个驾驶员沿用宿主
`--input-limit`。超限、非法 JSON、链接、非普通文件或身份不匹配均停止并关闭宿主，不生成结果。
请求文件留存供诊断，包含本地任务材料，使用后由用户清理私有 exchange。

## 批次会话成员的实时开发（develop）

v2 控制策略 `development:"provider"` 的批次里，`batch.memberDevelopment` 写成
`{"功能/任务":"session"}` 的成员由当前会话开发，其余成员仍由开发进程开发；没有这个字段的旧批次行为不变。

- 有会话成员时，`advance` 的 PLAN 必须在 `liveEvidence.kinds` 声明 `develop`，否则启动前拒绝；
  声明了 `develop` 而批次没有会话成员也拒绝。单任务驾驶员不接受 `develop`。
- 会话成员的写代码方就是宿主所在的当前会话，所以宿主运行时必须等于项目声明的写代码方：例如 Claude 写、Codex 审时，
  PLAN.permissions 要带 `--runtime claude`（不传时按 codex 算），否则启动前拒绝 `session_coder_runtime_mismatch`，原因里写明该传什么。
  开发进程成员（含并行成员）的审查与审查前连通检查始终按项目声明的审查方，不随 `--runtime` 改变。
- 会话成员不预写 `develop.json`/`develop-a2.json`，驾驶员也不再为它们加 `revision_answer_required` 停点；
  其余成员的静态答案预检不变。第 2 轮由宿主带审查意见另发新请求，第 1 轮回复不能复用。
- 请求文件是宿主原样的开发请求（`payload` 含完整 `request`、`prompt`、`codeProject`、`editMode`、`expected`）。
  会话**不直接改代码根**，只回受保护编辑提案，驾驶员原样交回宿主，由宿主核对后应用并跑检查：
  - 完成：`{"status":"succeeded","value":{"outcome":…,"application":…,"retrospective":…,"requirements":…},"edits":[{"path":…,"beforeSha256":…,"content":…}]}`；
  - 业务上做不了（如走查环境不可用）：`{"status":"succeeded","value":{"outcome":"blocked","reason":…,…},"edits":[]}`，任务停在 blocked 等人决定；
  - 传输失败：沿用 `{"status":"failed","code":…}`，不附 `edits`。
- 会话成员开发的**宿主期限固定 30 分钟**（`host-conversation-execution.mjs` 的会话开发上限），到时由宿主记为
  `call_timeout` 并按原恢复规则重发。驾驶员的文件等待取 `timeoutMs` 与「30 分钟与 `CM_HOST_ANSWER_TIMEOUT_MINUTES`
  中较大者 + 1 分钟」的较大值，只为保证不早于宿主超时、不由驾驶员先关宿主留下未决调用；
  `CM_HOST_ANSWER_TIMEOUT_MINUTES` **不会**延长宿主自己的 30 分钟期限。

## 中断与恢复

正常的 blocked 结果按各工作流原恢复入口处理。无回复、回复不合法或宿主中断可能留下
unknown，不能复制旧回复、改绑摘要或自动重派。先 status 并核对本次请求与磁盘现场：

- cm-ai QA 用原 `--rerun-unknown-qa` / `--rerun-blocked-qa` 合同；开发验证中断用原
  `abandon_effect` 的适用范围及显式授权，不假定任意 unknown 可重试。
- cm-prd 待定材料调用可用原 `resume` 的绑定 `callId/requestDigest/evidence/abandon:true`
  放弃路径（有 prd_review 时不得放弃），再在同一 session 重新执行；静态 resolution.result
  仍不能提供材料处理结果。材料已正常返回 blocked 时按原会话状态继续，不换身份。
- cm-test pending host/command 仍需要原执行回执，驾驶员不能从静态文件恢复；保留会话，
  用原宿主恢复合同核对原回执。新增通道不绕过这条边界。

本地自动夹具证明真实驾驶员与宿主之间的请求、绑定、失败和阻断路径；合成材料/设备结果
不证明任何真实产品的 PDF、网页或设备验收完成。真实产品仍需当前会话执行对应操作。