context-infra 检查与复盘infra.guiming.net · 全内容自包含呈现 · 生成于 2026-07-21 16:28 UTC

production 需求补充 · 终报

Z3 全文↑ Z2 条目

轮次报告全文 · 逐字真源投影

← 返回报告库 · production 化推进

本页是轮次报告的逐字投影（仅隐私清洗，零改写）。渲染不了的元素退化为代码块原文。

时点提示：本页是仓内文件 adhoc_jobs/context_infra_base_tooling_buildout_20260615/production_push_requirement_supplement_20260613/reports/FINAL_REPORT_20260613.md 的逐字投影（仅做隐私清洗：仓库根绝对路径→相对路径、家目录→~/；除此零改写）。若源文件后续有修订，以仓内真源为准。

报告元数据（frontmatter）
schema_version: fa-1
doc: final_report
session_id: 844277f2-ca16-400f-b381-64ed1e93c68d
created_at: 2026-06-13
requirement_anchor: ../REQUIREMENTS_DESIGN.md

Production Push 需求补全 收口报告

一句话结论

PP（infra_production_push_20260611）的需求记录从扁平、截断、缺域的 REQUIREMENTS_BASELINE.md（UP-01..98）补成了按域组织的设计需求真源：REQUIREMENTS_DESIGN.md（6 域索引）+ requirements/design/<域>.md 六个域文件（3145 行），每条需求逐字 + 源 prompt 回链 + provenance + baseline 交叉引用；新增 file_system_architecture 整域。独立审计：format 6/6 通过，verbatim 抽样 EXACT 约 72%，7 处可定位问题已全部修复。

对照设计需求（SD-1..8）

SD要求状态证据
SD-1 覆盖完整覆盖来源全集在 PP scope 内的需求达成591 候选判定，460 relevant 全部 landed（新条或 folded），131 out_of_scope 全记 LEDGER；零静默丢弃（各域覆盖账 / per-domain coverage ledger）

coverage 总结：591 judged → 460 relevant landed + 131 out_of_scope recorded；每域 coverage 账覆盖其全部候选 cand_id，无静默丢弃。

| SD-2 反碎片化 | 单 prompt 完整可重建、每条回链整段原文 | 达成 | 每域「源 prompt 锚」表 + 每条 `源 SP-x` 回链；verbatim 完整不截断（修复后） |
| SD-3 两级分离 | 设计需求按域文件，与执行需求分离 | 达成 | REQUIREMENTS_DESIGN 索引 + 6 域文件；BASELINE 保留为抽取 provenance（见下「BASELINE 处置」） |
| SD-4 file system 新域 | 新增 file system 设计需求域 | 达成 | `file_system_architecture.md`（D0.2.1）：FA-1..16 + A-01..09/S-06/RR-01 + §0/§0.5/D1-D7 + 跨簇补入 + schema 目标态，123 候选 |
| SD-5 AAU/LOOP 迁移 | 按相关性迁入 PP scope 内的 AAU/LOOP | 达成 | runtime 域含 controller loop 轮契约 / 可磁盘恢复 / 周期唤醒 / skill 职责分离等 AAU 运行时机制（aau_core+runtime_aau_loop 簇）；AAU 纯内部研究/演进判 out_of_scope |
| SD-6 忠于原文 | 逐字 + provenance（四键 + 冻结） | 大体达成（72% EXACT，修复 7 处后更高） | provenance 四键 6/6；独立审计 + 修复；残留 source-choice 见「诚实边界」 |
| SD-7 可复用 workflow | 构建并持久化相关性 workflow | 达成 | `workflow/relevance_harvest.workflow.js` + `design/RELEVANCE_WORKFLOW_DESIGN.md` + `workflow/split_addlists.py`；run 产物 LEDGER + 5 judged + 6 addlist 落盘 |
| SD-8 机械验证 | 过 gate + 覆盖审计 | 部分达成 | provenance_mark 四键 6/6；独立 verbatim+覆盖审计已跑；fa_structure_gate 对 PP SKIP（见「follow-up」） |

做了什么（过程 + 前后对比）

诊断（前）：baseline REQUIREMENTS_BASELINE.md 246 行，UP-01..98 五域（A/B/C/D/X），单文件扁平；verbatim 截断到「≤2 句关键句」；无 file_system 域；§5 自承认 25 行抽取上限导致漏抽；reports 锚报告 session 自身 RQ-1~6（fa-1 SOP 点名反例）。

抽取（workflow）：5 来源簇（landing / file_system / runtime_aau_loop / aau_core / registry_git）经两 stage pipeline（enumerate→judge）判定 591 候选 → 460 relevant / 270 标 new / 131 out_of_scope。确认 baseline 真实欠抽取：landing 簇枚举 263 候选，baseline §2 仅从同源抽 ~29 行。

补全（后）：6 域文件（runtime 1105 行 / git 652 / cross_cutting 467 / file_system 344 / ddp 299 / guardian 278），每条 = 标题 + 元数据行（源 · provenance · baseline）+ 逐字 blockquote；新增条用 RT-/GT-/DDP-/GD-/XC- 编号，已覆盖条与 baseline UP 合并呈现，每域末尾「覆盖账」登记全部候选落点。

验证 + 修复：独立审计（非起草者）抽样 25 条 → format 6/6、verbatim 72% EXACT、7 处可定位问题；修复 agent 逐条修：SP-RT-3 幻觉路径纠正、RT-07 漏字补回、UP-02 (b)(c) 子标签恢复、A-01/S-06 升级为 raw 原文、XC-25 同源标记恢复、AAU_CORE-82 悬挂跨域改判 out_of_scope。

反碎片化机制（针对用户核心诉求）

三层结构修复「一个 prompt 提到的内容多希望完整体现」：

  1. 完整 verbatim blockquote 取代 baseline 的 ≤2 句截断。
  2. 每条 源 SP-x 回链整段来源 prompt，一个 prompt 的多域诉求从任一条都可跳回完整上下文。
  3. baseline 交叉引用列区分「已有 UP-xx」与「本次新增」，无静默重复。

BASELINE 处置

REQUIREMENTS_BASELINE.md 不删，保留作抽取 provenance + 执行基线角色。建议在其顶部加 banner「设计需求真源已迁至 REQUIREMENTS_DESIGN.md + requirements/design/，本文件留作抽取过程 provenance」（本报告建议，未代改 baseline）。

诚实边界 / claim ceiling

Follow-up（建议，未做）

  1. PP 完整 fa-1 adoption：README 加 schema_version: fa-1 + reports 按 FA-9 改锚设计需求真源（现锚 RQ-1~6）+ 目录登记 GENERATED 块。这会触发 fa_structure_gate 一批 FLAG，是独立的结构收口任务。
  2. verbatim 全量升级：对剩余用整理版的条目逐条回 REQUIREMENTS_ORIGINAL_TEXT 升级为 raw（若用户要严格逐字）。
  3. 270 new 的 MC3 全量盲抽对账：把净新增收敛到精确数。
  4. 域文件存量 UP-xx 的 verbatim 也升级为完整原文（现用 baseline 截断版）。

产物清单

← 返回报告库 · production 化推进