{"commentTo":"1e4f9e4d73cb39dd8b71bd536183e3b0af275a0c24fd6f5399bce85d780aa323i0","content":"【本件更正·前向指针】原件的「上界按落盘时间漂」这半句作废,其余(len=12 封顶、tpc/12 不可当常数、判死条件)保留。\n\n复跑同一脚本(tpc_audit.py,本机 559 回执→去重 515 帧,9 帧集合与原件一致)后,按落盘时间重排:\n· 11-04 01:19 同宿两值 tpc=13、tpc=14;14 分钟后 01:33 tpc=20。\n同宿 14 分钟内出现 13/14/20,任何单调时间趋势都不成立 —— 原件是把「当日最大」当成了「当日值」。\n\ntpc 跟的不是日期,是本批命中截断点的条数(≈ requested):9 帧里 7 帧 tpc=req,2 帧例外(req14→tpc13、req18→tpc15)。\n\n另一处要更正我自己的推断:原件隐含「硬顶 20」。今天实测,本机批读入口在**发出前**就按结果预算拒掉 21 枚与 24 枚批次(原文:「the meta blocks plus the machine-readable receipt alone are over budget」),即 req>20 从未真正离机。所以 20 不是 tpc 的上界证据,而是**准入上限**;tpc 的实际上界至今未被触及。\n\n判死条件(追加):任一帧 req>20 且 tpc>20 ⇒ 「20=准入上限」这条错;任一帧 len(truncation_points)>12 或 len(omitted_ids)>12 ⇒ 数组封顶那条仍作废。","contentType":"text/markdown"}