context-infra 检查与复盘候选版 · 全内容自包含呈现 · 生成于 2026-07-19 07:08 UTC

总览

系统一眼状态:每个数字可点进详情

这是 context-infra「完整检查与复盘」的候选展示站。全部内容自包含:每个悬案、每个 run、每条待决项的背景都直接写在页面上,不需要打开任何仓内文件。四个数字都可以点进详情。

21
开放决策(台账 open 行)
r002–r012 全部决策的回填台账
8
开放问题(登记簿)
HL 族 + GIT 族,跨 run 悬着的问题域
1
当前重构波次
硬门收尾+派发自持,r002–r012 共 11 runs 已完成
15
挂用户裁定项
每条带背景+选项+推荐答案

四悬案状态

悬案一:hook 超时优化
主体已修复 · 残差轻量未清
2026-07-16,用户报告 Claude Code 反复弹出 UserPromptSubmit hook timed out after 1…
悬案二:Git 异常删除排查(INC-1/INC-2 事故簇)
修复全绿 · 三项待用户裁定
2026-07-18 凌晨 01:07–01:57,共享 checkout(多个 agent session 并发写同一棵工作树,这是本仓库的架…
悬案三:设计哲学提炼(全量 campaign)
提炼已交付 · 落地半程空转
2026-07-16,用户下达 DPD-01/DPD-02 需求:对 context-infra 全部设计哲学做一次全量且完整的提炼。追溯创始至…
悬案四:Codex→Kimi 额度切换 + provider 文档唯一真源
功能全自动 · 文档 SSOT 落地中
这个悬案是交织在一起的两件事。…

五个跨题元发现 · 这次复盘学到了什么

这些不是单份 dossier 能看到的,是从八份考古 dossier 跨 topic 综合出的结构性模式。每条直接指向一个执行方向。

① 提炼强、落地零

系统很会把隐性直觉提炼成显性文档,但从"文档存在"到"文档改变系统行为"的最后一段几乎完全空转。

证据与承接方向

哲学提炼七阶段全走完,总纲引文机械核验 94-100%,但 HARNESS_DESIGN_PHILOSOPHY.md 从未 commit、北极星 mtime 停在 07-08、cron 三行未装、12 题未裁。

承接方向 → D4 决策披露 + D3 State 机制:把"交付但未消费"本身可视化,台账与 State 都内建回访防冻结。

② GENERATED 机制正式治理层零落地

"单一真源 + GENERATED 派生区"是仓库 06-03 就写进 WORKSPACE 的道层原则,但正式治理文件从未真正落地过一次 GENERATED 区。

证据与承接方向

provider 信息被复制到 18 份文件且已漂移:真源 11 档链 vs 三份文档停在 9 档零 Cursor;真源 Codex 300K vs 两处文档仍写 272K。

承接方向 → D1 Provider SSOT:方案 A(生成器读 conf → 注入 GENERATED 区 + gate diff 拦漂移)是单一文件原则首次正式落地(本次复盘 S1 已实跑落地,详见「执行方案」页)。

③ 表格跟手 · 图形必过时

资产能否随上游变更保持新鲜,由其生成方式决定,与内容重要性无关。

证据与承接方向

同一上游事件(07-18 provider 链大改)下:tools/INDEX.md 与 CRONTAB.md 当日同步准确;SYSTEM_MAP.md 停在 07-09、架构图仍画旧四步链。区别在 index 式增量 append 能跟手,图形需整体重画无触发点就冻结。

承接方向 → D3 State 机制:能机械派生的做 GENERATED,不能的降级为「快照 + 时间戳 + 陈旧告警」或给回访钩子。

④ 缺决策视角,非问题视角

登记簿的真实缺口不是漏了问题,而是只有问题域、缺决策域视角。

证据与承接方向

OPEN_PROBLEMS.md 07-17 才建档(晚于 r012 收口),建档是被动响应式,全文零条来自 r002-r012 的决策历史——那十次 run 的决策唯一入口是逐个读 FINAL_REPORT。

承接方向 → D4:决策台账(本站「决策台账」页)已补台账层,D4 补「新 run 收口自动加行」接线 + 网站呈现。

⑤ 状态面滞后修复面

"todo / crontab / 登记簿"这类"声称反映当前状态"的 live 面,在代码修复完成后不会自动跟进,形成"代码 FIXED、状态面 pending"的分叉。

证据与承接方向

BUG-021/022/023 在 BUG_TRACKER 均 FIXED 但 todo show T3793 仍 pending;reconcile cron 前置修复已落地但 live 仍 PAUSED(自 06-22)。两个独立悬案各给一手实例,构成模式。

承接方向 → D3:State 面并排显示「代码态 vs 登记态」分叉,喂用户关 todo / 恢复 cron 的决策,不越权自动改。

系统快照

Provider 降级链(11 档,自动级联,与仓根 STATE.md 同指纹):
1. codex-oc:high2. glm-oc:high3. claude-zai:high4. grok-cursor:high5. composer-cursor:medium6. kimi-oc:medium7. claude-kimi:medium8. glm-ollama:high9. kimi-ollama:medium10. codex:xhigh11. claude:high

State 机制 v0 live:仓根 STATE.md 已上线,staleness 探针实跑抓到 2 处 mismatch,恰为两张故意盖旧戳的过时图(自证门生效)。决策台账 已回填:r002–r012+interim+四悬案共 80 行,本次复盘新建。

四候选建站 进行中:v0 站被用户新硬标准否决后,四个独立建站者各建一版全量自包含候选(本站为 Kimi 版),由 Clean Context Fable 复审官比对选版或合成后替换线上 infra.guiming.net。

页面导览

四悬案复盘:hook 超时 / Git 异常删除 / 设计哲学提炼 / Codex→Kimi 额度切换。每个悬案一个完整故事:背景→在优化什么→已决+依据→未决+选项+推荐→当前状态→遗留事项。

重构进展:r002–r012 每个 run 一段自包含摘要,波次 0–4 计划直接展开。

决策台账:15 条挂用户裁定项(每条带背景与推荐)+ 全部决策台账 + 开放问题登记簿。

执行方案:D1 provider SSOT / D2 OpenCode 隔离 / D3 State 机制 / D4 决策展示站,各方向的方案要点、已落地、下一步。

系统与北极星:Harness 是什么、五段闭环、可用好用判据(平实语言重述)+ Base Tooling 14 域与 Skill 体系介绍。

内容真源:campaign 八份考古 dossier(A1–A8)+ 决策台账回填 + 跨主题元发现 + D1–D4 设计终稿 + 仓内 OPEN_PROBLEMS / PRIORITY_PLAN / HARNESS_NORTH_STAR / 各 run FINAL_REPORT,全部经独立复审(FABLE_AUDIT:信息面 8/8 达标)。