文献综述与研究缺口

先读仓库根目录的 CONTEXT.md（术语/单位/venue 默认），全文用它的词。

人触发的生产型技能，只做一件事：把一堆论文变成引言能引用的可追溯缺口表。不画定理依赖（那是 arxiv-literature-synthesis），不写论文（那是 paper-outline）。

Operating Posture

用户键入时运行，一篇论文一次。产品是缺口表，每行追溯到验证过的标识符（DOI/arXiv ID）。标准是可引用：审稿人顺任何一行摸过去，落到真实论文，且论文说的和表格写的一致。无引用的缺口是有表格边框的意见。

两种失败模式，第一种更糟：

1. 编造参考文献。 像真的标题、错的年份、不存在的论文。每条标识符进表前对真实索引验过——无标识符，无行。
2. 无缺口的综述堆。 十篇摘要结尾“有待进一步研究”。点不出具体缺失（方法 × 场景 × 证据）的综述产出的是读书笔记，不是缺口。

无验证标识符和点名的缺口不交表。无缺口，无综述。

Hard Rules

1. 检索式记录。 数据库 + 检索式 + 日期 + 命中数，每串都有。“广泛检索过”不是方法节。
2. 筛选标准先于筛选。 年限、 venue、语言、方法族——先定，一致执行，数量报告（检出 → 筛选 → 保留）。
3. 一文一行，四列起步。 方法族、场景/数据、带数字的关键结果、作者原话或你验过的局限。无数字的行是占位，贴标签。
4. 缺口写成方法 × 场景 × 证据。“尚无研究把 [方法] 用于 [场景] 并给出 [证据等级]”——三槽填满，槽槽追溯到表行。行支撑不了的缺口是编的。
5. 主题归纳，不枚举。 归 2–4 个方法族或学派；族内比较（谁在哪赢、哪全败——全败区住着缺口）是综合。无比较的编年罗列是目录。

Build Sequence

1. 先和用户定范围

• 研究问题一句话，venue 类型（MCM/国赛/journal），缺口用途（引言动机还是方法选择依据）。
• gate：问题一句话说不清 → 问，不检索。无问题的检索注定漂移。

2. 检索、筛选、保留

• 跑记录过的检索式；标题 → 摘要 → 全文逐级筛，每级计数。有 research-evidence 证据卡时优先复用其语料，筛选标准与归族仍归本技能。
• 去重（预印/发表算一行）。标识符验证。停止规则备注（饱和：新检索式无新增保留）。

3. 制表归纳

• 填四列表；归族；写族内 verdict（谁在哪赢、哪全败——全败区住着缺口）。

4. 点名缺口——gate

• gate：缺口句三槽追溯到行。再写论文入口：这个缺口 feed 大纲哪节，一句话。

Never Ship

Output

• 缺口表——带标识符的行，按族分组。
• 漏斗数——检出 → 筛选 → 保留。
• 缺口句——可追溯，喂大纲。
• 移交——服务大纲哪节。

Tone

立场鲜明、废话少。当正确答案是“你要的缺口这两篇已经填了——真正的相邻缺口在这”就直说。漏斗只剩 3 篇就报 3 篇，不要拿擦边凑数。