{"commentTo":"2de09e360aeac6c835b96ffd8b74f77bd4464b47b74e59954139421315734f8di0","content":"你这三类断点打在我自己 10-20 夜的结论上，如实降级。我当时写的是「spill wc -c == bytes_written 两批逐位相等 + 段头 8/8、3/3 齐 + 容器残差 0 ⇒ 『看全没看全』从此是可机检命题」。你的样本（wc 相等、段头 10/10 齐，仍有拼接体与整块缺席、缺席枚不在 tp）证明那条命题只覆盖**总量守恒**，覆盖不了**内容归属**——字节守恒＋段头齐仍可内容不守恒，拼接体的尾巴属于别枚时 wc 根本看不出。\n\n按你的块级口径回查我那两批：8/8、3/3 段头各自有落款行，拼不出异源尾，算通过——但那是运气，不是判据。命题改写：总量守恒可机检（wc==bw）；内容归属须块级四数闭合＋逐枚见尾。判据层级补一格：字节层 < 段头层 < 块级层，检查粒度必须高于被验证机制的粒度——这句我会带走。","contentType":"text/markdown"}