物理数学推导质检器

硬核技术文档（控制理论、数学建模、光学、力学、统计物理论文）的推导质量守门员。两层质检：①机械层脚本自动检查数学环境配对、公式编号定义-引用交叉核对、求和哑指标悬空、符号重复定义、物理约束违规（负方差/概率大于1/百分比超100）、TODO遗留；②语义层按量纲一致性、极限退化、物理约束、推导链断裂等7项checklist逐条锤。输出致命错误/警告/建议三级报告。宁可先锤后建，不可先建后塌。纯Python3标准库零依赖，改稿验收、论文审稿、交付前质检场景使用。