论文润色器
范围与参考
将此技能用于 TeX 安全的学术英文润色、翻译、校对、源到输出验证、术语或符号审阅、数值一致性审查以及明确授权的符号规范化。
对于完整论文、长章节、验证、一致性审计、规范化或严格的风格指南工作,请在操作前阅读 references/tex_safe_polishing.md。当面向中文的工作流程指南有实质帮助时,请阅读 references/tex_safe_polishing_zh.md 代替;不要仅仅为了重复上下文而同时加载两者。对于简短的局部润色,请使用下面的核心规则,仅在需要时参考说明。
不要将此技能用作以下任务的主要工具:
- 新颖性、贡献可辩护性、危险基线或审稿人攻击审计;如果可用,请使用
idea-novelty-auditor; - 文献综述、研究空白框架、参考文献选择或引用角色分配;如果可用,请使用
problem-driven-literature-review; - 广泛的故事线、引言结构或实验到结论的重新设计;如果可用,请使用
paper-argument-reconstructor。
当请求将这些任务与润色相结合时,请先完成上游推理任务,然后仅将此技能用于最终的忠实语言和一致性检查。
模式选择与优先级
在考虑输入来源之前,请遵循用户明确请求的操作。来源信息本身永远不会覆盖润色、审计、验证或规范化的明确请求。如果请求了多个操作,请保持其工件和报告分开,除非用户要求合并交付物。
特定模式的输出规则优先于基于文档长度的输出规则。特别是,完整手稿的验证或仅一致性审计仍保持仅报告状态。
如果用户同时请求符号规范化和散文润色,则首先执行并批准规范化,将规范化的 TeX 视为新的基线,然后针对该基线进行润色。不要试图将组合的散文和符号更改验证为单一规范化比较。
默认润色模式
润色或翻译提供的文本,同时保留每个受保护元素。对于完整手稿,还要运行术语、符号和源内部数值一致性审计,并报告源级别问题,而无需静默更正。
验证模式
当用户要求比较或质量检查候选稿与原文时,使用验证模式。
- 对于每个关于 TeX、数学、数字、单位、符号、引用、技术含义或主张强度的比较判断,都需要原文和候选稿。
- 如果原文不可用,则仅检查候选稿的内在属性,并将每个源比较检查标记为
NOT ASSESSED;永远不要仅从候选稿推断保留性。 - 在验证模式下,切勿重写或修复候选稿,包括硬规则违反。报告每个偏差及其位置。仅在单独、明确请求的编辑回合或模式中应用修复。
- 将候选稿引入的偏差与源中已经存在的术语、符号或数值冲突分开。
一致性审计模式
当用户仅要求术语、变量、符号、符号或数值一致性时,不要重写手稿。审计可用范围并报告 TERM-*、SYM-* 和 NUM-* 发现(如适用)。保持源文本、符号、值、单位和符号不变。
经批准的符号规范化模式
仅当用户明确请求规范化并已批准确切的符号映射时,才使用此模式。批准的映射必须标识数学实体、新旧符号、受影响的范围或位置,以及任何有意的别名或排除。
- 仅应用批准的符号替换。不要重新解释定义或代表用户选择规范符号。
- 将每次应用的替换记录为
AUTHORIZED CHANGE;将每个未映射的数学、结构、文本或数值差异视为错误。 - 保持所有数字、单位、百分比、尺寸、样本量、数值标记的顺序以及正号、负号或加减号不变。
- 如果受影响的符号出现在不可用或不可编辑的图形资产、自定义环境、生成的文件或未解析的宏展开中,请报告未解析的位置,并且不要声称完全规范化。
- 对照批准的映射验证规范化结果。如果无法进行映射感知比较,则将规范化的 TeX 作为新的作者批准基线获得批准,然后针对该基线对所有后续润色使用严格比较。
不要使用 --allow-additions 来授权符号更改。在任何论文润色器模式下,即使报告了 NUM-* 冲突,也不得修改数字、单位或数值符号。请用户在此技能之外更正源并提供更正后的 TeX 作为新的作者批准基线;绝不推断或应用替换值。
共享覆盖范围与结果协议
对于每个术语、符号和数值一致性审计,分别报告覆盖范围和结果。
Coverage: FULL MANUSCRIPT意味着下面的完整性门控已通过。Coverage: PARTIAL意味着仅审计了所述局部范围或可解析范围。Result: PASS意味着在评估范围内未发现冲突或未解决的不明确性。Result: ISSUE REPORTED意味着至少发现了一个明确的不一致性,并且没有发现仍需要作者决定。Result: AUTHOR DECISION REQUIRED意味着至少有一个看似合理的发现无法仅从手稿中解决。已确认的问题仍单独标记为ISSUE REPORTED。Result: NOT ASSESSED意味着根本无法执行该审计或比较。不要仅仅因为覆盖范围是局部的就使用它。
以根相对的文件和源顺序分配确定的发现标识符:TERM-001、SYM-001 和 NUM-001。如果文件可用,则给出每个发现的确切文件和行位置;否则,使用可用的最稳定的章节、方程、表格、算法、标题或引用的文本锚点。
对已确认的不一致性使用 ISSUE REPORTED。当证据无法确定比较的用法是否指代同一实体、概念、数量或实验条件,或者它们的差异是否是有意的时候,使用 AUTHOR DECISION REQUIRED。保持冲突确定性与补救措施分开:即使作者仍然必须选择替换术语、符号或值,已确认的冲突仍然是 ISSUE REPORTED。
完整手稿完整性门控
只有在满足以下所有条件时,才能声明 FULL MANUSCRIPT 覆盖范围:
- 识别权威的根 TeX 文件,并按文档顺序解析每个静态可达的
\input、\include、\subfile、\import和等效包含。 - 考虑缺失的、条件的、宏生成的、生成的或循环包含以及每个包含符号的附录或补充。
- 检查生成符号的用户宏和自定义数学环境;不要依赖保留性脚本传递来展开或理解它们。
- 检查散文、方程、算法、标题、表格和提供的图形资产中的符号和数值主张。如果资产包含相关的嵌入文本但无法检查,则覆盖范围是局部的。如果规范化会影响图形但可编辑源不可用,则规范化不完整。
- 保留发现的根相对文件和行位置,并验证未跳过任何请求的范围。
如果任何条件失败,请说明覆盖范围差距并使用 Coverage: PARTIAL。完整的文件上传本身并不能建立完整的分析覆盖范围。
不可协商的规则
- 保留 TeX 结构、环境、引用、标签、参考文献、参考文献密钥、函数名、模块名、数据集名、度量名称和技术含义。
- 保留结构命令(如
\label{...}、\ref{...}、\eqref{...}、\includegraphics{...}、引用命令、\bibitem{...}和 BibTeX 密钥)中的确切参数和键。不要重命名、合并、删除、重新排序或规范化它们。 - 将注释和字面量或代码类源(包括
comment、verbatim、列表环境以及内联字面量命令)视为每种模式下的确切受保护源。不要将散文移入或移出这些区域,将内联注释更改为整行注释,或将它们移至受保护的数学或 TeX 结构之间。 - 在润色、翻译、添加散文和验证期间,保留每个原始数学区域及其文档顺序。唯一的例外是作者批准的符号映射中列出的确切替换。
- 在润色、翻译、添加散文、验证、一致性审计和符号规范化期间,保留每个数字、单位、百分比、尺寸、参数、样本量、表格值、图形报告值、显著性标记、数值标记的顺序以及正号、负号或加减号,这包括嵌入在标识符中的数字以及注释、字面量示例、URL 或受保护命令参数内的数值标记。此技能中没有数值编辑例外,并且
--allow-additions不会放宽此规则。 - 将源到输出的保留性和源内部一致性视为单独的检查。源内部的术语、符号、值、单位或符号冲突是发现,而不是编辑权限。
- 在此技能中永远不要更正可疑值。报告
NUM-*发现后,请用户外部修订源并返回作者批准的基线。 - 不要更改数学定义、定理条件、证明逻辑、算法步骤、实验设置、报告的结果、基线或数据集。
- 在此技能中不要修改参考文献记录或标识符。引用清理请求可能仅授权与另一个受保护规则不冲突的非数字、非标识符元数据编辑;年、页、卷、期号、DOI/URL/arXiv 标识符和每个其他数值标记必须在论文润色器外部更正并作为作者批准的基线返回。
- 不要捏造主张、实验、保证、部署价值、局限性或结论。
- 不要仅为了文体多样性而改变技术术语。仅当其实体映射得到支持时才使用规范术语。
- 避免在句子开头、从句顺序、语态、过渡和段落结构中机械重复,而无需更改受保护内容。
- 不要在作者撰写的手稿散文中使用破折号标点。精确保留词汇连字符、数学减号、带符号值、受保护键、URL、DOI 字符串、文件名、引用键和参考文献元数据。
如果请求的编辑会违反这些规则且不在确切的批准映射范围内,请停止该编辑并报告缺少哪些授权或源信息。如果您自己的草稿违反了规则,请在返回之前修订。
工作流程
- 根据用户的明确意图选择模式并识别提供的范围。
- 对于完整手稿工作,应用完整性门控并保留已解析的文档顺序。
- 构建相关的分类账:
- 术语:实体、规范术语、允许的上下文形式、定义和位置;
- 符号:数学实体、符号、定义和用法、范围、类型或维度、框架和别名;
- 数值:测量或配置的数量、值、单位、符号、条件、源位置以及匹配的散文/表格/图形用法。
- 在润色模式下,修订散文,同时保持受保护的数学和数值标记顺序固定。仅在不重新排序受保护的数学、数字、单位或符号的情况下才重新排列从句或句子。
- 运行双向一致性检查:实体到术语或符号,术语或符号到实体,以及数量或实验条件到报告的值、单位和符号。
- 在评估范围内运行句子结构、无破折号散文、客观语气和主张边界检查。
- 当原文和候选文件可用时,运行保留性检查器。对于多文件手稿,使用项目模式。
- 返回特定模式的输出,并区分授权更改、源级别发现、候选稿引入的偏差和未评估的检查。
保留性检查器
对于一个原文和一个候选 TeX 文件,运行严格比较:
python3 paper-polisher/scripts/check_preservation.py original.tex candidate.tex
仅当用户授权了常规的散文添加时,才使用 --allow-additions:
python3 paper-polisher/scripts/check_preservation.py original.tex candidate.tex --allow-additions
此选项不允许新的、删除的、更改的或重新排序的结构键、数学区域、数值标记、单位或符号。已识别的注释和字面量或代码类区域仍然是被精确保护的源,包括它们的内联与整行注释边界以及它们相对于受保护数学和 TeX 的顺序。手动比较任何自定义或未识别的字面量宏。它不授权新的图形、表格、方程、参考文献、图像资产或符号映射。为有意受保护的结构更改建立作者批准的基线,或者当数值内容必须在论文润色器外部更正时,使用外部更正且作者批准的 TeX 作为新基线。
对于多文件手稿,传递两个权威的根 TeX 文件并启用项目遍历:
python3 paper-polisher/scripts/check_preservation.py original/main.tex candidate/main.tex --project
项目模式从每个根解析静态可达的 \input、\include、\subfile、\subfileinclude、\import、\subimport、\inputfrom、\subinputfrom、\includefrom 和 \subincludefrom 指令,包括当前和 pr
…
[已截断以进行翻译]