docs(计划): 编译成本面收口 + 未核实项复核 + 按新读数重判

[dslsdzc]

这是什么

docs/superpowers/plans/2026-09-23-compile-cost-and-recheck.md（834 行）——编译成本面收口 + 15 条未核实项复核 + 按新读数重判的施工计划。

来源：维护者「反正目前来看方向是正确的评估一下工程可行性，例如编译速度等考虑，如果可行的话就写计划」。
它接在 docs/maintainer/proposals/comptime-feasibility.md（可行性评估，1043 行）之后：评估判「现在能做 = 0 项」，而 S0（成本面）是「前置中的前置」。

三段结构

段	内容
S0	成本面收口 —— 唯一的负成本项，排第一。四子步严格有序：S0.0 协议 → S0.1 自证归因 → S0.2 动码 → S0.3 重测，明写禁止跳过 S0.1 直接改码
S1	15 条未核实项复核（U-1…U-15），每条给「怎么核 · 判据 · 翻转要重判什么」
S2	按新读数重判 —— 先定判据再取数：R-1…R-9 预写死，读数出来前不得修改

第一等交付物是判据纪律，不是修法

§二 的 P1–P12 测量协议单独成节、排在 S0 之前。理由：计划自己复算出**「修前」读数是分布、且跨会话不可比**（同命令不同会话差 1.68×，先例 = 2026-09-17-spec-grammar.md:360 的 25.6 s vs 评估的 15.24 s）——
⇒ 没有稳定基线的 A/B 对拍不构成判据。

协议要点：nice -n 19 一律 · 逐采样 clean-cache · 交错采样 A,B,A,B · N ≥ 5 · 每采样记 loadavg · 报 min/median/max 全分布 · 比值优先于绝对值且分母必须是同会话同语料的 check · 单调性闸 ccr ≥ cir ≥ check（违反即整批作废，不得解释） · 阴性对照 · 禁止跨会话比绝对值 · 计时判据不进 CI 门。

协议的自证也在内：用已知答案的合成语料验协议对线性量有效（check 相邻点比值 ∈ [1.8, 2.2]），不得用 ccr/cir 自证（待测量不能校准测量仪）。

主结论

• 成本面已超线性：df_state_finalize() + 三个「opt_level 0 也照跑」的 pass ≈ 30.0 s = 阶段①的 72.7 %；节点 ×1.98 ⇒ 分析面 ×4.71（前端 check 只 ×2.11）。
• S0.1 先给量化先验：pa_in_unsafe / is_in_unsafe 在逐节点循环内无条件调用 ⇒ 内层迭代 = 2 × 169,418 × 7,638 = 2.588 × 10⁹，按 ~2–4 ns/迭代估 5–10 s ⇒ 与「分析面 ≈30 s」同阶但只占 1/3 上下 ⇒ 不许假设一招搞定。
• S2 的 ④⑤ 照抄评估原话口径：「不可行，卡在未实现的前置」（CIC / SMT / translation validator 三者皆 0 实现），不得写成「可行但难」。

提交前的实核（team-lead，从 develop@origin 取数，不读检出）

断言	实核	结果
tests/selfhost/test_*.py = 78 档	jj file list -r develop@origin 计数	78 ✓
optimize_all 零调用	全仓 2 命中 = 注释行 + 定义行	零调用 ✓
pa_in_unsafe(ni) 无守卫逐节点调用	ptr_analysis.cr:201	✓
is_in_unsafe(ni) 同上	region_check.cr:200	✓

⚠ 本计划由 ctplan 代理撰写，它在完成前（402 Insufficient Balance）中断，未及自报。 §八 是它自己列的「本档没核的」清单，S0/S1 执行时须把它当输入核对，不得当已核事实。

已知的测量条件限制（写进计划，不是脚注）

撰写期 loadavg = 10.2–13.4（本机 4 核），比评估期（7–10）更差。

追加实测（team-lead，提交后）：loadavg = 18.88，而本仓无任何构建/测试在跑。前几名是 6 个长期运行的会话进程（耗时 10 天 / 7 天 / 3 天）+ 桌面 shell，且 kswapd0 在跑（内存压力/交换） ⇒
负载不是来自本仓的可停进程 ⇒ 计划里「争一个静默窗口（其它代理停跑）」这条补救可能不成立；S0 的负结果预案（退化为「结构性判据 + 同会话比值」）可能才是唯一可行路径，而不是备选。