开放决策
共 95 条 · 展开看一句话依据与真源锚
BF-01 已取代 operating model 选方案 C（staged managed root + 三方法共同 kernel），拒 A（directory-first 全树波次）与 B（governance-only 纳管集）
被 r004 重定框坍缩（r004 RUN_LOG:15「事务内核存在理由大幅坍缩」）；背景读 DECISION_MODEL.md §3
- DECISION_MODEL.md — （选定行）
- A6§⑥ 表 r002 行
r002 · 20260710 · 迁移 operating model（design-it-twice 选定 C） · 来源=DECISION_LEDGER_BACKFILL
BF-02 已取代 首批 6 个 `MIG-*` 动作单元定义（CTRL-01/02/03、FS-01、EFFECT-01、ROOT-01），ROOT-01=物理签入前冻结 target root（AWAIT_USER）
单向增量流取代事务内核后 `MIG-CTRL` 事务件失去理由；背景 DECISION_MODEL.md §7
- DECISION_MODEL.md §7 — 队列
r002 · 20260710 · 迁移 operating model（design-it-twice 选定 C） · 来源=DECISION_LEDGER_BACKFILL
BF-03 已决 四路评审终裁「修改不推翻」：骨架保留（check-in-first / ACTIVE 七项 / 五维正交），进 E0 前先修方案文本
背景=四席分工（Fable初判/GLM需求/Opus环境/Codex内核），REVIEW_REPORT.md 全文
- REVIEW_REPORT.md — （verdict 行）
r003 · 20260711 · 四路评审旧方案（verdict=修改不推翻） · 来源=DECISION_LEDGER_BACKFILL
BF-04 已取代 指出 4 类需求缺口：磁盘减压排序过低 / 绘图系统零覆盖 / AAU 完善零引用 / 巡检 Agent 收窄为 report-only
后续被 R0b/L1/L2 阶梯部分吸收（REFACTOR_PLAN §4.2）；作为「问题域」从未入 OPEN_PROBLEMS——见 CROSS_TOPIC_FINDINGS 元发现④
- REVIEW_REPORT.md:40-47 — （A6§⑥ 引 40-47）
r003 · 20260711 · 四路评审旧方案（verdict=修改不推翻） · 来源=DECISION_LEDGER_BACKFILL
DK-1 已取代 新根引导=C 混合分层（per-unit fresh import + 宪法层骨架先建）
r006 D3 精化能力闭环骨架取代粗颗粒；背景 DECISION_FRAME.md DK-1
- design/DECISION_FRAME.md — DK-1
r004 · 20260712 · P-004 重定框「迁移」→「重构」+ 首版执行基线 · 来源=DECISION_LEDGER_BACKFILL
DK-2 已决 Authority 模型=单文件 `AUTHORITY_LEDGER.md` append-only + GENERATED 投影
单一真源 + GENERATED 首次出现处；背景同上
- 同上 DK-2
r004 · 20260712 · P-004 重定框「迁移」→「重构」+ 首版执行基线 · 来源=DECISION_LEDGER_BACKFILL
DK-3 已取代 优先级阶梯 R0/L0/R1/R2/R3/R4 粗颗粒
被 r010 PRIORITY_PLAN 五档波次框架取代；背景 DECISION_FRAME.md DK-3
- 同上 DK-3
r004 · 20260712 · P-004 重定框「迁移」→「重构」+ 首版执行基线 · 来源=DECISION_LEDGER_BACKFILL
DK-4 已决 两决策模式=auto（默认）/ interactive（档 C / 需求冲突 / 打平分叉）
与 DECISION_BOUNDARIES 三档划界同源；背景同上
- 同上 DK-4
r004 · 20260712 · P-004 重定框「迁移」→「重构」+ 首版执行基线 · 来源=DECISION_LEDGER_BACKFILL
DK-5 已取代 统一单元方法论=七步（DLS 迁移）
r006 D4 升级为 Full/Lite×U0-U9；背景同上
- 同上 DK-5
r004 · 20260712 · P-004 重定框「迁移」→「重构」+ 首版执行基线 · 来源=DECISION_LEDGER_BACKFILL
DK-6 已决 数据三分类 S（→新根）/D（database 留旧根）/X（舍弃）+ 巡检 v0
背景同上
- 同上 DK-6
r004 · 20260712 · P-004 重定框「迁移」→「重构」+ 首版执行基线 · 来源=DECISION_LEDGER_BACKFILL
DK-7 已决 方法论验证双轨（live dogfood + DLS 重放）；claim ceiling bounded→validated@≥3 单元
与 claim 四态词表同一母题；背景同上
- 同上 DK-7
r004 · 20260712 · P-004 重定框「迁移」→「重构」+ 首版执行基线 · 来源=DECISION_LEDGER_BACKFILL
DK-8 已决 新根形态=`[本地路径已脱敏]` 新 git init（不带旧历史）
「Git 全部舍弃」重解=不继承历史（非删 git）；背景同上
- 同上 DK-8
r004 · 20260712 · P-004 重定框「迁移」→「重构」+ 首版执行基线 · 来源=DECISION_LEDGER_BACKFILL
DK-9 开放 在动 State 对接（testsys+BT 标 provisional 尾置，M1 读最新 State）
直接对应 R4「State 机制取代 Doc Map」；见 CROSS_TOPIC_FINDINGS 元发现③
- 同上 DK-9
r004 · 20260712 · P-004 重定框「迁移」→「重构」+ 首版执行基线 · 来源=DECISION_LEDGER_BACKFILL
DK-10 已决 磁盘止血 L0 细则（仓外 db 处置 + worktree prune；仓内不动）
背景同上
- 同上 DK-10
r004 · 20260712 · P-004 重定框「迁移」→「重构」+ 首版执行基线 · 来源=DECISION_LEDGER_BACKFILL
BF-05 已决 P-005「彻底架构重构」定向确认；产 5 条修正（优先级对象 域→能力闭环 / 方法论 四步→完整生命周期 / 拓扑图降级派生视图 / 自主化按证据非时间升级 / config·tests 合入 tools 共置）
5 条修正被 r006 D 系列吸收（D2/D3/D4 provenance 引此文件）；背景读 advisory 全文
- design/REFACTOR_ADVISORY_gpt56_pro_xhigh.md — （修正 1-5）
r005 · 20260712 · OpenCode clean-run intake（advisory-only） · 来源=DECISION_LEDGER_BACKFILL
BF-06 已决 产物名与声明名漂移（卫生残差）——advisory 交付但命名不一致
r006 T6#2 登记；OPEN_PROBLEMS 未收（元发现④范畴）
- runs/r005_.../README.md:19 — （A6§⑥ 引）
r005 · 20260712 · OpenCode clean-run intake（advisory-only） · 来源=DECISION_LEDGER_BACKFILL
D1 已决 新根路径身份=构建期路径无关（`[本地路径已脱敏]` 起步）+ host 身份演练→用户带证据终裁（席位 2:1 真分裂，不强裁→用户）
r010 D-r010-01 落地为终裁（D1=A）；背景 §2.3b + RUN_LOG:75 席位记录
- design/DESIGN_DOC_REFACTOR.md §2.3 — D1
r006 · 20260712 · 需求整合终裁「取 B 的框、A 的机」 · 来源=DECISION_LEDGER_BACKFILL
D2 已决 环境止血广度=advisory P0 五件全入 L1 硬门；数值门弃→语义门 + 本 host 校准（全席一致）
背景同上
- 同上 D2
r006 · 20260712 · 需求整合终裁「取 B 的框、A 的机」 · 来源=DECISION_LEDGER_BACKFILL
D3 已决 骨架单位=能力闭环五要素 + 14 域 dated backlog + 强制双射对账（全席一致）
背景同上
- 同上 D3
r006 · 20260712 · 需求整合终裁「取 B 的框、A 的机」 · 来源=DECISION_LEDGER_BACKFILL
D4 已决 方法论档位=Full/Lite 两档×U0-U9 内核 + 唯一映射表 + 升级信号机械判（全席一致）
背景同上
- 同上 D4
r006 · 20260712 · 需求整合终裁「取 B 的框、A 的机」 · 来源=DECISION_LEDGER_BACKFILL
D5 已决 首个 dogfood 单元=dispatch→landing 证据贯通（pinned 旧根 engine.py 断点修）=E0 门3
背景同上
- 同上 D5
r006 · 20260712 · 需求整合终裁「取 B 的框、A 的机」 · 来源=DECISION_LEDGER_BACKFILL
D6 已决 CC 记忆迁移=只迁 MEMORY.md 索引结构 + 跨项目 feedback；不批量 copy 116 topic files
背景同上
- 同上 D6
r006 · 20260712 · 需求整合终裁「取 B 的框、A 的机」 · 来源=DECISION_LEDGER_BACKFILL
D7 已决 Database 入口时点=LEGACY_SOURCES.md skeleton + per-import hook 前移进 L2；语义搜索 DEFER
背景同上
- 同上 D7
r006 · 20260712 · 需求整合终裁「取 B 的框、A 的机」 · 来源=DECISION_LEDGER_BACKFILL
D8 已决 意图记录收敛=residual `UNIT-Rn` 单元内序号=唯一 owned；全局 TODO/记分牌降投影；error→requirement 硬闸
**此决策定义了 r007+ 的 `rNNN-Rn` 残差编号约定**；背景同上
- 同上 D8
r006 · 20260712 · 需求整合终裁「取 B 的框、A 的机」 · 来源=DECISION_LEDGER_BACKFILL
DR-r007-01 已决 新根构建段 bootstrap=A 案即刻建 `[本地路径已脱敏]` git init（auto_due_to_no_response；预检四项 PASS/alert）
背景=预检四项 + 无响应自动决策授权
- decisions/DR-r007-01_newroot_bootstrap.md
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
R1 已决 执行序 PH-E→PH-F→PH-G 串行，PH-H 并入 U7；per-phase 分立 claim
背景 FINAL_PLAN_RULING.md R1
- decisions/FINAL_PLAN_RULING.md — R1
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
R2 已决 L2 宪法包八件整体采，状态一律 STAGED，四点修正（pinned commit / 真实首行 / PROPOSED 禁 runtime / listed-not-yet-imported）
与 r011 始终加载面 8/8 达成相接；背景同上
- 同上 R2
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
R3 已决 E0-2 演练矩阵四崩溃点全采（PREPARED/APPLYING-resume/APPLYING-rollback/COMMITTED 幂等零写）
背景同上
- 同上 R3
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
R4 已决 L3 单元契约=AssetEvidence 七元组 + check/run/next 共用 adapter；主环境红线 gate 不许变松
背景同上
- 同上 R4
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
R5 已决 负对照三件（缺证据 / 跨任务证据替换 / revert-fix mutation）缺一不得收口
与判定权外移原则同源；背景同上
- 同上 R5
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
R6 已决 M-loop=U7 两隔离 case（诊断型 T1463 / 受限改造 T166）；crontab 改动出界留用户
背景同上
- 同上 R6
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
R7 已决 隔离与生产效应申报=engine.py 改 external_effect=true（行为保持 + 档 A 可逆）；其余 run-local
背景同上
- 同上 R7
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
R8 已取代 通道与资源=worker 主通道 codex；zai/kimi/deepseek/ollama 401→替席披露；磁盘/load 告警序贯
07-18 provider 链大改为 11-tier（A4）；背景同上
- 同上 R8
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
R9 已决 收口口径=per-phase 分立 claim；E0 三门如实；原子 commit 分域
背景同上
- 同上 R9
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
r007-R1 开放 残差：磁盘 46→15Gi/日 + 瞬时 ENOSPC 245Mi，吃盘者未锁定→呈用户置顶
**零入 OPEN_PROBLEMS**（元发现④）；背景 RUN_LOG:36
- runs/r007_.../RUN_LOG.md:36 — （A6§⑥ 引）
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
r007-R2 已决 残差：load 74/68/46 高压→派发序贯（≤1-2 重型 worker）
后由 HL-5 对策 1/2（fleet 负载哨兵）系统化；背景同上
- 同上 RUN_LOG:37
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
r007-R3..R6 开放 残差：backlog 行数口径差 / CUTOVER 缺回滚终态 / zai·kimi 401→静默挂起 / M-loop 严格口径=1/2
零入 OPEN_PROBLEMS；背景 RUN_LOG:38-42
- 同上 RUN_LOG:38-42
r007 · 20260713 · E0 bootstrap + 首轮真实执行 dogfood · 来源=DECISION_LEDGER_BACKFILL
RL-1 已决 编排形态=C 混合；全量 campaign 化门=M-C（≥3 异质 validated）；新根共享面单写者=主编排
背景 RL-1 全节
- decision/R008_EXECUTION_RULING.md — RL-1
r008 · 20260713 · 现状综合 + 透明化机制 + 三真席终裁 · 来源=DECISION_LEDGER_BACKFILL
RL-2 已决 r009 波次名册=自主推进集 7 卡（U-HOST-DRILL 首发等）；用户在场集另列
背景同上
- 同上 RL-2
r008 · 20260713 · 现状综合 + 透明化机制 + 三真席终裁 · 来源=DECISION_LEDGER_BACKFILL
RL-3 已决 低优先级代裁机制=默认单 clean-context Opus session；升三席判据（生产指针/跨域/冲突/低置信）；record-only 不执行
与 Q12 守护者/编排者动手边界同源；背景同上
- 同上 RL-3
r008 · 20260713 · 现状综合 + 透明化机制 + 三真席终裁 · 来源=DECISION_LEDGER_BACKFILL
RL-4 已决 透明化协议落 program 级 RUN_TEMPLATE（FINAL_REPORT 六节 + GLOSSARY 增量 + digest 对比图）；不进宪法包
GLOSSARY + RUN_TEMPLATE 两个长效机制建立处；背景同上
- 同上 RL-4
r008 · 20260713 · 现状综合 + 透明化机制 + 三真席终裁 · 来源=DECISION_LEDGER_BACKFILL
RL-5 已决 磁盘=L1a 窄口径开工；TMPDIR 删除留用户；VACUUM 后置 + 双前置（空间缓冲 + freelist 证据门）
背景同上
- 同上 RL-5
r008 · 20260713 · 现状综合 + 透明化机制 + 三真席终裁 · 来源=DECISION_LEDGER_BACKFILL
RL-6 已决 红线=authority_flips=0 / D1 前零 host 绑定 / worker 新根零 commit / CPHB-10 恒用户 / 巡检 v0 不装 cron / 卡硬写 forbidden 清单
背景同上
- 同上 RL-6
r008 · 20260713 · 现状综合 + 透明化机制 + 三真席终裁 · 来源=DECISION_LEDGER_BACKFILL
BF-07 已决 三真分歧裁定：① VACUUM 时点=后置 + freelist 证据门；② T1463 crontab 归属=采保守留用户；③ 三 PROPOSED 演练=可作 proposal-under-test 夹具，正式确认仍留用户
差异本身是信号（席位交叉验证）；背景分歧表
- 同上 分歧①②③ 表
r008 · 20260713 · 现状综合 + 透明化机制 + 三真席终裁 · 来源=DECISION_LEDGER_BACKFILL
r008-R1..R3 开放 残差：凌晨波动根因未坐实 / diff-temp 泄漏源未定谳 / T1463 归属采保守
零入 OPEN_PROBLEMS（元发现④）；背景 RUN_LOG:33
- runs/r008_.../RUN_LOG.md:33
r008 · 20260713 · 现状综合 + 透明化机制 + 三真席终裁 · 来源=DECISION_LEDGER_BACKFILL
BF-08 已决 U-HOST-DRILL（卡 C1）verified：D1 硬阻塞移除（EVIDENCE_D1 定谳两换向条件均不支持换 B），身份演练 4/4 PASS
为 r010 D-r010-01 的用户终裁供证据；背景 EXEC_LEDGER §G
- runs/r009_.../EXEC_LEDGER.md §C/§G
r009 · 20260713 · wave-1 证据与身份波（records-only） · 来源=DECISION_LEDGER_BACKFILL
r009-R1 已取代 残差：新根工作树 1 条未提交 `[本地路径已脱敏] contexts/state/CLAIMS.jsonl`（r007 遗留，非 C1 越界）
已由 r010 commit 消解；背景 EXEC_LEDGER §G
- SETTLED by r010 8f861b7 — 同上 §G（）
r009 · 20260713 · wave-1 证据与身份波（records-only） · 来源=DECISION_LEDGER_BACKFILL
BF-09 已决 修复方式=deliver-then-persist（消费型状态写延后到 stdout flush 后），非纯延时
今日代码核实仍在位；背景 A1 dossier §② 隐性代价段
- route_on_prompt.py:139-163 — （`_run_or_defer`）+ RECORD.md（A1§③-1）
interim · 20260716 · 旧根 UserPromptSubmit hook 超时修复（P-011 冻结的当次授权例外） · 来源=DECISION_LEDGER_BACKFILL
BF-10 已决 hook timeout 10→30s（Stop 维持 60）；仓内 settings 零残留 10（今日核实）
settings hooks 段=「配置即承诺」Y 级；背景 A1§③-2
- RECORD.md:28-29
- .claude/settings.json — （A1§⑥ 核实）
interim · 20260716 · 旧根 UserPromptSubmit hook 超时修复（P-011 冻结的当次授权例外） · 来源=DECISION_LEDGER_BACKFILL
BF-11 已决 P-011 冻结约束的当次授权例外，边界严格划定（仅覆盖本记录变更清单，不构成一般性放松）
claim 时效边界须显式声明母题；背景 A1§③-4 + A6§⑧-5
- RECORD.md:16
- FINAL_REPORT_r012.md:81 — addendum
interim · 20260716 · 旧根 UserPromptSubmit hook 超时修复（P-011 冻结的当次授权例外） · 来源=DECISION_LEDGER_BACKFILL
BF-12 开放 #ISO-FENCE 单元必须以修改后 route_on_prompt.py 重锚，优先级不降反升
排期至今未确认（见 r012 挂用户）；背景 A1§③-5
- RECORD.md:35
- GLOSSARY.md:97
interim · 20260716 · 旧根 UserPromptSubmit hook 超时修复（P-011 冻结的当次授权例外） · 来源=DECISION_LEDGER_BACKFILL
BF-13 已决 07-04 receipt ledger 全扫根因（`record()` O(ledger) 追加）——**A1 判为「正交、未落地」，本表经代码核实更正为已修复**（见文末「四悬案·hook 超时」节 + HL-6 草案）
**关键更正**：详见 CROSS_TOPIC_FINDINGS 元发现⑤ + OPEN_PROBLEMS_PATCH_PROPOSAL HL-6
- receipt.py:218-278
- b0ee5c5e2d — commit
interim · 20260716 · 旧根 UserPromptSubmit hook 超时修复（P-011 冻结的当次授权例外） · 来源=DECISION_LEDGER_BACKFILL
D-r012-01 已决 三席（codex/zai/kimi）不撤，转喂后续单元
背景 DECISION_RECORDS 表
- decision/DECISION_RECORDS.md — D-r012-01
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
D-r012-02 已决 P-011「注入形态=道全量/术 description」被 **P-012 修订**的边界认定（非 P-013）
**A5§⑤ 更正锚点**：P-012 修订注入形态，P-013 是同 run 优先级重定向；背景 A5§⑤
- RUN_LOG.md:27
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
D-r012-03 已决 指导席 13 条提案落法=全采方向 + 右尺寸化（纪律条即行零新工具，工具条挂既有波次同批建）
哲学锚=L1 防吞噬纪律 + 北极星 U1 减负；背景 METHODOLOGY_AMENDMENT_R012 §2
- decision/DECISION_RECORDS.md:9
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
D-INJ-1..5 已决 注入 v3 终裁：可见性/执行性拆分 + 判断归编排者两级制（Layer A 确定层候选≤3 + Layer B 编排者判断留痕）+ 可用性/便利性拆分（树+按名 Read=地板）+ **永禁 top-K 兜底** + 术 desc 维持
v3 载荷 1340B（v2 的 45%），可见性反升全 skill 树；背景 RUN_LOG:46
- RUN_LOG.md:46
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
BF-14 已决 拒 kimi 提案（hook 内 LLM 匹配器，违 U1 SLO）+ 拒 codex 提案（常设路由 session，当前规模过度工程，留冲突升级路径）
背景同上
- RUN_LOG.md:46
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
D-ISO-1..4 已决 U-ISOLATION 四件：cron 双区标注制 / project 级 hook 作用域（新建 `[本地路径已脱敏]`）/ 反向波及六边台账（登记不消除）/ 沙箱式测试执行
背景 DESIGN.md 全文
- units/U-ISOLATION/DESIGN.md — （19-59 行）
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
BF-15 已决 U-INJECT-V3 wired 判定=injection-in-effect 达成（r011 缺口关闭），project hook 双向探针 PASS（新根 zai session 树标记×2+候选×1+尾行×2；旧根对照 16 session 全 0）
背景 RUN_LOG:54 探针数据
- RUN_LOG.md:54
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
BF-16 已决 方法论修订案 A-1 采纳（13 条方向全成立无整条否决；修剪只在「何时建工具」）；八类保证机制分类学
**核心产出**；工具落点全挂既有波次（#15/#18/#19/波次2/3）；背景 A-1 全文
- design/METHODOLOGY_AMENDMENT_R012.md §1-§2
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
BF-17 已决 REFACTOR_PLAN 修订机制=基线正文不重写，尾部加 §14 AMENDMENTS 一行指针，定版时合入
单一真源 + 派生投影模式；背景 REFACTOR_PLAN §14
- design/REFACTOR_PLAN.md:320-322
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
BF-18 已决 RUN_TEMPLATE 增补：开工义务 0=re-anchor 三答（对象/边界/残差）；收口三件套追加④claim 覆盖矩阵；claim 四态词表 built-wired-effective-steady
背景 §7
- design/METHODOLOGY_AMENDMENT_R012.md §7 — （88-89 行）
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
— 开放 挂用户：crontab 重装（`infra-newroot` 块缺 `# scope:` 注释，07-19 亲核仍未装）
实现偏差=注释行尾式非行前式（RUN_LOG:52）；背景 FINAL_REPORT_r012 §⑥
- FINAL_REPORT_r012.md:53-56
- A6§⑦ crontab 亲核
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
— 开放 挂用户：#ISO-FENCE 波次排期确认（07-17 用户质询是否被插队，assistant 澄清「排期留你手」，至今无裁定）
背景 A6§⑦
- daily_records/claude/2026-07-16.md:9954,9962
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
— 开放 挂用户：eval 扩样 + v3 长观（本轮 bounded：单 provider kimi、单轮、3 case）
背景同上
- FINAL_REPORT_r012.md:65
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
r012-R1..R4 开放 残差：patrol_reports 留存策略 / 反向波及六边未消除 / route_hint triggers 空值警示 / eval case1_A DNF
零入 OPEN_PROBLEMS（元发现④）；r012-R2 与 #ISO-FENCE 关系仅口头讨论过（daily 9946）；背景 FINAL_REPORT_r012 §⑥
- FINAL_REPORT_r012.md:65
r012 · 20260716 · 方法论修订案 A-1 + 注入 v3 + 隔离机制 + 三臂盲评 · 来源=DECISION_LEDGER_BACKFILL
BF-19 开放 L4 交互 dogfood 15 分钟（用户已说不急，排波次 2）
最早见 r010（FINAL_REPORT_r010.md:58），r011/r012 重申
- r010/r011/r012 FINAL_REPORT §⑥ 交叉
跨多 run 累积挂账（非某 run 新增，重申即在） · 来源=DECISION_LEDGER_BACKFILL
BF-20 开放 TMPDIR 41G「清」的裁定（顶层 git-diff 已归零，成分在子目录不可见=r011-R4）
用户裁「清」时递归审计一次；背景 A5§⑧
- 同上
- FINAL_REPORT_r011.md:66 — （r011-R4）
跨多 run 累积挂账（非某 run 新增，重申即在） · 来源=DECISION_LEDGER_BACKFILL
BF-21 开放 main 6524 挂起 / T1463 crontab 归属
背景三处 FINAL_REPORT §⑥
- 同上交叉
跨多 run 累积挂账（非某 run 新增，重申即在） · 来源=DECISION_LEDGER_BACKFILL
BF-22 已决 07-16 主根因裁定=机器负载风暴（非代码回归）；修复=deliver-then-persist + timeout 30s（= interim BF-09/BF-10）
背景 A1 dossier §② 根因判定
- RECORD.md
- design/OPEN_PROBLEMS.md — HL-1..5
悬案 · hook 超时优化（A1 dossier） · 来源=DECISION_LEDGER_BACKFILL
BF-23 已决 **07-04 独立取证的第二根因**（`record()` 全扫 ledger，session `4f3dcdd4`）——A1 判「正交、仅提案未实施」。**本表代码核实：Option A（O(1) 序号旁路）+ Option B（rotation）均已落地**（commit `b0ee5c5e2d`：「receipt O(1) 序号旁路…并发基线 P95 0.263s vs 修前 3.5-5.5s」）
**对 A1 的更正**：全扫仅存冷路径（`initialize_sequence_sidecar`/`rotate_ledger`，均锁内、离热路径）；残差=阈值漂移（code 100MB vs cron 注释 200MB，live ledger 现 102MB）+ seq sidecar 字节量级膨胀 + 无 post-fix 热路径重计时 receipt——见 HL-6 草案
- receipt.py:218-278 — （record 走 `_claim_next_sequence` 读 sidecar，非全扫）+ `receipt.py:281-283`（ROTATE 100MB/100k）+ `CRONTAB.md:432`（rotate cron 04:30）
悬案 · hook 超时优化（A1 dossier） · 来源=DECISION_LEDGER_BACKFILL
BF-24 已决 哲学提炼 campaign 七阶段全走完，产总纲 MP1-MP7（`HARNESS_DESIGN_PHILOSOPHY.md` 601 行 v1.0，5,358 obs）
背景 A3 dossier §② 七阶段
- adhoc_jobs/design_philosophy_distillation_20260716/synthesis/HARNESS_DESIGN_PHILOSOPHY.md
悬案 · 设计哲学提炼（A3 dossier） · 来源=DECISION_LEDGER_BACKFILL
BF-25 开放 **总纲未 commit / 北极星 07-08 后零改动 / cron 三行未装**——从「提炼」到「改变系统」半程空转
**CROSS_TOPIC 元发现①**；背景 A3§⑤
- git log — 该文件空
- rules/HARNESS_NORTH_STAR.md — mtime 07-08（A3§⑤ 三信号核实）
悬案 · 设计哲学提炼（A3 dossier） · 来源=DECISION_LEDGER_BACKFILL
BF-26 开放 12 题裁决包全未裁（Q1 核心措辞 / Q8 注入形态=渐进披露直接对应）
呈报建议先看 Q1、Q8；背景 A3§③ 逐题表
- USER_ADJUDICATION_QUESTIONS.md — （A3§③ 逐题）
悬案 · 设计哲学提炼（A3 dossier） · 来源=DECISION_LEDGER_BACKFILL
D1-D6(provider) 已决 provider 链 6 决策：Kimi 排 GLM+Cursor 之后 / Kimi 双轨 k3=1M·kimi-for-coding=256K / Codex context 272K→300K / MiniMax 清除 / ZAI 订阅制 / 健康 cron raw 已装·chain 手动
注意：此 D1-D6 是 provider job 的编号，**与 r006 的 D1-D6 无关**（同名不同域）；背景 A4§③ 判定表
- runs/.../README.md — D1-D6（A4§⑦）
悬案 · provider SSOT + 渐进披露设计（A4 dossier） · 来源=DECISION_LEDGER_BACKFILL
BF-27 开放 provider 文档 SSOT 设计=三候选（A 生成器+GENERATED 区 / B Diátaxis include / C 纯指针），**推荐 A**；S0 设计完成 S1 未启动
**HUMAN_GATE：用户从未回复选 A**（会话 21:49 终止）；背景 A4§④ 三候选表
- DOC_ARCHITECTURE_REDESIGN.md — （commit `6b4844231e`，A4§④）
悬案 · provider SSOT + 渐进披露设计（A4 dossier） · 来源=DECISION_LEDGER_BACKFILL
BF-28 开放 GENERATED 区正式治理层零落地 vs WORKSPACE 单一文件原则自 06-03 已写明
**CROSS_TOPIC 元发现②**；背景 A4§④ 层 1 生成器
- CLAUDE.md — （无 `<!-- GENERATED -->` 段）
- A8§③ 第 7 条
悬案 · provider SSOT + 渐进披露设计（A4 dossier） · 来源=DECISION_LEDGER_BACKFILL
BF-29 已决 用户一般性底层修复授权：解决 Python 版本兼容 + 做好 bug/open-problems 记录 + 及时修复且不破坏既有功能（未点名 T3793/BUG 编号/stash，是范围更广的任务下达）
系统内部把此句「解决部分 Python 版本可能不被支持」当作 T3793/GIT-4 需求来源在用；背景 A2§④
- 4a276319 — A2§④（session 2026-07-18T10:59:11Z 逐字）
悬案 · git 异常删除 INC-1/INC-2 事故簇（A2 dossier，2026-07-19 落盘后补录） · 来源=DECISION_LEDGER_BACKFILL
BF-30 已决 三条故障链拆分为独立 bug 裁定（BUG-021 解释器墙致守卫 fail-open 79 次 + 四处解释器绑定改道 / BUG-022 stash 家族不在守卫候选面 / BUG-023 commit_wrapper ARG_MAX E2BIG 致 rc=126，与解释器版本无关）均 FIXED
**拆分依据**=rc=126 换绑前后均复现证伪解释器归因（A2§② 归因更正）；回归 58/58+17/17+24/24 全绿；背景 BUG_TRACKER 三条
- tools/git/BUG_TRACKER.md — BUG-021/022/023
- A2§②/③
悬案 · git 异常删除 INC-1/INC-2 事故簇（A2 dossier，2026-07-19 落盘后补录） · 来源=DECISION_LEDGER_BACKFILL
BF-31 已决 stash 三态分类落地（read / scoped_push=档 B safety tag / sweep=共享 checkout 内档 C HUMAN_GATE）+ 恢复原则「工作树==HEAD 才恢复」+ `git restore --source`（非 pop）
生产实测：修复上线 37 分钟内即真实拦下一次 stash（`danger_op_audit.jsonl` HUMAN_GATE，A2§⑥）；背景 A2§③ 已决表
- git_guard.sh:389-393
- danger_op_audit.py — `_stash_kind()`
- rules/git_safety.md:11,§1.1
悬案 · git 异常删除 INC-1/INC-2 事故簇（A2 dossier，2026-07-19 落盘后补录） · 来源=DECISION_LEDGER_BACKFILL
BF-32 开放 T3793 任务状态与代码修复面不同步——技术修复已 FIXED（BUG_TRACKER），但 `todo show T3793` 仍 `Status: pending`
**CROSS_TOPIC 元发现⑥**（状态面滞后修复面）；背景 A2§⑥ 核实表
- todo show T3793 — A2§⑥（07-19 亲核 ）
- A2§⑤
悬案 · git 异常删除 INC-1/INC-2 事故簇（A2 dossier，2026-07-19 落盘后补录） · 来源=DECISION_LEDGER_BACKFILL
BF-33 开放 main_index_reconcile cron 恢复与否——代码前置修复已落地（`codex_desktop_active()` 改 loadavg 阀门），但 cron 行仍 `PAUSED 2026-06-22`（BUG-016 交叉依赖）
前置=HL-1 量化产出或一次观察窗验证新阀门生效；背景 GIT-1 全节
- crontab -l — A2§③/⑥（live 亲核仍 PAUSED）
- OPEN_PROBLEMS.md — GIT-1
悬案 · git 异常删除 INC-1/INC-2 事故簇（A2 dossier，2026-07-19 落盘后补录） · 来源=DECISION_LEDGER_BACKFILL
BF-34 开放 stash@{0} 备份去留（删除还是转 tag 长期归档）——取证时仍持有，收口后清理未完成
未找到用户逐字裁定（A2§④ no-hit）；背景 A2§③ 未决表
- BUG_TRACKER.md:1093 — A2§③（「待用户确认无需再取证后删除」）
悬案 · git 异常删除 INC-1/INC-2 事故簇（A2 dossier，2026-07-19 落盘后补录） · 来源=DECISION_LEDGER_BACKFILL
BF-35 开放 危险操作三份平行清单（候选面预过滤 / danger_op_audit tier / fail-closed 静态兜底）结构性收敛——本次 stash 三处手工同步补齐，但「多份清单需手工同步」风险未消除
与 git_guard 头注「自包含韧性 vs 单一真源」张力相关（GIT-2）；背景 GIT-2
- OPEN_PROBLEMS.md — GIT-2
- A2§③
悬案 · git 异常删除 INC-1/INC-2 事故簇（A2 dossier，2026-07-19 落盘后补录） · 来源=DECISION_LEDGER_BACKFILL
BF-36 开放 「共享 checkout 干净基线测试」sanctioned 正路配方（如 `scratch_baseline.sh <ref>` 走 `git worktree add --detach`）——止血=文档层提示，工具化未落地
口头禁令覆盖不住（同夜两 worker 独立复发已证，A2§②）；MEMORY [[feedback_no_stash_in_shared_checkout]]；背景 GIT-3
- OPEN_PROBLEMS.md — GIT-3
- A2§③
悬案 · git 异常删除 INC-1/INC-2 事故簇（A2 dossier，2026-07-19 落盘后补录） · 来源=DECISION_LEDGER_BACKFILL
HL-1 开放 Codex/ChatGPT.app 的 git 后台扫描与「杀进程」处置逻辑
处置逻辑已取消（2026-07-17）；ChatGPT.app 残差=OPEN（量化待做）。
- adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md — §HL-1
HL 族：hook × 机器负载 · 来源=OPEN_PROBLEMS
HL-2 开放 Stop hook 超时产生孤儿进程
第一层已落地（2026-07-17）；第二层=OPEN（设计就绪待实施）。
- adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md — §HL-2
HL 族：hook × 机器负载 · 来源=OPEN_PROBLEMS
HL-3 已决 codebase-explorer MCP 残留进程
**已执行（2026-07-17）**。证据与动作：注册点=`[本地路径已脱敏].json` **user-global** `mcpServers.codebase-explorer`（`uv run --directory .../codebase-explorer python -m src.server`；user-global 是 22 实例的成因——每个活 session 各拉一个）；使用证据=近 60 个 transcript 命中文件全为工具清单文本、`"name":"mcp__codebase-explorer` **tool_use 调用 0**、receipts 0、tools//rules/ 零运行依赖（`.py/.sh/.yaml` grep 空）。动作=备份（`[本地路径已脱敏]`）后摘键（其余 22 个 mcpServer 完好、JSON 验证通过）+ 22 个 python/uv 常驻实例 TERM 清零。恢复路径=从备份取回该键。**独立调研 agent（mcp-residue-probe）已返，交叉一致且补两项**：①**第二注册点 `[本地路径已脱敏]` `[mcp_servers.codebase-explorer]`（CC 与 Codex 各自独立注册、互不知情，进程父链含大量 codex exec 即由此）——07-17 已同批摘除（备份 `[本地路径已脱敏]`）**；②末次真实调用=06-17 的 E2E 验证跑（analyze_codebase 等四工具，即 tools/INDEX 登记的 24/24 PASS 那次），此后 30 天+零调用；21 对实例父链全活非孤儿（挂活 CC/Codex 会话）。实现目录 `adhoc_jobs/codebase_explorer_20260321/` 保留（PRIORITY_PLAN #32 legacy-reference 判定不变，要不要删目录=范围外，留用户）。
- adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md — §HL-3
HL 族：hook × 机器负载 · 来源=OPEN_PROBLEMS
HL-4 已决 State / Base Tooling 现状说明更新
**主线自查已执行（2026-07-17）**，逐文件结果：
- adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md — §HL-4
HL 族：hook × 机器负载 · 来源=OPEN_PROBLEMS
HL-5 开放 持续高负载下的超时对策（timeout 之后怎么办）
体系已定（2026-07-17）；对策 1-4 待对应波次实施。
- adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md — §HL-5
HL 族：hook × 机器负载 · 来源=OPEN_PROBLEMS
HL-6 开放 receipt ledger 写路径全扫（hook 超时第二根因候选 → 检视后判定已修复+残差；2026-07-19 reflection campaign 回填）
主体 CLOSED（07-04 全扫根因经 `b0ee5c5e2d` 根治，07-19 双重亲核确认）；残差 ①②③=OPEN（均轻量非阻塞）。登记价值=把 A1 考古发现的「无登记簿捕获的第二根因线索」正式收口并留残差锚，避免它以「未知悬案」形态再次被考古发现。详证=`adhoc_jobs/context_infra_base_tooling_buildout_20260615/reflection_decisions_visibility_20260719/synthesis/OPEN_PROBLEMS_PATCH_PROPOSAL.md`。
- adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md — §HL-6
HL 族：hook × 机器负载 · 来源=OPEN_PROBLEMS
GIT-1 开放 main_index_reconcile.sh 恢复 cron 与 BUG-016 状态的交叉依赖
**代码前置修复已落地（2026-07-18）**；cron 恢复决策=OPEN（待用户/BUG-016 交叉确认）。
- adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md — §GIT-1
GIT 族：解释器墙 + 共享 checkout 安全网 · 来源=OPEN_PROBLEMS
GIT-2 开放 危险操作"候选面清单"与"fail-closed 兜底清单"的手工同步风险
OPEN（识别于 2026-07-18，方案未设计，本次修复范围内三处已手工同步补齐 stash，未做结构性收敛）。
- adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md — §GIT-2
GIT 族：解释器墙 + 共享 checkout 安全网 · 来源=OPEN_PROBLEMS
GIT-3 开放 "共享 checkout 干净基线测试"缺少 sanctioned 正路配方
OPEN（识别于 2026-07-18，止血=文档层面已加书面替代方案说明；工具化配方未设计）。
- adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md — §GIT-3
GIT 族：解释器墙 + 共享 checkout 安全网 · 来源=OPEN_PROBLEMS
GIT-4 开放 解释器墙残差：rc=126 机理观察窗 + 仓库级裸 python3 清扫 + phase_runtime 顶层 import 惰性化
①CLOSED（2026-07-18 晚，机理已定谳无需观察窗，三件套修复已落地）；②③仍 OPEN（未开工，与①的定谳无关，不因①关闭而自动关闭）。
- adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md — §GIT-4
GIT 族：解释器墙 + 共享 checkout 安全网 · 来源=OPEN_PROBLEMS