概率与统计
把重构看成从含噪观测反推干净结构的推断问题，需要概率的语言。本库覆盖贝叶斯推断、最大似然与 MAP 估计、EM 算法，以及熵与 KL 散度 —— 它们是后续变分推断、能量模型与我们算法的统计地基。
先验 p(x)似然（观测）后验 ∝ 先验 × 似然
后验宽 —— 不确定，一族解
贝叶斯推断把「从含噪观测反推干净结构」写成一次更新：先验 p(x)（琥珀，能量先验，说什么结构合理）乘以似然（蓝，这张观测说了什么），得到后验（紫，更新后的信念）。MAP（琥珀竖线）是后验的峰 —— CryoGEN-I 只报告它；而整条紫色曲线（峰加宽度）才是 CryoWGEN 报告的东西。缺失楔形让这个方向的观测变弱、似然变平，于是后验变宽：同一个缺口对应一族都说得通的解。把滑块拉到「数据足」，后验收紧到 MAP 上。