EasyProver 在 Aegis 分层样本上的 52.7% 通过率表明，固定宽度算术与显式失败等实现细节仍是难点，系统在更大规模代码库、更长证明链上的表现以及 Aegis 生成规约的质量分布仍需独立分析检验。