Paper Writer 是一个用于指导科研论文写作阶段的技能，面向首次撰写论文或处于职业早期的作者，覆盖从贡献句、论文骨架到草稿交接的完整写作流程。它采用分阶段、带关卡（gate）的写作教练模式：除非用户明确要求跳过某个关卡，否则不会越过当前关卡提前起草内容。
用途 该技能用于起草或结构化一篇新论文或某个章节。它不负责审计已有草稿的逻辑与论点支撑（对应 argument-audit）、不负责把已验证结果写成 Results 章节（对应 results-writeup）、不处理 SOP 或申请文书（对应 sop-writer）、不寻找他人论文中的空白（对应 gap-finder）、不检测 AI 风格文风（对应 ai-writing-detector）、不负责文献来源发现与文献地图（对应 literature-triangulation，本技能只负责结构化 Related Work 章节）、也不负责跨整个项目生命周期的路由（对应 flow-paper-lifecycle）。
证据标注 每条写作建议都必须携带一个证据标记：[EXPERT] 表示来自写作指南或资深从业者建议的共识，有用但未经实证确立；[SUPPORTED] 表示有实证支持；[CONTESTED] 表示实证证据存在冲突、因领域而异或仅支持较窄的版本；[REFUTED] 表示常见说法被现有数据反驳。技能要求不得把 [EXPERT] 规则当作实证事实呈现；不确定时应标为 [EXPERT] 或说明证据水平未知。
工作流契约 技能按阶段顺序执行，每个阶段以关卡结束。若关卡未通过，返回带通过/失败标记的紧凑清单，并对每项失败引用有问题的原文。在所有项目通过或用户明确跳过之前，不进入下一阶段。
阶段一：故事与骨架 适用于任何写作阶段的论文、大纲、引言、摘要请求或骨架后的起草请求。要求先强制写出一句贡献句：“This paper shows/proposes/proves/introduces that ... by <core mechanism/evidence>.”若用户无法陈述，则停下只处理这句话。随后询问一次目标会议/期刊类型：数学、机器学习或混合/应用数学，并据此分支论文骨架。构建“主张到证据映射”（claims-to-evidence map）：论文将提出的每个主张、支持它的证据/证明/结果，以及该支持出现的章节。只起草引言骨架而非润色文字：问题、为何重要、为何困难、论文做了什么、以及映射到章节的明确贡献。关卡检查：贡献句存在；每个列出的贡献都有支持章节；只读引言的读者能说出新意所在。
阶段二：起草 仅在阶段一通过或用户明确跳过之后使用。先起草方法/技术核心，再结果/实验，然后引言，最后摘要。将生成与修订分离：起草某节时留下占位符，而不是润色、核查离题内容或逐行编辑。起草完第 N 节后，运行 Halmos 螺旋：根据第 N 节揭示的内容重写第 1 至 N-1 节。Related Work 章节在此结构化，但来源发现与文献地图交由 literature-triangulation。已验证数值结果的详细 Results 章节写作交由 results-writeup，本技能只决定该章节位置及其必须支撑的内容。每节关卡检查：该节在第一段说明其目的；除非有占位符标注，否则不向前依赖未写材料；该节的主张出现在主张到证据映射中。
阶段三：数学散文检查 在技术核心存在后使用，或当用户给出定理/证明/记号散文时使用。构建记号表：符号、含义、类型/定义域、首次定义位置、冲突。每个符号先定义后使用，并消除同一符号承载多重含义的冲突。在意图为全称量化处，用 each 或 every 替换含糊的 any。每个定理陈述必须自包含：假设属于陈述本身，而不只在前一段。每个非平凡证明在细节前给出一句证明思路。对每个“it is easy to see”“clearly”“by a standard argument”，要么给出理由、要么引用、要么删除。关卡检查：记号表完整；零未定义符号；每个定理可独立重读；每个“clearly/easy/standard”主张已给出理由、引用或删除。
阶段四：草稿交接事务 仅在存在完整迷你草稿、带章节承诺的完整大纲或接近投稿的草稿后使用。最终排版前检查会议/期刊匹配度：范围、受众、页数限制、样式文件、匿名政策、补充材料规则和截止日期。投稿前进行合著者签核：冻结草稿版本、列出未决风险、请求明确批准，避免意外的作者身份/顺序变更。期刊需准备简洁投稿信，说明匹配度与贡献而不重述整篇论文。机器学习会议需包含可复现性工件清单：代码/数据可用性、随机种子、硬件、超参数、数据划分、评估脚本、许可证和算力预算。投稿前建议对完整草稿运行 argument-audit，若使用 LLM 辅助写作则运行 ai-writing-detector。将草稿交给 submission-readiness-audit 做最终投稿前审计；本阶段只准备写作交接。最终输出为草稿交接报告，包含会议匹配度、草稿完整性、协作与工件、交接项以及阻塞问题。
输出风格 一次一个阶段地对话式推进。保持草稿可用，但让关卡明确。失败时尽可能引用确切的问题原文；若工件缺失，则引用缺失项名称。当用户提出狭窄的写作证据问题时，直接带标记回答。例如“我是否应把摘要写得很短以获得更多引用？”会触发实证层：[REFUTED] 超短摘要未获 Weinberger、Evans 和 Allesina（2015）支持；[SUPPORTED] 更短句子在数学和物理领域似乎有益，因此对数学/图机器学习而言，实用建议是句子简洁，而非人为把摘要写得极小。
适用场景与限制 该技能适用于定理证明类、机器学习类和混合/应用数学类论文的写作阶段指导。其限制在于：不负责已有草稿的逻辑审计、结果章节的详细写作、文献来源发现、AI 文风检测、SOP 写作、空白发现以及整个项目生命周期路由；这些分别由其他技能承担。技能本身不编造功能、收费、价格、平台或效果，所有建议均需标注证据等级。