Proof

The numbers, and their limits.

Tournament t001, 1500 held-out simulated outages on a 20 km line, thresholds frozen on validation. The bar and the result are on the proof page.

What is measured

Minutes held, median, correlated loss

See the tables below.

Bound coverage

See the tables below.

Smallest leak still seen at 30 minutes

See the tables below.

Leak recall inside the window

See the tables below.

Against the methods in use today

Same cases, same rules

Scored against, untouched

  • Hold-last-value: today's display
  • Suspend-and-resume monitoring
  • Open-loop line model
  • Wavepin's engine with validity masks
  • A learned model with validity flags

Thresholds set on validation data and frozen for every test, including the cases the engine never saw. The truth model differs from the engine's own.

The bar, set before the first run

Correlated loss must change holding against random loss at the same rate, beyond the interval.

Correlated loss held 0.91× as long as random loss at the same rate (90 % interval 0.83–0.98). Which gauges go dark together matters, so the dependency map stays.

First proof

Three weeks: 1–3 h scenarios on Wavepin's 20 km line, a hand-declared map (two radio sites, one span, two UPS), four loss patterns, 2,000 scenarios; minutes to tolerance per pattern against hold-last-value.

Tournament t001

How long the estimate holds

Minutes held, medianError on minutes, medianInside 90 % bound“Valid” but wrong
Holdover: filter + jump risk71.041.885 %4 %
Hold last value (today's display)62.868.765 %23 %
Suspend, resume when data returns62.815.236 %8 %
Open-loop line model62.810.336 %13 %

Outages with at least one gauge dark, no leak. Minutes held: until the worst segment's true error stays above tolerance for a minute. Error and bound: predicted against true minutes. “Valid” but wrong: checkpoints where the method claimed its estimate was good and it was not.

Tournament t001

Leaks inside the window

Leaks caughtFalse alarms
Holdover: filter + jump risk91 %6 %
Hold last value (today's display)71 %5 %
Suspend, resume when data returns51 %6 %
Open-loop line model71 %5 %
Wavepin's engine with validity masks67 %7 %
Learned model with validity flags85 %7 %
Moving-horizon with bias knots66 %7 %

Eight-minute excerpts inside an outage, Wavepin's format. Alarm thresholds set at 5 % false alarms on validation, then frozen.

Tournament t001

The floor: smallest leak still seen

0–2 min dark2–10 min dark10–22 min dark22–45 min dark45–200 min dark
Holdover: filter + jump risk1 %2 %1 %2 %1 %

Smallest leak size class (share of flow) caught at least 9 times in 10, by minutes dark at leak onset. “Not reached”: no size class got there.

Tournament t001

Against the bar: correlated loss against random loss

Loss rateCorrelated, median minRandom, median minRatio
0–30 %66.879.30.84
30–70 %72.072.90.99

Correlated loss held 0.91× as long as random loss at the same rate (90 % interval 0.83–0.98). Which gauges go dark together matters, so the dependency map stays.

Straight talk

What is proven. What is not.

Proven, in simulation

  • Leaks starting inside an outage caught 91 % of the time at 6 % false alarms; a learned model 85 %, today's display 71 %, Wavepin's engine with validity masks 67 % (simulation)
  • When it says the estimate still holds, it is wrong 3.7 % of the time; hold-last-value 22.5 %
  • The estimate held 71 minutes (median) through an outage; the frozen display 63
  • The 90 % bound on minutes held covered 85 % of outcomes
  • Correlated loss shortens holding to 0.91× random loss at the same rate (interval 0.83–0.98), beyond the interval, narrowly

Not proven

  • When an estimate does fail, the minutes forecast is off by 42 minutes (median); a five-minute open-loop rule is closer there
  • The correlated-loss effect is small (9 %); another line or map may erase it
  • No real outage log used
  • No regulator has accepted a computed blind time
  • Satellite latency modelled, not measured
  • Two sites failing at once may read as one
Proof · Holdover