Example. Warm-up and sliding-window arithmetic [ftip-00DM]
✍️source

    For \(p=3\), \(w=2\), and \(T=6\), the first steps grow the retained set until the cap \(p+w=5\) is reached. The exposure bound is therefore \(E_T\leq 6\cdot 5=30\); the exact count depends on the prompt and stopping convention.

    The arithmetic is an FTIP finite consequence, not a runtime measurement from the Prefix Sliding experiments.