Skip to content

Add sandbox reset and execution cancellation - #3521

Closed
GregorShear wants to merge 1 commit into
greg/sandbox-gqlfrom
greg/sandbox-reset-cancel
Closed

GregorShear wants to merge 1 commit into
greg/sandbox-gqlfrom
greg/sandbox-reset-cancel

Conversation

@GregorShear

@GregorShear GregorShear commented Sep 22, 2026 •

Copy link
Copy Markdown
Contributor

Adds sandboxReset and sandboxExecCancel on top of the sandbox API in #3520, plus the HTTP reset route.

Provisioning now captures a baseline checkpoint. Reset restores it, discards subsequent filesystem changes and execution history, and prunes extra checkpoints. This PR adds the Sprites checkpoint creation, listing, restoration, and deletion functions alongside their consumers.

Sandboxes created before this PR have no baseline and must be deleted and recreated before reset is available. Neither PR configures egress restrictions.

Cancellation signals the execution's process group, escalates when necessary, and preserves output and the observed exit result. Includes authorization coverage, cancellation result snapshots, and the opt-in live cancellation test.

Validation: Rust formatting and diff checks pass. The combined implementation was compared with the pre-split branch to verify that changes beyond the split are limited to the requested removal of egress restrictions and documentation updates. The nextest compile attempt is blocked by the installed Rust 1.91.1 compiler (workspace requires 1.94); database/live-provider tests were not run.

@GregorShear
GregorShear added this pull request to stack #3522 September 22, 2026 21:41

let response = self
.http
.get(url)

let response = self
.http
.post(url)
@GregorShear
GregorShear force-pushed the greg/sandbox-reset-cancel branch from 82a4143 to 260a939 Compare September 23, 2026 02:17
Capture a baseline during provisioning and restore it through GraphQL and HTTP reset operations, pruning extra checkpoints. Add execution cancellation using process-group signals while retaining output and exit status.
@GregorShear
GregorShear force-pushed the greg/sandbox-reset-cancel branch from 260a939 to d37a146 Compare September 23, 2026 02:28
@GregorShear
GregorShear removed this pull request from stack #3522 September 23, 2026 12:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants