慧博 10 分钟快速采集工具真实性能测试方案 V003

创建人员：dev.developer.ana.cai
task：DEV-ANA-HIBOR-FAST-COLLECTION-20260729-001
plan_id：PERF-TEST-PLAN-ANA-HIBOR-FAST-COLLECTION-V003
owner / reviewer：dev.developer.ana.cai / dev.reviewer.ana.cai
前序：V001、V002 均保持不可变；V002 audit=AUDIT-DEV-ANA-HIBOR-FAST-COLLECTION-REAL-PERFORMANCE-PLAN-V002=HOLD/1/1，snapshot=473533/edb4a93f6287a2515122c92b1b2c44e6fdc4f2190c5544005242f24bd6ee74de。
实现基线：AUDIT-DEV-ANA-HIBOR-FAST-COLLECTION-FORMAL-PLAN-RUNTIME-BINDING-IMPLEMENTATION-REREVIEW-001=PASS/0/0，snapshot=467815/cd787f0418351adafd13edd3ea1e91b964847b50d8bb6092d978e5ae7ee08bdb。

1. 继承与唯一修订

V003 完整继承 V002 已通过的 V004 TaskSpec、10-primary、额度、SLA、固定 pdfinfo、物理 plan、正式非 synthetic SUMMARY、证据根和管理授权边界。仅替换 V002 对“物理 plan 尚未成功冻结”的失败描述，并补齐执行协调者、时间来源和固定输出路径。

执行状态机严格分为：

PREPLAN
  -> PREPLAN_STOP（无有效 10-row plan；不得调用 SUMMARY）
  -> POSTPLAN（有效 plan + receipt 已冻结）
       -> POSTPLAN_SUMMARY（PASS / PERFORMANCE_FAILED / INSUFFICIENT_PERFORMANCE_SAMPLES）

PREPLAN 与 POSTPLAN 互斥。不存在有效物理 plan 时，禁止生成 HIBOR_FAST_PERFORMANCE_SUMMARY_V003；存在有效 plan 后，禁止再用 PREPLAN_STOP 掩盖已进入分母的样本。

2. 固定执行根与协调者

固定 evidence root：

E:\mb-ms-doc\project-info\ana-data\tmp\HIBOR-FAST-PERFORMANCE-20260730-003

固定目录/文件：

协调者是当前 exact dev.developer.ana.cai 源线程，通过受审 Python 模块入口顺序启动 collector CLI 与 hibor_fast_collection.performance。协调者不解析正文，不直接操作模拟器缓存文件，不绕过工具的 quota、CreateNew、hash 或 terminal 合同。

所有控制 JSON、terminal、manifest、task 和输出均 CreateNew/no-overwrite；相同 canonical bytes 可 exact replay，不同 bytes 或非普通文件冲突即 STOP。不得删除、改名、截断或覆盖冲突对象。

3. 时间来源与执行上下文

协调者在任何 APP/ADB 调用前，从单一 UTC wall-clock 读取一次 execution_started_at_utc，创建 HIBOR_FAST_PERFORMANCE_EXECUTION_CONTEXT_V001：

按顺序仅含：

schema_version,task_id,design_plan_id,evidence_root,execution_started_at_utc,timezone,trigger_cap,subjects。

固定值：task_id=DEV-ANA-HIBOR-FAST-COLLECTION-20260729-001、design_plan_id=PERF-TEST-PLAN-ANA-HIBOR-FAST-COLLECTION-V003、timezone=Asia/Shanghai、trigger_cap=10、subjects=[三环集团,国瓷材料,MLCC]。

每个 discovery/task 的 observed_at_utc 由协调者在该请求被当前执行观察、创建对应 request/task 之前立即读取一次 UTC wall-clock，并固定在该文件；不得回填、复制前一项或晚于子进程启动。collector 内的 monotonic timing 仍是 SLA 权威。

若进入 POSTPLAN_SUMMARY：

• started_at_utc 必须等于执行上下文的 execution_started_at_utc；
• ended_at_utc 由协调者在最后一个 collector terminal 已闭合、SUMMARY request CreateNew 之前读取一次；
• 必须满足 ended_at_utc>=started_at_utc；
• 两值写入固定 performance_summary_request.json，不得由调用方在 summary 生成后修改。

若进入 PREPLAN_STOP：started_at_utc 同上；ended_at_utc 在确定 stop_code 后、PREPLAN request CreateNew 前读取一次。

4. PREPLAN 门禁与停止分类

在有效物理 plan 与 receipt 冻结前，严格禁止 quota RESERVE、下载 tap、pull、PDF 发布、V004 collect/batch task 和正式 SUMMARY。允许的动作仅为：工具/设备/package/cache 预检、无写入 dry-run、额度 snapshot/必要的 APP_RECONCILE、只读 discovery、控制证据 CreateNew。

PREPLAN stop_code 固定枚举：

上述分支的正式结果是 PREPLAN_STOP，不是 INSUFFICIENT_PERFORMANCE_SAMPLES。QUOTA_INSUFFICIENT 和 CANDIDATES_INSUFFICIENT 只是 stop_code，不得伪造物理 plan 或进入 SLA 分母。

5. PREPLAN terminal 与 manifest

计划复审 PASS 后、真实性能授权前，需在现有 hibor_fast_collection.performance 增加并独立审核 PREPLAN 写入入口；未通过实现复审不得申请真实执行授权。

preplan_terminal.json schema=HIBOR_FAST_PREPLAN_TERMINAL_V001，按顺序仅含 20 键：

schema_version,task_id,design_plan_id,execution_started_at_utc,ended_at_utc,phase,status,stop_code,exit_code,evidence_root,plan_path,plan_presence,plan_bytes,plan_sha256,discovery_completed,qualified_candidate_total,reserve_count,trigger_count,quota_write_count,blockers。

固定交叉规则：

• phase=PREPLAN、status=STOPPED；普通已知 stop exit_code=10，STATE_UNCERTAIN 为 27；
• plan_presence=N|A|I|U；PREPLAN_STOP 不允许 V；N/A 时 plan bytes/hash 为 null，I 时记录实际已安全读取的 bytes/hash，U 时均为 null；
• discovery_completed 为 0..7；qualified_candidate_total>=0，只统计五字段完整、身份可复算且未重复的候选；
• reserve_count=0、trigger_count=0 必须恒真；
• quota_write_count 仅允许 0 或已持久化的 APP_RECONCILE 数，绝不包含 RESERVE/CONSUME/ARTIFACT；
• blockers 至少一项且第一项等于 stop_code。

preplan_manifest.csv 固定列：

evidence_type,path,bytes,sha256,status。

行顺序为：execution context、已成功创建的 discovery 文件（固定 slot 顺序）、可安全读取的 plan request/plan（如有）、preplan terminal。只登记普通非链接文件的实际 bytes/hash；不存在或未知对象不造行。manifest 自身不自哈希。

PREPLAN CLI 固定 request 按顺序仅含：

kind,terminal_value,evidence_root,evidence_paths，其中 kind=PREPLAN。固定输出为 --output preplan_terminal.json --manifest-output preplan_manifest.csv；入口验证 terminal schema/交叉字段、evidence root containment、证据 bytes/hash后，以 CreateNew/exact replay 写 terminal 和 manifest，并向调用方返回两者 path/bytes/hash receipt。任何 drift 不暴露为有效 receipt。

6. POSTPLAN 切换门禁

只有同时满足以下条件才从 PREPLAN 原子逻辑切换为 POSTPLAN：

1. performance_plan.json 是普通非链接文件、strict canonical JSON，schema=HIBOR_FAST_PERFORMANCE_PLAN_V002；
2. 顶层/entry/expected-report 键序、10-row 数量、三环集团/国瓷材料/MLCC 固定顺序、唯一 identity、batch I01–I04 与 discovery hash 全部通过；
3. plan CreateNew receipt 的 bytes/SHA-256 已写入协调者内存及后续所有 task/SUMMARY request；
4. reserve count=0、trigger count=0；未发生 collect/batch task；
5. current quota safe_available 仍>=10，子进程 liveness 已知为 0。

满足后，PREPLAN terminal/manifest 均不得创建；物理 plan 及 receipt 成为 POSTPLAN 权威。后续执行完整继承 V002 第 5–9 节：六个 V004 collect-one、一个 V004 batch(4)、最多 10 trigger、所有已 reserve 样本保留在分母、最后走正式非 synthetic SUMMARY。

计划成功后若只完成 0..9 个有序 primary，正式 builder 可读取有效 10-row plan 和对应 evidence reference 前缀，结果为 INSUFFICIENT_PERFORMANCE_SAMPLES；任一已 reserve 样本失败则为 PERFORMANCE_FAILED；10/10 与所有 SLA/证据通过才为 PERFORMANCE_PASS。

7. 可执行验收矩阵

在请求真实授权前，新增 PREPLAN 入口必须完成静态/单元/fake 测试并由 dev.reviewer.ana.cai 独立 PASS：

所有 fake 测试不得运行真实 ADB/APP、不得创建真实额度事件或触发下载。真实执行时任何 pre-plan stop 仅返回 PREPLAN package；任何 post-plan stop 仅返回物理 plan 与可验证实际子集，不得混合两个终态。

8. 审核与授权边界

本 V003 先提交 exact dev.reviewer.ana.cai 独立方案复审。方案 PASS 后，只允许实现并审核第 5 节 PREPLAN 写入入口及协调时间/路径合同；实现 PASS 后才可向 management.admin 请求一次真实 APP/ADB、最多 10 trigger 的性能执行授权。

V003 PASS、PREPLAN 实现 PASS 均不是 APP 执行授权。真实执行、quota、下载、性能样本、数据库、正文分析和 BATCH-001 在管理明确授权前全部禁止。

当前状态：PENDING_INDEPENDENT_REAL_PERFORMANCE_PLAN_V003_REVIEW。真实 ADB/APP/discovery/download/trigger/quota increment/performance sample/database=0/0/0/0/0/0/0/0。