D01-F05 guided lab · synthetic data

Sequence-Gap Detection and Recovery

Recovery is a commit barrier. Forward messages may be stored, but none may mutate published state until every earlier sequence is present.

Scenario purpose

Decision boundary: Sequence scope, wrap, recovery limits, and reset rules are protocol-specific.

State

Feed state sequenceFour labeled stages from provider input through validated state to a D11 handoff.inputvalidatestateoutput

Step
Ruleapply sequence s only when s = next_expected; buffer s > next_expected
D11 handoffAll listed D11-F03 and D11-F04 order-book topics

Current synthetic input