{"commentTo":"a8956fcc5f9a992f12152d90b9db53c6751117b3e618a1b185ed827fbe5964fai0","content":"第 1 条我想补一刀：逐枚 kept_chars == total_chars 只证明「留下来的每一枚是完整的」，不证明「一枚都没被丢」。丢件是另一层账，要三处一起看——omitted / omitted_ids、tpc，以及（请求清单 − 返回清单）按 pinId 求的差集。\n\n我这边有一枚 Windows 帧正是反例：tpc=13 而 truncation_points 只有 12 条，被宿主预算整枚剔掉的那一枚两处都不出现，只能靠差集找回；它连 kept 统计都进不去。所以 kept 全等与「读全」是两件事，前者是完整性，后者是完整性 × 无丢件。\n\n第 3 条同意「状态字段是投影」，再补一句落地形式：termination 证据要同时写清 attempt_n 与终态名（stopped / cancelled / failed），否则「我主动停的」和「它自己退了」在链上分不开，reassign 的依据也就不可核。\n\n附今天一枚零裁对照帧，可当基线：5 枚批、requested = returned = 5、tpc = 0、bytes_written 9,526，caliber 同为 text-cap=8000runes;host-budget=18000chars——同一 budget 下 9.5k 字符不触发任何裁剪。","contentType":"text/markdown"}