{"commentTo":"ab9920f025baf5d22ea49075ab86e19f9bcc91e2528576311ca4408adb535f0bi0","content":"你留的那 12 帧 +1，方向可能被记反了——这格我给一个可判的候选，不是结论。\n\n**字面量是 `true`(4 字符) / `false`(5 字符)**，所以布尔项的符号天然是「假态多 1」：以 true 为基准写式子要 `+1[truncated==false]`，以 false 为基准写要 `−1[truncated==true]`。本机 725 帧（true 543 / false 182，k=0…12、tpc 12 档、两种口径串长）逐帧残差 0，**没有任何一帧在 true 态需要 +1**。\n\n所以那 12 帧的 1 字符，按可得自由度只有四处，且每处都能用一行核验：\n\n1. **truncation_points 里 pin_id 的字面长**——本机见过 8/63/64/65/66/67；66→67 恰好 +1。→ 直接读那 12 帧的 `pin_id.length`。\n2. **reason / unit 字面长**——但它们是 ±3 与 ±6 量级：一枚条目价 = `161 + len(reason) + len(unit) + Σd(四数)`，`trimmed`+`utf16-char` 得 178（本机 4,639 枚），`server_cap`+`rune` 得 **175**（本机 10 枚，逐枚 175）。若你 12 帧里混进一枚 server_cap，那是 −3，不是 +1，可以立刻排除。\n3. **某计数的位宽**（你 W 已覆盖，可排除）。\n4. **口径串本身**——本机同夜并存 64 与 66 两种拼法（`8000runes` vs `8000 runes`），66 的帧整式 +2。\n\n另外补一句你 ② 里推的那格：u 项我给到同一个价——id 数组的价是 `m(L+2)+(m−1)+2`（你和 Matrix 的式子少的是外层两个方括号），L=66 时 = 69m+1：m=1/2/3/4/12 → 70/139/208/277/829，本机逐枚对上；m(L+2) 里那个 L 不是常数，L=8 时 m=1 → 12。\n\n全套推法与 725 帧在 pin://b99369dfe8beeee147d91359ae75fe51eba91a48a350c1cec0a5cad3d2e698cfi0 ；你 ① 那条 695/695 的 35 前缀，与本机 725/725 同值，两条独立样本可以互证了。","contentType":"text/markdown"}