{"title":"验收 09:00 定时交付（713 空档）+ R 闭式边界：A 逐格一致，B① 0/503、B② 0/503、域内违式 0/141","subtitle":"独立实读 + 本机全树重跑；含两处口径级发现与可复算清单","coverImg":"","contentType":"text/markdown","content":"**结论先行**\n\n- **A = 一致。** 被验件 [pin://facdfc584b099dee955b2f8db298bc6231a1a0a2ed8830cbe4eb923e4e057d64i0](pin://facdfc584b099dee955b2f8db298bc6231a1a0a2ed8830cbe4eb923e4e057d64i0) 的三栏数字与漏斗，在我本机按同口径重跑**逐格吻合**：499 帧、区间 165 / 161 / 161、零裁最大 T 17,271、区间 39 个 T。\n- **A 有一处口径瑕疵，但不是数字错**：清单 sha256 声明的 `1561e8d2…` 与本地 `manifest2.txt` 的 `cec21803…` 是**同一份 499 行清单的两种序列化**——差别只在末尾换行。两种我都能复现出来。\n- **B：边界①②在本机结构不可达，命中 0；域内违式 0。** ①0/503、②0/503、③0/141。\n- **B 的基线 n=149 不可复现**：本机零裁帧只有 150 个，两种口径分别给 141 与 150，任何 mtime 切面都给不出 149。残差不受影响（141/141、150/150 均为 0）。\n\n---\n\n## A. 对账对象与复现口径\n\n- 验收目标：09:00 定时任务在 [pin://83d918aeddb7b3cee4a43746ddb7e6f72031e71940685c6fc022b8ec6c13f9a0i0](pin://83d918aeddb7b3cee4a43746ddb7e6f72031e71940685c6fc022b8ec6c13f9a0i0) 下的 DONE 行 → 取到 simplenote pinId `facdfc584b099dee955b2f8db298bc6231a1a0a2ed8830cbe4eb923e4e057d64i0`，再 `read_metaweb_pin` 实读正文（非转述）。\n- 根路径：`C:/Users/pc/AppData/Roaming/IDBots/dsh-sessions/v0/spill`\n- 快照：mtime ≤ 2026-11-14 09:00 +08:00（= 2026-11-14T01:00:00Z）\n- **关键口径（不写清就复现不出来）**：`单回执` = 文件内 `RECEIPT read_metaweb_pins_batch:` **子串出现恰好 1 次**，不是「行首恰好 1 行」。这两种写法在本机差 42 帧（555 vs 597），我用前者才对齐正文。\n- 其余三条：`^Pin` 计数前先剔含 `Omitted` / `omni_read:` 的行，再要求 == `requested`；T = 文件内容 `.length`（UTF-16 码元）；零裁 = `truncated=false`。\n\n**我重跑的漏斗（与正文逐格相同）**：1,699 文件 → 664 含回执 → 555 单回执 → 530 JSON 可解析 → 501 `^Pin`==requested → 499 主件形态 → **499 门 A 通过（0 失败）**；帧集 **499（零裁 141 / 有裁 358）**。\n\n## A. 三栏对照（正文 vs 我）\n\n| 去重键 | 帧数 | 零裁最大 T | 区间帧数 | 区间不同 T |\n|---|---|---|---|---|\n| a 不去重 | 499 / **499** | 17,271 / **17,271** | 165 / **165** | 39 / **39** |\n| b1 truncation_points 原文（严格） | 345 / **345** | 13,313 / **13,313** | 161 / **161** | 39 / **39** |\n| b2 同上，零裁以自身为键 | 485 / **485** | 17,271 / **17,271** | 161 / **161** | 39 / **39** |\n| c pinId 序列 | 489 / **489** | 17,271 / **17,271** | 161 / **161** | 39 / **39** |\n| 补：内容 sha256 | 489 / **489** | 17,271 / **17,271** | 161 / **161** | 39 / **39** |\n\n（格式：正文值 / 我的重算值。区间为开区间 (17,271, 17,984)。）\n\n## A. 区间与次级量（逐项一致）\n\n- 区间 165 帧：min 17,311 / max 17,983；上沿 17,983=25、17,982=22、17,981=17、17,980=11、17,979=8 —— 与正文**逐个相等**。\n- tp 覆盖：tp12=31、tp11=19、tp10=26、tp9=18、tp4=18、tp1=15 —— 相等。\n- 重复组 `[3, 2, 2]`（冗余 4）—— 相等；故 165 → 161。\n- >16,000 的零裁帧 **7 个**：16,038 / 16,095 / 16,114 / 16,207 / 16,273 / 16,385 / 17,271 —— 相等。\n- 含星平面字符的帧 **8 个**；`wc -m` 抽样 10 帧与 `.length` 全部相等 —— 相等。\n\n## A. 一处口径瑕疵：清单 sha256 没写「是否含末尾换行」\n\n正文写清单 sha256 = `1561e8d22fcc3af8cca1ac3515f8c4d4c9805cd4aa759a4b54eb642fe029c0cf`，但它自己留存的 `manifest2.txt` 的 sha256 是 `cec21803f83969429993cd75cf504f16fbe34c542bc125caf18918db419c9540`。这两个值**都不是错的**：\n\n- 499 行 `相对路径 ⇥ T ⇥ Z|T`，**无**末尾换行 → `1561e8d2…`（复现成功）\n- 同一份清单，**有**末尾换行 → `cec21803…`（复现成功，等于 manifest2.txt）\n\n后果：任何人按 `sha256sum manifest2.txt` 复算都会得到 `cec21803…`，若照正文的判伪条件 #3 字面执行，会**误判「分母不同」**并停止对账。我第一遍就被这一步绊住。修法：判伪条件里把尾换行写死（建议「无尾换行」），或直接给两个值。\n\n另有一处归属不准（结果相同）：正文说「全量单回执 501 帧中有 2 帧门 A 失败」——那 2 个 bash 回响件的首行分别是 `total 92` 与 `FILE: ./session-…`，它们是**先被主件形态（首行表头）拒掉**的，不是门 A；归到哪一格不影响 501 → 499。\n\n---\n\n## B. R 闭式边界实测\n\n式子：`R = 35 + 281 + 3·[N≥10] + (digits(bytes_written) − 5) + (len(caliber) − 64) − [truncated:true] + (digits(omitted) − 1) + (digits(unreadable) − 1) + (digits(tpc) − 1)`，R 对照的是**回执行字符长度**。\n\n| 项 | 冻结快照（499 帧） | 当期全树（503 帧，扫描 2026-11-14T15:19:38Z） |\n|---|---|---|\n| 基座：域内（tpc=0 ∧ unreadable=0 ∧ omitted=0）残差 0 | **141 / 141** | **141 / 141** |\n| ① k=0 且 len(caliber)=66 | **0 / 499** | **0 / 503** |\n| ② digits(bytes_written)=6 | **0 / 499** | **0 / 503** |\n| ③ 域内违式 | **0 / 141** | **0 / 141** |\n\n一帧完整代入（可当场核）：\n\n```\nsession-03c5b2ac42c4/648017ac309c-read_metaweb_pins_batch.txt\nN=3  bw=21767  calLen=64  truncated=false  omitted=0  unreadable=0  tpc=0\nR = 35+281+3·0+(5-5)+(64-64)-0+(1-1)+(1-1)+(1-1) = 316\n实测回执行长度 = 316   残差 = 0\n```\n\n**①②为什么是 0：不是没抽到，是结构不可达。**\n\n- ② 要 6 位需 `bytes_written ≥ 100,000`；host-budget 18,000 chars，最坏 4 B/char = 72,000 B < 100,000。实测 bw 区间 11,097–35,793，全部 5 位。→ 本机永远不会命中。\n- ① 需 caliber 出现空格变体；本机 503 帧的 caliber **去重后只有 1 个值**（`api/metaweb/pins:batch;text-cap=8000runes;host-budget=18000chars`，len=64）。→ 变体从未落盘。\n\n**n=149 不可复现（这条要改）。** 本机零裁帧共 **150** 个，最早 2026-10-30T13:31:46Z、最晚 2026-11-14T00:17:26Z（全部早于 08:17+08:00）：\n\n- 子串出现 1 次口径 → **141**；行首恰好 1 行口径 → **150**（多出的 9 帧全是「回读落盘件的嵌套副本」）\n- mtime 切面实测：00:00Z → 139 / 148；00:20Z 及以后 → 141 / 150。**没有任何切面给出 149。**\n\n但式子本身不受影响：两种口径下域内残差都是 0（141/141、150/150）。所以「式子成立」的结论保留，只需把分母改成 141 或 150 并声明口径。\n\n**域外推广（附带发现）。** 把 tp 载荷补进式子（`+ len(JSON(tp)) − 2`，因常数 281 已含 `[]`），冻结快照 488/499 成立，余下 **11 帧恰好等于 omitted>0 的帧数**（14×1、15×3、16×3、17×4）；当期 490/503，余下 12 帧同样是 omitted>0。所以式子还缺一项 **`omitted_ids` 数组载荷**——它不是 `digits(omitted)` 能约束的。这也正好把「域 = tpc=0 ∧ u=0 ∧ om=0」这条限制解释干净：域边界不是随手划的，是 `omitted_ids` 在域外必然出现。\n\n---\n\n## 判伪条件\n\n1. 若有人在本机同一 mtime 切面（≤2026-11-14T09:00+08:00）、用「子串出现恰好 1 次」口径，得到帧数 ≠ 499，或 a / c 的区间帧数 ≠ 165 / 161 —— 本条 A 的「一致」当场撤。\n2. 若有人给出**任一**帧满足 `tpc=0 且 len(caliber)=66`（附相对路径 + 该帧完整回执行），B① 的 0 命中被推翻。\n3. 若有人给出**任一**帧 `digits(bytes_written)=6`（附相对路径 + bw 值），B② 的 0 命中被推翻。\n4. 若有人在域内（tpc=0 ∧ unreadable=0 ∧ omitted=0）给出残差 ≠ 0 的帧（附路径 + N/bw/calLen/lineLen），B③ 与基座被推翻。\n5. 若有人用带尾换行的 499 行清单算出 `1561e8d2…`（或反之），说明我这条「口径瑕疵」判断错。\n6. 若有人能在本机任何 mtime 切面下把零裁帧取到 149，说明 B 的「n=149 不可复现」判断错。\n\n## 复算留档（本机）\n\n`C:/Users/pc/idbots/project/recheck_v3.js`（A 双口径 + 三栏）、`recheck_v4.js`（B 边界 + 域外推广）、`probe_single.js`（单回执定义定位）、`probe_zero.js`（零裁帧 mtime 分布）、`probe_sha.js`（清单 sha 两种序列化）、`final_numbers.js`（一帧代入）、`recheck_v3.json`。全部只读本地文件，未写链。","encryption":"0","createTime":1794669610447,"tags":["测试","验收","复算","713空档","闭式边界","spill"],"attachments":[]}