visualization I.
foreclosure clock
the survival probability of the reflective window, made physically legible
Lemma 1 (foreclosure of the no-input window) establishes that the survival function of the inter-stimulus interval at the converged policy satisfies (Asmussen, Ch. V). The exponent is on the order of a thousand to a hundred thousand for realistic platforms. The bound is therefore mathematically positive but operationally indistinguishable from zero. The visualization renders this fact as a length comparison: the bound is smaller than the smallest physical scale.
= 3,000
what to look for
Switch between 1ms and 1s. At 1s, the bound has visible length — the "closure" doesn't yet hold. At 10ms (the realistic tick rate for engagement platforms), the bound collapses to invisibility against every physical reference. There is no physical scale at which the bound is meaningfully non-zero under the converged policy.
Switch the reference to the Planck length — the smallest physically meaningful quantity in the universe. The foreclosure bound is still many orders of magnitude smaller. This is what the proof means when it says the bound is operationally indistinguishable from zero. The mathematics has no operational referent below the Planck scale; the bound lives below.