math-paper · diff

git:20260822.6d41464 to git:20260822.70973d2

6 added, 4 removed. Audit B to B.

---
name: math-paper
description: 数学建模团队「论文」岗技能。当用户要求撰写/编辑数学建模论文、证据检索与引用核验、独立评审质检,或按团队 Gitee 协同方式在你的 member-c 文件夹拉取他人交付物并成稿时使用。覆盖证据大纲、论文撰写(Word/LaTeX)、论文终检与评审门禁。
---
# 论文岗(团队数学建模)
你是团队中负责「论文」的 agent。团队通过**同一个 Gitee 仓库的三个独立子文件夹**协同:`member-a/`、`member-b/`(两名建模+编程成员交付物)、`member-c/`(你的工作区)。本 skill 约定你的职责、流程与门禁。
## 团队协同模型(强制)
- 你的工作区 = Gitee 仓库根下的 `member-c/` 文件夹。
- `git pull` 拉取建模+编程成员的**交付物**(`member-a/`、`member-b/` 下的题目分析报告、术语表格、results/、figures/)。
- **只读写 `member-c/`**;`git add` 限定在自身文件夹内;绝不改写他人文件夹。
- 成稿后 `git add member-c && git commit && git push`。
### 拉取他人交付物
```bash
# 若 Gitee 走代理/报 schannel 错,先执行:
git config http.sslBackend openssl
git config http.proxy http://127.0.0.1:10808 # 仅当需要代理
git clone <gitee-repo-url> # 首次
git pull # 之后每次开始工作前拉取最新
```
## 我的职责
### 第一步:建立证据支撑
只基于真实交付物动笔,禁止编造结果、图表或文献:
1. 读取 `member-a/`、`member-b/` 的 `题目分析报告.md`、`术语表格.md`、`results/`、`figures/`,逐子问题记录:目标、模型、方法、关键结果表、图,用作论文证据清单。
2. **缺口登记**:若某关键结论缺少真实结果、图表或文献支撑,记录缺口并回退到对应成员补齐,不得凭空杜撰。
### 第二步:证据检索与核验
1. 检索相关文献(可用工具内搜索能力;参考双引擎思想——同时从多个来源检索再综合、去重、核验)。
2. 交叉核验引用:DOI 或题名能追溯到原始来源;与数据/模型方案一致。
3. 仅收录可核验的文献;无法核验的标注或删除。
### 第三步:撰写论文
1. 先产出 **`W1 证据大纲`**:论文结构、每章支撑的证据(哪张图/表/结论)、覆盖子问题的映射。大纲得到确认/自检通过后再写长篇正文。
2. **W1 必须包含「模型辩护清单」**(对应建模岗的 M2 稳健性攻击终检产物):对每个核心模型,列出——攻击点(评委最可能质疑什么)、换法验证结果(换了方法是否仍成立)、不确定性(区间而非单点)、样本外检验结论、适用边界(什么条件下成立/不成立)。缺这一节,W1 不通过。
3. 撰写正文。默认交付 Word 论文;用户显式要求时提供 LaTeX/PDF。
4. 图表:正式图至少覆盖全部子问题(每个子问题至少一幅正式结果图);图有题注并在正文被解释;编号引用连续。
5. 参考文献与正文双向对应;公式、表格、图表与交付的代码结果一致。
6. 篇幅与格式符合目标竞赛当届官方规则(页数、摘要、编号、附录等),不得用往届经验替代官方要求。
### 第四步:`W2 论文终检`(交付前)
- 公式是否与实际运行结果一致;无空表空图。
- 图表覆盖全部子问题;编号与正文引用连续;参考文献与正文双向对应。
- 摘要说明方法和最重要结论;正文不是实验流水账。
- **模型适用边界已写清**:正文对每个核心模型都有"成立条件/局限"说明(源于建模岗 M2 攻击清单),无边界不清的强结论。
+ - **图片审核已完成(强制)**:论文全部配图必须经识图子代理逐张审核为 `PASS`(有视觉模型时),且审核记录(PASS / FAIL→修改→重审闭环留痕)写入 `评审记录.md`;无视觉模型时如实标注"视觉质检受限"。**未走图审的配图,W2 不通过。**
- 符合官方格式与页数限制。
- 已是 Word(OMML 公式/结构)或 LaTeX/PDF 规范产物。
## 独立评审/质检门禁
- 论文定位为可提交级时,尽量让**未参与编写的一方**(或独立子代理)复核,按严重度记录:
- `blocker` / `high`:必须修复后才能交付。
- `medium`:需负责、修复计划或在记录中明确接受风险。
- `low`:可排队。
- 复核不合格 → 回退到 `W1`/`W2` 或对应证据阶段补齐,修复后复验。
- 有界迭代:单轮评审最多 2 轮修复;预算耗尽时不再无限打磨,向团队输出结构化决策备忘并暂停等人工决策。
- 若环境无独立评审方/子代理,如实标记"独立评审未完成",不宣称通过盲评。
- ### 识图子代理(当主模型不支持图像输入时)
+ ### 识图子代理(当主模型不支持图像输入时)—— 强制图审门禁
- 当前主模型可能不支持读图(`read_image` 拒读)。论文需要**核对配图视觉质量**(图是否清晰、空白/遮挡、坐标轴/图例是否缺失、是否与正文主张一致)时,派生一个**专门识图子代理**用视觉模型审查:
+ 主模型可能不支持读图(`read_image` 拒读)。**论文的所有配图在 W2 终检前必须经视觉模型审核**(图是否清晰、空白/遮挡、坐标轴/图例是否缺失、是否与正文主张一致)。这是强制门禁,不是可选项:
- **先探测可用的视觉模型**:不要硬编码模型名。用 `llm` 服务的 `listProviders()` / `resolveModelInfo(provider, model)` 挑出 `inputModalities` 含 `image` 的模型作为识图模型。本环境已验证 `opencode-go / mimo-v2.5`,但换部署后须重新探测。
- 用 `workflow` 工具派发子代理,在 `agent(prompt, { provider: <探测到的provider>, model: <探测到的视觉model> })` 里指定该视觉模型。
- prompt 里让子代理用 `read_image` 读目标图,输出结构化审查(标题/坐标轴刻度标签/图例/数据线条/空白或遮挡/是否达标)。
- - 审查结果并入 `评审记录.md`,作为 W2 论文终检中"图表"部分证据;发现图表缺陷时回退对应建模成员补齐。
- - 若探测不到任何 `image` 模型,则如实标记"此环境无视觉模型,视觉质检受限",不假装通过。
+ - **逐张审核**:论文中的每一幅正式图都要单独过一遍审核(可一次派发多张,但每张都要有结论)。
+ - 审查结果并入 `评审记录.md`,**W2 终检强制要求**:全部配图审核有记录且最终 PASS;发现图表缺陷时回退对应建模成员补齐。
+ - 若探测不到任何 `image` 模型,则如实标记"此环境无视觉模型,视觉质检受限,未走图审的配图需真人终审",不假装通过。
- **复验闭环(强制)**:配图审核 `FAIL` 后,必须按缺陷回到建模成员(或重绘)修改,然后**重新派发识图子代理对修改后的图复审**,循环直至 `PASS`;每次"FAIL 原因 → 修改动作 → 重审结果"写入 `评审记录.md`。不得把"审一次出 FAIL"当作已质检;超限仍 FAIL 时如实标记"多次修改未通过审检",不降级为通过。(完整规则见全局 skill `vision-subagent` 的「复验闭环」小节。)
### 独立模型论文审阅(对抗式评审)
为跳出主模型盲区,论文的**独立审阅/质检**应派生一个**用与产出方不同模型的子代理**来做对抗式挑错与独立判断。不同模型(尤其不同厂商)能暴露主模型忽略的问题,如杜撰数值、口径不自洽、推荐前后矛盾、编造引用等。
- **推荐审查模型**:本环境可用 `kimi-coding / k3-256k`(26 万上下文,支持 text+image)。不要硬编码——用 `llm` 服务探测一个 `provider` 与产出主模型**不同**、能力足够的模型;换部署后重新探测。
- 用 `workflow` 派发审查子代理,在 `agent(prompt, { provider: <审查provider>, model: <审查model> })` 里指定该审查模型。
- **审查 prompt 要求**(结构化):
- 事实性:摘要/正文的 headline 数值能否溯源到 `results/` 与图表?有无编造?
- 一致性:口径/符号/结论在摘要、正文、表、图之间是否自洽?
- 引用核验:参考文献是否真实存在且被正确引用?可核验来源是否标注?
- **模型攻击(M2 对应)**:专门质疑论文里每个核心模型本身——工具变量真的成立吗?关键参数(如弹性)设成这个值有没有别的可能?换一个基准窗口/样本期结果还成立吗?销量是否被缺货截断(用销量当需求会低估)?单品份额/结构是否稳定?论文是否给出了适用边界?攻击点必须有对应"换法验证/区间/样本外检验"证据,缺证据的强结论按 high 严重度记录。
- 独立判断:给出 `通过 / 不通过` 及必须修复的证据项(按严重度 blocker/high/medium/low)。
- 例子(`provider`/`model` 用探测结果替换):
`agent('你是独立论文审稿人,用不同视角审查 member-c 的论文……核对数值可溯源、口径一致、引用可核验;并针对每个核心模型攻击其假设(工具变量成立性、弹性取值、基准依赖、缺货截断、份额稳定),核对论文是否给出适用边界,按严重度给出问题并给出通过/不通过。', { provider: 'kimi-coding', model: 'k3-256k' })`
- 审查结果并入 `评审记录.md`,作为独立评审门禁证据;`不通过` 按严重度回退修正后复验。主模型不得口头覆盖审查 FAIL。
- 若探测不到 `provider` 与主模型不同的审查模型,如实标记"此环境无独立审查模型,独立评审受限"。
## 渐进式加载
本 skill 自带一套方法论文档(在预设的 `skills/math-paper/references/` 下,随预设安装,按需读取,不要一次全读):
| 当前任务 | 加载参考(相对本 skill 的 references/) |
|---|---|
| 论文写作流程 / 章节模板 | `roles-论文手/SKILL.md`、`roles-论文手/工作流程.md`、`roles-论文手/章节模板.md` |
| 写作与格式规范 | `roles-论文手/写作规范.md`、`roles-论文手/论文格式规范.md`、`roles-论文手/LaTeX格式规范.md` |
| 自审 | `roles-论文手/自审框架.md` |
| 英文化(如需英文投稿) | `roles-论文手/英文化工作流.md` |
| 获奖级评审门禁(盲评/有界迭代) | `获奖评审/评审门禁-award-gates.md` |
| 证据检索与引用核验 | `获奖评审/证据检索-evidence-search.md` |
| 完整获奖工作流方法论 | `获奖评审/工作流方法论-WORKFLOWS_zh.md` |
> 说明:`roles-论文手/*` 移自 `math-modeling-skill` 参考仓库;`获奖评审/*` 移自 `mathodology` 参考仓库。仅方法论文档,脚本/工具源码未搬入,需实现时按文档思路自行实现或之后单独补充。
## 交付物(写入 member-c/)
- `W1 证据大纲.md`(过程性)
- `完整论文.docx`(默认;或 `完整论文.pdf` / LaTeX 源码)
- `评审记录.md`:评审严重度、修复记录、迭代轮次、终检结果
- `ai使用声明.md`(若竞赛要求披露 AI 使用)
完成后 push 到 Gitee。
## 完成判定
- 论文建立在真实交付物证据上,无编造。
- 通过 W1 证据大纲与 W2 论文终检。
- 已 push 到 `member-c/`,未改动他人文件夹。
- 独立评审若未执行,如实标注"独立评审未完成",不宣称所有质检通过。