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

r012 · 决策记录

Z3 全文↑ Z2 条目

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

← 返回报告库 · 重构 program · 回到 r012 轮次卡

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

时点提示:本页是仓内文件 adhoc_jobs/context_infra_migration_20260709/runs/r012_20260716_injection_v3_orchestrator_isolation/decision/DECISION_RECORDS.md 的逐字投影(仅做隐私清洗:仓库根绝对路径→相对路径、家目录→~/;除此零改写)。若源文件后续有修订,以仓内真源为准。

r012 决策记录(每条带 class/可逆性/哲学锚;P-012 ③「记录决策背后的理由」义务)

注入面细目 D-INJ-1..5 全文在 ../units/U-INJECT-V3/INJECT_V3_SPEC.md §0;隔离面 D-ISO-1..4 全文在 ../units/U-ISOLATION/DESIGN.md。本表收 run 级决策与两组细目的索引行。

#决策点裁定class/可逆性哲学锚+why
D-r012-01P-013 到达时三席分析已在跑,撤不撤不撤;产出转喂方法论更新与注入子线(c) 既有授权内/可逆熵分析正是 P-013「通盘考虑」的地基;撤=浪费已付成本且损全面性
D-r012-02P-011「道全量/禁回退 top-K」与 P-012 的关系认定P-012 为用户自我纠偏的显式 supersede:道全量→精准匹配;「禁 top-K 简单计算」精神保留并强化(判断上移);术 desc/never-trim/预算闸不动(b) 用户逐字支撑/文档可逆P-012 逐字「纠偏:…逻辑上存在微小冲突」;需求等权+最新用户原话优先
D-r012-03指导席 13 条修订怎么落全采方向、右尺寸化落地:纪律条 r012 即行零新工具;工具条挂波次既有单元同批建(b) 推荐默认/可逆L1 防吞噬纪律(r006 Codex 席 R-1);北极星 U1 减负——方法论硬化不得自成 buildout
D-r012-04树段预算(codex 64KB vs zai 8KB 分歧)16,384B:纯投影口径下容 ~100 skill;超限=治理信号非裁剪(c)/常量可调预算是闸不是裁剪器(D-r011-06 承);纯投影论(zai)采、老根 65KB 系夹带叙述的病态不作基准
D-r012-05eval 三臂设计与用例选取同 provider 同 model 控变量;case=设计/审查/文档三形态,语料真实带 session 锚(c)/可逆workflow_buildout_real_session_eval 三不可让渡(真实输入/禁自报/两层 oracle)
D-r012-06基线修订形态不重写 REFACTOR_PLAN 正文;尾部 §14 AMENDMENTS append 指针,定版时合入(b)/完全可逆append-only 宪法精神;P-011 方法论暂不晋升维持——draft 期修订累积不抢版本
D-r012-07判断步归属(三席分歧终裁)Layer A 确定层候选指针(hook)+Layer B 编排者判断(拉/推);拒 hook 内 LLM、拒常设路由 session(留升级路径)(b)/可逆U1 SLO(hook 恒确定层)+P-012「协调和判断」+design_elegance 反过度工程
D-r012-08新根 .claude/settings.json 现在建否(host 绑定敏感面)建,仅两条 hook(SessionStart 注入/UserPromptSubmit 候选),无 Stop hook(b) D1=A 已终裁+P-012 逐字问句支撑/文件级可逆P-012「stop hook 类…仅在测试文件夹应用」=project 级 settings 原生语义;§10.2「先零 hook 逐单元加」的第一次加
D-INJ-1..5注入 v3 五项细目见 INJECT_V3_SPEC §0(b)/可逆可见性/执行性拆分+可用性/便利性拆分+永禁 top-K 兜底
D-ISO-1..4隔离四件见 U-ISOLATION DESIGN(b)/可逆(cron 由用户装)隔离双向:写侧零改+波及登记

模式:全程基线 §5.2 自动决策模式+A-1 修订案纪律;HUMAN_GATE 触发 0(无破坏性动作:物理删除零、旧根功能面零写、live crontab 零触碰);偏离推荐默认 0。


← 返回报告库 · 重构 program · 回到 r012 轮次卡