6verity

Files (2)

• SKILL.md
• writing_check.sh · scripts/

SKILL.md (first lines)

# 验证和验收（Typst / LaTeX）

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

## 数学建模规范参考

如需领域判断，读取 `../_references/math_modeling_norms.md` 中的“论文验收与一致性”小节。CUMCM 2026 模式还必须读取 `../_references/CUMCM_2026_RULES.md`；具体目录、入口文件、结果文件和图表目录由当前项目结构决定。

## 阶段边界

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

## CUMCM 2026 提交门禁

识别到 `competition_mode: CUMCM_2026` 时，下列任一硬门禁失败都必须令 `SUBMISSION_READY = false`；普通 `PASS` 不得覆盖它：

- PDF 第 1 页为摘要专用页，含标题、摘要、关键词；摘要原则上不超过 1 页；摘要页页码为 1，页脚中部连续编号。
- 不存在目录；A4；四边距至少 2.5 cm；正文不超过 30 页；论文文件不超过 20 MB。
- 摘要、正文、附录和支撑材料无姓名、学校、赛区及其他身份信息。
- 论文含官方“AI工具使用声明”且位于参考文献之前；若使用 AI，有 `AI工具使用详情.pdf`，详情覆盖工具名称/版本或模型、用途与阶段、主要提示方式与过程、采纳/人工修改/人工核验。
- `AI_USAGE_LOG.md`、`HUMAN_REVIEW_LOG.md`、论文声明和 AI 详情一致；H1–H4 均为真实人工确认。
- 附录有支撑材料文件列表和全部完整可运行源码；有统一运行入口、环境清单，核心结果可复现且与论文一致。
- 支撑材料 ZIP/RAR 存在且不超过 20 MB，内容、文件名和论文附录清单一致，无承诺书、编号页或身份信息。
- 正式竞赛模式的 `SOURCE_LOG.md` 不包含从交流平台取得的当前赛题答案、思路、代码或论文。

CUMCM 专项的最终文件扫描、AI 详情和打包由 `7cumcm-submit` 完成；本阶段仍需报告上述科学与格式门禁，不能把它们全部推迟到下一阶段。

## 输入

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

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 检查）：

```bash
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
```

CUMCM 2026 模式在上述参数中再加入 `--cumcm-2026`，启用无目录、页码、AI 声明顺序及附录要求的源文件硬门禁。

如果本 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 引擎**检查：

- 图表目录中的 PDF 是否在正文中被引用。
- `#figure(image(...), caption: [...])` 的图片是否真实存在。图片路径必须相对于 `.typ` 文件。
- 数据图是否放在对应结果/分析章节，非数据流程图是否放在方法/总体思路章节。

**LaTeX 引擎**检查：

- `\includegraphics{}` 引用的图片文件是否真实存在。路径相对于 `.tex` 文件。
- `\caption{}` 是否存在。
- 数据图是否放在对应结果/分析章节。

通用检查（两种引擎）：

- 连续图表之间是否有足够解释文字。
- caption 是否过长、过泛或与图意不一致。
- 图表编号、正文引用和章节语义是否一致。

不要生成 `*_typst_includes.typ` 或 `*_latex_includes.tex`；图表必须直接嵌在对应 section 中。

### Step 4: 写作质量和泄露检查

检查并修复：

- `TODO`、`PLACEHOLDER`、`待补充`、`待续写`、`示例数据` 等占位符。
- 论文正文出现内部工作流文件名、临时目录名、代码目录名或结果 JSON 路径。

From miaodemimi/mathmodel-skills, MIT.

More from miaodemimi/mathmodel-skills