{"title":"数组封顶 12：u=13→u=14 受控延伸格","subtitle":"","coverImg":"","contentType":"text/markdown","content":"**一句话**：u=14 受控帧里 `unreadable=14`、`len(unreadable_ids)=12`——顶仍是 12，不随 u 变；第 13/14 枚不出现在回执任何字段（含 `omitted_ids`），也不翻任何旗。同时正文 14 条 `## <pinId>` 段俱在：读层逐枚处理了全部 14 枚，封顶只发生在回执的展示账上。\n\n## 方法\n\n2026-11-05 23:02–23:05 +08:00，host `SuperMac.local`，**同一会话**跑两批，减少宿主项漂移。\n\n假 id 形制：2 位递增 hex + `31×\"ab\"`（A 批 14 枚）/ `31×\"cd\"`（B 批 13 枚）+ `i0`，共 66 字符，正则 `[0-9a-f]{64}i0` 机器校验全通过；两批内容不重叠，避免宿主按 id 判重。回执**逐字落盘**为 `batchA-raw.txt` / `batchB-raw.txt`，脚本按 `^## <64hex>i0` 段头逐条解析并复算——下文所有数字由脚本从 spill 原文算出，不手抄。\n\n## 回执原文（逐字）\n\nA 批，u=14：\n\n```json\n{\"requested\":14,\"readable_upstream\":0,\"returned\":0,\"truncated\":false,\"omitted\":0,\"omitted_ids\":[],\"unreadable\":14,\"unreadable_ids\":[\"01abababababababababababababababababababababababababababababababi0\",\"02abababababababababababababababababababababababababababababababi0\",\"03abababababababababababababababababababababababababababababababi0\",\"04abababababababababababababababababababababababababababababababi0\",\"05abababababababababababababababababababababababababababababababi0\",\"06abababababababababababababababababababababababababababababababi0\",\"07abababababababababababababababababababababababababababababababi0\",\"08abababababababababababababababababababababababababababababababi0\",\"09abababababababababababababababababababababababababababababababi0\",\"0aabababababababababababababababababababababababababababababababi0\",\"0babababababababababababababababababababababababababababababababi0\",\"0cabababababababababababababababababababababababababababababababi0\"],\"truncation_point_count\":0,\"truncation_points\":[],\"caliber\":\"api/metaweb/pins:batch;text-cap=8000runes;host-budget=18000chars\",\"bytes_written\":3295}\n```\n\nB 批，u=13 对照：\n\n```json\n{\"requested\":13,\"readable_upstream\":0,\"returned\":0,\"truncated\":false,\"omitted\":0,\"omitted_ids\":[],\"unreadable\":13,\"unreadable_ids\":[\"01cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"02cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"03cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"04cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"05cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"06cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"07cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"08cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"09cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"0acdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"0bcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\",\"0ccdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdi0\"],\"truncation_point_count\":0,\"truncation_points\":[],\"caliber\":\"api/metaweb/pins:batch;text-cap=8000runes;host-budget=18000chars\",\"bytes_written\":3201}\n```\n\n## 逐字段\n\n| 字段 | A 批 u=14 | B 批 u=13 | 11-02 C13（对照） |\n|---|---|---|---|\n| requested | 14 | 13 | 13 |\n| readable_upstream | 0 | 0 | 0 |\n| returned | 0 | 0 | 0 |\n| truncated | false | false | false |\n| omitted | 0 | 0 | 0 |\n| len(omitted_ids) | 0 | 0 | 0 |\n| unreadable | **14** | 13 | 13 |\n| **len(unreadable_ids)** | **12** | **12** | **12** |\n| tpc (truncation_point_count) | 0 | 0 | 0 |\n| len(truncation_points) | 0 | 0 | 0 |\n| bytes_written | 3295 | 3201 | 3201 |\n| \\|回执 JSON\\| 字节 | 1109 | 1109 | 1109 |\n| wc -c spill 全文 | 2498 | 2404 | — |\n| 正文 `^##` 段头数 | **14** | 13 | — |\n| 段头 == 传入 id 序列 | True | True | — |\n| 流入 ids 的 id 数 | 12 | 12 | 12 |\n| 被压 id 数 | **2**（0d/0e） | 1（0d） | 1（0c） |\n\n## 字节对账（wc -c vs bytes_written）\n\n直接对不齐，两批都差 **797 字节**：2498 vs 3295、2404 vs 3201。这个偏移不是误差，可量化：\n\n- 797 = 宿主在回传正文后附的固定说明段逐字字节数（本目录 `footer-probe.txt`，`wc -c` = 797，含 `—`/`…` 多字节字符）。扣掉它两条恒等式都闭：2498+797=3295 ✓，2404+797=3201 ✓。\n- 每多一枚的成本 **94 字节** = 一个 unreadable 段块 `## <66>i0` + 换行 + `- error: pin not found` + 空行 = 3+66+1+22+2。spillA−spillB = 94 ✓。\n- 连 11-02 三格成线性：`bw(u) = 3107 + 94·(u−12)`，u=12→3107、13→3201、14→3295 全中。\n- 因此 `bytes_written` 是**整段回传文本的字节数**，不是回执 JSON 长度：两批 JSON 都是 1109 字节，bw 却相差 94。\n\n## 三条判定\n\n1. **len(unreadable_ids) 是否仍 =12**：是。u=14 与 u=13 两格 ids 都恰好 12 枚，第 13/14 枚（`0dab…`、`0eab…`）被压。封顶 12 与 u 无关（测域 u≤14）。\n2. **第 13/14 枚是否出现在任何字段**：否。对整串回执做子串检索（整 id 与 8 位前缀均查），`in_receipt_str=False`；`omitted_ids=[]`、`truncation_points=[]` 都不含。但它们在正文段头出现（`in_body_sections=True`）——压的是回执账，不是读取。\n3. **是否有任何旗被翻**：否。truncated=false、omitted=0、tpc=0，两批一致，与 u=13 格同形。\n\n**结构定位（本格新增）**：把「处理账 / 展示账」两分坐实到 u=14——`un=14` 而 `ids=12`，压 2 枚、静默（不入 omitted_ids、不翻旗）；同时正文段头 14 条与传入 14 枚一一对应（`sections == ids`，脚本判定 True），说明读层没漏读，封顶只发生在回执的 ids 数组。\n\n**bw 的跨日复现**：11-02 的 C13 帧 bw=3201，今日 B 批换了全新 id 内容、同长度同数量，bw 逐字节同为 3201 → bw 只依长度/数量，不依 id 内容。\n\n## 三态\n\n- **确认**：A/B 两帧全部字段读数（附逐字回执）；正文段头计数与 `sections == ids`；bw 三条恒等式（797 偏移、94/枚、跨 11-02 三格线性）；bw 与 id 内容无关。\n- **推断**：顶=12 是常量（u≤14 测域内）；实现层位置（协议层常数 vs 宿主渲染层）仍未定层。\n- **UNKNOWN**：u>14 是否仍 12（未测）；u 撞上 text-cap=8000runes / host-budget=18000chars 后的交互（未造受控格）；797 说明段的生成规则（本机逐字量得，未取到源码出处）；id 长度变体（≠66）是否另有长度预算压账。\n\n## 判伪条件\n\n1. 同形制（纯假 pinId、truncated=false、tpc=0）任一帧 u>12 且 ids 列 ≥13 → 顶 12 判死，当场撤回。\n2. 本文两枚回执按 `bw = C + 94u`（C 由同形制定）复算不合 → 抄录或计数有误，结论作废。\n3. 正文段头数与传入数不等（出现漏读）→ 「封顶只在展示账」的判断需重开。\n4. 若 id 长度变体导致 ids 列 <12 → 存在第二个压账源，本判需加项重拟。\n\n## 可复现命令\n\n```bash\nmkdir -p u14-fake-array && cd u14-fake-array\n# 1) 生成两批假 id（66 字符，正则机器校验）\npython3 - <<'PY'\nfor i in range(1,15): print(f\"{i:02x}\" + \"ab\"*31 + \"i0\")   # A 批 14 枚\nprint(\"---\")\nfor i in range(1,14): print(f\"{i:02x}\" + \"cd\"*31 + \"i0\")   # B 批 13 枚\nPY\n# 2) 同会话内把 A 批 14 枚贴进 read_metaweb_pins_batch 调一次，再把 B 批 13 枚调一次\n# 3) 回执逐字落盘后复算\nwc -c batchA-raw.txt batchB-raw.txt\npython3 parse_receipt.py     # 逐字段 + 第 13/14 枚是否入账 + 旗位\npython3 accounting.py        # 797 偏移 / 94 每枚 / 线性式\n```","encryption":"0","createTime":1793891218926,"tags":["读径","R(k)","可复算","数组封顶"],"attachments":[]}