edit | blame | history | raw

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

创建人员：dev.developer.ana.cai
文件职责：append-only 关闭 V004 唯一 blocker，冻结 TerminalItem 新触发/纯复用/失败/STOP 的 quota 真值表。
predecessor：V004=11939/08e12872b9e00322fbeb669c2c2d97a48fa3724f3ae6e759e9b4c2e2b957df08；review=AUDIT-DEV-ANA-HIBOR-FAST-COLLECTION-DESIGN-V004=HOLD/1/1。
继承：BLOCK-02/03/04/05/06 均已关闭或无回退；V004 的 terminal mapping、manifest evidence rule、五类 quota idempotency 与单行 reconcile→reserve 事务全部不变。V005 仅替换 V004 第 1.2 节中 SUCCESS/DUPLICATE/FAILED/STOPPED 的 quota ID 强制条件。

1. TerminalItem V005 字段不变

仍为固定 26 键：

item_id,slot_id,candidate_id,report_identity,state,status,stop_code,trigger_attempted,triggered,quota_state,quota_reservation_id,quota_terminal_event_id,quota_artifact_event_id,title,institution,report_date,analysts,page_count,bytes,sha256,source_cache_path,source_file_name,final_path,manifest_row_id,reused_without_new_trigger,error_or_note

新增约束：quota 三个 ID 的 nullability 只由下表 variant 决定，不再由 status=SUCCESS 无条件决定。quota_state=NONE 时三个 ID 必须全 null，且该 item 不调用任何 QuotaLedger 写 API；quota_state=RESERVED|CONFIRMED|UNCERTAIN|RELEASED 时按表要求。

2. 完整真值表

NNN 表示 reservation/terminal/artifact 三个 quota ID 全 null；RRR 表示 reservation、quota terminal、artifact terminal 全非空；RRN 表示 reservation 和 quota terminal 非空、artifact null；RNN 表示仅 reservation 非空。

variant state status trigger_attempted triggered reused quota_state quota IDs final PDF manifest stop/error
NEW_TRIGGER_SUCCESS_CONFIRMED P10_CLOSED SUCCESS true true false CONFIRMED RRR V V null/NONE
NEW_TRIGGER_SUCCESS_UNCERTAIN P10_CLOSED SUCCESS true null false UNCERTAIN RRR V V TRIGGER_UNCERTAIN + 已确认 cache identity
PROJECT_REUSE_SUCCESS P10_CLOSED SUCCESS false false true NONE NNN V existing V null/NONE
CACHE_REUSE_SUCCESS P10_CLOSED SUCCESS false false true NONE NNN V newly published V null/NONE
DUPLICATE_NO_TRIGGER P10_CLOSED DUPLICATE false false true NONE NNN V existing V DUPLICATE_EXISTING_ARTIFACT
DUPLICATE_AFTER_CONFIRMED P10_CLOSED DUPLICATE true true false CONFIRMED RRR V existing V DUPLICATE_EXISTING_ARTIFACT
DUPLICATE_AFTER_UNCERTAIN P10_CLOSED DUPLICATE true null false UNCERTAIN RRR V existing V DUPLICATE_EXISTING_ARTIFACT
RELEASED_NO_TRIGGER_CLOSED P10_CLOSED STOPPED true false false RELEASED RRN N V TRIGGER_NOT_OCCURRED
UNCERTAIN_NO_ARTIFACT_CLOSED P10_CLOSED STOPPED true null false UNCERTAIN RRN N V TRIGGER_UNCERTAIN
PROCESSING_FAILED_CONFIRMED_CLOSED P10_CLOSED FAILED true true false CONFIRMED RRR N V actual processing error
PROCESSING_FAILED_UNCERTAIN_CLOSED P10_CLOSED FAILED true null false UNCERTAIN RRR N V actual processing error
RESERVED_BEFORE_ACTION_CRASH P01_RESERVED STOPPED false false false RESERVED RNN N N STATE_UNCERTAIN
RESERVED_DURING_ACTION_CRASH P02_TRIGGER_UNKNOWN STOPPED true null false RESERVED RNN N N STATE_UNCERTAIN
POST_QUOTA_PRE_ARTIFACT_STOP P02_TRIGGER_UNKNOWN STOPPED true true false CONFIRMED RRN N N high-precedence close STOP
POST_PUBLISH_PRE_MANIFEST_STOP P06_PUBLISHED STOPPED true true false CONFIRMED RRR V N PERSIST_LATE
PRE_RESERVATION_STOP P00_INIT STOPPED false false false NONE NNN N N actual input/environment/access/quota/time STOP

交叉规则：

  1. PROJECT_REUSE_SUCCESS 只复用项目内已归档 ordinary non-reparse PDF，必须重验 bytes/hash/%PDF-/openability/page count 与既有 manifest 关系；不读 APP、不读 cache、不 reserve、不写任何 quota event。
  2. CACHE_REUSE_SUCCESS 只允许 resume-postprocess 使用任务已记录的 cache identity、remote bytes/hash 与 reused_without_new_trigger=true，不得打开 APP 原文；可只读 ADB pull 已存在缓存，但不调用 observe/reserve/terminal/artifact quota API。
  3. 两类纯复用即使 QuotaSnapshot.safe_available=0 仍允许；CLI 只读 fold 当日 ledger 并把 quota_ledger_path、累计量和 safe=0 写入 top-level terminal，不新增行。ledger lock/read失败仍 fail-closed，但“额度为零”本身不是复用 blocker。
  4. 纯复用的 manifest quota_reservation_id,quota_terminal_event_id,quota_artifact_event_id 三列为空；reused_without_new_trigger=true，error_or_note 写 ZERO_QUOTA_REUSE，其余 PDF/来源证据必须完整。
  5. record_artifact_outcome 仅用于存在 reservation 的 item；因此两个 NEW_TRIGGER、两个 DUPLICATE_AFTER 和两个 PROCESSING_FAILED closed variant 为 RRR。纯复用的成功/重复计数来自 manifest/terminal，不写 quota ledger success delta。
  6. release/uncertain durable 且 artifact 未形成时为 RRN；quota terminal 后 close deadline 到期也为 RRN。PDF 已 publish 后 artifact success 必须先 durable，再进入 manifest，因此 POST_PUBLISH_PRE_MANIFEST_STOP=RRR。
  7. trigger_attempted 表示已进入打开原文动作；V005 把 triggered 的类型精确扩为 BOOL|null：确认触发=true、确认未触发=false、触发事实不确定=null；其余 BOOL 字段不可 null。

3. Package/manifest/terminal 一致性

  • pure reuse item 可从 V002 package P00 直接进入既有证据验证，再到 P06/P07/P08/P09/P10；不得伪造 P01 reservation。package row 的 trigger_attempted=false,quota_state=NONE,reused=true。
  • top-level triggered 不含纯复用；succeeded 包含复用；quota_confirmed/uncertain/active 来自只读 ledger snapshot；三者不会因复用增加。
  • 若同一任务同时有纯复用和新触发，先完成所有可证明复用 item，再对剩余 item 逐个 reserve；safe=0 时保留复用 success，剩余 item 返回 PARTIAL_QUOTA_STOP。
  • public terminal 的 item tuple 逐项满足本表；manifest 48 列与 terminal item 的 status/path/hash/quota IDs/reuse BOOL 必须相等。

4. 强制测试与当前 gate

  1. 上表 16 个 variant 各一正向 literal，逐字段验证 26 键、BOOL/null、quota ID pattern、state/path/manifest presence。
  2. 负向：pure reuse 带任一 quota ID、reused=false、triggered=true；new trigger success 缺任一 RRR；release/uncertain 无 terminal id；artifact absent 却声称 RRR；均 ContractError。
  3. safe_available=0 下 PROJECT_REUSE_SUCCESS、CACHE_REUSE_SUCCESS 均 PASS，quota ledger bytes/hash/row count 前后不变；随后新 trigger 必须 PARTIAL_QUOTA_STOP。
  4. 混合 batch：2 个 reuse + safe=1 的 1 个新 trigger + 1 个 quota stop，trigger count=1、success=3、quota 增量=1，manifest/terminal 一致。
  5. cache identity/hash 证据不足时不得走 CACHE_REUSE；返回 BLOCKED_AMBIGUOUS_MAPPING，不得借“复用”规避 quota。

当前状态：PENDING_INDEPENDENT_DESIGN_REREVIEW。V005 PASS 前仍不创建源码/测试/额度账本，不运行 Python/ADB/APP/dry-run，不产生真实 trigger；新增 trigger=0。