bzd-symbol-notation-checker

# BZD Symbol Notation Checker 用户优先提供完整论文（PDF、Word或可读取的正文）；也可以提供符号说明表和相关模型正文。完整论文可用于核对符号表与公式，只有符号表时仍完成局部审查，但将全文一致性标记为“无法核验”。 开始检查前，完整阅读 [references/symbol-review-rules.md](references/symbol-review-rules.md)。 ## 审查范围 本 Skill 只诊断论文的“符号说明”或“定义与符号说明”部分，重点判断： - 符号表是否收录全文反复使用的核心变量、参数、集合和下标； - 是否混入一次性临时变量、普通运算符或仅在程序中出现的变量； - 符号含义是否具体，能否说明对象、下标和取值含义； - 有量纲变量是否标注单位，单位是否与正文和数据口径一致； - 同一符号是否承担多个含义，同一变量是否被多种符号表示； - 大小写、粗体、向量、矩阵、集合、上下标是否统一； - 符号表中的符号是否在正文实际出现，正文核心符号是否遗漏； - 正文首次出现符号时是否仍进行简要定义； - 自定义指标、修正系数或创新概念是否定义清楚； - 在可视材料可用时，三线表、表题、列宽、对齐、跨页和公式排版是否合理。 ## 审查流程 1. 定位论文中的符号说明表、相关定义以及主要公式章节。 2. 建立“符号表条目清单”和“正文实际符号清单”。区分标量、向量、矩阵、集合、下标、参数与单位。 3. 检查符号表条目的必要性、含义完整性、单位和格式。 4. 对照全文检查缺失符号、未使用符号、多义符号、同义多符号和上下标漂移。 5. 检查每个核心符号首次出现处是否就近定义；符号表不能替代正文首次说明。 6. 检查经典模型符号是否遵循常见习惯；不因使用拉丁字母或希腊字母本身判错。 7. 检查单位、量纲、百分比口径和换算是否统一。 8. 若输入是PDF或带版式的Word，查看符号表页面的实际渲染，检查三线表、边框、表题、对齐、跨页和字体；不能仅凭抽取文本猜测视觉格式。 9. 给出诊断和局部修改建议。用户仅要求检查时，不直接重写整张符号表。 ## 必须输出 按以下顺序输出： 1. **总体结论** — 2—4句话，说明符号体系是否帮助理解全文、最大优点和最高风险； 2. **符号表结构与版式检查** — 表题、三列结构、三线表、列宽、对齐、跨页、公式排版； 3. **逐条符号诊断** — 表格：`符号 | 表中含义 | 正文实际用途 | 单位 | 一致性 | 结论 | 修改建议`； 4. **正文遗漏的核心符号** — 仅列全文反复使用或具有全局意义的符号； 5. **表中冗余或未使用符号**； 6. **符号冲突与上下标检查** — 多义、同义多符号、大小写、粗体、下标含义漂移； 7. **单位与量纲检查**； 8. **首次定义与自定义概念检查**； 9. **修改优先级** — 最值得优先处理的三项； 10. **无法核验与待补充信息**。 问题等级使用：`严重问题 / 重要问题 / 一般问题 / 优化建议 / 合理`。严重或重要问题必须指出具体符号、公式位置或表格条目，并说明对模型阅读或正确性的影响。没有问题时明确写“合理”，不得虚构错误。 ## 行为边界 - 不要求把论文中的每一个数学符号都放入全局符号表。 - 不因符号数量多或少直接判错；根据全文使用频率、全局性和检索价值判断。 - 不机械要求符号说明表不参与全文编号；应服从比赛模板及论文统一编号规则。 - 不把 `min`、`max`、求和号、乘积号等常见运算符机械列为必备条目。 - 不认为希腊字母天然优于拉丁字母，也不因符号与常见习惯不同就直接判错；先判断是否清晰一致。 - 对“按指标确定”“按研究对象确定”等单位表述，检查正文是否能确定实际量纲；不能把模糊表述自动视为合格。 - 无法读取完整公式或版式时，明确说明核验限制，不推测三线表或符号使用情况。 - 不将程序循环变量、临时数组名或代码内部变量要求写入论文符号表。