附录复现步骤摘要复现报告结果的最短步骤，完整版见「参考 › 复现指南」。环境复制锚点链接 待写：列出需要的软件与版本。 运行全量验证复制锚点链接 待写：给出运行全量验证的命令与预期输出。 运行基准测试复制锚点链接 待写：给出运行基准测试的命令与预期输出。相关实验室工具题集浏览器完整数学证明正文中各定理的完整证明。