A-1 修订案
Z2 条目↑ Z1 版块 ↓ Z3 全文
方法论道层 · 重构方法论
A-1 修订案
viewtype=分类映射图 · 答：A-1 修订案三条保证链各管什么、八类机制怎么归口 · 不答：具体波次排期
义务链 / 判定链 / 环境链 × 八类保证机制
真源路径：adhoc_jobs/context_infra_migration_20260709/design/METHODOLOGY_AMENDMENT_R012.md · 图型：分类映射图 · 域：重构方法论
真源正文
报告元数据（frontmatter）
doc_type: methodology_amendment
program: context_infra_migration_20260709
amends: design/REFACTOR_PLAN.md（r006-2.0-draft）§3/§5/§8/§9 ＋ RUN_TEMPLATE.md
requirement_anchor: P-013（核心指令：整个重构方法论的更新；逐字=runs/r012_*/inputs/P013_RAW_TURN.md）＋P-012 ③④（哲学锚定决策+方法论更新方向）
inputs: 指导席 codex 5.6 报告（runs/r012_*/units/U-METHODOLOGY/staging/methodology_codex.md，13 条提案 P0-P4，判级 partial_continue）＋kimi 熵分析席（units/U-ENTROPY/staging/entropy_kimi.md）＋主编排独立复验（锚点抽查全过）
author: 主编排终裁亲写（r012，session bdf02dfe）
status: ADOPTED-for-r012（本 run 起即行的纪律条即刻生效；工具条挂波次；基线正文不重写，REFACTOR_PLAN 尾部加一行 AMENDMENTS 指针）
version_note: 本文件为 REFACTOR_PLAN r006-2.0 的第一份修订案；基线版本号不动（draft 期 amendment 累积，完全重构后一并定版，承 P-011 方法论暂不晋升裁定）
created_at: 2026-07-16方法论修订案 R012 — skill 之外，怎么保证重构真正符合设计需求
§0 回答的问题（P-013 逐字）
「我们需要从中提炼出：在 skill 之外的其他部分，我们到底要如何去保证这种迁移或重构，是真正符合我们整个设计需求的？」
答案的骨架是三条链，对应输入/输出/环境三轴（指导席「三件事」收敛，主编排采信并右尺寸化）：
- 义务链（obligation chain）：每条原始需求都能机械回答——由哪个单元承担、哪个产物实现、哪个 oracle 验收、哪个消费者使用、哪个旧入口退役、没完成时残差归谁。证明「做的是用户要的事」。
- 判定链（claim firewall）：执行者返回、确定层 verdict、独立语义 verdict、消费激活、最终报告五层彻底分开，只有外部闸门能升级状态。证明「确实做成且没有骗过验收」。
- 环境链（runtime/freshness fence）：旧根零污染由机制而非自觉保证；状态判断恒双维度（committed＋working tree/untracked＋host 面）。证明「是在正确环境、正确版本、正确 authority 上做的」。
skill 注入在这个框架里的位置：引导面只是「进」段的一个手段（P-013 定位），义务链管「记/转」、判定链管「判」、环境链管「做」的边界——五段闭环（北极星 §2）缺一不可，注入做得再好也替代不了其余四段。
§1 保证机制分类学（八类；现有→缺口→本轮动作→归属）
| # | 机制类 | 已有（有真实先例） | 缺口（有真实反例） | 本轮动作 | 工具落点归属 |
|---|---|---|---|---|---|
| 1 | 需求保真 | 逐字 INTAKE／78 条台账／DDP 三面／双射对账 | 无「需求→消费者」双向闭合图；验证分支覆盖可被整体 claim 掩盖（r010 M-C 只覆盖自动模式） | 纪律即行：每 run 建 obligation slice（本 run RUN_LOG §0 已扩列）；claim 必带覆盖矩阵 | 全量 obligation graph 工具＝波次 1 插件（挂 #15 tool_receipts 同批 schema） |
| 2 | 完成防造假 | ACTIVE 七项／三层证据／独立 verifier＋regulator／负对照 | worker 可先报 DONE（r010 Kimi 实例）；报告措辞可超证据上限 | 纪律即行：worker 一律只产 RETURNED，VERIFIED 只由主编排复验后写；报告首屏判决只引 gate/复验输出 | claim 状态字段进 #15 schema；报告 checker＝波次 2 |
| 3 | 执行防漂移 | U0-U9／context packet／即时 append | worker liveness 无确定层信号（GLM 空转 15min 实例）；phase 可盖章 | 纪律即行：派发卡带心跳/超时预算，主编排定点核 staging mtime | liveness 字段挂 #18/#19 session_dispatch 新根化 |
| 4 | 意图防稀释 | U0 逐字／U9 六标准／上一 run 回指 | 多跳 handoff 无意图 digest，稀释靠下家自觉发现 | 纪律即行：RUN_TEMPLATE 增开工义务 0——re-anchor（对上 run 报告＋P-台账做「对象/边界/残差」三答，写进 RUN_LOG 首行） | digest 化 handoff packet＝波次 2 |
| 5 | 环境防污染 | 双根分区／SOURCE_DECISION／runtime-origin／mtime+HEAD 复验 | 保护靠事后观察非运行时拒绝；host 级 hook 跨根波及（r010 GLM 180s 等待实例；r012 D-ISO-3 台账） | 本轮建：U-ISOLATION 四件（cron 双区标注／project 级 hook 作用域／波及台账／沙箱执行）；freshness 双维度纪律即行 | 写入级 fence（独立 HOME/allowed_write_paths/进程观测）＝波次 1 新增单元 #ISO-FENCE |
| 6 | 消费保证 | 能力闭环五要素／Consumed+Effective／landing 四条件 | built/wired/effective/steady 四态混称风险（r010→r011 注入单元改判实例；cron 交付件 vs in-effect） | 词表即行：GLOSSARY 收录四态，单元 claim 必用四态之一；Full 档 U2 必须写 consumer 行（trigger+runtime_origin+效果输出） | Consumer Contract schema＝波次 2（挂 landing_gate 新根化 #26） |
| 7 | 新鲜度保证 | source snapshot／三点重算 | HEAD-only 判断漏 uncommitted（r009-R1 CLAIMS 活例）＋host 面未纳入 | 纪律即行：一切「状态一致/零修改」claim 必须 committed＋uncommitted＋host 三维取证 | freshness gate 工具＝波次 1 插件 |
| 8 | 问题闭环 | residual ID／EXEC_LEDGER／下 run intake | 登记可能成为终点（发现无处置，SHC C 批跨域元发现同指） | 纪律即行：blocking residual 无 owner 则本 run 禁 claim complete；close 只由 close_oracle 触发 | residual consumer 调度＝波次 2 |
右尺寸化裁定（防 L1 防吞噬纪律失守）：纪律条本 run 即行、零新工具；工具条一律挂到既有波次单元同批建（schema 同批、验证同批），不为方法论另起 buildout。这是对指导席 13 条的主要修剪——13 条全采会让方法论硬化自己变成吞噬性工程。
§2 采纳裁定明细（对指导席 13 条）
| 提案 | 裁定 | 生效形态 | why（哲学锚） |
|---|---|---|---|
| P0 obligation graph | 采，右尺寸 | slice 纪律即行＋图工具挂波次 1 | 北极星「记/转」段；P-013 逐字（保证符合整个设计需求） |
| P0 claim firewall | 采 | 纪律即行＋schema 挂 #15 | 判定权外移原则（用户确认过的 (d) 根局限）；「判」段 |
| P1 schema contract（工具与台账同批建） | 采 | 波次 1 纪律（r011 claims 教训已预写入 PRIORITY_PLAN，本案固化为通则） | 熵控制：接口先于实现 |
| P1 worker liveness | 采 | 卡纪律即行＋字段挂 #18/#19 | 「做」段减负；GLM 空转实例 |
| P1 freshness 全表面 | 采 | 三维取证纪律即行＋gate 挂波次 1 | r009-R1 活例；SHC staleness 双维度教训同源 |
| P1 旧根写入 fence | 采，缓建 | 观察侧本轮建（D-ISO）；拒绝侧=波次 1 #ISO-FENCE 单元 | 「尽量与 context-infra 隔离」（P-012 逐字）；环境链 |
| P2 handoff 意图保真 | 采 lite | re-anchor 开工义务即行；digest 工具波次 2 | 意图防稀释；DPI 纪律（unit_decomposition C1） |
| P2 Consumer Contract | 采 | 四态词表即行＋schema 波次 2 | built-not-wired 元发现（C 批跨域同指）；「转」段 |
| P2 per-unit 负对照矩阵 | 采 | U2 义务即行（按单元类型选适用负对照，写进 oracle 文书） | 「判」段；负对照是 oracle 的 oracle |
| P2 verifier 独立加硬 | 采 | forbidden-read 扩到建造者报告/claim/前轮 verdict，即行 | 判定权外移；从众防御（B6） |
| P3 residual 消费者 | 采 lite | blocking residual 无主禁 complete，即行 | 「转」段；发现无处置母题 |
| P3 M-C 收紧 | 采 | claim 恒带覆盖矩阵（bounded_for_mode 口径），即行 | 诚实分级；r010 M-C 限定先例 |
| P4 报告=gate 派生物 | 采原则 | 首屏判决只引复验输出即行；checker 波次 2 | 报告不得单独升级状态 |
未采/降级：无整条否决；全部 13 条方向成立，修剪只在「何时建工具」。分歧记录：指导席倾向更多 P0 立即建工具，主编排按 L1 防吞噬纪律（r006 Codex 席 R-1 先例）压到「纪律先行、工具挂既有波次」。
§3 Orchestrator 与 Clean Context 执行协议（P-012 ②，方法论组成部分）
角色三分与责任分离触发器全文＝runs/r012_*/units/U-ORCH-CLEANCTX/（DESIGN_DRAFT→终稿），此处收束进方法论的三条硬规则：
- 主 session 恒为 Orchestrator：冻结→拆卡→派发→独立复验→放置提交→报告；重活（读海量文件/批处理/绘图/蒸馏/审查）一律派 clean-context worker。触发器机械化：context 装载近窗口 20%／主题>5／约束>5／V_R<V_D 任一命中即拆卡。
- skill 跟工作走：worker 需要的道/术 skill 由 Orchestrator 判断后随卡全文注入（推式），worker 不自己漫游找 skill；Orchestrator 自身靠全量 INDEX 树+判断按需 Read（拉式）。这就是 P-012「协调和判断完成匹配」的机制落点。
- worker 产物三隔离：不见 Orchestrator transcript、不见同侪产物、只写 staging/卡内声明路径；返回态恒 RETURNED，升级恒在主编排复验后。
§4 引导面（注入 v3，P-013 定位=分析执行效果的手段）
v3 形态终裁与实现规格＝runs/r012_*/units/U-INJECT-V3/INJECT_V3_SPEC.md（本案只挂结论）：INDEX 树全量（全面性）＋道级按判断精准注入（洁净性）＋术 description 维持＋预算硬闸 never-trim。效果由 U-EVAL-AB 三臂实验度量（A 旧根基线/B 新框架/C 负对照），eval 结论回喂本案 §1 表。
§5 环境保真（P-012 隔离前提）
四件设计＝runs/r012_*/units/U-ISOLATION/DESIGN.md（D-ISO-1..4＋O-ISO-1..4）。方法论层的通则：隔离双向——新根不改旧根行为（写侧零修改，program 记录区 append 除外）；旧根对新根的波及逐条登记、eval 中控制变量（观察侧），运行时拒绝挂波次 1 #ISO-FENCE。
§6 r012 自身 dogfood（本案不是纸面——本 run 即按此执行）
- 义务链：RUN_LOG §0/§3 需求→单元映射即 obligation slice（P-012 六组+P-013 全行，含 oracle 与消费者列）。
- 判定链：三席+指导席产物全部标 RETURNED，主编排锚点复验后才引用（kimi 4 锚 3 ✓ 1 修正、codex 3 锚全 ✓，复验记录在 RUN_LOG）。
- 环境链：U-ENTROPY 三席只读派发+「零文件写入」验收；旧根功能面零修改由收口独立 verifier 三维复核（O-ISO-3）。
- re-anchor：本 run RUN_LOG 头部指针行引 r011 FINAL_REPORT（义务①先例，升格为通则后首个样本）。
§7 对基线与模板的具体修订行（append-only）
REFACTOR_PLAN.md尾部追加一节「§14 AMENDMENTS」：一行指针到本文件（基线正文零重写；下版定版时合入）。RUN_TEMPLATE.md开工义务前插「义务 0：re-anchor 三答（对象/边界/残差，对上 run 报告＋P-台账）」；收口三件套后追加「④claim 覆盖矩阵（decision-mode/consumer/隔离三维，bounded_for_mode 口径）」。GLOSSARY.mdr012 节收录：obligation slice／claim firewall／built-wired-effective-steady 四态／freshness 三维取证／re-anchor 三答／#ISO-FENCE。PRIORITY_PLAN（r010 真源）本轮增量：波次 1 增补 #ISO-FENCE（旧根写入 fence+独立 HOME 测试底座）；#15/#18/#19 各挂本案 schema/liveness/freshness 附加件；波次判据不变。
§8 claim ceiling（诚实边界）
- 本案性质＝综合+裁定（指导席独立审查 partial_continue + 主编排终裁），证据等级 bounded：纪律条的有效性有 r007-r011 反例与先例支撑，但「即行纪律真的被后续 run 遵守」要靠 re-anchor 义务与下 run 复核，本 run 只能给出首个 dogfood 样本（§6）。
- 方法论整体维持不晋升 skill（P-011 裁定不变）；M-C 口径维持 bounded_for_mode（自动决策模式），本案未新增交互模式样本。
- 工具条全部未建（挂波次），本案不 claim 任何 fence/graph/checker 已存在。
provenance：adhoc_jobs/context_infra_migration_20260709/design/METHODOLOGY_AMENDMENT_R012.md data/methodology_dao.mjs