Skip to content

Stateful resources server checkpoint adapters #3219

Closed as not planned
19 of 19 issues completed
Closed as not planned

Description

@ananthsub

Parent issue

Sub-issue of #3024.

Problem

Stateful resources servers retain mutable session state between agent operations. Generic checkpoint infrastructure can fence mutations and serialize session identity, but each environment must explicitly export and restore the state it owns. Inheriting a continuation claim without a proven codec can silently restore an invalid execution.

Scope

Track logical-state adapters for resources servers that can serialize or deterministically reconstruct their sessions. Each child must identify the state owner, payload schema, mutation routes, resource revision behavior, restore atomicity, terminal cleanup, and unsupported effects.

Sandbox/provider-backed state, grouped drain-only services, and already-adapted examples are tracked separately.

Shared acceptance criteria

  • Sessions are keyed by stable rollout and attempt identity.
  • Mutations are fenced and revisions advance only after success.
  • Export waits for accepted session mutations and activates no partial restore.
  • Restore installs attempt N+1 while stale attempt N is rejected.
  • Agent boundaries reconcile the exact prepared resource revision.
  • Terminal retirement and failed verification preserve the intended state.
  • Environment-specific next-operation equivalence is tested after process replacement.

Activity

  1. added
    env-infraInfra related to creating new environments
    featureNew capabilities, enhancements, or enablement work
    area:environmentIndividual environments, benchmarks, verifiers, and environment-specific resources servers
    on Sep 10, 2026
  2. ananthsub commented on Oct 13, 2026

    @ananthsub
    ContributorAuthor

    Superseded by the partial-rollout checkpointing design in #3882 onward.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:environmentIndividual environments, benchmarks, verifiers, and environment-specific resources serversenv-infraInfra related to creating new environmentsfeatureNew capabilities, enhancements, or enablement work

    Type

    No type

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions