r012 · 方法论 A-1 + 注入 v3 终报
轮次报告全文 · 逐字真源投影
本页是轮次报告的逐字投影（仅隐私清洗，零改写）。渲染不了的元素退化为代码块原文。
时点提示：本页是仓内文件 adhoc_jobs/context_infra_migration_20260709/runs/r012_20260716_injection_v3_orchestrator_isolation/reports/FINAL_REPORT_r012.md 的逐字投影（仅做隐私清洗：仓库根绝对路径→相对路径、家目录→~/；除此零改写）。若源文件后续有修订，以仓内真源为准。
报告元数据（frontmatter）
doc_type: final_report
program: context_infra_migration_20260709
run: r012_20260716_injection_v3_orchestrator_isolation
session_id: bdf02dfe-5561-4974-91b3-1dd7ceee3307
consumed_by: 用户触点（P-012/P-013）＋下一 run intake（RUN_TEMPLATE 义务 0/1）
template: ../../RUN_TEMPLATE.md 收口三件套之①（沿八节制＋A-1 新增 claim 覆盖矩阵）
created_at: 2026-07-16 CEST
html_artifact: r012 独立=https://claude.ai/code/artifact/cd7957f8-bfb3-4439-bc8f-5d90601a48bc ｜ r011+r012 融合=https://claude.ai/code/artifact/a9abb95f-c26f-440a-a13d-78b0ee0afaef（两者 2026-07-16 发布后均经 WebFetch 实测可读；本地权威副本=本目录 r012_report.html / fusion_r011_r012_report.html）r012 Final Report — 方法论修订案 A-1＋注入 v3 wired＋隔离机制＋三臂真实任务 eval
首屏判决：P-013 把本轮核心定为「整个重构方法论的更新」，四件全部落地。①方法论修订案 A-1（P-013 主交付）：八类保证机制分类学＋对指导席 13 条提案的逐条裁定（纪律条本 run 即行、工具条挂波次防吞噬），已接线 REFACTOR_PLAN §14／RUN_TEMPLATE（re-anchor 义务 0、claim 覆盖矩阵、worker 状态词纪律）／GLOSSARY r012 节。②注入 v3 wired：树全量可见＋道按判断精准注入＋术 description 维持；session 载荷 1,340B（v2 的 45%，可见性反升为全 skill 树）；两条 project hook 真实接线，冷启动探针 transcript 实证——r011 的 injection-in-effect 缺口关闭。③隔离四件（P-012 前提）：cron 双区标注／hook 仅测试文件夹生效／反向波及台账／沙箱执行；独立 verifier 三维复核旧根功能面零修改。④三臂真实任务 eval：9 臂中 8 臂完成（1 臂 DNF 如实记录）；盲评三案 B 臂（新框架）全部最优，负对照臂两案出现指向环境结构的系统性虚构（v3 注入的 grounding 效果因果签名）；另抓到旧根全局 hook 对新根 session 的悬空指针污染实证（#ISO-FENCE 直接依据）。全量=units/U-EVAL-AB/EVAL_SYNTHESIS.md。
① 问题定义（本轮解决什么、来源）
P-012（用户读毕 r011 报告后，逐字=../../ORIGINAL_PROMPT.md P-012＋inputs/P012_RAW_TURN.md）：注入机制优化（道精准匹配·协调+判断、树全量、哲学锚=全面性+洁净性）＋Orchestrator 角色与 Clean Context（含单独 session 补架构图）＋决策锚定仓库哲学记录 why＋熵增根因分析与有效性验证＋隔离前提（crontab 双区、stop hook 限测试文件夹、沙箱思路）＋双报告要求。
P-013（run 中优先级重定向，逐字=inputs/P013_RAW_TURN.md）：核心=整个重构方法论的更新；skill 注入只是分析执行效果的手段；提炼「skill 之外如何保证迁移/重构真正符合整个设计需求」；可用 Codex 5.6 取指导。
② 名词表（增量）
r012 新词 8 条已入 ../../GLOSSARY.md「r012 新增」节：方法论修订案 A-1／obligation slice／claim firewall／built-wired-effective-steady 四态／freshness 三维取证／re-anchor 三答／#ISO-FENCE／cron 双区标注制。
③ 前后对比（做了什么/动到哪/变化）
动到哪（一句话）：新根两笔 gateway commit（7307f0b 注入 v3 批 12 路径＋92aa538 隔离作用域批 4 路径；17→19 commits，树 clean，审计条目双双对上）；旧根仅 program 记录区 append（P-012/P-013 逐字、run 目录、design/METHODOLOGY_AMENDMENT_R012.md、REFACTOR_PLAN §14 一行指针、RUN_TEMPLATE 义务增补、GLOSSARY r012 节）——独立 verifier V5 三维复核（HEAD 6ae45b64 零动＋窗口零新 commit＋脏路径全数归位）。
| 面 | 改前（r011 收口） | 改后（r012 收口） | 锚 |
|---|---|---|---|
| 方法论 | §5 单元方法论＋RUN_TEMPLATE 三件套；「符合设计需求」靠单元纪律局部保证 | A-1 修订案：义务链/判定链/环境链三链总纲＋八类保证机制＋五条即行纪律（re-anchor/obligation slice/claim 覆盖矩阵/worker 状态词/blocking residual 规则）＋工具条挂波次 | design/METHODOLOGY_AMENDMENT_R012.md；REFACTOR_PLAN §14 |
| skill 注入形态 | 道/术双层制：道全文全量＋术 desc，2957B，STAGED（capability-in-place） | v3：树全量（全 skill 目录）＋道按判断注入（Layer A 确定层候选指针 ≤3＋Layer B 编排者判断，worker 全文随卡带 digest）＋术 desc 维持；session 1,340B；wired（双 hook 接线+探针实证） | INJECT_V3_SPEC；_MANDATORY #8；探针 e15e8a53 |
| hook 作用域 | 新根零 .claude/，旧根用户级 hook 全局波及（未登记） | ~/infra/.claude/settings.json 仅两条 project hook（SessionStart 注入/UserPromptSubmit 候选），只对 ~/infra 下 session 生效；反向波及六边逐条登记（observed-only） | U-ISOLATION D-ISO-2/3 |
| crontab | 三条已装（用户 07-1x 手装，patrol 已产首份报告） | 交付件补 # scope: newroot-only 注释（live 生效待用户重跑同一幂等命令） | infra.cron；D-ISO-1 |
| Orchestrator/Clean Context | 实践存在（r010 draft→place 等），无成文协议无架构图 | 协议成文（角色三分/责任分离触发器/skill 跟工作走）＋四张架构图（strict 0 失败）＋本 run 自身全程 dogfood | U-ORCH-CLEANCTX；diagrams/CLEANCTX_ARCH_DIAGRAMS.md |
| 效果证据 | 注入面无 A/B 效果数据 | 三臂×三真实任务 eval：O-E1 引导消费/O-E2 隔离/O-E3 盲评/O-E4 负对照 | units/U-EVAL-AB/ |
④ 可视化
../diagrams/：CLEANCTX_ARCH_DIAGRAMS.md（D-A 静态结构/D-B 动态时序/D-C context 生命周期/D-D 隔离边界）＋R012_OPS_DIAGRAMS.md（D-E 注入四代演进 148.7KB→4,707B→2,957B→1,340B 含「谁判断」列/D-F r012 运行拓扑）。六块全部带 provenance 四元组＋source digest，mermaid_diagram_check --strict 主编排独立复跑 0 失败。r011 的 9 块图与 5 张 SVG 原样有效（r011 独立操作展示，融合报告保留）。
⑤ 证据上限（诚实分级＋A-1 claim 覆盖矩阵）
- 「19 commits 全 gateway／载荷 1,340B／双解释器测试 rc=0／六图 strict 0 失败／双向探针命中与零命中」＝实测 solid（git+audit.jsonl+rc+transcript grep，且经独立 verifier V1-V6 全 PASS 复现）。
- U-INJECT-V3 claim=wired→effective(bounded)（四态词表）：机制+内容+真实触发面齐，冷启动探针实证注入发生（wired=solid）；效果面=三案盲评 B 臂全部最优（4/5、5/5、4.5/5），且负对照给出因果签名——v3 关闭的 C 臂两案出现指向环境结构的可定位虚构（虚构新根注入面文件名/把真实 gateway 判为假设），v3 在场的 B 臂三案环境引用零失实。effective 限定 bounded（单 provider 3 case 单轮）。steady 未 claim（需跨 run 观察）。
- U-ISOLATION claim=wired(bounded)：O-ISO-2/3/4 全过；O-ISO-1 live crontab 注释待用户重跑幂等命令（交付件已带）。
- A-1 方法论修订案 claim=adopted-for-r012（bounded）：纪律条本 run 即行并有首个 dogfood 样本（obligation slice/RETURNED-VERIFIED 状态词/re-anchor 均真实执行）；「后续 run 真的遵守」待下 run re-anchor 义务回核；工具条全部未建（挂波次，不 claim 存在）。
- eval claim=bounded_real_condition_validated：3 case×3 臂（8 完成+1 DNF 如实记录）；单 provider（kimi）单轮，禁跨 provider/统计显著性表述。
- claim 覆盖矩阵（A-1 义务）：decision-mode=自动决策模式（交互分支零采样，维持 bounded_for_mode）；consumer 真实性=注入面有真实触发+探针，方法论条款的消费者=下一 run（首验待发生）；环境隔离=旧根零修改经三维独立复核，旧根→新根反向波及已登记未消除（#ISO-FENCE 波次 1）。
⑥ 残差与球权
需要你动手的（一件，幂等安全）：重跑一次 crontab 安装命令（与 r011 同一条，块内容已带 scope 注释）：
crontab -l 2>/dev/null | sed '/# BEGIN infra-newroot/,/# END infra-newroot/d' | cat - ~/infra/config/cron/infra.cron | crontab -你手里的球（更新后）：
- 上项 crontab 重装（唯一新动手项；不装也只影响注释可见性，三任务本身已在跑——07-15 patrol 报告为证）。
- #ISO-FENCE 排期确认（推荐默认=插入波次 1）：旧根写入运行时拒绝+独立 HOME 测试底座；本轮悬空指针污染实证（case2_B 三次 ERR）是它的直接依据。
- eval 扩样与 v3 长观（本轮 bounded；扩样建议排波次 2 随 eval_harness 新根化）。
- 维持：L4 交互 dogfood 15 分钟／TMPDIR 41G「清」／main 6524 挂起／T1463。
- r011 球权消解确认：crontab 安装已消解（你已装且已产出）。
残差登记：r012-R1 patrol_reports 留存策略（owner=patrol 下一单元，close_oracle=策略成文）／r012-R2 旧根→新根反向波及六边未消除只登记（owner=#ISO-FENCE，close_oracle=fence 负样本 rc 非零）／r012-R3 route_hint 依赖 INDEX triggers 列的人工维护（新 skill 不写 triggers 则 Layer A 盲区；close_oracle=skill_index_gen --check 扩 triggers 空值警示，挂波次 1 附加件）／r012-R4 eval case1_A DNF 未重试（协议如实；扩样时补）。
⑦ 整体迁移优先级规划（真源=r010 PRIORITY_PLAN，本轮增量）
五档波次框架不变。波次 0 增补：注入 v3（wired）＋方法论修订案 A-1＋隔离作用域件。波次 1 增补：#ISO-FENCE（新增单元）＋三附加件挂既有项（schema contract→#15 tool_receipts、worker liveness→#18/#19 session_dispatch、freshness gate→#15 同批）。下一 run 首选维持 #15 tool_receipts（A-1 判定链的 schema 落点，r011 claims 双 schema 教训+本轮 claim firewall 字段需求双重喂入）。其余波次 2-4 序与判据照旧。
⑧ 关键决策点与自主决策方式（全文=../decision/DECISION_RECORDS.md，10 行带 class/可逆性/哲学锚）
D-r012-01 三席不撤转喂／02 P-011 注入形态被 P-012 显式 supersede 的边界认定／03 指导席 13 条右尺寸化（纪律先行防吞噬）／04 树预算 16,384B（纯投影口径）／05 eval 三臂控变量／06 基线修订走 §14 append 指针／07 判断步归编排者两级制（拒 hook 内 LLM、拒常设路由 session）／08 新根 project hook 现在建（P-012 逐字支撑+D1 已裁）／09 INFRA_INJECT_DISABLE 负对照开关／D-INJ-1..5、D-ISO-1..4 细目见各 spec。
模式：全程自动决策模式＋A-1 即行纪律首个 dogfood；HUMAN_GATE 触发 0（零破坏性动作：物理删除 0、旧根功能面零写、live crontab 零触碰）；偏离推荐默认 0。
Post-close addendum（2026-07-16 晚追加，非 r012 run 内容）
r012 收口后同日，用户报告旧根 UserPromptSubmit hook「timed out after 10s — output discarded」并当次授权修复。旧根 tools/skill_router_hook/route_on_prompt.py（deliver-then-persist 硬化）与全局/项目 hook timeout（10→30s）已于当晚变更。本报告中「旧根功能面零修改/零写」诸声明的有效边界=本 run 收口时刻，声明在 r012 窗口内仍真。例外授权、变更清单、根因证据与 #ISO-FENCE 波次 1 重锚义务（实施前以修改后的 route_on_prompt.py 为准）详见 ../../interim_20260716_hook_timeout_fix/RECORD.md。