r002 站点重构 · P4 终审复核

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

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

doc_type: p4_review
run: r002_site_overhaul_20260719
reviewer: P4 终审 Fable（独立复审，未读实现源码，只审 live 呈现 + 数据真源比对）
reviewed_at: 2026-07-20
review_target: https://infra.guiming.net（8 页，live 与本地 dist 逐字节一致，已核）
verdict: 回修后收口
claim_ceiling: bounded（全部裁定给可定位证据；未复算 STRICT build 断言本身，引用处已标注）

P4 终审报告 — infra.guiming.net r002 重构复审

〇、总裁定

回修后收口。 六组用户需求 0 FAIL：③⑤⑥ PASS，①②④ PASS-with-findings。P0 阻断 0 条；P1 应修 3 条（decisions relates 断锚、index hero 截断、NOW 双视图失配）；P2 建议 8 条。P1 三条修完即可收口，P2 不阻断。

审查方法：curl 拉取 live 8 页（全 200；index 49KB / cases 46KB / runs 127KB / decisions 224KB / plans 30KB / system 51KB / cleanctx 44KB / filesystem 37KB），与本地 dist diff 逐字节一致，故审 live 即审部署真身。逐组对照 VERBATIM.md P-r002-01/P-r002-02 逐字需求；关键数字对数据真源独立复算（clean_context.py 状态机、两封信原文、仓内 OPEN_PROBLEMS.md）；全站 326 条内链锚点程序化检查。

一、逐组裁定

① 决策点与现状展示 — PASS-with-findings

未完成决策点是否上站：是。 decisions 页 29 条待裁定行按 9 个系统版块分组（各版块头标「待裁 n / 共 m」，求和=29，与 index 计数卡一致）；#now 区 7 条完整卡；另有长期问题慢车道 HL 族 6 / GIT 族 4 / VIS 族 8 = 18 条；plans 页「近期带」4 条。历史挂用户项抽查（T1463 / TMPDIR / L4 / crontab 重装 / wrangler OAuth）全部在站上命中。Form-B（r009 旧挂项）全站零命中，但它在仓内 OPEN_PROBLEMS.md 与 DECISION_LEDGER_BACKFILL.md 同样零命中，属站点声明范围（r002→r012 迁移 + 四悬案 + 07-19 审计）之外，不判缺口。

现状是否图像化 / hero 是否全系统地图：是。 index hero 已是 systemMapSVG 全景图（6 版块 × 18 子系统，83 个文本节点，含状态符号 ◐/⊘/✕/⚠ 与断边标注「triage 停摆 9 天」「skill_check 休眠」等），四悬案降级为 index 下方一个 section——旧「四悬案状态地图」不再是 hero。图底带「本图构建于 2026-07-19 22:11 UTC · 数据 as-of 2026-07-19T00:19:32Z｜源：STATE.md …」provenance 行。

状态地图是否覆盖 Base Tooling / 系统分支 / Provider：是。 system 页 18 张子系统卡各带六字段（六态状态 + 一句话职责 + 证据锚×as-of + 未决计数 + 进出边摘要），并明示「状态是人工策展（机器测不出 live/partial），逐条带 as-of + 证据」——诚实标注到位；另有 Base Tooling 14 域、Skill 体系 103 个、Provider 降级链 11 档三个专节。

决策说明是否不再一句话：是。 抽样 #now 全部 7 卡 + 全集区 BF-25/BF-28/D1-D6(provider)/BF-06/DK-5 等，均为四要素完整题面（详见 ② 组）。

Findings：

• 【P1-2】index hero SVG 存在 6 处无省略号的生硬截断：Git 底座（gatewa、Provider 链（11、OpenCode 隔离（D、State 机制（D3 设、站点本身（infra.gu、Skill 注入面（道/术（全角括号不闭合、词中断），另有 2 处尾随空格截断（stop_hook 583 、契约 owner，hook ）。对比：runs 页时间条同为截断但带「…」（如「定 operating mode…」），体验明显更好。hero 是用户「图像化现状」诉求的第一屏门面，此缺陷应修。
• 【note，不计缺陷】「构建后的更新同步反映」当前形态=publish 重建 + 全站 as-of 印章 + schema fail-closed，自动刷新 cron 未装——站上已通过 NOW-2 卡如实呈请用户确认 cron 授权（跨 session 授权纪律，见集成检查单遗留决策），属诚实披露而非隐瞒。

② 决策统一 — PASS-with-findings

进 decisions 页是否清楚先读哪里：是。 页首导语第一句：「先看这一区『现在要裁』」，并说明可逐条裁或整包「按推荐」。

台账与待裁是否统一成一个模型：是。 旧版「决策台账」「待裁定事项」两个页面已不存在；现在是单一 decisions 页三段结构：#now 权威卡（紧急）→ 决策全集按系统版块（每组待裁置顶标色、点开看四要素）→ 长期问题慢车道（Open Problems 族）。与 Kimi Prompt 2 的「紧急决策 / 长期重构」分流一致。

每个决策是否有完整题面：是。 #now 7 卡全部具备「针对什么 / 与什么相关 / 可能后果 / 为什么现在要裁」四要素 + 来源锚 + 渐进披露指针，BF-38/BF-27/BF-41/BF-49 另有选项+推荐行；全集区抽样卡（含已裁定/已落地行）同样四要素完整。STRICT build 宣称 terse=0/97 全 full（引用集成检查单，本审抽样未见反例）。

Findings：

• 【P1-1】relates 交叉引用断锚：全站 326 条内链中 20 处断锚全部在 decisions 页，distinct 断锚目标 14 个：#D-ISO-3、#D-ISO-2、#BUG-016、#BUG-021、#BUG-022、#BUG-023、#P-005、#P-011、#P-012、#P-013、#P-014、#D-r010-01，以及畸形双井号 ##ISO-FENCE、##ISO-FENCE（r012 波次 1 新增单元）（relates 值本身以 # 开头被再加 #，且全角括号入 fragment）。页面实存锚是合并行 id（D-ISO-1..4、D-r010-01..09）与命名别名（P-phil-12q 等 15 个），BUG-*/P-01x 无对应卡。用户点「与什么相关：D-ISO-3」无跳转——正是「点进去不知读哪」体验的复发点。
• 【P2-3】BF-41 卡「渐进披露」行含未解析占位符「背景 REQUIREMENTS R? 站点硬标准」（live 2 处：#now 区 + State 版块重复渲染各 1）。
• 【P2-4】#now 导语承诺每条「四要素 + 选项 + 推荐答案」，但 r007-R1 与 BF-12 无选项/推荐行（BF-26 有推荐无选项行）。改导语措辞（「多数含选项与推荐」）或补行，二选一。
• 【P2-5】已裁定/已落地行沿用「为什么现在要裁」标签（如 BF-06 已落地仍问「为什么现在要裁」），语义别扭；建议按 verdict 切换为「当时为什么要裁」。
• 【P2-6】页首宣称「枚举/状态/计数全部由构建期解析决策台账真源生成」——枚举与计数确经构建期解析（版块求和=29=index 计数卡，本审复核一致），但「状态」判定实际来自站内 framing overlay（经 landed⊆decided 一致性断言校核），台账原文并无统一状态列（DECISION_LEDGER_BACKFILL.md 状态词表按 run 各异）。措辞过强，建议改为「枚举/计数构建期解析台账行，状态经一致性断言校核」。

③ 绘图化 — PASS

runs 页每轮是否图形化：是。 13 个轮次卡（r002…r012 + interim + audit）每卡 1-3 张 SVG 流程图 + 数字 chips，叙事全文进折叠 details；折叠外可见文字 75-731 字/卡，无密集文字墙。页首「全程时间条」13 节点可点跳轮次卡；「演进主题（跨轮共享图）」在册。

方法论绘图是否迁入：是，且有透明账。 「图集索引」列 33 块 mermaid 逐块去向（迁-提取 / 迁-新绘 / 迁-HTML / 归 F2 / 不迁），构建期 glob 现算 33=索引 33 对账；被引用的 #fig-dualroot、#fig-run-relay、#fig-injection、#fig-methodology、#waves、#r010、#r012 锚全部实存（本审程序化核验）。提取保真 7/7 逐字节 0 差异引自 F3 verify（集成检查单 V9），本审未重跑但与图集索引现算一致。

Run Summary 是否绘图化：是。 时间条 + 逐轮流程图 + 波次 0-4 直接展开（非指针）构成图形化摘要，替代旧密集文字 Run Summary。

④ 现状整理 — PASS-with-findings

Open Problems 与即刻决策是否上站且分流清楚：是。 紧急线=decisions #now + plans「现在就定」泳道；慢车道=decisions「长期问题（Open Problems 慢车道）」HL/GIT/VIS 三族 + plans「缓慢推进」B-1..B-4 四泳道；两条线在两页均有互链。分流模型与用户 Prompt 2 (a)/(b) 对应。

Clean Context 是否有专项状态图且准确可读：是。 cleanctx 专页四图：CC-1 三角色×信息流（含 F1-F3 禁读边界、7 tool actions/4 stop conditions）、接线现状条（phase_runtime=armed / session_dispatch=armed / clean_context_gate=built / cron=none——「状态图区别于架构图」的关键自觉）、CC-2 状态机、CC-3 契约面 37 项分桶。准确性独立复算通过：CC-2 宣称「9 状态 · 11 合法转移（build 期解析自 clean_context.py）」，本审直读 tools/infra_core/clean_context.py：AttemptState 9 值（:1358）、LEGAL_ATTEMPT_TRANSITIONS 2+2+5+2=11（:2818-2826）、RunRecord 三态（:1315），三数全对。页首明示 armed 状态与「0 条 cron 自动运行」，不虚标。

134-session 审计是否呈现：是。 cases 页「134-session 完成度审计档案」（核心结论引语 + 五问五答一句话版 + 口径盒「UNVERIFIABLE 45 ≠ 失败」+ 取证债 6 条）；index 页「同一处断层，三次诊断」（06-10 信 / 07-12 信 / 07-19 审计三时点引语，两句信摘录经本审逐字核实）+ 审计三断层证据卡（哲学管线走了一半 / 状态图判据 25/25 漂移 / provider 收尾三缺口，各带审计节锚与「看对应决策/问题」链）。

Findings：

• 【P2-7】cases 五问五答 Q4/Q5 泄漏内部数据串：「（dossierId: philosophy-distillation (same page, shelf 1)）」「（dossierId: codex-quota-provider (same page, shelf 1)）」——应渲染为指向悬案三/悬案四卡的站内链接，而非裸内部标识。
• 【P2-8】四悬案卡「当前状态（as of 2026-07-19）」小节为纯文字；可选增强：每案一条迷你状态条（非阻断，悬案页定位是考古档案，主状态已由 index/system 图承担）。

⑤ 渐进式披露 — PASS

filesystem 页是否体现披露设计：是。 页首先划清「这不是系统状态图，是披露架构图」；L0-L3 披露层级地图 SVG（L0 roster 新鲜度点 / L1 WORKSPACE 顶层表×INDEX 在位 / L2 本站消费 29 真源 / L3 类型卡），并带范围诚实标注「v1 只覆盖顶层目录×本站消费真源，非全仓 walk」；「双消费者同构」表（渐进披露/Clean context/SSOT/机械保鲜/留痕可溯 × Agent 侧/人侧，声明投影自冻结文档 VISIBILITY_DEFINITION_20260719.md §二-三，站点不创作新内容）。

对人（图）与对 agent（真源指针）双可读是否落地：是，且判据化。 C1-C5 五判据卡：C2（人两击可视）与 C4（双门面同源：provenance 非空 8/8 页 + 手写正文 0 字节 + 计数单源）标实测通过；C1/C3/C5 诚实标「探针未建」不伪造绿标。agent 侧出口明确：页尾「本站为只读投影，机器消费请读上列仓内真源，不读本页 HTML/站点源码」。

是否登记为 open problem：是。 VIS-8 三处齐：仓内 adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md:214（本审亲核）、decisions 页 VIS 族（8 条 open 7）、filesystem 页专卡（本轮已落 vs 后续待补两栏，含 disclosure_probe 全仓 walk、WORKSPACE 两修订点挂用户、66/256 INDEX 存量债）。

Finding：

• 【P2-9】filesystem 页尾约 40 条路径的 aggregated provenance 整表出现两遍（VIS-8 节末 provenance 行 + 页脚「本页信息真源」），同屏重复削弱可读性；建议节末只保留本节直接真源，全量聚合表留页脚一份。

⑥ 信件 — PASS

是否以摘录+指针形态上站：是。 cases 页「既有信件逐字摘录」：06-10《致仓库的信》4 段摘录 + 07-12 复核信 7 段摘录，每封末尾「全文（仓库内）：adhoc_jobs/letter_to_user_20260610/LETTER.md / .../followup_20260712_context_infra_audit/LETTER.md」指针；框架句只做谱系定位（06-10 总信 → 07-12 专题复核 → 07-19 审计=同谱系第三时点），未替信件代言。

是否未被改写：是。 本审将全部 11 段摘录对两封信原文逐字 fgrep：11/11 VERBATIM 命中，0 改写。index 断层区复用的两句信摘录同样逐字命中。符合 P-r002-02 纠偏（信是既有物、不重写）。

二、必答题裁定：NOW 双视图

裁定：必须归一。当前形态会复现用户抱怨，且比 v0 多一层失真——两个面不仅并存，还互相声称「同一批」而事实对不上。

证据（可逐条定位）：

1. index「现在要你做的」计数卡与 decisions #now 导语均声明：curated 6 项与 #now 7 卡是「同一批紧急项 / 同一件事的两个视图，正文只在决策台账页出现一次」。
2. 实际集合映射（本审逐项比对）：
• NOW-1 ↔ BF-26 ✓（#now 有卡）
• NOW-2（哲学管线 cron 三行 + rules/ 回填授权）↔ BF-25——但 BF-25 在「设计哲学与北极星」版块的折叠区，不在 #now
• NOW-3 ↔ BF-27 ✓
• NOW-4（provider 3 条 human gate：0.0.0.0 绑定 / 陈旧 glm provider / 启动脚本 SSOT）↔ 台账页无任何对应实体（三个关键词全站 decisions 0 命中）
• NOW-5 ↔ BF-38 + BF-12 ✓（一对二）
• NOW-6（OPEN_PROBLEMS 系统性回填审计残差，P-#6）↔ 台账页无对应实体（最近似 r012-R1..R4 只在「可能后果」里提到残差未入 OPEN_PROBLEMS，非同一题面，亦不在 #now）
• 反向：#now 的 BF-41 / BF-49 / r007-R1 三卡不在 curated 6 内
• 净结果：6 与 7 的交集仅 3 个题面（覆盖 4 张卡）
3. 泳道 A 全部 6 卡的链接一律是 decisions.html#now 整区锚。用户点 NOW-2/4/6 的「进决策台账看完整四要素卡」落到 #now，在 7 张卡里找不到承诺的那张卡——这正是 VERBATIM ②「点击进入后……甚至不知道该读哪一个」的复发形态。

归一方案（推荐，落到具体文件/字段）：

1. 台账侧补齐（真源先行）：synthesis/DECISION_LEDGER_BACKFILL.md 按 append-only 纪律补 2 行（NOW-4 provider 三条 human gate，锚审计 §八；NOW-6 OPEN_PROBLEMS 系统性回填裁定，锚 inventory 挂用户 #6 + A6 dossier）；站点 data/decision_framing.mjs 为两新行补四要素卡并标 urgency: 'now'；BF-25 的 urgency 升为 now（其「为什么急」＝哲学线两层全停在此门，成立）。
2. 策展侧改派生（消灭第二真源）：data/f5_plans.mjs 的 NOW-* 数组不再手工维护集合成员——改为构建期从 framing 的 urgency==='now' pending 集合生成（每项的人读短语 title/whyUrgent 可保留人工字段，但成员、计数、顺序来自同一集合）；build.mjs 加断言：curated 集合 == urgency-now pending 集合，失配即 fail-closed。
3. 链接精确化：泳道 A 每卡链 decisions.html#<实体id>（BF-26 等锚已实存），不再一律 #now。
4. 归一后 index/decisions 的「同一批/两个视图」声明保留——那时它才是真的。

不推荐的替代（最小改）：仅把「同一批」措辞改为如实描述并加精确锚——保留两套紧急集合意味着「哪套是权威」的疑问仍在，等于把 v0 的病换了个页面。

此项计入 P1-3，回修后需复验（断言跑通 + 6/7 集合一致 + 逐卡锚点击达）。

三、附加检查

可读性抽查（第一次来的人视角，3 页）：

• index：首屏=站名 + 一句话定性（「候选展示站，全部内容自包含，四个数字可点进详情」）+ 全景地图。第一屏能答「这是什么、先看什么」。通过。
• decisions：h1 + 第一句「先看这一区『现在要裁』」直接给阅读顺序，224KB 长页有 #now/全集/慢车道三段骨架 + 折叠。通过。
• runs：首屏一句话交代「时间条→点节点跳轮次卡→叙事进折叠→33 块 mermaid 去向见页尾」，自解释。通过。
• （加测 cleanctx：首屏先定义 Clean Context 是什么+armed 状态+「计数构建期从源码解析」，通过。）

死链检查（全量，非抽查）： 8 页 326 条内链（页间+锚）程序化核验：306 通过，20 断锚（14 distinct，全部集中在 decisions relates 链，即 P1-1）。导航条 8×8、plans→decisions、index→各页、审计卡「看对应决策/问题」、runs 图集索引锚均无断链。

图形可读性（抽 3+ 张）：

• index hero（systemMapSVG）：6 处生硬截断（P1-2），其余 83 文本节点无重叠迹象，底部 provenance 行带「…」正确截断。
• runs 全程时间条：13 节点标签截断全部带「…」，合格。
• cleanctx CC-2 状态机：9 状态/11 转移布局清晰，约束注记（spawn_count ≤1 / 终态必须持有 close receipt / CAS append-only）随图，合格；CC-3 用「37 项按前缀机械分桶，不逐项列」自我克制，合格。
• filesystem 披露地图 + 双消费者图：宽度启发式扫描无溢出文本，合格。

四、缺陷清单

P0（阻断）——无

P1（应修，回修后收口）

P2（建议，不阻断）

（P2 共 8 条：P2-3…P2-10。）

五、复验清单（回修后）

1. P1-1：全站内链 0 断锚（复跑本审 326 链检查脚本口径）。
2. P1-2：index hero 文本节点无「未闭合全角括号结尾/词中硬切」样式（可加进 build 断言：/[（(][^）)]*$/ 对 SVG text 零命中）。
3. P1-3：curated==urgency-now 断言进 build 且绿；plans 泳道 A 逐卡锚点击可达对应卡；index/decisions「同一批」声明与集合事实一致。
4. 重部署后 live 与 dist 再 diff 一致。