ProofScope 用 JUnit XML 校验测试执行完整性

ProofScope 对比预期测试清单与 JUnit XML 报告，确认每项预期测试是否恰好运行一次并通过。它会标记 missing、duplicated、skipped、failed、extra 和 unsupported，并通过退出码供 GitHub Actions 等 CI 流程判断结果。工具仅需 Python 3，不访问网络或读取 secrets。