math-reasoning 是组织研究数学推导、证明与符号检查的 Skill。它先明确变量、取值范围和假设，再展开中间步骤，并检查量纲、边界与符号一致性。
例如一个化简步骤除以某个量，先核这个量能否为零，再说明适用范围。最后结果写进方框不增加可靠性，每一步用了什么规则和前提才是可复查的依据。
证明引用的引理也需核条件是否满足。符号表能减少歧义，却不能证明梯度或定理正确；形式化过程要对应真实问题，不能为了写出漂亮公式删去关键约束。
适合先把推导写清，再逐项复核。本文未推导真实命题，统计决策树与证明模板未展开；没有数据和实际计算，就不能生成 p 值、效应量或置信区间，LaTeX 排版成功也不等于数学验证完成。