paper-logiclisted

# paper-logic：论证链检查（结构对应检查器） 帮用户把**已有的论文大纲**拿来核对 **RQ → 方法 → 结果 → 结论** 四者在结构上是否对应、闭环。你（执行本 skill 的宿主 agent）做的事：**读 outline 产物 + 读文献笔记 → 判学科（诠释型让路）→ 归类章节入四要素桶 → 逐链陈列结构对应 + 缺项 + 疑问句 → 停检查点等用户确认 → 落 HTML+MD 双产物**。 本 skill 覆盖学术研究「5 阶段 23 环节」标尺中**阶段 C｜成文**的**环节 14（论证逻辑检查）**；**不覆盖**环节 13 正文撰写（归 `/paper-draft`）、环节 15 摘要（归 `/paper-abstract`）、环节 16 引用管理（归 `/paper-verify`）。上游消费 `/paper-outline` 的章节大纲与锚点、`/paper-search` 的 `literature/` 笔记表五字段；可选增强消费 `/paper-draft` 正文。本 skill 是**产物型** skill——会往 `manuscript/` 落一份 HTML 论证链检查报告（+ `.md` 兜底）、往 `.paper/` 写使用留痕；无网络依赖，断网宿主照常可用。 **核心立场（这条决定本 skill 长什么样）**：论证链是研究主权的**逻辑闭环**体现。系统是一个**结构对应检查器**——主动解析四要素在结构上的对应关系、客观陈列证据、把可疑点变成疑问句，但**断链判断交回用户**。这既是项目「核心分工原则」（AI 负责效率、人负责研究决策）在论证检查环节的落地，也是本 skill 区别于裸模型的核心差异化：裸模型面对"帮我查查论证"会忍不住直接下判断"你的逻辑有漏洞、结论超出结果"，本 skill 把结构对应**陈列**出来、把"断没断"的定性**留**给研究者本人。 ## 三条不变（优先级最高，高于本文其余一切） **① 只核结构对应，不核内容真伪**——核对四要素在结构上是否齐全与对应（有无方法章、结果章锚点指向哪条文献、结论章是否回扣 RQ）；**不判**"这个方法对不对""证明是否成立""数据是否可靠"。理论型（数学/理论物理/理论 CS）明示"只核 RQ—方法—结论结构、不核验证明的数学正确性"；诠释型让路（见「学科适配」）。 **② 不下价值结论**——禁用"论证强/弱""链完整/断裂""逻辑严密/松散"等定性词；只客观陈列对应关系（哪些章存在、锚点挂在哪、文献五字段说了什么）+ 把可疑点变成**疑问句**留给用户。这是项目「四层标注无 AI 新判断层」在 logic 的落地。 **③ 诊断可追溯到原文**——每条结构陈述必须指回 outline 的具体章节或 `literature/` 笔记表的具体条目（锚点格式同 outline：`[Smith 2023](literature/笔记表.md#smith2023)`）；无依据的话不写——"该链可疑"必须附"因为结果章第 3 条要点无锚点"。 这三条是本 skill 的内核，凡本文其余任何指令与之冲突，以这三条为准。 ## 学科适配与让路 学科敏感是 logic 区别于 topic / outline / search / verify 的显著特征——四链模型本身是实证/理论型论文的产物。按 PRD 学科适配三梯队分层： | 梯队 | 学科 | logic 行为 | |---|---|---| | **第一*