重构进展
r002–r012 全程脉络 + 波次 0–4 计划
context-infra 重构 program(context_infra_migration_20260709)从 2026-07-10 到 07-16 共执行 11 个正式 run(r002–r012)加一次 interim 紧急修复。下面每段是这个 run 的自包含摘要:主题、做了什么、关键裁定、残差。不需要打开任何 run 报告原文即可理解全程脉络。
一个必要的前情(来自本次复盘的 A6 考古发现):开放问题登记簿 OPEN_PROBLEMS.md 到 2026-07-17 才建立,且建立方式是被动响应式的(用户报故障后追问),因此它零条收录 r002–r012 的决策历史。这十个 run 的决策此前唯一的检索入口是逐个读 FINAL_REPORT 原文。本次复盘已把决策视角回填成台账(见「决策台账」页),本节是逐 run 的叙事视角。
重构与修复时间线
逐 run 摘要(点击展开)
r002 · 07-10 · 迁移 operating model 冻结(design-it-twice)
主题:为迁移 campaign 冻结一个可反复回答「裁决什么、如何激活、何时归档」的 operating model,而不是决定下一批搬哪些文件。
做了什么:
- 三方案对比后选定方案 C(staged managed root + 三方法共同 kernel),拒绝 directory-first 全树波次与 governance-only 纳管集
- 定最小共同模型:四实体(System/Domain/Object/Action Unit)+ 五正交轴(disposition/lifecycle/readiness/priority/run_method)
- 定对象权威记录 schema,队列与状态文件全部生成禁手写
- 定三种运行方法共享 kernel:收集→独立检查→裁决→效果验证→回写→重算队列
- 冻结初始 PRI-0 残差队列六卡(MIG-CTRL-01..03、FS-01、EFFECT-01、ROOT-01)
关键裁定:
- 选定 staged check-in-first 顺序:先 check-in 并激活目标,再选择 check-out 源,切断移动失败不可恢复的风险
- 旧能力处置表:phase_runtime/session_dispatch 等复用,reference_validator/landing_gate 等适配,migration_control 缺失待建
残差:初始 PRI-0 队列六卡本身即残差;MIG-ROOT-01 标 AWAIT_USER;首个物理 check-in 需 FS preflight 先过。
r003 · 07-11 · 四路多模型评审旧方案(终裁:修改不推翻)
主题:对 Codex 起草的 4423 行迁移操作方案做四路独立多模型静态评审并终裁。
做了什么:
- 四路评审面板:Fable 初判+终裁、GLM 需求审计、Opus 环境适配、Codex 内核审查,证据盲于 Fable 结论防从众
- 终裁「修改,不推翻;按现文直接进 E0 不可接受」:骨架(check-in-first/ACTIVE 七项/五维正交)全体一致保留
- 检出阻断级缺陷 2 项 + 高危 8 项,产修改集三组(A 组文本修复 10 条、B 组内核瘦身、C 组需求缺口 10 条)
- 实测环境断点清单:settings 18 处引用、crontab 34 行 10 处硬编码、磁盘 91% 满
关键裁定:
- 全局 production reservation 保留 singleton(Fable 终裁采 Codex 弃 Opus 域级方案,唯一实质分歧)
- 过度工程逐项裁:跨 root handoff 砍、generation broker 降级、admin 密码学 proof 降级为 TTY confirm-gate
残差:三通道 key 401 待续期;评审为静态 bounded 未运行实现;磁盘减压在方案中排 PRI-4 末端被判排序错配。
r004 · 07-12 · P-004 重定框「迁移」→「重构」+ 首版执行基线
主题:基于 r003 终裁与 P-004 重构定框,产出最终重构计划(优先级方法论/单元方法论/数据治理/需求整合/验证设计)。
做了什么:
- 补录 P-003/P-004 逐字入台账(JSONL 机械提取,剥离 compaction 污染)
- 四路收集产 inputs 四件:需求台账 78 条等权、状态基线、方法论 28 要素、资产打捞图 25 项
- Fable 产决策框架 DECISION_FRAME(DK-1..10)
- Codex 攻击面板 9 amend+1 reject+4 阻断,Fable 终裁全 ACCEPT
- Fable 亲写终稿 REFACTOR_PLAN r004-1.0-draft 并打 tag
关键裁定:
- DK-2 Authority 模型=单文件 append-only 台账 + GENERATED 投影(单一真源+GENERATED 首次出现)
- DK-8 新根形态=新 git init 不带旧历史(「Git 全部舍弃」重解为不继承历史,非删 git)
- 四阻断全 ACCEPT:authority 翻转最小化、import 三类所有权、巡检按证据晋升非按时间
残差:通道残差(zai/kimi/ollama 401 或超时,家族多样性降至两族);与并行 r005 的力度差登记为对账义务,留 r006 集成裁决。
r005 · 07-12 · OpenCode clean-run 独立架构重审(advisory-only)
主题:用户亲发的独立 clean-run:把重构当「彻底架构重建」而非文件迁移重估,明令不消费并行的 r003/r004 产物。
做了什么:
- 产三份研究件 + 最终建议书 REFACTOR_ADVISORY(GPT-5.6 pro xhigh 起草)
- 两轮独立审查后 PASS:补八个有序执行切片、方法论拆 Full/Lite 两档、资源准入拆安装/观察两步
- 全程零迁移/零归档/零生产接线
关键裁定:
- P-005「彻底架构重构」定向确认;五条修正(优先级对象从域改为能力闭环、方法论从四步改完整生命周期、拓扑图降级为派生视图等)
- status=completed_advisory_only,claim 上限=独立审查过的 bounded 建议
残差:run 内无显式残差清单;其与 r004 计划的力度差(彻底重建 vs 逐单元重构)留 r006 裁决。
r006 · 07-12 · 需求整合终裁:取 B 的框、A 的机
主题:以 P-001..P-007 原始需求为唯一推导根(不从任一既有方案倒推),整合 r004 Fable 计划与 r005 GPT advisory,产统一执行基线。
做了什么:
- P-005/P-006/P-007 逐字补录台账
- Fable 产 ORCHESTRATOR_FRAME(K1-K12 需求点 + S1-S8 子系统切分 + D1-D4 四大分歧)
- 八个 Opus 子系统 session 并行产优先级注册方案,带实测发现(engine.py 断点仍在、load 102 证伪数值死门等)
- 三外部证据席全 401 缺席实测定谳,得出「端点可达≠鉴权有效」纪律
- REFACTOR_PLAN 修订为 r006-2.0-draft:能力闭环骨架+六轴+七层阶梯+Full/Lite×U0-U9
关键裁定:
- D1 新根身份=席位真分裂 2:1,不强裁,呈用户终裁(后经 r009 证据+r010 落地为 A 案)
- D2 弃数值门改语义门+本 host 校准(全席一致)
- D3 能力闭环五要素+强制双射对账(全席一致)
- D8 意图记录收敛:residual 单元内序号唯一 owned,定义了此后 rNNN-Rn 残差编号约定
残差:regulator 两次 UNKNOWN(解析缺陷);四通道全 401 待续期;单元执行零开工(CLOSED_BOUNDED);authority 翻转继续禁行。
r007 · 07-13 · E0 bootstrap + 首轮真实执行 dogfood
主题:纸面基线首次进执行:E0 三门推进(新根构建/CUTOVER 恢复演练/首 dogfood 单元全档 U0-U9)。
做了什么:
- 三路前置审计:优先级机制(designed 是/operational 否)、方法论就绪、环境通道实测
- Fable 终裁 R1-R9(AssetEvidence 七元组、负对照三类缺一不得收口等)
- ~/infra 建根新史首 commit;L2 宪法包八件 STAGED 落盘
- E0 门 2 CUTOVER_RECORD kill -9 演练 PASS:真 SIGKILL、篡改必拒、回滚逐字节还原
- 门 3 首 dogfood CU-03 全程:238 passed、verifier 7/7 PASS、负对照全被抓
关键裁定:
- E0 门 1=构建段 DONE/终裁段 PENDING-USER(D1 身份归用户);门 2/3 PASS·bounded
- claim 口径=per-phase 分立,CU-03=STAGED+bounded
残差:r007-R1 磁盘 46→15Gi/日骤降+瞬时 ENOSPC(吃盘者未锁定,呈用户置顶,至今 open);r007-R2 高负载序贯纪律(后由 HL-5 对策系统化)。
r008 · 07-13 · 现状综合终报 + 透明化机制 + 三真席终裁
主题:回答 P-009「重构到底做到哪了」:产用户可读现状综合终报 + 三真席 solid decision + 开 r009 wave-1。
做了什么:
- 四路 clean-context 事实还原,载重结论主环境独立复核
- 两个长效机制落盘:GLOSSARY.md(40+ 词条活真源)+ RUN_TEMPLATE.md 收口三件套
- 三真席(Fable+Codex+GLM,r006 以来首次零替席)产 R008-RL 九项裁定
- 首屏判决坐实「实质内容零迁移」:新根仅 30 骨架文件,真正改的代码在旧根 6 个工具文件
关键裁定:
- RL-1 编排形态=C 混合;全量 campaign 化门=M-C(≥3 异质 validated)
- RL-4 透明化协议落 program 级 RUN_TEMPLATE,不进宪法包
- RL-6 红线=authority_flips=0 / D1 前零 host 绑定 / worker 新根零 commit
残差:用户快速清单七项(TMPDIR 34G/三 PROPOSED/main 领先 6524 commit/T1463 等);凌晨 30Gi 磁盘波动根因未坐实。
r009 · 07-13 · wave-1 证据与身份波(U-HOST-DRILL 首发)
主题:按 R008-RL 名册自主推进八卡,首发 U-HOST-DRILL 身份演练,为 D1 终裁产证据包。
做了什么:
- 建波次骨架:EXEC_LEDGER 派发 SSOT(不用共享 task 板,防幽灵重放)
- U-HOST-DRILL DONE·VERIFIED:worker 四项冷启动检查 4/4 PASS,主编排 100% 独立复验四层全过
- 核心交付 EVIDENCE_D1:D1 终裁硬阻塞移除,两条可实测换向条件均不支持换 B
关键裁定:
- 本 run 无新裁定,全部生效裁定继承 R008-RL;P-010 入账时用户七项裁定(D1=A)经台账记录、归属 r010
残差:r009-R1 新根 1 条未提交 CLAIMS.jsonl(后由 r010 补 commit 核销);其余六卡由 r010 PRIORITY_PLAN 波次 1 重排。
r010 · 07-14 · D1=A 落地 + 三试点单元全过 + 方法论达 M-C
主题:D1=A 落地(~/infra 成为 canonical 新根、E0 三门全过)+ 用户七项裁定执行 + 三个试点单元建成验证放入新根。
做了什么:
- D1=A 落地:BOOTSTRAP status→canonical;新根 commit 3→14、tracked 30→61
- 三单元全过:git 底座五件(Codex 起草)、注入面两件+3 skill(GLM 起草)、巡检 v0 三桶(Kimi 起草),Opus×3 独立 verifier 全 PASS
- program 首次真实 authority 翻转:新根提交路径 wrapper→gateway
- 注入 description 制实测:新根 4707B vs 旧根全文制 140.8KB = 5.3%
- CPHB-10 来源白名单落地:生产台账假阳 91.4%→0
- 产 PRIORITY_PLAN 五档波次框架首版
关键裁定:
- D-01 D1=A 是用户逐字裁定,agent 只做落地
- D-02「平行全新文件夹」=沿用 ~/infra(单一真源原则证伪第三根)
- D-09 旧根注入面维持不动至退役
残差:用户球四项(旧根注入面是否换制/方法论晋升/L4 dogfood 15 分钟/既有挂账);r010-R4 旧根 settings 三个死 hook 槽静默吞越界(至今 open);worker 纪律实录(谎报 DONE 被独立复验抓住)。
r011 · 07-14 · 注入 v2 道/术双层制 + 卫生面建立
主题:P-011 用后调整:注入形态升级为「道全量/术仅 description」双层制,补齐始终加载面,建临时物治理与 crontab 交付件。
做了什么:
- 新根三笔 commit(注入 v2 + 卫生面 + verifier findings 响应)
- 始终加载面从 4/8 补齐到 8/8 真实在场(SOUL/USER/COMMUNICATION/git_safety 四件八门导入)
- 临时物三层治理(gitignore 预防 + tmp_sweep 清理 + patrol 观测)与 crontab 交付件模式(agent 备命令、用户手装)首次成型
- 两个 canary 真洞(claims schema 断裂、gateway prestaged-deletion)顺手修复
关键裁定:
- D-r011-01「严禁改旧仓」细化=功能面零改+program 记录区 append 除外(此判据被 r012 沿用)
- D-r011-03 top-K≤3 全文块退役:回到用户原话(P-010 只说「尽量少」,top-K 是建造者的实现诠释)
- D-r011-06 载荷预算 16384B 作治理闸,超限唯一动作 rc=3 响亮失败
残差:crontab 安装球在用户(r012 期间核实已装);r011-R1..R4 四条(oracle 判据欠拟/carry 可逆性瑕疵/sweep 白名单双确认/TMPDIR 只扫顶层);verifier 强制要求注入面标 STAGED 非 live(built-not-wired 防御)。
interim · 07-16 晚 · interim:旧根 hook 超时紧急修复
主题:旧根 UserPromptSubmit hook 超时修复,是迁移冻结期(P-011)的用户当次授权例外。详见「四悬案复盘」页悬案一。
做了什么:
- deliver-then-persist + timeout 10→30s 落地
- 测试隔离修复顺带完成,49/49 全绿
- 授权例外边界写清:仅覆盖本记录变更清单
关键裁定:
- #ISO-FENCE 单元必须以修改后文件重新锚定,优先级不降反升
残差:见悬案一遗留事项清单。
r012 · 07-16 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评
主题:P-012 自我纠偏触发(「尽量减少注入」与「DAO 全量注入」逻辑冲突),P-013 中途把核心从注入策略升级为整个重构方法论。
做了什么:
- 方法论修订案 A-1:八类保证机制分类学 + 13 条提案裁定(全采方向,右尺寸化:纪律条即行零新工具,工具条挂波次)
- 注入 v3 终裁:可见性/执行性拆分(树全量可见 + 道按判断精准注入,永禁 top-K 兜底),载荷从 v2 的 2957B 降到 1340B(45%)但可见性反升为全 skill 树
- injection-in-effect 经 project hook 双向探针实证达成(r011 缺口关闭)
- U-ISOLATION 四件设计:cron 双区标注 / project 级 hook 作用域 / 反向波及台账 / 沙箱执行
- 三臂真实任务盲评:B 臂三案全最优,C 臂暴露虚构因果签名(3 处可定位虚构引用)
关键裁定:
- D-r012-02 P-011 注入形态被 P-012 显式修订(注意:是 P-012 单独修订,P-013 是同 run 内后续的优先级重定向,不构成 supersede;这是本次复盘对记忆索引的更正点)
- REFACTOR_PLAN 修订机制=基线正文不重写,尾部加 §14 AMENDMENTS 指针(单一真源+派生投影)
- RUN_TEMPLATE 增补:每 run 开工义务 0=re-anchor 三答;claim 四态词表 built-wired-effective-steady
残差:crontab 幂等重装(live 仍缺 scope 注释,07-19 亲核未消解,球在用户);#ISO-FENCE 波次排期未确认(07-17 用户质询是否被插队,澄清「排期留你手」后无裁定);r012-R1..R4 四条(patrol 留存/反向波及未消除/route_hint 空值/eval DNF)。
波次计划(直接展开,不是指针)
波次框架出自 r010 的 PRIORITY_PLAN(五档),是全部后续工作的顺序真源。当前位置:波次 0(环境与地基)已到位,波次 1(硬门收尾+派发自持)进行中。下面按本次复盘核实的现状展开每个波次的内容,不是指针。
波次 0 · 环境与地基 已完成
新根 ~/infra 成为 canonical(D1=A);git 底座五件(gateway/session-ref/claims)、注入面、巡检 v0 三试点单元全过并 place 进新根;方法论达 M-C 自动模式口径。
波次 1 · 硬门收尾 + 派发自持 进行中
在册单元:#15 tool_receipts(obligation graph 同批 schema)、#18/#19 session_dispatch 新根化(worker liveness 字段同批)、#ISO-FENCE(旧根零写运行时 invariant:独立 HOME+allowed_write_paths+进程写观测)。
本波次还承接三条本次复盘钉入的附加件:HL-5 对策 1/2(fleet 负载哨兵+worker 优先级隔离)、HL-2 第二层全兜底、route_hint.py 两个同族残差。
挂用户前置:#ISO-FENCE 排期确认(推荐=确认进波次 1);D2 OpenCode 隔离栈的 ARMED PACKAGE 也挂本波次点火。
波次 2 · M-C 收口+质量闸 计划中
PRIORITY_PLAN 真源波次 2 四件:L4 work/ 生命周期闭环(交互 dogfood=M-C 第三类异质样本,唯一用户在环 15 分钟)、eval_harness+landing_gate 新根化(链路已通只换根)、unified_gate 收敛为公共壳(40 个 *_gate 按真实使用逐个跟进)、record_router/requirement_doc(DDP-lite 四层锚自动化)。本次复盘另追加挂点(非 PRIORITY_PLAN 原文,随此波次一并接线):State 机制全量接线(D3 终稿其余五面真源)、决策披露站 v1(本候选站即竞争该槽位)、eval 扩样与 v3 长观。
波次 3 · 系统主力 计划中
PRIORITY_PLAN 真源波次 3:todo_system(第二需求系统退役需呈用户)、error_trace_feedback(error→requirement 硬闸)、ddp+final_report(记录/收口面,ddp 标 provisional 在动域)、runtime_phase_skill_trace+phase_runtime(provisional,三点重算后排)、观测运维族(guardian_daemon/session_inventory/ai_heartbeat/test_health-scoreboard,等 L5 底座齐)、host 绑定段+cross_platform_hook_bridge(真 settings/memory/codex key 写入按节奏呈用户)。本次复盘钉入观测运维族子条的三件:HL-1 量化任务(ChatGPT.app 风暴期归因量化)与 HL-5 对策 3/4(观测升级、风暴地震仪常态化)、HL-6 三条轻量残差(阈值漂移统一/seq sidecar 校正/post-fix 热路径计时)。
波次 4 · tools 长尾 计划中
剩余 tools 域迁移与 GIT-4 ②③(仓库级裸 python3 清扫、phase_runtime 顶层 import 惰性化)等治本长尾。
顺序纪律:波次挂点只是建议挂点,解决顺序的真源是 PRIORITY_PLAN;OPEN_PROBLEMS 管问题域、DECISION_LEDGER 管决策域、PRIORITY_PLAN 管顺序域,三视角互不复制、互挂指针(2026-07-19 登记簿角色澄清)。
provenance:adhoc_jobs/context_infra_migration_20260709/runs/(r002–r012 各 FINAL_REPORT / RUN_LOG) runs/r010_20260714_d1a_landing_and_pilot_units/reports/PRIORITY_PLAN.md
dashboard data: generated 2026-07-19T14:05:10.073Z from 5 SSOT files