# 校验报告 — Toward Market-Assisted AI Cloud Inference

生成时间：2026-10-03
源文件：`source.pdf`（SHA-256 `a313e521…81e462`，14 页）
交付物：`translation-reading.html`（主交付）、`translation/01–11*.md`、`alignment.json`、`project-manifest.json`

## 1. 覆盖度

| 项目 | 数量 | 说明 |
|---|:-:|---|
| 内容块总数 | 297 | 原文 260 + 译者补充 37 |
| 章节 | 8 节 + 参考文献 | 第一节引言 → 第八节结论，顺序与原文一致 |
| 编号公式 | 22 | 标签 `1, 1a–1g, 2, 2a–2c, 3, 3a–3c, 4, 5, 6, 7, 7a, 7b`，字母后缀原样保留 |
| 表格 | 2 | 表 I 为原文嵌入位图，另附重建中文符号表并标注 |
| 图 | 17 | 原始 artwork，图内英文标签保留，中文图注另列 |
| 算法伪代码 | 5 | 算法 1–5，行号与原文一致 |
| 参考文献 | 76 | 保留原著录不译题名（依据 `style-guide.md` §7） |
| 术语条 | 33 | `glossary.json`，全文单一译法 |
| 译注 | 37 | 绿色 13（背景与直觉）／蓝色 24（公式、算法、证明与核对） |

## 2. 保真度检查（全部通过）

| 检查项 | 方法 | 结果 |
|---|---|:-:|
| 公式零改写 | 22 个公式块 `source == zh` 逐块比对 | ✅ 22/22 完全一致 |
| 公式编号标签 | 每个公式块含 `\tag{}` | ✅ 22/22 |
| 行内公式集合 | 抽出全部 `$…$` 片段做集合比对 | ✅ 4 处差异均已核为良性（见 §3） |
| 数字保真 | 剔除公式与译注块后比对数字集合 | ✅ 无实质差异 |
| 算法行号 | 5 段伪代码均含原始行号 | ✅ 5/5 |
| 术语一致 | 全文术语命中 571 处，悬空链接 0 | ✅ |
| 章节顺序 | 目录顺序 vs 原文 | ✅ 一致 |

## 3. 已核查并接受的差异

以下 4 处行内公式集合差异，逐个核对后确认无需修改：

- `sec3-thm-2`：原文 `$c^t_n,\forall n$` 在译文中拆为 `$c^t_n$` 与 `$\forall n$`，语义不变。
- `sec5-007`：原文纯文本 `[0, 1]`、`[6, 10]`、`[5, 18]` 在译文中收进数学模式，以便 MathJax 渲染区间。
- `sec5-018`：原文 `7$ and 10$` 中的 `$` 是货币符号被文本抽取器误判为数学定界符；译文以「7 美元和 10 美元」完整保留数值。
- `sec2-005`：集合相同，仅排序差异。

## 4. 原文缺陷登记（照译并标注，未代作者修正）

这一栏是本项目的重点：**不替作者把不完整的地方补成正确结论**。

| 位置 | 原文状况 | 处理 |
|---|---|---|
| 算法 2 第 10 行 | 两个概率印为 $\phi_1/(\phi_1+\phi_2)$ 与 $\phi_2/(\phi_1+\phi_2)$，但上下文说「均为 $\phi_1/(\phi_1+\phi_2)$」，且与「期望保持」矛盾 | 照译，并在蓝色译注中据数学约束反推正确值、注明「不能照录」 |
| 定理 3 | 原式在双栏排版中与右栏正文逐字符交错 | 保留重建式，蓝色译注声明「结构级重建，求和范围与 $M^t$、$8$ 的确切位置为据 Hedge 标准遗憾界反推」 |
| 定理 4 | $r_1$、$r_2$ 表达式同样因双栏交错无法逐字符恢复 | 同上标注 |
| 算法 4 | 原 PDF 该框只印出 Output，没有 Input 行 | 按原样保留，译注说明未代作者补写 |
| 算法 4 第 11–13 行 | 缩进与第 6 行 `if` 并列而非嵌套 | 照原样呈现并加注 |
| 表 I | 原文为嵌入位图，文字不可抽取 | 同时提供原表图像与依据正文公式重建的中文符号表，并明确标注为重建 |

## 5. 渲染验证（`browser-verification.json`，脚本 exit=0）

| 项目 | 结果 |
|---|:-:|
| MathJax 公式容器 | 1080 |
| 数学渲染错误（`merror`） | 0 |
| 编号公式对照对 | 22 |
| 图片加载 | 18/18 全部成功 |
| 术语悬空链接 | 0 |
| 控件（原文对照／显示译注／术语表） | 均正常 |
| 移动端（390×844）横向溢出 | 0 px |
| 浏览器 JS 错误 | 0 |

公式全部用 LaTeX 重排并由本地 MathJax（`assets/mathjax/tex-svg-full.js`，2.2 MB）渲染，**未使用公式截图**，离线可读。

## 6. 本轮修复的工程缺陷

1. `blocks-sec4.json` 中文引号未转义，导致 JSON 解析失败 → 已修正。
2. 译文中的 `<strong>` / `<em>` / `<br>` 被 HTML 转义成字面文本显示 → `build_project.py` 增加白名单标签直通，现在 246 处加粗、9 处斜体、97 处换行均正常渲染。
3. 首页「阅读说明」沿用了另一篇论文的数据（39 个公式、42 条文献、原 PDF 无伪代码）→ 改为本文实际的 22 个公式、76 条文献、5 段伪代码。
4. `build_project.py` 不清理旧导出文件，章节数变化后编号漂移并留下重复文件 → 现在导出前清空 `translation/*.md`。
5. 块合并按文件名字母序，导致「第二节」排到第八节之后、参考文献插到第三节之前 → 改为按文档位置排序。
6. 参考文献 76 条此前未进入阅读器（`references=0`）→ 新增 `parse_references.py`，解析为 `blocks-references.json`，并补上节标题与政策译注。

## 7. 已知限制

- 原文表 I 为位图，符号表是依据正文与公式重建的重建版本，非逐字复制。
- 定理 3、定理 4 的公式属结构级重建（原因见 §4），无法保证与原文逐字符一致。
- 定理 1、定理 2 的完整证明在补充材料中，本文正文未给出，译注已注明这一点。
- 17 幅图已做数值校验（裁剪框等于图形对象边界，漂移仅为外扩 3 pt），但**视觉复检需人工**：构建会话的模型不具备读图能力。
- 「译者教学补充」中的算例数字（$N=2$、$c_1=3$ 等）全部为译者自设，用于说明机制，**不是论文实验数据**，不可作为论文结论引用。

## 8. 复现方式

```bash
python parse_references.py     # 参考文献 → blocks-references.json
python build_project.py        # 合并块、导出 Markdown、渲染阅读器
node verify_reader.cjs         # 浏览器端渲染校验 + 截图，exit=0 为通过
```