# 交底书生成后自检（Step 8，内部执行）

自检结果用于**修订正文**，默认**不单独输出自检报告**；用户索要时可单独提供。**不得**将自检清单作为交底书一章写入正文。

**按类型选用**：

| 类型 | 必做 |
|------|------|
| 发明 | §8.1–§8.3（全文）；含公式时 §8.2 必核 |
| 实用新型 | §8.3 通用项 + **§8.4**（§8.1–8.2 中明显属「算法/系统/公式」的条目可跳过） |
| 外观设计 | §8.3 中与命名/查新/文末清洁相关项 + **§8.5** |

细则成文入口：`invention|utility_model|design/disclosure_builder.md`。

## 8.1 逻辑与闭环（发明为主）

- [ ] 技术方案是否形成完整闭环（发现→处理→扩展/输出）？
- [ ] 模块之间关联关系是否清晰？上下游是否衔接？
- [ ] 分支样本（如边界样本、低置信度样本等）是否有明确处理路径？
- [ ] 依赖项（如类别中心、动态阈值等）是否有来源说明？
- [ ] 第五章「技术关键点」与第三章「系统流程」是否呼应？第五章以论点概述为主，技术细节在第三章。

## 8.2 公式与参数一致性（发明；含公式时必做）

**Step 8 必做（含公式时）**：除符号体例与跨节一致外，须**主动复核公式是否正确、公式逻辑是否与第三章叙述一致**（等同用户会提出的「检查公式和公式逻辑是否有误，有误请调整」）；发现问题**直接改稿**，勿仅提示用户自行修改。

### 符号与体例

- [ ] **formula_plan（发明含公式）**：案件目录已有 `formula_plan.yaml`；`paradigm_ids`∈`references/formulas/paradigms.yaml`（及覆盖合并结果）；`check_formula_plan.py` 通过或等价手检通过
- [ ] **符号表（3.4.1）**：全文含公式时是否已设 **3.4.1** 并 **先定义符号**（含义、下标、量纲）；式 (1) 及后文每个符号是否均已在表中定义？
- [ ] **维度下标**：是否存在 `^{cpu}`、`^{mem}`、`^{io}` 等 **上标表示维度** 的写法？若有须改为 `b_{i,\mathrm{cpu}}`、`a_{j,\mathrm{mem}}` 等 **下标 + `\mathrm{}`** 形式（见 **`disclosure_builder.md` §7.7**）
- [ ] **装饰音**：是否出现 `\tilde`/`\hat`/`\bar` 等？若有改为独立符号（如平滑量 \(A\)）或范式 `ema_smooth`
- [ ] **字母多义**：同一字母是否兼指任务侧与节点侧等不同对象？若有须拆分符号（如任务用 \(b\)、节点用 \(g\)）
- [ ] **公式表述一致**：同一物理量在不同公式、段落中是否 **同形同义**（如权重公式、调整系数、匹配分 \(s_{ij}\) 等）
- [ ] **LaTeX 体例**：行内/块级分隔符是否全文统一（`\(...\)`/`\[...\]` 或 `$`/`$$` 二选一）；块级公式是否尽量单行；是否避免 `\text{且}` 等易渲染失败写法
- [ ] **3.5 与符号表**：3.5 参数表「符号」列是否与 3.4.1 **逐字同形**
- [ ] **阈值范围**：与正文一致（如 0.5–1.5、0.8–1.2 等）
- [ ] **参数命名**：全文统一，避免同义不同名混用
- [ ] **实施例数值**：与 3.5 关键技术参数对应，不冲突；且与 `formula_plan.numeric_example` 可互相印证

### 公式正确性与逻辑（必核）

- [ ] **式面正确性**：各式是否无明显笔误（运算符、括号配对、上下标错位、同一式内符号与符号表不符、缺项/多写项、指数或分母写错等）？
- [ ] **可算性**：先跑 `python tools/shared/check_formula_plan.py -i …/formula_plan.yaml --eval`；代算失败须改式或改数值例。脚本跳过的复杂式再用 `numeric_example`（或第六章同一组数）手算；算不出则改式或补定义（如 \(\sigma\)）
- [ ] **量纲常理**：相加各项是否已无量纲/归一？防零除 \(\varepsilon\) 是否与分母同量纲？有无裸 `max(1, 容量)`？
- [ ] **约束与不等式方向**：公式中的 `\leq`/`\geq`/正负号是否与文字含义一致（如「饱和度」「有余量」「限频间隔」等）；多条件「且/或」是否与 3.4 流程分支一致？
- [ ] **公式与流程互推**：3.4.1 主公式（含式 (1)）及衍生式，能否与 **3.4 流程说明**（各步骤 S1—Sn）、**3.3 模块职责** 逐步对应？叙述中的打分、重排、限频、窗口聚合等是否在公式中有体现，**无**「文字一套、公式另一套」？
- [ ] **边界与特殊情形**：空队列、单节点、分母为零、指标缺失、达到上下界等情形，公式或正文是否给出合理处理或说明（至少不与主公式矛盾）？
- [ ] **量纲与取值**：符号表声明的量纲/取值范围是否与公式用法一致（如权重为正、比例在 0—1、计数为非负整数等）？
- [ ] **修订联动**：若修正公式或逻辑，是否已同步改 **formula_plan**、**3.4 文字**、**3.5 参数**、**第六章实施例** 及 **3.4.1 符号表**（见 §7.7 跨节一致）？

## 8.3 格式与引用

- [ ] **迭代路径**：若本次走 `merger.md` / `correction_handler.md`，对话中是否已含 **`## 合并摘要（留档）`** 或 **`## 纠正摘要（留档）`**（按该 prompt 字数要求）
- [ ] **修订对话记录**：案件目录是否已追加 **`交底书修订对话记录.md`** 一条（含记录时间、用户说明摘要、本轮交付文件名、摘要摘录），见 **`iteration_context.md`**
- [ ] **交付文件名**：凡落盘交付的交底书是否均为 **`{案件名}_{YYYYMMDDHHmmss}.md`** 及同名 `.docx`（§7.3 第 5 点，**含首次定稿与迭代**），未无故覆盖旧稿
- [ ] **图示（按类型）**：发明须 fenced mermaid → `tools/shared/mermaid_render.py` 转 PNG，无 ASCII 框图；实用新型以 **`figure_plan.yaml`** 入文线稿为主（CAD/实拍不入文）；外观 **实拍 + 线稿** 均入 md 与 Word。正文「如图/见图 N」与清单 `fig` 一致。`.md` 已交付；发明须 `.docx`；实用建议 docx；外观须同名 `.docx`
- [ ] **figure_plan（实用/外观）**：案件目录存在 `figure_plan.yaml`（或 json）；主题/材料若本轮有变，清单已重评（含 `relates_to`）；未入文图有 `reason`；总装+局部或入文多视时图际关联已填写
- [ ] 章节引用：如「详见 3.4.1」须指向真实存在的章节
- [ ] **1.1 / 在先对比**：列举的专利/文献/在先外观是否均附有**可访问且与著录项一致**的公开 URL（非编造）；是否与 `prior_art_search.md` 及检索说明自洽；**检索说明**是否**未**出现 `cnipa_epub_search.py`、WebSearch/降级等内部流程用语
- [ ] **查新摘要（国知局）**：凡 **`EPUB_HITS_JSON`** 中带非空 **`abstract`** 的条目，正文概括**是否体现对摘要的理解**；无 `abstract` 时是否已按 `prior_art_search.md` 补全理解
- [ ] **查新类型**：`--type` 与文头专利类型一致（invention / utility_model / design）
- [ ] **脚本判读**：未因 PowerShell stderr / 乱码 / `NativeCommandError` 把退出码 0 的查新或定稿当成失败
- [ ] **文末清洁**：正文**无**技能仓库名、`examples/`、`disclosure_draft` 路径、「教学示例」「虚构」「不构成法律承诺」等**元信息脚注**（若存在则删除）
- [ ] **权利要求偏向点（对话，发明）**：定稿对话是否按发明 **`disclosure_builder.md` §7.6** 给可选建议（**仅对话**）；侧重点源于本稿，**无**凭空捏造
- [ ] **公式 PNG（对话，发明）**：stderr 若有 `omml_text_fallback` 或 `OMML_FAIL:`，交付后是否已反问是否装 matplotlib 并以 `--math-render` 重出 Word；未得「是」则未安装
- [ ] **政策感知低频提示（对话，可选）**：若适用，是否已按 **`prompts/evolution/soft_nudge.md`** 决定提示或跳过（**至多一句**；未写入正文；未因此自动跑模式 C）
- [ ] **STEP 解析（对话）**：cad_scan 为 `ask_enable_step_parse` 时，是否已在交底落盘后的交付回复末尾反问；未在 Step 2 中断成文；未得「是」则未安装依赖。仅原生 CAD 则交付末尾已提示导出 STEP

## 8.4 实用新型专项

- [ ] 文头 **专利类型：实用新型**
- [ ] 第三章可追溯 StructureSchema（部件/连接/布局）；`uncertain` 未写成既定公差
- [ ] 第五章为装置/结构书式，非纯方法独立点
- [ ] 未把外观美感或算法步骤当作构造创新主线
- [ ] 附图「如图 N」与 `figure_plan` 的 `fig`/`path` 一致（非散落 assets 临场挑选）
- [ ] 总装+局部入文时 `relates_to` 已写；正文「局部/剖视」表述与之对齐；跨图件号一致
- [ ] 入文图仅为合格 lineart；CAD/实拍未误入正文  
- [ ] 结构线稿已走 image_gen：存在 `structure_lineart_brief`（或已有合格线稿故跳过生成）；件号与 `structure_schema.parts` 一致；已叠标后读图核对引出线落点（非仅 overlay 脚本合法）；未误用 `design_lineart_*`

## 8.5 外观设计专项

- [ ] 文头 **专利类型：外观设计**
- [ ] 设计要点可追溯 AppearanceSchema；只写可见造型/图案/色彩
- [ ] 视图清单齐全或 `uncertain` 已标明缺失；入文视图与 `figure_plan` 一致
- [ ] 入文多视/局部的 `relates_to` 已写（或可说明无需关联）；跨图造型无矛盾
- [ ] 外观线稿已走 image_gen：存在 `design_lineart_brief`（或已有合格线稿故跳过生成）；干净实拍与线稿均已入 md 与 Word；CAD 未入文；实拍未标成 `kind: lineart`
- [ ] `not_design_signals` 已处理（反问改类型或已从要点删除）
- [ ] 未写内部电路、受力、工艺作为设计要点

## 处理原则

发现问题则**直接修订正文**后再交付。  
**公式类（发明）**：Step 8 须完成 §8.2 核对；有误则改公式并联动修订相关章节，**不要**只向用户报告问题而不改稿（除非缺少必要技术事实、无法从正文与材料推断正确写法）。
