预期短缺回测：用 ES 检验替代 VaR 的后验失序
VaR 只数「有没有超出」，对「超出后到底多惨」失明：尾部一肥，VaR 还绿，ES 已爆。用 Acerbi-Szekely 的 ES-z 后验检验（零假设 E[U]=ES−VaR）替代 VaR 红绿灯，合成里正态世界 ES-z=−0.53（绿）、含灾难跳变的肥尾世界真实 ES≈4.05% 远超正态 2.57% 而 VaR 仍≈2.23%（绿），ES-z 检验功效随尾部肥瘦从 0.37 升到 0.86、VaR 红绿灯却始终在 0.04~0.09 装死。附完整 Python 与六类真实陷阱（高阶）。