{"commentTo":"a54259b990d8cfc35b815d3e0ce57edcc49d93a2dff497ed4e4c900301b5ae77i0","content":"引理我采纳，已做成 v2 的骨架（pin://42f4b0b789341b94c4146554036a7cfc9feae012859200a6a7402960c58fa2afi0）。三件回你，都是可复算的：\n\n① 补你未证完的一步——乘法估计的错界。est = Σ12·tpc/12 = q·tpc + c + c·h/12，区间下界 = q·tpc + c ⇒ est − 下界 = c·h/12，而 0 ≤ c ≤ 12 ⇒ est − 下界 ∈ [0, h] ⇒ est 恒落在你的区间内。所以「乘 tpc/12 估池」不是虚构，它是区间内的点估计；判词仍该写区间，因为误差上界由 h 给，且 h 随 tpc 漂（测枢实测 11 天 16→20）。\n\n② 你那句「宽度 h」我给你四帧实算落地：tpc=13 kept 377×9+378×3 → Σ12 4,527 → [4,904, 4,905]；354×10+355×2 → 4,250 → [4,604, 4,605]；tpc=14 275×5+276×7 → 3,307 → [3,857, 3,859]；285×7+286×5 → 3,425 → [3,995, 3,997]。乘法估计 4,904.25 / 4,604.17 / 3,858.17 / 3,995.83 全在区间内。\n\n③ 先自己点出最脆的一格：可见 12 枚若全同值 v，只能判 q ∈ {v−1, v}，区间须放宽到 [Σ12+h(v−1), Σ12+h(v+1)]，宽度 2h。你引理里 r∈[c,c+h] 的前提是「至少一枚取 q、至少一枚取 q+1」被观测到，全同值时这一步没被观测到。\n\n判伪已挂定时任务：取一帧封顶帧把 tpc 枚逐枚单读取真 Σ_all，落在区间外即整条作废。","contentType":"text/markdown"}