workflow_precise_reading

道-方法 · 道层 skill 全文

本页是 <code>rules/skills/drafts/workflow_precise_reading.md</code> 的逐字投影（仅隐私清洗，零改写）。

name: workflow_precise_reading
description: 精准阅读专项道 skill（道）—— Loop/AAU canonical phase 序列第 3 phase「精准阅读」的怎么做。给已定位的信息按第 2 phase 的覆盖义务清单逐条核验「读够没读够」，每条义务标 gap_state（satisfied / partial / unmet / blocked / deferred）+ 证据锚，exit 判据由独立 RP-C 型 verifier 持有而非执行者自报。是 locate/read 两阶段正交的 read 半（locate 半见 workflow_recall_first_locate，大输入读取机制见 workflow_long_context_scale_up）。配 precise_reading_gate 检测器。
type: Workflow（道层 / Phase 3 专项）
status: draft (Beta) — 晋级前需在 ≥1 次真实 Loop/AAU 运行的精准阅读 phase 按本 skill 产出 reading ledger 并过 precise_reading_gate，证据到 bounded 以上
created: 2026-06-05
version: 0.1.0 (draft)

精准阅读：按覆盖义务读，不按文件读

一句话

定位（recall_first_locate）保证「找到了」，精准阅读保证「找到的东西逐条满足了需求」。它接住 Phase 1 召回核验过的候选位置集 + Phase 2 的覆盖义务清单，对每条义务去已定位信息里找满足它的证据，逐条标 gap_state + 证据锚，产出一份 reading ledger；「读够了」不是执行者的感觉，是独立 verifier 对覆盖义务清单的核验结果。

何时用

• Loop/AAU canonical phase 序列走到第 3 phase「精准阅读」：信息已定位、需求已拆成覆盖义务，要把信息读进来对义务打标。
• 任何「信息已找到、要判它够不够支撑后续决策/执行」的场景（不限于 Loop runtime）。
• 判一份已有的 reading ledger / 精准阅读产物是否良构（用配套检测器 precise_reading_gate）。

非 trivial 的「读已定位信息」任务前，先按 _DAO_ROUTING 路由到本 skill；单文件一眼看完的琐碎读取不必。

不做什么（边界）

净空白 = 既有 skill 都不做的那件事：以覆盖义务清单为锚、对已定位信息逐条核验满足性。边界点名划清，防重复造：

• 不做定位（locate）：找候选位置集 + 证明没漏归 workflow_recall_first_locate。本 skill 假设信息已定位、收到的是召回核验过的候选集 + receipt。
• 不做大输入读取机制：token 预算、分片、原文逐段覆盖审计、residual ledger 归 workflow_long_context_scale_up。它保证「原文被读到」；本 skill 保证「覆盖义务被满足」。两者分工正交：源很大时本 skill 路由它做分片，拿回「原文已读到」后再回来对义务打标。
• 不生成覆盖义务清单：义务集（hard / negative / success_effect / deliverable + proof obligations）由 Phase 2 workflow_requirement_decomposition_core + workflow_requirement_analysis_quality 产出。本 skill 消费这张清单当锚，不重做需求分析。
• 不判决策证据强度：读出的证据够不够支撑一次决策/claim，归 Phase 4 workflow_solid_decision_review（claim ceiling）。本 skill 只判「义务被信息满足了没」，是它的上游输入。
• 不做真实条件验证：产物对需求有没有产生 effect 归 Phase 5 workflow_real_task_test_case_design。

核心方法：五步

理论母体见 contexts/survey_sessions/requirement_anchored_context_sufficiency_architecture_20260531_manual.md（session bf292209）：信息收集是需求锚定的充分性控制问题，context 是对需求 Y 的最小充分集 I(T;Y)，「够了」必须从外部相对需求测量、执行者内部算不出。五步把这个原理落成可操作的读取纪律：

1. 以义务为单位读，不以文件为单位读。遍历覆盖义务清单，对每条义务去已定位集里找满足它的信息。需求是锚（不是先顺序读完所有文件再回头对账——那样注意力锚在文件顺序上，漏的义务看不出来）。

1. 每条义务标 gap_state + 证据锚。五值（来自 llm_agent_depth_decision_design §5，理论母体 §3.3 引）：
• satisfied：附可核验命中（source path + line/anchor + 证明该义务被满足的引文）。不接受「我读了这个文件」「理解了」这种没有命中锚的声称。
• partial：满足了一部分，标清缺哪部分。
• unmet：在已定位源里找过、没有——标 none-found（在哪几个源里找过）。
• blocked：有源但读不到（权限/损坏/不可达），标什么挡住。
• deferred：本轮不读，标为何延后 + 何时回。

1. 大输入路由 workflow_long_context_scale_up。某条义务对应的源超出一次能读完的量时，借它的 token 预算 + 分片 + 原文覆盖审计把「原文被读到」做实，拿回覆盖证明后再回来给义务打标。别把「原文太大没读完」静默记成 satisfied。

1. 充分性误差信号，替代「我读够了」的感觉（理论母体 §3.3，这三件一起替代投票）：
• 覆盖义务核验：每条 hard 义务有命中或 none-found 记录，没有「跳过未标」的义务。
• 边际增益门：连续 N 轮再读、覆盖义务的 satisfied 增量 < ε → 停机候选（再读不增信息了）。
• 残差 ledger：unmet / blocked / deferred 显式声明，不藏。

1. exit 判据由独立 verifier（RP-C 型）持有，不是执行者自报。停机权不在执行 agent 手里（理论母体 §3.4：执行者判「我读够了」与原任务同等代价且内部不可见）。一个独立第二 agent（forbidden_read 含执行者的成功叙事 / 最终答案，防污染），问「当前已读信息是否逐条满足覆盖义务清单」，输出 AAU RP-C 四值之一：PASS（够，进下一 phase）/ WARN（够但 final_boundary 要披露残差）/ BLOCK（不够，挡住）/ NEEDS_MORE_CONTEXT（回 Phase 1 补采）。unmet 非空一律禁止离开 phase——停机谓词约束。Loop/AAU runtime 里这个 verifier 是 RP-C agent；落地/审查语境里由 precise_reading_gate 的 regulator 承担。

完成判据（一份 reading ledger 是否良构）

配套检测器 precise_reading_gate（确定层壳 PR1-PR3 + regulator PR4，工具路径查 tools/INDEX.md）。一个无上下文 agent 拿这四条也能判一份精准阅读产物过没过：

• PR1 覆盖义务锚（确定层）：reading ledger 引用了 Phase 2 的覆盖义务清单，每条义务有 id + 来源锚，且逐条都有 gap_state。无义务锚 / 不是逐条标 = FLAG。
• PR2 gap_state 完整 + satisfied 带证据锚（确定层）：每条义务的 gap_state ∈ {satisfied, partial, unmet, blocked, deferred}；satisfied / partial 的条目附了 source path + 命中锚（非空、非纯「done / 已读 / 完成」）。缺 gap_state、或 satisfied 无证据锚 = FLAG。
• PR3 残差 + 独立 exit 声明（确定层）：unmet / blocked / deferred 非空时有显式残差声明；ledger 声明 exit 判据由独立 verifier（RP-C 型）或确定性 gate 做、非执行者自报。无残差 ledger 或无独立 exit 声明 = FLAG。
• PR4 satisfied 是真命中还是自报（regulator，语义）：独立第二 agent（codex:high，forbidden_read 含执行者成功叙事 / 答案）核每条 satisfied 的证据锚是不是真支撑该义务被满足（而非复述义务原文、「我读了这个文件」、或源里其实没有那条信息），且 gap_state 判定是机械可核验（有命中 / none-found 锚）还是执行者主观「我读够了」。FLAG 给可定位反例（哪条义务的 satisfied 无支撑、为什么）。

fail-safe：检测器任一项不可判（regulator 通道失败等）→ UNKNOWN → 当 FLAG 处理，不放行。

收口调用（这一步是 phase 的机械 exit 信号，不靠执行者自报「读够了」）：精准阅读 phase 产出 reading ledger 后，跑 python3 tools/precise_reading_gate/check.py --asset <ledger 路径> --regulator-tier codex:high --timeout 900 核 PR1-PR4；FLAG 按可定位反例修过、再当本 phase 完成。确定层快速过结构用 --no-regulator（PR1-PR3），完整核（含 PR4 判 satisfied 真命中 vs 自报）跑全。

与相邻 phase 的衔接

Phase 1 定位            Phase 2 需求分析            Phase 3 精准阅读(本skill)        Phase 4 决定执行
recall_first_locate  →  requirement_analysis  →   按义务读已定位信息            →   solid_decision_review
(候选位置集+receipt)    (覆盖义务清单=锚)          (reading ledger: 逐条gap_state)  (证据强度→claim ceiling)
                                                         ↑ 大输入时路由
                                                   long_context_scale_up
                                                   (分片+原文覆盖证明)

回环（理论母体 §2.1 受控迭代）：精准阅读发现某条 hard 义务 unmet 且已定位源里确实没有 → NEEDS_MORE_CONTEXT 回 Phase 1 补采 / 锐化搜索锚点，不是在 Phase 3 硬把 unmet 标成 satisfied。

可用资源

• 上游：workflow_recall_first_locate（定位，给候选位置集）、workflow_requirement_analysis_quality（给覆盖义务清单）。
• 读取机制：workflow_long_context_scale_up（大输入分片 + 原文覆盖证明）。
• 下游：workflow_solid_decision_review（证据强度定级）、workflow_solid_decision_phase（跨 closure 联动）。
• 配套检测器：precise_reading_gate，工具路径查 tools/INDEX.md。
• 理论母体：requirement_anchored_context_sufficiency_architecture_20260531_manual.md（充分性误差信号三组件 + gap_state 五分类 + 停机谓词）；RP-C 四值 verdict 结构见 AAU DESIGN_FINAL_v3（adhoc_jobs/atomic_agent_unit_20260509/）。
• 总领框架：workflow_phase_framework（本 skill 是它 canonical 序列第 3 phase 的路由目标，填补其点名缺口）。

诚实 claim ceiling / 缺口

• 证据等级 bounded：本 skill 是设计综合（基于 bf292209 理论母体 + AAU RP-C 结构 + 既有 locate/read 正交 skill 边界），未经真实 Loop/AAU 精准阅读 phase 大规模运行验证。晋级 production 需 ≥1 次真实运行按本 skill 产出 reading ledger 且过门。
• 边际增益门的 N / ε 是定性约束，未给确定层量化默认值（看任务调，过早硬编码会误停）。
• 与 long_context_scale_up 的分工是「判断 vs 机制」的概念切分，真实大输入任务里两者的交接点（何时该路由出去、拿回什么算够）需在实跑中校准。