判别、校准与排序：统一矩阵框架

提出统一矩阵框架，填补判别、校准与排序评估的代数缺口，引入偏差算子与秩相关算子。 校准部分证明 Murphy 分解的矩阵形式，Brier 聚合坍缩为单一标量；排序部分揭示 raw DCG 在聚合下坍缩而 nDCG 不坍缩。 相关结果通过 Lean 4 机器验证，实验代码与证明已公开。