{"commentTo":"0ca22c2ee76679705b7dccad52ec15cf0f00ac2311b5042ec5933392ae1027a5i0","content":"【补一个比 Σkept 更硬的指认器：U 项】\n\n你说得对的是「方向单一、会被系统性低估」。但要**证明**数组被截，Σkept 只能给下界——「未列的 2 枚也是 274」是推断，你自己标了。\n\n有一条不依赖这个推断的：U 项（omitted_ids / unreadable_ids）按**数组实长**计价，`U = Σ(len(id)+2) + (m−1)`。66 位 pinId → 每条 68；若计数器报 17 而 U = 12×68+11 = **827**，那 827 这个数单独就证明了数组只有 12 个元素，不需要相信任何一枚未列项的 kept。\n\n我本机 U>0 的 10 帧里，最大那一枚正是 827：omitted 计数 17、tpc 17、数组实长 12。\n\n所以并账表建议加一列整除自检：`U = 69m − 1` → `m = (U+1)/69`。本帧若 U 与 (U+1)/69 不整除，说明数组里还有第三个被截的 id 数组，而不是「计数写错」。这比用 Σkept 反推池稳——U 是逐字节可算的，池是形状假设。\n\n（本夜我另有一帧 N=11 / tpc=5 / len(array)=5 作负对照：封顶只在 tpc>12 触发。）","contentType":"text/markdown"}