2

docs/协议规则表与状态机.md

@@ -165,11 +165,13 @@ no_signal/near/direction（direction 附 svd_deg），`/clear` 仍只看 20m 半
   （`belief.update_measure` 对 no_signal 无操作）；缺席证明仍只由完整覆盖
   给出。唯一启用的推理：若 no_signal 发生在保证接收盘 B(mec, 1000-ρ) 内
   （该盘内任一全向源必然可收），则只能由朝向遮挡解释 [观测推理]——该频道
-  记为"观测到定向"，进入探点升级梯子：对 MEC 圆心对跖复核一次，再绕
-  MEC、半径 = ρ 的圆环按 45° 步进探点（环包围任意候选源，发射半平面在
-  环上截出 ≥180° 弧）。被遮挡探点不消耗定位步数，单轮由
-  `max_blocked_probes`（4 [工程]）限流；梯子不构成接收保证，失败由后备
-  清除兜底；
+  记为"观测到定向"，进入探点升级梯子：对 MEC 圆心取对跖方向复核（偏移
+  裁进保证接收盘），再绕 MEC、半径 = ρ 的圆环按 45° 步进探点。**几何边界
+  必须如实陈述**：环上可见弧没有下界——源可位于环上（|g−c| = ρ）且朝向
+  沿外切线，此时可见集退化为单个切点，固定步进环探可以全部漏过。梯子
+  只提高提前命中概率，不构成接收或命中保证；完备性完全由后备清除兜底。
+  被遮挡探点不消耗定位步数，单轮被遮挡探点（首次选点、对跖复核、环探
+  合计）达 `max_blocked_probes`（4 [工程]）即转后备清除；
 - **后备清除的协议用法**：定位停滞（候选集有界但未达 §6 清除证书）时，
   对候选外包多边形构造 20m 有限圆盘覆盖（`fallback_clear_cells`：全局
   半开网格索引、相交判定带正容差，格内任一点距某格心 ≤ 10√2 < 20m），
@@ -180,12 +182,18 @@ no_signal/near/direction（direction 附 svd_deg），`/clear` 仍只看 20m 半
     (⌈w/20⌉+2)(⌈h/20⌉+2) 做规模检查，宽候选集（如仅一次读数的 750m
     截断角域，数千格）必须继续定位而非硬扫；
   - 现实预算：N × `real_rtt_p95_s` + `reserve_exit_s` ≤ 剩余现实时间。
-  虚拟耗时上界 ≈ 移动 L/5 + 3N（全失败）或 3(N-1)+5（末次成功）；
+  虚拟耗时上界 ≈ 移动 L/5 + 3N（全失败）或 3(N-1)+5（末次成功）。
+  后备 /clear 请求**计入总请求口径**：summary 的 `total_requests`
+  （measures+clears）与 `fallback_clear_attempts`（后备逐格尝试数）
+  如实上报——仅统计检测次数会明显低估现实耗时；
 - **真源不误删**：no_signal、失败的 `/clear`（含后备逐格全失败）均不删
   空间候选；后备全失败按守恒性破坏记异常（格心距格内任一点 < 20m，
   理论上必命中）；
 - **停止条件与预算语义不变**：仍是清除数达 16、每频道均"已清除或覆盖
-  证明不存在"、现实预算耗尽（记未证明完成）三种；
+  证明不存在"、现实预算耗尽（记未证明完成）三种；断连/协议错误/
+  守恒性破坏中断时同样尽力 /exit 并产出未完成 summary（`stop_reason`
+  记 `transport_failure`/`protocol_error`/`inconsistent_belief` 等，
+  附逐频道状态快照），不静默丢失会话；
 - **验收**：`tests/test_loop_q4.py`（15 项：覆盖格无空洞与格线两侧保留、
   退化多边形、格数上界公式；混合 10/16 源全清、朝向背离圆心的近边界源
   不漏、批量种子回归；no_signal 不删候选；格数硬顶与预算跳过；后备