C2: the information-theoretic recovery timeline

The batch decoder has peak three, nine gates, and at most eight instruction rounds. Its two syndrome bits are independent of the logical-reference state.

More generally, sequential consistency gives

Thus unrestricted ${\epsilon }_{\mathrm{IT}}(t)$ is non-increasing. No corresponding total-batch-memory monotonicity is inferred: a later accessible input can itself be larger.