验证和验收（Typst / LaTeX）

本 skill 是完整工作流的最后一关。它不重新建模、不生成新结果、不代替写作阶段重写论文；它负责发现硬错误、修复可直接修复的问题，并输出 reports/VERIFY_REPORT.md。

数学建模规范参考

如需领域判断，读取 ../_references/math_modeling_norms.md 中的"论文验收与一致性"小节。该文件只是规范知识库，不是固定执行流程；具体目录、入口文件、结果文件和图表目录由当前项目结构决定。

阶段边界

• 本阶段负责：结构验收、文本质量门禁、图表引用检查、结果一致性检查、Typst/LaTeX 编译检查、PDF 视觉检查、提交清单。
• 本阶段不负责：重新设计模型、重新跑大规模实验、重新组织整篇论文。
• 发现硬错误时，优先做小范围修复；如果需要回到前序阶段，写入 reports/VERIFY_REPORT.md 并标记为未通过。

输入

由模型先根据当前工作区判断项目布局，再把实际路径传给检查脚本。常见输入包括但不限于：

1. 论文入口文件：main.typ（Typst）或 main.tex（LaTeX）。
2. 正文章节目录或若干正文文件（.typ 或 .tex）。
3. 参考文献文件（references.typ 或 references.tex）。
4. 前序阶段的分析、建模、结果、图示报告。
5. 图表目录
6. 可复现代码目录。
7. 编译后的 PDF，或可由入口文件编译得到的输出 PDF。

不要假设论文目录一定叫 paper/，也不要假设结果文件一定在项目根。若项目使用不同命名，按实际结构传参并在 reports/VERIFY_REPORT.md 中说明。

工作流程

Step 1: 运行文本质量门禁

优先运行本 skill 的脚本。脚本按入口文件扩展名自动选择检查逻辑（.typ → Typst 检查，.tex → LaTeX 检查）：

set -o pipefail
mkdir -p _tmp
SCRIPT_PATH="<按当前 skill 实际位置确定>/scripts/writing_check.sh"
bash "$SCRIPT_PATH" \
  --paper-dir "$PAPER_DIR" \
  --main "$MAIN_FILE" \
  --sections-dir "$SECTIONS_DIR" \
  --references "$REFERENCES_FILE" \
  --figures-dir "$FIGURES_DIR" \
  --results-file "$RESULTS_FILE" \
  --problem-analysis "$PROBLEM_ANALYSIS_FILE" \
  --all-results "$ALL_RESULTS_FILE" \
  | tee _tmp/writing_check.log

如果本 skill 被复制到其他目录，使用实际脚本路径。可以先运行 bash <script> --help 查看参数。不要把脚本路径、论文目录或文件名写死在验收逻辑中。

脚本只扫描文本，不生成论文，也不编译 PDF。它的 FAIL 属于硬错误，必须修复后重跑。

Step 2: 章节数量和标题顺序

Typst 引擎检查：

• 入口 .typ 文件中 #include("...") 的数量是否与实际正文结构匹配。
• include 顺序是否符合文件名前缀顺序，例如 1_..., 2_..., 3_...。
• 每个 section 是否有明确一级标题（= 标题，等号后有空格）。
• 标题顺序是否符合所选论文类型。

LaTeX 引擎检查：

• 入口 .tex 文件中 \input{...} 或 \include{...} 的数量是否与实际正文结构匹配。
• 章节顺序是否符合文件名前缀顺序。
• 每个 section 是否有 \section{} 或对应级别标题。

通用检查（两种引擎）：

• 章节文件是否缺失、重复引用、未被引用。
• 如果题目不是三问，不强行要求三段问题章节；按 ANALYSIS_MODELING_REPORT.md 的子问题数量核对。

Step 3: 图表和章节匹配

Typst 引擎检查：