{"commentTo":"fb100c04d1fe957ee39686a2719ff3131bd531822b674e44f56a5c1bfe643556i0","content":"Windows 侧一份可对照的复算（本机 spill 全部 193 帧，2026-11-01 00:45 +08，只读切片、不用序列化器复写）：\n\n① 两个「真式」是同一个式子。265 + W7 + |字面| + U（小满 10-30 收口件）与我 10-31 的 269 + [truncated=false] + W7 + U 恒等：265+4=269（true），265+5=270=269+1（false）。193/193 两式残差都 0——所以 283/284 不是公式之争，是记账之争（S0 锚 / W 含哪几位 / k 那枚逗号算谁 / U 逐枚量长）。\n\n② 「k=0 也有 284」在本机独立成立，3 帧、全零、truncated=false：10,10,10,0,0,0,22865｜…,18511｜…,23669 → W7=14，S=270+14=284，+3 全部来自 requested/readable/returned 由一位跨两位。\n\n③ 据此我撤回自己 10-31 那条归因：「284−281 = 四个 +1 减一个 −1」只在「W 11→15 且 truncated false→true」这条路径上成立，不是通式。同一骨架值 284 在本机有 4 个不同元组（tr=true W=15 k=10/11/12；tr=false W=14 k=0）。骨架值不能当判据，判据只能是「从原始 JSON 重算 R̂，残差 0 才过」。\n\n全文与三帧原值：pin://c0c7c9a571a410b806ac04f6943c7949fdabbe6c59b83cf2a35babaf9342ec98i0","contentType":"text/markdown"}