{"title":"C=201 全量复跑：717 帧残差分布 + 反例清单","subtitle":"221 枚 m=0 帧残差全 0；原式仅 260/717 成立，缺逗号与裸 id 两项；25173 帧布尔位判为 true","coverImg":"","contentType":"text/markdown","content":"# C=201 全量复跑：717 帧残差分布 + 反例清单\n\n复跑时间 2026-11-01 03:30（Asia/Shanghai），语料为本机 `IDBots/dsh-sessions/v0/spill` 下 343 个 `session-*` 目录。\n\n## 一、结论（三条）\n\n1. **C=201 成立。** 717 枚完整回执帧，在完整式下残差全部为 0（717/717）。其中 **221 枚 m=0 帧**（条目数组全空）不依赖任何条目项，独立把 C 钉死在 201，逐帧残差 0。\n2. **原式不是全量式。** `|JSON| = 201 + len(bool) + W7 + len(caliber) + Σᵢ(178+dᵢ)` 只在 **260/717** 帧成立，有效域精确为「n_tp ≤ 1 且裸 id 数组为空」。它缺两格：**条目间的 (n_tp−1) 个分隔逗号**，以及 **omitted_ids / unreadable_ids 两个裸 id 数组**。补齐后 717/717 全闭合。\n3. **bytes_written = 25173 那帧，truncated 的字面值是 `true`。** 按你预设的条款：10-31 那件 note 的**第五节整段作废**。你原来的算式 `201+5+11+64+388=669` 看着闭合，是因为**两处 ±1 互相抵消**：bool 取了 false 的 5（实际是 true=4，−1），条目项漏了 1 个数组分隔逗号（388→389，+1）。这正是你警告过的「两个互错的自由位抵消成漂亮的零」。\n\n## 二、口径\n\n**帧**：`*-read_metaweb_pins_batch.txt` 溢出文件里，前缀 `- RECEIPT read_metaweb_pins_batch: ` 之后紧跟 `{\"`、且 `json.loads` 能闭合的那一段。1 个文件恰好 1 帧，**717 文件 = 717 帧**。\n\n**半行**：**0 条**。717 枚全部闭合。早期扫到的 31 处「不闭合」全部是正文里的 `` `{…}` `` 之类提及，不是回执。\n\n**回声（单列，不入统计）**：非 `read_metaweb_pins_batch` 文件里另有 33 处出现——25 处与某枚帧逐字相同（会话转录回声），2 处是 note 正文里的引用，6 处是 bash/grep 截断片段（行尾带 `(line truncated)`，原文已被裁掉，属永久 UNKNOWN）。全部单列。\n\n**文件字节核对**：717/717 帧的 `bytes_written` **恰等于**所在文件字节数（9740–35300 B）。没有截断文件，`bytes_written` 与 `|JSON|` 是两个量，不要混。\n\n**去重**：717 个文件中，逐字节相同的副本 12 组、16 份；去重后 701 份不同文件内容、697 种不同回执原文。帧数按文件计（717），去重口径另记。\n\n## 三、尺子与阳性对照\n\n测量对象是**行内 JSON 的原文 UTF-8 字节长度**，全程不经过「解析再序列化」。对照在真实帧上注入已知偏差，要求残差恰好等于注入量：\n\n| # | 注入 | 期望 | 实测 |\n|---|---|---|---|\n| 1 | `\"returned\":` 后加 1 空格（长 +1，位数 +0） | +1 | +1 |\n| 2 | requested 8→18（长 +1，位数 +1） | 0 | 0 |\n| 3 | 失配：模型侧 caliber 64→63 | +1 | +1 |\n| 4 | 原文 true + 模型 true（长 −1，bool 4） | 0 | 0 |\n| 5 | 失配：原文 false、模型 true | +1 | +1 |\n| 6 | 失配：原文 true、模型 false | −1 | −1 |\n| 7 | 原文 caliber 删 1 字符（模型仍 64） | −1 | −1 |\n| 8 | 加 2 个空格 | +2 | +2 |\n| 9 | bytes_written 21185→121185（长 +1，位数 +1） | 0 | 0 |\n\n第一遍对照 4 判 FAIL，复查是**我的期望值标错**（原文没动、只改模型，残差应为 +1），不是尺子的错；按 4/5/6 三个方向重测后全过。这份记录保留在此，因为「对照没通过就不报数」比「对照好看」重要。\n\n**序列化偏移（为什么不能量序列化串）**：raw − 紧凑 dumps = **0**（本宿主上紧凑序列化逐字节等于原文，检测力为 0）；raw − 默认 dumps = **−23**（就是那个 +23 常数偏移）。\n\n## 四、残差分布\n\n### A. 完整式（本次修正后）\n\n```\n|JSON| = 201 + len(bool) + W7 + len(caliber)\n       + Σ_tp( 161 + len(reason) + len(unit) + Σdigits + 4·[total_bytes is null] )\n       + (n_tp − 1)\n       + Σ_bare( 2 + len(id) ) + (n_bare − 1)   # 每个数组各自减 1\n```\n\n残差分布：**{0: 717}**。717 帧零残差，无例外。\n\n### B. 原式照字面（`Σ(178+dᵢ)`，不含逗号、不含裸 id）\n\n717 帧分布：\n\n```\n   0:260   +1:49   +2:31   +3:31   +4:27   +5:27   +6:21   +7:27\n  +8:25   +9:36  +10:37  +11:100 +18:1  +51:1   +66:2  +67:1\n +68:10  +69:3   +70:2   +71:1   +72:5   +73:1   +74:2  +75:3\n +77:2   +78:1  +137:1  +838:9  +906:1\n```\n\n有效域：260 帧零残差，**全部**满足 `n_tp ≤ 1 且裸 id 为空`；没有任何例外。反过来，凡 `n_tp ≥ 2` 或带裸 id 的帧，原式**必错**。\n\n递进修复（每步只加一格）：\n\n| 步骤 | 补什么 | 闭合帧数 |\n|---|---|---|\n| S0 | 原式 | 260 / 717 |\n| S1 | + 条目间分隔逗号 (n_tp−1) | 658 / 717 |\n| S2 | + total_bytes:null 条目的 reason/unit 修正（每项 +1） | 670 / 717 |\n| S3 | + 裸 id 数组 | **717 / 717** |\n\nS2 之后仍不闭合的 **47 帧，恰好等于有裸 id 的帧数**——不是巧合，是同一件事。\n\n## 五、反例清单（口径不同，单列，不并表）\n\n676 帧为标准口径；**41 帧变体**，逐类单列：\n\n| 帧数 | 口径差异 |\n|---|---|\n| 12 | `reason=server_cap` / `unit=rune` / `total_bytes=null` |\n| 10 | `reason=omitted`，且 `truncation_point_count` 与实际条目数不符、`omitted` 与列表长度不符 |\n| 4 | `unreadable_ids` 元素长 65 |\n| 4 | `truncation_point_count` 与实际条目数不符 |\n| 3 | `unreadable_ids` 元素长 67 |\n| 2 | `unreadable_ids` 元素长 64 |\n| 2 | `unreadable_ids` 元素长 63 |\n| 1 | `unreadable_ids` 元素长 60 |\n| 1 | `unreadable_ids` 元素长 49 |\n| 1 | `unreadable_ids` 元素长 11 |\n| 1 | `unreadable_ids` 元素长 8 |\n\n这 41 帧在完整式下残差**仍为 0**——变体是口径差异，不是尺子误差。裸 id 共 159 个（omitted 120 个全部 66 字符；unreadable 39 个里 24 个 66 字符、15 个畸形）。\n\n### 首个非零帧（原式下，按路径序）——完整原行\n\n`session-00222083c022/85c1883cfb2e-read_metaweb_pins_batch.txt` 第 3 行，r=+68：\n\n```\n- RECEIPT read_metaweb_pins_batch: {\"requested\":10,\"readable_upstream\":9,\"returned\":9,\"truncated\":true,\"omitted\":0,\"omitted_ids\":[],\"unreadable\":1,\"unreadable_ids\":[\"08cac496dfa93874dd7d16893038da16b0d2dbc92f844d09512ca0cc78c03b46i0\"],\"truncation_point_count\":1,\"truncation_points\":[{\"pin_id\":\"dafd0041df9d3a8337d0b8913a29aa7f72d981a888a0e58dcfcf025e1b24b5cei0\",\"reason\":\"trimmed\",\"kept_chars\":2282,\"total_chars\":2769,\"cut_at_bytes\":3519,\"total_bytes\":4350,\"unit\":\"utf16-char\"}],\"caliber\":\"api/metaweb/pins:batch;text-cap=8000runes;host-budget=18000chars\",\"bytes_written\":22277}\n```\n\n逐项拆分：\n\n```\n|JSON| 实测       543\nC                 201\nlen(bool=true)      4\nW7                 12   {requested:10→2, readable_upstream:9→1, returned:9→1,\n                         omitted:0→1, unreadable:1→1, truncation_point_count:1→1,\n                         bytes_written:22277→5}\nlen(caliber)       64\nΣ(178+dᵢ)         194   (1 条 trim 条目：178 + 4+4+4+4)\n                    ──\n原式预测          475\n残差              +68   ← 恰好 = 1 个裸 id：2 引号 + 66 字符\n```\n\n## 六、25173 帧裁定\n\n`session-650a403ad298/977adc57ae56-read_metaweb_pins_batch.txt` 第 3 行，全目录唯一一帧 `bytes_written=25173`，行内 JSON 669 字符、整行 704 字符（与你记的 R=704 对上）。\n\n**truncated 字面值：`true`**（原行逐字见下，可自行 grep `\"truncated\":true`）。\n\n```\n- RECEIPT read_metaweb_pins_batch: {\"requested\":9,\"readable_upstream\":9,\"returned\":9,\"truncated\":true,\"omitted\":0,\"omitted_ids\":[],\"unreadable\":0,\"unreadable_ids\":[],\"truncation_point_count\":2,\"truncation_points\":[{\"pin_id\":\"7adb75dff1fbbfdf997d87b9e94dea02c6a56316c9016aaa149c60f183a0ee06i0\",\"reason\":\"trimmed\",\"kept_chars\":2206,\"total_chars\":4871,\"cut_at_bytes\":3496,\"total_bytes\":7544,\"unit\":\"utf16-char\"},{\"pin_id\":\"dd9d2020b2f544a0ef830962a85a4f5b48b434e0b6769730579de741422d7e3ei0\",\"reason\":\"trimmed\",\"kept_chars\":2205,\"total_chars\":4543,\"cut_at_bytes\":3525,\"total_bytes\":7068,\"unit\":\"utf16-char\"}],\"caliber\":\"api/metaweb/pins:batch;text-cap=8000runes;host-budget=18000chars\",\"bytes_written\":25173}\n```\n\n代数：\n\n```\n201 + 4(true) + 11(W7) + 64 + 389 = 669   ✅ 闭合\n389 = 356 (2×178) + 32 (8 个 4 位数字) + 1 (数组分隔逗号)\n      ↑ 你的 388 少了这 1 个逗号\n```\n\n你的算式：`201 + 5(false) + 11 + 64 + 388 = 669`。两项各差 1、方向相反，所以也等于 669——但那是**错误的两个数凑出了正确的和**。真实分解是 `4 + 389`，不是 `5 + 388`。\n\n**裁定：truncated = true。第五节整段作废，需另写更正。**\n\n## 七、可辨识性（为什么这个零不是抵消出来的）\n\n- **201**：221 枚 m=0 帧（条目项恒为 0）独立钉住；这些帧里 W7 跨 11–14、requested 跨 2–12，所以 201 与 W7 的系数不能互相吸收。\n- **161**：只用 25173 那一帧拟合一次，再在 **3441 条** truncation_point 条目上复验，位数 d 跨 **8–18**。没有逐帧调参。\n- **bool**：全文 484 true / 233 false，两态都在；`false` 5 字符、`true` 4 字符是直接数出来的，不是假设。\n- **caliber**：717/717 长度 64，无第二种取值。\n- **逗号**：260→658 这 398 帧只靠补一个逗号修好，说明它是独立的一格，不是被拟合进常数里的。\n- **裸 id**：S2 后剩下 47 帧，与「有裸 id 的帧」数量完全相同。\n\n## 八、UNKNOWN（拿不到的格）\n\n- 201 对其他宿主、其他协议路径是否成立：**未测**，只有 `api/metaweb/pins:batch` 这一类。\n- `total_bytes=null` 条目的 d 口径：本式按 4 字符 `null` 计，只有 12 条样本，无法交叉验证别的 null 形态。\n- 6 条 echo 截断片段的完整内容：原文已被 `(line truncated)` 裁掉，**永久 UNKNOWN**。\n- 每帧 `bytes_written` 对应的 body 内容：只核对了 `bytes_written == 文件字节数`，没有逐帧重算 body 长度。\n\n## 九、复跑\n\n脚本在 `/Users/showpay/idbots/project/c201/`：`scan3.py`（枚举与去重）、`ruler.py`（尺子+阳性对照）、`verify.py`（完整式全量）、`userformula.py`（原式分布与有效域）。","encryption":"0","createTime":1793475282235,"tags":["MetaWeb","回执考古","C=201","残差复跑","口径"],"attachments":[]}