Fix async telemetry coverage audit

runs/action-aware-v0/analyze_pilot.py

@@ -138,6 +138,37 @@ def binding_summary(
     }
 
 
+def telemetry_coverage(
+    records: list[Mapping[str, Any]], *, start_ns: int, end_ns: int
+) -> tuple[dict[str, float], bool]:
+    if not records:
+        raise ValueError("telemetry coverage requires records")
+    submit_gaps = [
+        (int(right["submit_mono_ns"]) - int(left["submit_mono_ns"])) / 1e9
+        for left, right in zip(records, records[1:], strict=False)
+    ]
+    uncovered_gaps = [
+        max(
+            0,
+            int(right["submit_mono_ns"]) - int(left["complete_mono_ns"]),
+        )
+        / 1e9
+        for left, right in zip(records, records[1:], strict=False)
+    ]
+    coverage = {
+        "start_gap_s": (int(records[0]["submit_mono_ns"]) - start_ns) / 1e9,
+        "end_gap_s": (end_ns - int(records[-1]["submit_mono_ns"])) / 1e9,
+        "max_internal_submit_gap_s": max(submit_gaps, default=0.0),
+        "max_uncovered_gap_s": max(uncovered_gaps, default=0.0),
+    }
+    covered = (
+        0.0 <= coverage["start_gap_s"] <= 1.0
+        and 0.0 <= coverage["end_gap_s"] <= 1.0
+        and 0.0 <= coverage["max_uncovered_gap_s"] <= 1.0
+    )
+    return coverage, covered
+
+
 def request_summary(path: Path, expected_count: int) -> dict[str, Any]:
     rows = load_jsonl(path)
     if len(rows) != expected_count:
@@ -222,17 +253,8 @@ def analyze_run(
     ]
     if not full_records:
         raise ValueError(f"no telemetry records in measured window: {result_path}")
-    gaps = [
-        (int(right["submit_mono_ns"]) - int(left["submit_mono_ns"])) / 1e9
-        for left, right in zip(full_records, full_records[1:], strict=False)
-    ]
-    coverage = {
-        "start_gap_s": (int(full_records[0]["submit_mono_ns"]) - start_ns) / 1e9,
-        "end_gap_s": (arrival_end_ns - int(full_records[-1]["submit_mono_ns"])) / 1e9,
-        "max_internal_gap_s": max(gaps, default=0.0),
-    }
-    invariants["telemetry_coverage"] = all(
-        0.0 <= value <= 1.0 for value in coverage.values()
+    coverage, invariants["telemetry_coverage"] = telemetry_coverage(
+        full_records, start_ns=start_ns, end_ns=arrival_end_ns
     )
     binding = binding_summary(
         full_records, mns=int(config["mns"]), mbbt=int(config["mbbt"])