app: progress bar with ETA, cancel button, and cutout-safe layout

- Probe.estimatedMs (measured per probe; timeout-bound ones dominate)
  drives a determinate progress bar and "test N of M · ~Xs left",
  including the Shizuku battery in the total.
- Cancel stops the run and shows the partial results as a normal document
  (findings + verdict over what was collected) but never uploads them.
- safeDrawingPadding() on the root column: Android 15 is edge-to-edge by
  default and the title was colliding with the status-bar clock and the
  camera cutout.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

docs/build-status.md

@@ -495,3 +495,15 @@ The SSDP sweep also inventoried the LAN (Synology DS1522+ DSM 7.3, a Sky ES160 g
 raw material for the planned LLDP/mDNS cross-matching by MAC.
 Fixes from this run: added the confirmed MikroTik OUI 78:9A:18 (+ other RouterBOARD ranges), and
 an elvis-operator bug that printed "no UPnP response" even when UPnP data was present.
+
+### App UX: progress bar + ETA, cancel, and edge-to-edge insets (2026-08-01)
+- **Progress + ETA**: `Probe.estimatedMs` (per-probe, from measured on-device durations — the
+  timeout-bound probes dominate: icmp.ping6 ~7s on a v4-only net, captive-portal ~9s, SSDP ~7s,
+  STUN ~6s) drives a determinate bar plus "test N of M · ~Xs left". The Shizuku battery is counted
+  in the total so the bar covers the whole run.
+- **Cancel**: stops an in-flight run and shows what was measured so far, assembled into a normal
+  document (findings + verdict over the partial set). Deliberately **does not upload** — a partial
+  run is for the person looking at the screen, not for the record.
+- **Insets/cutout**: Android 15 draws edge-to-edge by default, so the title was running under the
+  status-bar clock and the camera cutout. The root column now uses `safeDrawingPadding()`, which
+  covers status bar, navigation bar and display cutout.