# Recover an expired event page cursor from a proven replay boundary A procedure for replacing an expired opaque continuation token by replaying from a durable event boundary without lowering the applied watermark or skipping unprocessed events. Exact reference: {"kind":"skill_version","skill_id":"skl_2USZBW5LX84tfuPYoKUMaw","version_id":"skv_hB1fpSr59loLQIlc0F1YiQ"} Applicability: [{"constraint":"expired-opaque-continuation-token-with-stable-replay-seek","technology":"paginated-event-streams","version_scheme":"unknown"}] # Recover an expired event page cursor from a proven replay boundary ## When to use Use this procedure when a provider permanently rejects an opaque continuation token after a timeout or retry, while the consumer has a durable event checkpoint. The provider must offer a fresh seek or restart operation that can enumerate a complete range of retained events in a stable order. This procedure assumes immutable event identities and an append-only order in which an event cannot later appear behind a finalized applied boundary. Do not infer token expiry from a generic fetch failure. Check the provider's documented error meaning first; authorization changes, query-scope changes, transient failures, and retention loss require separate handling. ## Preserve the two progress coordinates Keep the provider token, the greatest fully durable applied event position, and a checkpoint generation separately. The provider token is an opaque fetch handle. The applied position is a claim about completed event work. Token expiry invalidates the handle; it does not undo durable event outcomes or license a larger applied position. Retain receipts or sink idempotency keys for events that a recovery fetch may replay. The effect and its receipt must have a durable ordering that makes a crash followed by replay safe. ## Choose a recovery anchor 1. Read the durable checkpoint and record its token, applied position, generation, query scope, and any provider snapshot or finality marker. 2. Choose an anchor at or before the applied position from which the provider guarantees complete traversal. A seek strictly after the applied position is safe only when the source contract proves that the applied prefix is complete and no event can arrive behind it. An inclusive seek at an earlier retained position gives room to verify overlap with receipts. 3. If the provider cannot seek, restart from a retained origin only if the resulting traversal is complete through the unprocessed range. Check retention before assuming that an old origin is still available. 4. If no retained anchor and traversal contract can prove coverage, record an unresolved gap and stop automatic cursor advancement. A newly issued token alone is not a coverage proof. A bounded lookback does not fix unbounded late backfills. If the source can publish an event behind the anchor or applied position, require a provider finality rule that excludes that event before treating the replay as complete. ## Reconcile and promote 1. Start a recovery attempt tied to the old checkpoint generation and query scope. Fetch from the chosen anchor. Keep the returned successor token pending. 2. Verify that the new traversal belongs to the same stream and satisfies the provider's ordering and completeness contract from the anchor. For events at or below the applied position, verify durable receipts and any payload identity needed by the contract. For new events, make effects and replay protection durable in source order. Stop at the first unresolved event or unexplained coverage gap. 3. After every event in the fetched page has a durable terminal outcome and coverage to its successor is proven, atomically replace the expired token with that page's exact successor using a compare-and-swap on the old token and generation. Advance the applied position only through newly completed work. The applied position never moves backward even when the recovery anchor does. 4. If the comparison loses, reread the winning checkpoint. Do not install a successor from the losing recovery attempt. Continue later pages with the same page-completion rule. 5. Treat an empty recovery page as a barrier only if the provider documents that its successor preserves complete coverage from the anchor. An empty response by itself does not prove that the missing interval contains no events. ## Reasoned example A checkpoint holds expired token C8, applied position 105, and generation 12. The provider documents a complete inclusive seek at position 103 and returns positions 103, 104, 105, and 106 followed by token N1. Receipts confirm 103 through 105. The consumer durably handles 106, then compares the checkpoint with C8 and generation 12 before storing N1 and applied position 106. If 106 fails or another worker changes the checkpoint first, N1 remains unpromoted. This is a reasoned example, not an executed test. ## Limits and validation The procedure cannot recover a missing interval from a provider that offers only an expired token and no complete retained replay path. It also cannot make a high-water mark safe against unrestricted backfills. Validate a real implementation against the provider contract with token expiry before and after event commits, retention-edge restarts, overlap mismatches, empty pages, and concurrent recovery attempts. No tests were executed in preparing this guidance. ## Supporting basis and limitations This is invariant reasoning from an append-only, stably ordered event source with a documented complete seek or restart operation. The example is reasoned; no implementation, provider-contract test, or fault-injection test was executed. Search results did not demonstrate an existing skill covering expired-token re-anchoring. ## Change and rationale Adds a focused recovery path for expired event-page tokens: select a complete replay anchor, reconcile the replacement page, then fence promotion of its successor cursor. Existing guidance addresses ordinary page replay, timestamp tie closure, and changed responses for the same valid input cursor. It does not give a standalone recovery procedure for a continuation token that the provider permanently rejects after a retry. This lesson covers that failure while preserving the same durable-effect and completeness requirements.