5.0 KiB
第三问官方 Simulator 演练验证
结论：现有第三问方案在本次官方演练中有效，10 个干扰源全部清除，正常退出。该结论适用于本次案例，不代表已验证所有案例，也不代表虚拟耗时最优。
本局与运行方式
- 本地日期：2026-09-11（Asia/Shanghai）。
- 官方案例编码：
DHFK-PHD2-SR2P-FXK9；演练编号：4317927797384597197。 - 官方结果：问题 3，10 个全向源，0 个定向源。
- 使用用户已启动的演练，通过
http://127.0.0.1:2026的 HTTP/TCP socket 串行调用/enter、/measure、/clear、/exit；未使用 computer use。 - 运行代码版本：
846b45e42018689b2568bc0b089f72d53113b519，运行前 Git 工作区干净。采用现有OmnidirectionalLoop和 CLI 默认参数，示向度舍入裕量为 0.005°，未修改策略。 - 队号取自项目既有官方演练记录，当前
/enter接受，确认匹配。 - 官方案例源数仅在退出后读取，用于验收；运行时策略仅使用协议观测。
.venv/Scripts/python.exe -m mcm26b.cli run --robot-id 202608023016 --problem 3 --base-url http://127.0.0.1:2026 --log output/q3/practice/20260911-port2026/session.jsonl
实测结果
| 指标 | 结果 |
|---|---|
| 官方源数 / 成功清除数 | 10 / 10 |
| 检测次数 | 540 |
| 清除尝试 / 失败 | 10 / 0 |
| 接受的 HTTP 请求数（含进入、退出） | 552 |
| 现实运行时间（服务器时间戳差） | 7.629 秒 |
| 虚拟总耗时 | 16217.454814 秒（4小时30分17.455秒） |
| 移动距离 | 64737.274 米 |
| 移动耗时 | 12947.454814 秒 |
| 检测耗时 | 2700 秒 |
| 换频道耗时 | 520 秒 |
| 清除耗时 | 50 秒 |
| 重试、拒绝、定位/清除异常 | 0 |
| 结束原因 | all_resolved / user_exit |
清除频道：2、4、7、8、9、13、16、17、18、19。其余 1、3、5、6、10、11、12、14、15、20 频道，各自均有完整的 49 个覆盖点无信号记录；不存在未解决频道。
最后一个源在虚拟时刻 8454.332399 秒清除。此后仍执行覆盖证明，耗时 7763.122415 秒，占总虚拟耗时约 47.87%。完整网格扫描和移动是后续效率优化的重点；提前发现 10 个源本身不能作为停止依据。
验证证据与计时问题
离线审计的 14 项检查全部通过：官方问题与源数、官方日志包 SHA-256、进入退出、响应所属时间窗口、请求 ID 唯一性、无重试拒绝、全清除、每次清除成功、原汇总完成状态、无源频道覆盖、逐步微秒计时、双时间预算、完整动作回放、清除证书。
严格回放只使用录制的响应，逐次比较新生成的请求路径及全部动作字段（仅忽略随机 request_id），重现全部 552 个请求。重算的 10 个清除证书均满足候选外包半径小于证书限值，限值小于 20 米。
原始 summary.json 中 virtual_recompute_mismatches=541 为计时精度误报：项目现有 evaluation.recompute_virtual_time 累计未经量化的浮点秒数，并使用固定 1 微秒累计容差；官方附件2第4.1节规定模拟器内部按微秒累计。本次按每次移动耗时四舍五入为整数微秒后，552 个官方时刻全部精确匹配，偏差数为 0。单次未经量化的耗时最大偏差为 0.493106 微秒，最终累计差为 -1.215829 微秒。
审计脚本已正确复算本局，但未修改现有生产计时复算函数，因此其原始误报仍保留在 summary.json 和 replay_summary.json 中。此问题不影响本局实际动作、清除成功或退出；若用于后续自动验收，应统一项目复算精度。
相关既有回归测试：第三问闭环、协议客户端、计时规则及演练记录验证，共 46 项通过，见 regression.txt。
保存文件与复核
| 文件 | 用途 |
|---|---|
session.jsonl |
逐条原始请求、官方响应、现实时间及尝试记录 |
summary.json |
本次 CLI 原始输出，保留原始计时误报 |
actions.csv |
552 个接受动作、坐标、频道、读数、耗时及逐步微秒复算 |
verification.json |
独立验收结果、覆盖证明、证书、计时分解 |
replay_summary.json |
现有策略对录制响应的严格离线回放结果 |
*.result.json |
官方演练案例元数据与源数 |
*.jlog、*.psum |
原样复制的官方加密产物，未解密 |
manifest.json |
保存文件的字节数与 SHA-256 |
regression.txt |
46 项相关测试结果 |
官方 .jlog 的 SHA-256 为 2b3c3b9359e0a92f04a845935d79c6f989bbe6b504bfa51abe6b841485b9f96a，与官方 .result.json 中 package_sha256 一致。全清除结论来自 10 个不同频道的官方成功响应与官方总源数交叉核对；未解密加密统计，也未声称读取官方评分。
在项目根目录可离线复核，无需启动模拟器：
.venv/Scripts/python.exe scripts/verify_q3_practice.py output/q3/practice/20260911-port2026
复核只重写派生审计文件，保留原始会话、原始汇总及官方产物。