# 慧博 10 分钟快速采集工具开发方案 V007

创建人员：`dev.developer.ana.cai`  
文件职责：append-only 关闭 V006 唯一 `U→P10` 矛盾。  
predecessor：V006=`12931/e95a495dbab0dcc10382d53b4eca60cdd8c637c024f5a05992e259be9937d5c8`；review=`AUDIT-DEV-ANA-HIBOR-FAST-COLLECTION-DESIGN-V006=HOLD/1/1`，audit snapshot=`393033/8ece199e2852c12330a128b9f2b2c2db7fd40c741966b64819146206c3c862c8`。  
继承：V006 P00–P10 NEW/PURE 主矩阵、TerminalItem 构造器、ErrorCode/note 域及 V001–V005 全部已关闭合同不变；V007 只替换 V006 第 1 节 U 规则与第 2.4 节 C06/C07 的 U 可达性。

## 1. U 的唯一终态

任一实际 package object 为 `U` 时，立即满足以下全部规则：

1. `governance_status=STATE_UNCERTAIN`、public `capability_status=STATE_UNCERTAIN`、exit=`27`。
2. item `state` 保持发生 U 时的最高 durable `P00_INIT..P09_TIMING`，不得改为 `P10_CLOSED`。
3. U 之后 `M/D/T/Z` 所有尚未存在对象保持 N；不得 open/CreateNew/append/rename/link/backfill 任一后继。
4. `TerminalReceipt.persist_attempted=false,persisted=false,terminal_path=null,bytes=null,sha256=null,stdout_emitted=true`；仅向已存在 stdout 输出 public terminal，stdout 不属于 package object。
5. U 字段保持 U，不得降级成 N/I/V；对应未知 ID/bytes/hash/path 保持 null。已经 durable 的 reservation ID 或 quota terminal ID 可保留，但不得为 U 对象伪造 event/artifact ID。
6. 恢复或后续人工判断不在当前 run 内发生；新 run 只能按 V002 recovery/replay 合同只读重建，不能修改本终态。

## 2. P10 closure 的硬前置与修正表

进入任一 C01–C10 前先执行 `all_known = all(x in {N,V,I} for x in [S,F,Q,A,M,D,T])`。`all_known=false` 时 builder 必须返回第 1 节 stdout-only 终态，且 `Z=N`；不再评估 closure predicate。

V006 C01–C05、C08–C10 值不变，但所有单元格隐含排除 U。C06/C07 精确替换如下：

| closure_variant | lane/source | S | F | Q | A | M/D/T | quota ID pattern | status |
|---|---|---|---|---|---|---|---|---|
| C06_RESERVED_STOP | NEW/P01 或 P02-N | N | N | N | N | Prefix3 | RNN | STOPPED |
| C07_TRIGGER_CLOSED_NO_ARTIFACT | NEW/P02-V 或 P03-known | N | N | V | N | Prefix3 | RRN | STOPPED |

以下情况明确不属于任何 closure variant：

- P02-U：Q=U，保留 `P02_TRIGGER_UNKNOWN`、Z=N、stdout 27。
- P03/P04/P05 的 A=U：保留各自 state 与实际 S/F/Q，Z=N、stdout 27。
- P06–P09 任一 S/F/Q/A/M/D/T=U：保留最高 durable state，Z=N、stdout 27。
- process liveness unknown 导致对象状态也未知时，同样禁止 C06/C07/P10；不得以“已有部分 known evidence”为由继续 closure。

`P10_CLOSED` 因而具有强不变量：`Z=V ∧ U_count(S,F,Q,A,M,D,T,Z)=0`。任何 P10 literal 含 U 均为 ContractError。

## 3. TerminalItem 与 quota ID 细化

- P02-U：`trigger_attempted=true,triggered=null,reused=false,quota_state=RESERVED,quota_reservation_id=R,quota_terminal_event_id=null,quota_artifact_event_id=null`；`stop_code` 只允许 V006 P02-U 三个 code，`error_or_note=STOP:<ErrorCode>`。
- A=U：reservation 与已验证 quota terminal ID 保留，artifact event ID=null，即 RRN；trigger/ quota state 使用已知事实，不改写。`stop_code` 取造成 A 不确定的精确 code，`error_or_note=STOP:<ErrorCode>`。
- top-level `terminal_path=null,terminal_present=false` 必须与 Z=N 相等；public stdout item 的 state/paths/hash/IDs 必须与停止瞬间 snapshot 相等。

## 4. 强制反例

1. C06 输入 Q=U：断言 closure predicate count=0、P02、Z=N、M/D/T 不新增、stdout 27。
2. C07 输入 A=U：分别覆盖 P03/P04/P05，断言 closure predicate count=0、原 state、RRN、Z=N、stdout 27。
3. P06–P09 对 S/F/Q/A/M/D/T 每列逐个注入 U：所有后继 writer call count=0，P10 builder call count=0。
4. 十个 C01–C10 正向 literal 全部 `U_count=0`；将任一 known 单元替换为 U 均 ContractError，不允许 sanitization。
5. stdout terminal JSON 可生成且严格 schema-valid，但 `terminal_path/bytes/hash=null`；重新读取 filesystem 证明没有新增 M/D/T/Z。

当前状态：`PENDING_INDEPENDENT_DESIGN_REREVIEW`。V007 PASS 前不创建候选源码/测试/quota ledger，不运行 Python/ADB/APP/dry-run，不触发下载；新增 trigger=`0`。