Context
The definition distinguishes serial waiting from a seam that changes the presentation doctrine and creates the state space for a second delay.
Hypotheses and scope
- A deterministic presentation update and a declared observation are fixed.
- Both transport regions are null for that observation until their terminal seams.
Proof or evidence
QA-RA-S6-T15 realizes the definition exactly: a first binary carry gap is exhausted, the raw seam creates a second separated-flank gap, and the hidden source bit activates only after crossing both.
Verification notes
The two gap budgets were checked separately; the second is newly created and is not residual slack from the first.
Limitations
- The definition alone does not imply that latencies add or that either reservoir is minimal.