neuron-technologies/el
3
0
Fork 0
Code Issues 4 Pull Requests 6 Actions Packages Projects Releases 5 Wiki Activity

swarm: native interruptibility for dispatched agent workers #107

Merged
will.anderson merged 1 commits from worktree-agent-a6177cda24c71d1df into dev 2026-08-15 19:57:11 +00:00
Conversation 0 Commits 1 Files Changed 3
+505
will.anderson commented 2026-08-15 19:25:58 +00:00
Owner
Copy Link
Copy Source

Preserving uncommitted work found in an open worktree during a worktree audit. Cancellation-token control channel checked at every step boundary lets a coordinator PAUSE/RESUME/REDIRECT/KILL a running worker mid-task instead of waiting for the whole (possibly wrong) plan to finish. Bounded purviews mean no half-committed state to unwind on interrupt. Includes a proof harness comparing a broken non-interruptible worker against the new one under identical kill/redirect/pause timing. Note: distinct from the already-preserved wt/swarm-ccr orchestrator (PR #102, fan-out/converge dispatch) — this is single-worker interruptibility, a complementary mechanism, not a duplicate.

Preserving uncommitted work found in an open worktree during a worktree audit. Cancellation-token control channel checked at every step boundary lets a coordinator PAUSE/RESUME/REDIRECT/KILL a running worker mid-task instead of waiting for the whole (possibly wrong) plan to finish. Bounded purviews mean no half-committed state to unwind on interrupt. Includes a proof harness comparing a broken non-interruptible worker against the new one under identical kill/redirect/pause timing. Note: distinct from the already-preserved wt/swarm-ccr orchestrator (PR #102, fan-out/converge dispatch) — this is single-worker interruptibility, a complementary mechanism, not a duplicate.
will.anderson added 1 commit 2026-08-15 19:26:00 +00:00
Add native interruptibility for dispatched agent workers
El SDK CI - dev / build-and-test (pull_request) Failing after 14m43s
Details
708722b7ff 
Cancellation-token control channel checked at every step boundary lets a
coordinator PAUSE/RESUME/REDIRECT/KILL a running worker mid-task instead of
waiting for the whole (possibly wrong) plan to finish. Bounded purviews
mean no half-committed state to unwind on interrupt. Includes a proof
harness (proof.el, run.sh) comparing a broken non-interruptible worker
against the new one under identical kill/redirect/pause timing.

Distinct from the already-preserved swarm-ccr orchestrator (fan-out/
converge dispatch): this is single-worker interruptibility, a
complementary mechanism, not a duplicate.
will.anderson merged commit d4a04bb944 into dev 2026-08-15 19:57:11 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
BETA-CRITICAL
On the beta critical path — must resolve before ship
 HELD
Blocked pending an external decision (counsel / dual sign-off)
 ORTHOGONAL
Parallel workstream (testing/hardening) — safe to assign off critical path
 POST-BETA
Important but not blocking the beta ship
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
andre.almeida (Andre Almeida) tim.lingo (Tim Lingo) will.anderson (Will Anderson)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: neuron-technologies/el#107
Delete Branch "worktree-agent-a6177cda24c71d1df"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?