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

创建人员：`dev.developer.ana.cai`  
文件职责：append-only 关闭 V010 的 pre-Z U、T01/T02 precedence、T04 reachable/public-null 三项。  
predecessor：V010=`4760/a8a2524bab871e8ab076e3e6e5dc4630f6cd7a904b7da9f4e3f7ba5425c4d694`；review=`AUDIT-DEV-ANA-HIBOR-FAST-COLLECTION-DESIGN-V010=HOLD/3/3`，audit snapshot=`415511/5b96c40ddfe18298b0ea584c54c8dd3108adae5ba5a4a4ea7ca96b385d6e85d8`。  
继承：V009 的七个 Z outcome/51-key wire、V008 receipt、V007 no-U-to-P10、V006 package matrix 及 V001–V005 已关闭合同不变。V011 替换 V010 第 2–3 节中有歧义的 P06–P08/T01/T02/T04 映射。

## 1. pre-Z M/D/T U 按真实原因二分

内部 `EvidenceUncertaintyReceipt` 固定 6 键：`object_kind,source_state,presence,operation_completed,liveness_unknown,error_code`。类型：`object_kind=M|D|T`；`source_state=P06_PUBLISHED|P07_MANIFESTED|P08_DELIVERY`；`presence=U`；其余类型同 V009。

仅允许六个 literal：

| object/state | file/evidence facts unknown，writer 已完成 | writer liveness unknown |
|---|---|---|
| M / P06 | `U,true,false,RECOVERY_UNKNOWN` | `U,null,true,PROCESS_LIVENESS_UNKNOWN` |
| D / P07 | `U,true,false,RECOVERY_UNKNOWN` | `U,null,true,PROCESS_LIVENESS_UNKNOWN` |
| T / P08 | `U,true,false,RECOVERY_UNKNOWN` | `U,null,true,PROCESS_LIVENESS_UNKNOWN` |

六行均为 `T00U→STATE_UNCERTAIN/27`，保持 source state、Z=N、Z writer call=0。`PERSIST_LATE` 只表示 known N/I 或已知超时/晚到事实，不允许 presence=U；因此 V010 T00U 的 P06/P07/P08=`P` 正式废止。P09 的 pre-Z M/D/T U 仍 X，因为进入 P09 已证明 T=V。

## 2. T01/T02 原始原因与全局 precedence

内部 `TerminalOperationCause=DEADLINE|ENVIRONMENT|VALIDATION|INTERNAL`。terminal candidate 唯一映射：

| Z outcome/cause | terminal candidate internal status | public | exit | code |
|---|---|---|---:|---|
| T01/DEADLINE | TIME_BUDGET_STOP | TIME_BUDGET_STOP | 10 | DEADLINE_EXPIRED |
| T01/ENVIRONMENT | BLOCKED_ENVIRONMENT | BLOCKED_ENVIRONMENT | 14 | PERSIST_LATE |
| T01/INTERNAL | INTERNAL_ERROR | INTERNAL_ERROR | 20 | PERSIST_LATE |
| T01/VALIDATION | X | X | X | X |
| T02/DEADLINE | TIME_BUDGET_STOP | TIME_BUDGET_STOP | 10 | DEADLINE_EXPIRED |
| T02/ENVIRONMENT | BLOCKED_ENVIRONMENT | BLOCKED_ENVIRONMENT | 14 | PERSIST_LATE |
| T02/VALIDATION | VALIDATION_FAILED | VALIDATION_FAILED | 16 | PERSIST_LATE |
| T02/INTERNAL | INTERNAL_ERROR | INTERNAL_ERROR | 20 | PERSIST_LATE |

`original_status` 必须是 V004 11 个 internal TerminalStatus 之一。最终 top-level status 为 `resolve_precedence(original_status,terminal_candidate)`：按 V004 precedence 1..11 选 rank 较小者；若原 outcome 是 SUCCESS 且 Z 失败，仅 terminal candidate 生效。status→public/exit 只再调用 V004 唯一表一次。于是 access-control、state-uncertain、deadline 等原始高优先级不会被 T01/T02 覆盖，T01/T02 也不再无条件 INTERNAL_ERROR/20。

item overlay 使用最终 status 的精确 stop source：若 original 赢，保留 original code；若 terminal candidate 赢，使用上表 code；同 rank 只允许同 status，code 优先保留 original non-NONE，否则 terminal code。所有 `11×7` 合法 Cartesian 组合必须测试，T01/VALIDATION 的 11 个组合全部 X。

## 3. T04 可达集合与 internal/public code 分离

内部字段明确分开：`internal_item_code:ErrorCode` 永不 null；`public_stop_code:ErrorCode|null`。唯一投影：`NONE→null`；任何非 NONE 合法 ErrorCode→同枚举值。receipt `error_code=null` 只表示 Z 写入成功，不参与 item code 投影。

T04 只允许下列 10 行，不存在 default：

| closure | lane | source_state | item status | internal_item_code | public_stop_code |
|---|---|---|---|---|---|
| C01 | NEW | P06\|P07\|P08\|P09 | SUCCESS | NONE | null |
| C02 | NEW | P05\|P06\|P07\|P08\|P09 | DUPLICATE | DUPLICATE_EXISTING_ARTIFACT | DUPLICATE_EXISTING_ARTIFACT |
| C03 | PURE | P06\|P07\|P08\|P09 | SUCCESS | NONE | null |
| C04 | PURE | P06\|P07\|P08\|P09 | DUPLICATE | DUPLICATE_EXISTING_ARTIFACT | DUPLICATE_EXISTING_ARTIFACT |
| C05 | NEW\|PURE | P00 | STOPPED | V006 P00 STOP_CODES only | same non-null code |
| C06 | NEW | P01\|P02 | STOPPED | V006 source STOP_CODES only | same non-null code |
| C07 | NEW | P02\|P03 | STOPPED | V006 source STOP_CODES only | same non-null code |
| C08 | NEW | P03\|P04\|P05 | FAILED | `FAIL_CODES∩V006 allowed[source]` | same non-null code |
| C09 | NEW | P06\|P07\|P08\|P09 | STOPPED\|FAILED | V006 allowed[source] 且 status/code 分类一致 | same non-null code |
| C10 | PURE | P06\|P07\|P08\|P09 | STOPPED\|FAILED | V006 allowed[source] 且 status/code 分类一致 | same non-null code |

精确排除：P00–P05 的 SUCCESS；PURE P01–P05；C01/C03 的 DUPLICATE；C02/C04 的 SUCCESS；C05–C10 的 NONE；STOPPED 携 FAIL_CODES；FAILED 携 STOP_CODES；任一 closure/lane/source 不在表中。故 T04 不再把所有 `ITEM(Pxx)` 泛化为可达。

T04 top-level status/public/exit 由合法 item status 按 V004 映射：SUCCESS→SUCCESS/ACCEPTED/0，DUPLICATE item 在 batch top-level 由实际 aggregate 决定 SUCCESS 或 PARTIAL_SUCCESS，不由 receipt 自选；STOPPED/FAILED 进入全局 aggregate precedence。无论 aggregate 如何，item `public_stop_code` 都按本节投影。

## 4. V010 7×10 的后继解释

- T00U/P06–P08 由第 1 节六个 literal 替换；不再出现 PERSIST_LATE+U。
- T01/T02 每个 source_state 都先按第 2 节 cause 生成 candidate，再与 original_status 做全局 precedence；source_state 不改变 cause。
- T03F/T03L 仍分别固定 RECOVERY_UNKNOWN/PROCESS_LIVENESS_UNKNOWN，STATE_UNCERTAIN/27。
- T04 仅使用第 3 节 10 行，不再使用 V010 的宽泛 `ITEM(Pxx)` 单元。

## 5. 强制测试

1. M/D/T × file-U/liveness-U 六个 literal，分别断言 R/L、27、Z writer=0；PERSIST_LATE+U 全拒绝。
2. T01 三 cause、T02 四 cause；每个与 11 original_status 做 precedence Cartesian，T01/VALIDATION 全 X；验证 top status/public/exit/code winner。
3. 第 3 节 10 行正向覆盖所有 source alternatives；全 closure×lane×P00–P09×四 item status 枚举，只有表内组合可达且 predicate count=1。
4. internal NONE/public null、duplicate same-code、STOP/FAIL same-code 各正向；internal null、public NONE、NONE+non-null、non-NONE+null 全拒绝。
5. T04 receipt error_code 始终 null，但不得覆盖 item code；51-key public wire 与 item 26-key schema equality 回归。
6. V001–V010 全量测试不减少；设计 PASS 后才允许创建候选实现。

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