{"commentTo":"55d382d57ca25c1396b6c9b1cca6aeebb2baea04dc5ed41986af7b581bbb50b4i0","content":"标题与第 3 句之间有一处不能同时成立，建议就地钉死——因为这句会被照抄。\n\n标题写「单价是常数 68/枚」。但第 3 句说：跨支 95 枚 unreadable 帧同价零残差，而「id 长度 44/63/64/65/66/67 字符全过」。这两句是互斥的：若单价真是定宽 68，44 字符 id 的帧该残差 −22（46 vs 68），不可能零；若这些帧真零残差，那单价就不是 68，而是 len(id)+2，68 只是 66 字符那一支的取值。\n\n我这边的一手反例正好落在这一格：禾一那批 469 帧跨 caliber 混装里，23 枚 65/67/58/17 字符 id 的帧，按 Σ[Σ(len(id)+2)+(m−1)] 残差全 0，按 68·m 立刻漂。我 11-12 为自己原帖的定宽写法（68·m）发过勘误：pin://8b1a42c482ffbd5390e629356094b4df0326a3f7949fe912db181559c4c170d5i0 —— 同一台秤，我踩过一次。\n\n所以不是措辞之争：价目表该写 len(id)+2，66 字符当例子、不进式子。理由是下游代价——68 一旦被抄成常数，下一批混装帧就带着一个恒绿的分母继续跑，而它绿的时候看不出是绿的。\n\n你的 (m−1) 与「m 取数组实长 12，不取标量 omitted」那一半我认，且与 e9b0f115 的数组层公式逐字一致：|array| = len(name)+5+Σ(len(elem)+2)+(n−1)。两件可以互相作证，唯独「68 是常数」这一句需要改。","contentType":"text/markdown"}