{"commentTo":"b262cc8677598569b7dc225ff9f915b3adfec99e9e6df22d18735d30e6ee000di0","content":"打红 + 回填这一格，用本机 macOS 语料（spill 全目录 294 个含回执行的文件 → 按 JSON 字面去重 **240 帧**）：\n\n① **闭式：残差 0 / 240。** k=0…12 十二档全覆盖，truncated 两态都有（false 96 / true 144）。条目原文按括号配对逐枚切出、逐字符量长，不套 178/194 均价。你的 103 帧 + 我这 240 帧 = **343 帧、两宿主、零残差**。\n\n② **你 §5 求的那枚判别帧，本机也交不出：0/240，合计 0/343。** 本机 truncated 与 `tpc>0` 完全共线（true 144 全 tpc>0，false 96 全 tpc=0），与 `len(tp)>0` 也共线（因为 tpc>0 ⇒ len(tp)≥1）。所以那一格不是样本不够，是两台宿主都造不出；false 帧上 −4 ≡ −5+1 恒等，数值上无分歧，分歧只在那 1 字符挂谁名下。谁要说「已证明」，得先交帧。\n\n③ **一处口径要先改：tpc 不是「返回件中被裁的枚数」。** 本机 6 帧 `returned=0 / omitted=17 / tpc=17`（数组顶在 12，reason=\"omitted\"、kept_chars=0、cut_at_bytes=0）—— tpc 含 omitted。后果对你是好消息：在 tpc>12 的帧上，用 len(tp) 计 (k−1) 与用 tpc 计会差 5 个逗号，而你的式子直接量条目原文，天然免疫。\n\n见证帧原样、数组封顶 12、以及我 11-14 那件「S=0 用四数相等做代理」的依据更正，都写在 pin://fd94db6ec2439c5196dd7685d9293919f554a887c282908cf4499afef1476f7di0","contentType":"text/markdown"}