agents-relay 2.0.9 → 2.0.11

package/README.md

@@ -28,19 +28,19 @@ RelayStore owns local operational execution facts; GitHub remains the human-read
 
 | Area | Canonical graph |
 | --- | --- |
-| Job lifecycle | [`workflow/job-lifecycle-v2.mmd`](workflow/job-lifecycle-v2.mmd) |
-| Task lifecycle | [`workflow/task-lifecycle-v2.mmd`](workflow/task-lifecycle-v2.mmd) |
-| Review lifecycle | [`workflow/review-lifecycle-v2.mmd`](workflow/review-lifecycle-v2.mmd) |
-| Planner trigger | [`workflow/planner-trigger-v2.mmd`](workflow/planner-trigger-v2.mmd) |
-| Planner orchestration | [`workflow/planner-orchestration-v2.mmd`](workflow/planner-orchestration-v2.mmd) |
-| Blocker resolution | [`workflow/blocker-resolution-v2.mmd`](workflow/blocker-resolution-v2.mmd) |
-| Authoritative unblock | [`workflow/authoritative-unblock-v2.mmd`](workflow/authoritative-unblock-v2.mmd) |
-| Scheduled run | [`workflow/scheduled-run-v2.mmd`](workflow/scheduled-run-v2.mmd) |
-| Schedule cycle | [`workflow/schedule-cycle-v2.mmd`](workflow/schedule-cycle-v2.mmd) |
-| Troubleshooter | [`workflow/troubleshooter-v2.mmd`](workflow/troubleshooter-v2.mmd) |
-| Related-task action policy | [`workflow/task-related-action-v2.mmd`](workflow/task-related-action-v2.mmd) |
-
-Legacy [`workflow/job-lifecycle.mmd`](workflow/job-lifecycle.mmd) and [`workflow/task-lifecycle.mmd`](workflow/task-lifecycle.mmd) are compatibility/parity fixtures only. See [`docs/workflow-engine.md`](docs/workflow-engine.md) and [`docs/architecture-v2.md`](docs/architecture-v2.md).
+| Job lifecycle | [`workflow/job-lifecycle.mmd`](workflow/job-lifecycle.mmd) |
+| Task lifecycle | [`workflow/task-lifecycle.mmd`](workflow/task-lifecycle.mmd) |
+| Review lifecycle | [`workflow/review-lifecycle.mmd`](workflow/review-lifecycle.mmd) |
+| Planner trigger | [`workflow/planner-trigger.mmd`](workflow/planner-trigger.mmd) |
+| Planner orchestration | [`workflow/planner-orchestration.mmd`](workflow/planner-orchestration.mmd) |
+| Blocker resolution | [`workflow/blocker-resolution.mmd`](workflow/blocker-resolution.mmd) |
+| Authoritative unblock | [`workflow/authoritative-unblock.mmd`](workflow/authoritative-unblock.mmd) |
+| Scheduled run | [`workflow/scheduled-run.mmd`](workflow/scheduled-run.mmd) |
+| Schedule cycle | [`workflow/schedule-cycle.mmd`](workflow/schedule-cycle.mmd) |
+| Troubleshooter | [`workflow/troubleshooter.mmd`](workflow/troubleshooter.mmd) |
+| Related-task action policy | [`workflow/task-related-action.mmd`](workflow/task-related-action.mmd) |
+
+These paths always represent the current canonical graphs. Historical graph definitions are available through Git history, tags, and commits rather than parallel versioned files in `workflow/`. See [`docs/workflow-engine.md`](docs/workflow-engine.md) for the executable profile and runtime boundary.
 
 ## Quick start
 
@@ -88,9 +88,9 @@ npx agents-relay task update --repo OWNER/REPO --pr 12 --id job-1 --task-id chil
 
 Jobs separate durable lifecycle from derived runtime status. Durable lifecycle is `DRAFT | ACTIVE | COMPLETED | CANCELLED`: a newly created unscheduled Job is DRAFT, creating executable work activates it, and scheduled Jobs are ACTIVE because the scheduler is allowed to advance them. Runtime status (`IDLE`, `WAITING`, `QUEUED`, `RUNNING`, `BLOCKED`, `FAILED`, `REVIEWING`, `MERGE_PENDING`, `MERGED`, or `CANCELLED`) is computed from Tasks, Review, PR, and schedule facts and is never persisted as lifecycle truth.
 
-Lifecycle transition authority lives in the directly renderable V2 flowchart sources linked in [Workflow graph navigation](#workflow-graph-navigation). The legacy `stateDiagram-v2` files remain compatibility fixtures only; see [`docs/workflow-engine.md`](docs/workflow-engine.md) for the executable Mermaid profile and runtime boundary.
+Lifecycle transition authority lives in the directly renderable canonical flowchart sources linked in [Workflow graph navigation](#workflow-graph-navigation). Git history owns prior graph versions; the working tree contains only the current graph set.
 
-The canonical Mermaid Graph Engine is the authoritative durable workflow decision path. Job/Task lifecycle transitions plus Review, Planner, Blocker/Unblock, Schedule, and Troubleshooter orchestration branches are defined by the v2 workflow graphs and executed through the shared graph runtime. TypeScript supplies facts and primitive action/effect implementations; it must not duplicate those workflow branches as a second procedural state machine.
+The canonical Mermaid Graph Engine is the authoritative durable workflow decision path. Job/Task lifecycle transitions plus Review, Planner, Blocker/Unblock, Schedule, and Troubleshooter orchestration branches are defined by the canonical workflow graphs and executed through the shared graph runtime. TypeScript supplies facts and primitive action/effect implementations; it must not duplicate those workflow branches as a second procedural state machine.
 
 Job objectives and Task inputs are Markdown. Prefer `--objective-file` / `--input-file` (use `-` for stdin) for durable long-form context; inline `--objective` / `--input` remain for short/simple text and are mutually exclusive with the file variants. When a diagram materially clarifies the work, put Mermaid first and then Markdown detail. A newly created Job must capture enough context to finish independently of the originating chat. Its PR body contains exactly one hidden `agents-relay:job:v1` metadata marker followed by the objective Markdown; there is no separate Job comment duplicating the objective. Objective and Job metadata updates rewrite that same PR body. Legacy Job-comment markers remain readable and are migrated into the PR body on the next Job save.
 

package/dist/dashboard-html.js

@@ -186,9 +186,9 @@ export const dashboardHtml = `<!doctype html>
   <nav role="tablist" aria-label="Console views">
     <button id="jobs-tab" type="button" role="tab" aria-selected="true" aria-controls="jobs-view">Jobs</button>
     <button id="usage-tab" type="button" role="tab" aria-selected="false" aria-controls="usage-view">Usage</button>
-    <button id="graphs-tab" type="button" role="tab" aria-selected="false" aria-controls="graphs-view">Graphs</button>
     <button id="rules-tab" type="button" role="tab" aria-selected="false" aria-controls="rules-view">Router Rules</button>
     <button id="shortcuts-tab" type="button" role="tab" aria-selected="false" aria-controls="shortcuts-view">Shortcuts</button>
+    <button id="graphs-tab" type="button" role="tab" aria-selected="false" aria-controls="graphs-view">Graphs</button>
   </nav>
 </header>
 <main>

package/dist/dashboard.js

@@ -16,7 +16,7 @@ export async function dashboardWorkflowGraphs() {
     const names = (await readdir(WORKFLOW_DIR)).filter(name => name.endsWith('.mmd')).sort();
     return Promise.all(names.map(async (name) => ({
         id: name.replace(/\.mmd$/, ''),
-        name: name.replace(/\.mmd$/, '').split('-').map(part => part === 'v2' ? 'V2' : part.charAt(0).toUpperCase() + part.slice(1)).join(' '),
+        name: name.replace(/\.mmd$/, '').split('-').map(part => part.charAt(0).toUpperCase() + part.slice(1)).join(' '),
         path: `workflow/${name}`,
         source: await readFile(join(WORKFLOW_DIR, name), 'utf8'),
     })));

package/dist/workflow/authoritative-unblock-v2.js

@@ -1,7 +1,7 @@
 import { readFileSync } from 'node:fs';
 import { GraphRuntime } from './graph-v2.js';
 import { dispatchWorkflowGraph, dispatchWorkflowGraphSync } from './dispatcher.js';
-const source = readFileSync(new URL('../../workflow/authoritative-unblock-v2.mmd', import.meta.url), 'utf8');
+const source = readFileSync(new URL('../../workflow/authoritative-unblock.mmd', import.meta.url), 'utf8');
 const boolGuard = (name) => (facts) => facts.durableFacts[name] === true;
 export const authoritativeUnblockV2 = new GraphRuntime(source, {
     states: new Set(['blocked', 'autonomous_replan', 'fixed_retry']),

package/dist/workflow/blocker-resolution-v2.js

@@ -1,7 +1,7 @@
 import { readFileSync } from 'node:fs';
 import { GraphRuntime } from './graph-v2.js';
 import { dispatchWorkflowGraph, dispatchWorkflowGraphSync } from './dispatcher.js';
-const source = readFileSync(new URL('../../workflow/blocker-resolution-v2.mmd', import.meta.url), 'utf8');
+const source = readFileSync(new URL('../../workflow/blocker-resolution.mmd', import.meta.url), 'utf8');
 const boolGuard = (name) => (facts) => facts.durableFacts[name] === true;
 export const blockerResolutionV2 = new GraphRuntime(source, {
     states: new Set([

package/dist/workflow/definitions-v2.js

@@ -11,7 +11,7 @@ function actionRegistry() {
     return Object.fromEntries([...WORKFLOW_MUTATION_NAMES, ...WORKFLOW_EFFECT_NAMES].map(id => [id, { id }]));
 }
 function load(name, states, guards) {
-    const url = new URL(`../../workflow/${name}-v2.mmd`, import.meta.url);
+    const url = new URL(`../../workflow/${name}.mmd`, import.meta.url);
     return new GraphRuntime(readFileSync(url, 'utf8'), {
         states: new Set(states),
         guards,

package/dist/workflow/planner-orchestration-v2.js

@@ -2,7 +2,7 @@ import { readFileSync } from 'node:fs';
 import { GraphRuntime } from './graph-v2.js';
 import { dispatchWorkflowGraph, dispatchWorkflowGraphSync } from './dispatcher.js';
 import { isEffectivelyBlocked } from '../unblock.js';
-const source = readFileSync(new URL('../../workflow/planner-orchestration-v2.mmd', import.meta.url), 'utf8');
+const source = readFileSync(new URL('../../workflow/planner-orchestration.mmd', import.meta.url), 'utf8');
 const boolGuard = (name) => (facts) => facts.durableFacts[name] === true;
 export const plannerOrchestrationV2 = new GraphRuntime(source, {
     states: new Set([

package/dist/workflow/planner-trigger-v2.js

@@ -1,7 +1,7 @@
 import { readFileSync } from 'node:fs';
 import { GraphRuntime } from './graph-v2.js';
 import { dispatchWorkflowGraphSync } from './dispatcher.js';
-const source = readFileSync(new URL('../../workflow/planner-trigger-v2.mmd', import.meta.url), 'utf8');
+const source = readFileSync(new URL('../../workflow/planner-trigger.mmd', import.meta.url), 'utf8');
 const boolGuard = (name) => (facts) => facts.durableFacts[name] === true;
 export const plannerTriggerV2 = new GraphRuntime(source, {
     states: new Set(['idle', 'check_unblock', 'check_schedule', 'check_initial', 'manual', 'unblock', 'schedule', 'initial', 'continuation']),

package/dist/workflow/review-v2.js

@@ -1,7 +1,7 @@
 import { readFileSync } from 'node:fs';
 import { GraphRuntime } from './graph-v2.js';
 import { dispatchWorkflowGraph, dispatchWorkflowGraphSync } from './dispatcher.js';
-const source = readFileSync(new URL('../../workflow/review-lifecycle-v2.mmd', import.meta.url), 'utf8');
+const source = readFileSync(new URL('../../workflow/review-lifecycle.mmd', import.meta.url), 'utf8');
 const boolGuard = (name) => (facts) => facts.durableFacts[name] === true;
 export const reviewLifecycleV2 = new GraphRuntime(source, {
     states: new Set(['NONE', 'PENDING', 'STARTED', 'APPROVED', 'CHANGES_REQUIRED', 'BLOCKED', 'STALE']),

package/dist/workflow/schedule-cycle-v2.js

@@ -1,7 +1,7 @@
 import { readFileSync } from 'node:fs';
 import { GraphRuntime } from './graph-v2.js';
 import { dispatchWorkflowGraphSync } from './dispatcher.js';
-const source = readFileSync(new URL('../../workflow/schedule-cycle-v2.mmd', import.meta.url), 'utf8');
+const source = readFileSync(new URL('../../workflow/schedule-cycle.mmd', import.meta.url), 'utf8');
 const boolGuard = (name) => (facts) => facts.durableFacts[name] === true;
 export const scheduleCycleV2 = new GraphRuntime(source, {
     states: new Set(['idle', 'check_satisfied', 'waiting', 'finished']),

package/dist/workflow/scheduled-run-v2.js

@@ -1,7 +1,7 @@
 import { readFileSync } from 'node:fs';
 import { GraphRuntime } from './graph-v2.js';
 import { dispatchWorkflowGraph, dispatchWorkflowGraphSync } from './dispatcher.js';
-const source = readFileSync(new URL('../../workflow/scheduled-run-v2.mmd', import.meta.url), 'utf8');
+const source = readFileSync(new URL('../../workflow/scheduled-run.mmd', import.meta.url), 'utf8');
 const boolGuard = (name) => (facts) => facts.durableFacts[name] === true;
 export const scheduledRunV2 = new GraphRuntime(source, {
     states: new Set([

package/dist/workflow/task-related-action-v2.js

@@ -2,7 +2,7 @@ import { readFileSync } from 'node:fs';
 import { decideTaskLifecycle } from './lifecycle.js';
 import { GraphRuntime } from './graph-v2.js';
 import { dispatchWorkflowGraphSync } from './dispatcher.js';
-const source = readFileSync(new URL('../../workflow/task-related-action-v2.mmd', import.meta.url), 'utf8');
+const source = readFileSync(new URL('../../workflow/task-related-action.mmd', import.meta.url), 'utf8');
 const boolGuard = (name) => (facts) => facts.durableFacts[name] === true;
 export const taskRelatedActionV2 = new GraphRuntime(source, {
     states: new Set(['evaluate', 'check_other', 'check_recovery', 'skip', 'selected']),

package/dist/workflow/troubleshooter-v2.js

@@ -1,7 +1,7 @@
 import { readFileSync } from 'node:fs';
 import { GraphRuntime } from './graph-v2.js';
 import { dispatchWorkflowGraphSync } from './dispatcher.js';
-const source = readFileSync(new URL('../../workflow/troubleshooter-v2.mmd', import.meta.url), 'utf8');
+const source = readFileSync(new URL('../../workflow/troubleshooter.mmd', import.meta.url), 'utf8');
 const boolGuard = (name) => (facts) => facts.durableFacts[name] === true;
 export const troubleshooterV2 = new GraphRuntime(source, {
     states: new Set(['idle', 'check_ordinary', 'check_run', 'check_needs', 'check_id', 'check_barrier', 'skip', 'create']),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "agents-relay",
-  "version": "2.0.9",
+  "version": "2.0.11",
   "description": "Durable async agent jobs coordinated through GitHub pull requests",
   "type": "module",
   "bin": {

package/workflow/job-lifecycle.mmd

@@ -1,20 +1,70 @@
-stateDiagram-v2
-    [*] --> DRAFT
+flowchart LR
+%% relay: initial draft
+draft["state: DRAFT"]
+active["state: ACTIVE"]
+completed["state: COMPLETED"]
+cancelled["state: CANCELLED"]
+notMergedDraft["guard: notMerged"]
+notMergedActive["guard: notMerged"]
+autoMergeReview["guard: autoMerge"]
+autoMergeImplementation["guard: autoMerge"]
+prOpenReconcile["guard: prOpen"]
+reviewDisabledReconcile["guard: reviewDisabled"]
+implementationCompleteReconcile["guard: implementationComplete"]
+autoMergeReconcile["guard: autoMerge"]
+headAvailableReconcile["guard: headAvailable"]
+mergeCapableReconcile["guard: mergeCapable"]
+mergeReconcile["action: effect.mergePullRequest"]
+cancelDraftMerge["action: effect.cancelActiveTasks"]
+cancelDraftClose["action: effect.cancelActiveTasks"]
+mergeReview["action: effect.mergePullRequest"]
+mergeImplementation["action: effect.mergePullRequest"]
+cancelActiveMerge["action: effect.cancelActiveTasks"]
+cancelActiveClose["action: effect.cancelActiveTasks"]
+cancelCancelledMerge["action: effect.cancelActiveTasks"]
 
-    DRAFT --> ACTIVE: activate
-    DRAFT --> COMPLETED: pr.merged / effect.cancelActiveTasks
-    DRAFT --> CANCELLED: cancel / effect.cancelActiveTasks
-    DRAFT --> CANCELLED: pr.closed [notMerged] / effect.cancelActiveTasks
+draft -->|on: activate| active
+draft -->|on: pr.merged| cancelDraftMerge
+cancelDraftMerge --> completed
+draft -->|on: cancel| cancelDraft
+cancelDraft["action: effect.cancelActiveTasks"]
+cancelDraft --> cancelled
+draft -->|on: pr.closed| notMergedDraft
+notMergedDraft -->|true| cancelDraftClose
+cancelDraftClose --> cancelled
 
-    ACTIVE --> ACTIVE: review.approved [autoMerge] / effect.mergePullRequest
-    ACTIVE --> ACTIVE: implementation.completed [autoMerge] / effect.mergePullRequest
-    ACTIVE --> ACTIVE: effect.mergePullRequest.failed
-    ACTIVE --> COMPLETED: pr.merged / effect.cancelActiveTasks
-    ACTIVE --> CANCELLED: cancel / effect.cancelActiveTasks
-    ACTIVE --> CANCELLED: pr.closed [notMerged] / effect.cancelActiveTasks
+active -->|on: reconcile| prOpenReconcile
+prOpenReconcile -->|true| reviewDisabledReconcile
+prOpenReconcile -->|false| active
+reviewDisabledReconcile -->|true| implementationCompleteReconcile
+reviewDisabledReconcile -->|false| active
+implementationCompleteReconcile -->|true| autoMergeReconcile
+implementationCompleteReconcile -->|false| active
+autoMergeReconcile -->|true| headAvailableReconcile
+autoMergeReconcile -->|false| active
+headAvailableReconcile -->|true| mergeCapableReconcile
+headAvailableReconcile -->|false| active
+mergeCapableReconcile -->|true| mergeReconcile
+mergeCapableReconcile -->|false| active
+mergeReconcile --> active
 
-    CANCELLED --> COMPLETED: pr.merged / effect.cancelActiveTasks
-    CANCELLED --> CANCELLED: effect.cancelActiveTasks.failed
-    COMPLETED --> COMPLETED: effect.cancelActiveTasks.failed
+active -->|on: review.approved| autoMergeReview
+autoMergeReview -->|true| mergeReview
+mergeReview --> active
+active -->|on: implementation.completed| autoMergeImplementation
+autoMergeImplementation -->|true| mergeImplementation
+mergeImplementation --> active
+active -->|on: effect.mergePullRequest.failed| active
+active -->|on: pr.merged| cancelActiveMerge
+cancelActiveMerge --> completed
+active -->|on: cancel| cancelActive
+cancelActive["action: effect.cancelActiveTasks"]
+cancelActive --> cancelled
+active -->|on: pr.closed| notMergedActive
+notMergedActive -->|true| cancelActiveClose
+cancelActiveClose --> cancelled
 
-    COMPLETED --> [*]
+cancelled -->|on: pr.merged| cancelCancelledMerge
+cancelCancelledMerge --> completed
+cancelled -->|on: effect.cancelActiveTasks.failed| cancelled
+completed -->|on: effect.cancelActiveTasks.failed| completed

package/workflow/task-lifecycle.mmd

@@ -1,52 +1,201 @@
-stateDiagram-v2
-    [*] --> DRAFT
-
-    DRAFT --> QUEUED: release / mutation.clearError,mutation.clearFailureReason
-    DRAFT --> QUEUED: queue [dependenciesSatisfied] / mutation.clearError,mutation.clearFailureReason
-    DRAFT --> QUEUED: reconcile [dependenciesSatisfied] / mutation.clearError,mutation.clearFailureReason
-    DRAFT --> BLOCKED: block
-    DRAFT --> CANCELLED: cancel
-
-    QUEUED --> DRAFT: hold
-    QUEUED --> DRAFT: reconcile [dependenciesUnsatisfied]
-    QUEUED --> QUEUED: reconcile [runnable] / mutation.clearError,mutation.clearFailureReason
-    QUEUED --> QUEUED: dispatch [dispatchable] / effect.launchTask
-    QUEUED --> RUNNING: task.started / mutation.clearError,mutation.clearFailureReason
-    QUEUED --> RUNNING: review.started / mutation.clearError,mutation.clearFailureReason
-    QUEUED --> SUCCEEDED: review.approved / mutation.clearError,mutation.clearFailureReason
-    QUEUED --> SUCCEEDED: review.changes_required / mutation.clearError,mutation.clearFailureReason
-    QUEUED --> BLOCKED: review.blocked
-    QUEUED --> BLOCKED: block
-    QUEUED --> FAILED: fail
-    QUEUED --> FAILED: effect.launchTask.failed
-    QUEUED --> FAILED: watchdog.failed
-    QUEUED --> FAILED: worker.delivery_failed
-    QUEUED --> FAILED: worker.start_ack_failed
-    QUEUED --> CANCELLED: cancel
-
-    RUNNING --> BLOCKED: task.blocked
-    RUNNING --> SUCCEEDED: review.approved / mutation.clearError,mutation.clearFailureReason
-    RUNNING --> SUCCEEDED: review.changes_required / mutation.clearError,mutation.clearFailureReason
-    RUNNING --> BLOCKED: review.blocked
-    RUNNING --> SUCCEEDED: task.completed / mutation.clearError,mutation.clearFailureReason
-    RUNNING --> FAILED: task.failed
-    RUNNING --> FAILED: watchdog.failed
-    RUNNING --> CANCELLED: task.cancelled
-    RUNNING --> CANCELLED: cancel
-
-    BLOCKED --> UNBLOCKED: task.unblocked
-    BLOCKED --> CANCELLED: cancel
-
-    UNBLOCKED --> QUEUED: retry / mutation.clearError,mutation.clearFailureReason
-
-    FAILED --> QUEUED: queue [dependenciesSatisfied] / mutation.clearError,mutation.clearFailureReason
-    FAILED --> QUEUED: retry / mutation.clearError,mutation.clearFailureReason
-    FAILED --> RUNNING: task.started [recoverableExecution] / mutation.clearError,mutation.clearFailureReason
-    FAILED --> SUCCEEDED: task.completed [recoverableExecution] / mutation.clearError,mutation.clearFailureReason
-    FAILED --> BLOCKED: task.blocked [recoverableExecution]
-    FAILED --> FAILED: task.failed [recoverableExecution]
-    FAILED --> CANCELLED: task.cancelled [recoverableExecution]
-    FAILED --> CANCELLED: cancel
-
-    SUCCEEDED --> [*]
-    CANCELLED --> [*]
+flowchart LR
+%% relay: initial draft
+draft["state: DRAFT"]
+queued["state: QUEUED"]
+running["state: RUNNING"]
+blocked["state: BLOCKED"]
+unblocked["state: UNBLOCKED"]
+succeeded["state: SUCCEEDED"]
+failed["state: FAILED"]
+cancelled["state: CANCELLED"]
+
+depSat["guard: dependenciesSatisfied"]
+depUnsat["guard: dependenciesUnsatisfied"]
+runnable["guard: runnable"]
+dispatchable["guard: dispatchable"]
+recoverStart["guard: recoverableExecution"]
+recoverComplete["guard: recoverableExecution"]
+recoverBlocked["guard: recoverableExecution"]
+recoverFailed["guard: recoverableExecution"]
+recoverCancelled["guard: recoverableExecution"]
+
+retryAvailableRunning["guard: retryAvailable"]
+plannerRetryAvailable["guard: retryAvailable"]
+plannerUnavailableMark["action: mutation.markPlannerUnavailable"]
+orphanRetryAvailable["guard: retryAvailable"]
+orphanRetryClearError["action: mutation.clearError"]
+orphanRetryClearLease["action: mutation.clearLease"]
+orphanRetryClearExecution["action: mutation.clearExecution"]
+orphanFailMark["action: mutation.markStartupOrphanedExhausted"]
+orphanFailClearLease["action: mutation.clearLease"]
+orphanFailClearExecution["action: mutation.clearExecution"]
+plannerRetryClearError["action: mutation.clearError"]
+plannerRetryClearLease["action: mutation.clearLease"]
+plannerRetryClearExecution["action: mutation.clearExecution"]
+plannerFailClearLease["action: mutation.clearLease"]
+plannerFailClearExecution["action: mutation.clearExecution"]
+retryAvailableQueued["guard: retryAvailable"]
+leaseRetryRunningClearError["action: mutation.clearError"]
+leaseRetryRunningClearLease["action: mutation.clearLease"]
+leaseRetryRunningClearExecution["action: mutation.clearExecution"]
+leaseFailRunningMark["action: mutation.markLeaseExpired"]
+leaseFailRunningClearLease["action: mutation.clearLease"]
+leaseFailRunningClearExecution["action: mutation.clearExecution"]
+leaseRetryQueuedClearError["action: mutation.clearError"]
+leaseRetryQueuedClearLease["action: mutation.clearLease"]
+leaseRetryQueuedClearExecution["action: mutation.clearExecution"]
+leaseFailQueuedMark["action: mutation.markLeaseExpired"]
+leaseFailQueuedClearLease["action: mutation.clearLease"]
+leaseFailQueuedClearExecution["action: mutation.clearExecution"]
+
+releaseClearError["action: mutation.clearError"]
+releaseClearReason["action: mutation.clearFailureReason"]
+reconcileDraftClearError["action: mutation.clearError"]
+reconcileDraftClearReason["action: mutation.clearFailureReason"]
+reconcileQueuedClearError["action: mutation.clearError"]
+reconcileQueuedClearReason["action: mutation.clearFailureReason"]
+dispatchLaunch["action: effect.launchTask"]
+startClearError["action: mutation.clearError"]
+startClearReason["action: mutation.clearFailureReason"]
+reviewStartClearError["action: mutation.clearError"]
+reviewStartClearReason["action: mutation.clearFailureReason"]
+reviewApproveQueuedClearError["action: mutation.clearError"]
+reviewApproveQueuedClearReason["action: mutation.clearFailureReason"]
+reviewChangesQueuedClearError["action: mutation.clearError"]
+reviewChangesQueuedClearReason["action: mutation.clearFailureReason"]
+reviewApproveRunningClearError["action: mutation.clearError"]
+reviewApproveRunningClearReason["action: mutation.clearFailureReason"]
+reviewChangesRunningClearError["action: mutation.clearError"]
+reviewChangesRunningClearReason["action: mutation.clearFailureReason"]
+completeClearError["action: mutation.clearError"]
+completeClearReason["action: mutation.clearFailureReason"]
+unblockRetryClearError["action: mutation.clearError"]
+unblockRetryClearReason["action: mutation.clearFailureReason"]
+failedRetryClearError["action: mutation.clearError"]
+failedRetryClearReason["action: mutation.clearFailureReason"]
+recoverStartClearError["action: mutation.clearError"]
+recoverStartClearReason["action: mutation.clearFailureReason"]
+recoverCompleteClearError["action: mutation.clearError"]
+recoverCompleteClearReason["action: mutation.clearFailureReason"]
+
+draft -->|on: release| releaseClearError
+releaseClearError --> releaseClearReason
+releaseClearReason --> queued
+draft -->|on: queue| depSat
+draft -->|on: reconcile| depSat
+depSat -->|true| reconcileDraftClearError
+reconcileDraftClearError --> reconcileDraftClearReason
+reconcileDraftClearReason --> queued
+draft -->|on: block| blocked
+draft -->|on: cancel| cancelled
+
+queued -->|on: hold| draft
+queued -->|on: reconcile| depUnsat
+depUnsat -->|true| draft
+queued -->|on: reconcile| runnable
+runnable -->|true| reconcileQueuedClearError
+reconcileQueuedClearError --> reconcileQueuedClearReason
+reconcileQueuedClearReason --> queued
+queued -->|on: dispatch| dispatchable
+dispatchable -->|true| dispatchLaunch
+dispatchLaunch --> queued
+queued -->|on: task.started| startClearError
+startClearError --> startClearReason
+startClearReason --> running
+queued -->|on: review.started| reviewStartClearError
+reviewStartClearError --> reviewStartClearReason
+reviewStartClearReason --> running
+queued -->|on: review.approved| reviewApproveQueuedClearError
+reviewApproveQueuedClearError --> reviewApproveQueuedClearReason
+reviewApproveQueuedClearReason --> succeeded
+queued -->|on: review.changes_required| reviewChangesQueuedClearError
+reviewChangesQueuedClearError --> reviewChangesQueuedClearReason
+reviewChangesQueuedClearReason --> succeeded
+queued -->|on: review.blocked| blocked
+queued -->|on: block| blocked
+queued -->|on: fail| failed
+queued -->|on: effect.launchTask.failed| failed
+queued -->|on: watchdog.failed| failed
+queued -->|on: worker.delivery_failed| failed
+queued -->|on: worker.start_ack_failed| failed
+queued -->|on: planner.unavailable| plannerUnavailableMark
+plannerUnavailableMark --> failed
+queued -->|on: lease.expired| retryAvailableQueued
+retryAvailableQueued -->|true| leaseRetryQueuedClearError
+leaseRetryQueuedClearError --> leaseRetryQueuedClearLease
+leaseRetryQueuedClearLease --> leaseRetryQueuedClearExecution
+leaseRetryQueuedClearExecution --> queued
+retryAvailableQueued -->|false| leaseFailQueuedMark
+leaseFailQueuedMark --> leaseFailQueuedClearLease
+leaseFailQueuedClearLease --> leaseFailQueuedClearExecution
+leaseFailQueuedClearExecution --> failed
+queued -->|on: cancel| cancelled
+
+running -->|on: task.blocked| blocked
+running -->|on: review.approved| reviewApproveRunningClearError
+reviewApproveRunningClearError --> reviewApproveRunningClearReason
+reviewApproveRunningClearReason --> succeeded
+running -->|on: review.changes_required| reviewChangesRunningClearError
+reviewChangesRunningClearError --> reviewChangesRunningClearReason
+reviewChangesRunningClearReason --> succeeded
+running -->|on: review.blocked| blocked
+running -->|on: task.completed| completeClearError
+completeClearError --> completeClearReason
+completeClearReason --> succeeded
+running -->|on: task.failed| failed
+running -->|on: watchdog.failed| failed
+running -->|on: planner.failed| plannerRetryAvailable
+running -->|on: execution.orphaned| orphanRetryAvailable
+orphanRetryAvailable -->|true| orphanRetryClearError
+orphanRetryClearError --> orphanRetryClearLease
+orphanRetryClearLease --> orphanRetryClearExecution
+orphanRetryClearExecution --> queued
+orphanRetryAvailable -->|false| orphanFailMark
+orphanFailMark --> orphanFailClearLease
+orphanFailClearLease --> orphanFailClearExecution
+orphanFailClearExecution --> failed
+plannerRetryAvailable -->|true| plannerRetryClearError
+plannerRetryClearError --> plannerRetryClearLease
+plannerRetryClearLease --> plannerRetryClearExecution
+plannerRetryClearExecution --> queued
+plannerRetryAvailable -->|false| plannerFailClearLease
+plannerFailClearLease --> plannerFailClearExecution
+plannerFailClearExecution --> failed
+running -->|on: lease.expired| retryAvailableRunning
+retryAvailableRunning -->|true| leaseRetryRunningClearError
+leaseRetryRunningClearError --> leaseRetryRunningClearLease
+leaseRetryRunningClearLease --> leaseRetryRunningClearExecution
+leaseRetryRunningClearExecution --> queued
+retryAvailableRunning -->|false| leaseFailRunningMark
+leaseFailRunningMark --> leaseFailRunningClearLease
+leaseFailRunningClearLease --> leaseFailRunningClearExecution
+leaseFailRunningClearExecution --> failed
+running -->|on: task.cancelled| cancelled
+running -->|on: cancel| cancelled
+
+blocked -->|on: task.unblocked| unblocked
+blocked -->|on: cancel| cancelled
+
+unblocked -->|on: retry| unblockRetryClearError
+unblockRetryClearError --> unblockRetryClearReason
+unblockRetryClearReason --> queued
+
+failed -->|on: queue| depSat
+failed -->|on: retry| failedRetryClearError
+failedRetryClearError --> failedRetryClearReason
+failedRetryClearReason --> queued
+failed -->|on: task.started| recoverStart
+recoverStart -->|true| recoverStartClearError
+recoverStartClearError --> recoverStartClearReason
+recoverStartClearReason --> running
+failed -->|on: task.completed| recoverComplete
+recoverComplete -->|true| recoverCompleteClearError
+recoverCompleteClearError --> recoverCompleteClearReason
+recoverCompleteClearReason --> succeeded
+failed -->|on: task.blocked| recoverBlocked
+recoverBlocked -->|true| blocked
+failed -->|on: task.failed| recoverFailed
+recoverFailed -->|true| failed
+failed -->|on: task.cancelled| recoverCancelled
+recoverCancelled -->|true| cancelled
+failed -->|on: cancel| cancelled

package/dist/workflow/definitions.js

@@ -1,37 +0,0 @@
-import { readFileSync } from 'node:fs';
-import { parseExecutableMermaid, WorkflowEngine } from './mermaid.js';
-import { WORKFLOW_EFFECT_NAMES, WORKFLOW_EVENT_NAMES, WORKFLOW_FACT_NAMES, WORKFLOW_MUTATION_NAMES, classifyWorkflowActions } from './contracts.js';
-function declarativeActions() {
-    return Object.fromEntries([...WORKFLOW_MUTATION_NAMES, ...WORKFLOW_EFFECT_NAMES].map(name => [name, { declarative: true }]));
-}
-export function validateCanonicalWorkflowGraph(graph) {
-    const canonicalEvents = new Set(WORKFLOW_EVENT_NAMES);
-    const canonicalFacts = new Set(WORKFLOW_FACT_NAMES);
-    for (const transition of graph.transitions) {
-        if (!canonicalEvents.has(transition.event)) {
-            throw new Error(`Unknown canonical workflow event ${transition.event} referenced at line ${transition.line}`);
-        }
-        if (transition.guard && !canonicalFacts.has(transition.guard)) {
-            throw new Error(`Unknown canonical workflow fact ${transition.guard} referenced at line ${transition.line}`);
-        }
-        classifyWorkflowActions(transition.actions);
-    }
-}
-function load(name, guards = {}) {
-    const url = new URL(`../../workflow/${name}.mmd`, import.meta.url);
-    const graph = parseExecutableMermaid(readFileSync(url, 'utf8'));
-    validateCanonicalWorkflowGraph(graph);
-    return new WorkflowEngine(graph, guards, declarativeActions());
-}
-const booleanGuard = (name) => context => context[name] === true;
-export const jobLifecycleWorkflow = load('job-lifecycle', {
-    notMerged: booleanGuard('notMerged'),
-    autoMerge: booleanGuard('autoMerge'),
-});
-export const taskLifecycleWorkflow = load('task-lifecycle', {
-    dependenciesSatisfied: booleanGuard('dependenciesSatisfied'),
-    dependenciesUnsatisfied: booleanGuard('dependenciesUnsatisfied'),
-    runnable: booleanGuard('runnable'),
-    dispatchable: booleanGuard('dispatchable'),
-    recoverableExecution: booleanGuard('recoverableExecution'),
-});

package/workflow/job-lifecycle-v2.mmd

@@ -1,70 +0,0 @@
-flowchart LR
-%% relay: initial draft
-draft["state: DRAFT"]
-active["state: ACTIVE"]
-completed["state: COMPLETED"]
-cancelled["state: CANCELLED"]
-notMergedDraft["guard: notMerged"]
-notMergedActive["guard: notMerged"]
-autoMergeReview["guard: autoMerge"]
-autoMergeImplementation["guard: autoMerge"]
-prOpenReconcile["guard: prOpen"]
-reviewDisabledReconcile["guard: reviewDisabled"]
-implementationCompleteReconcile["guard: implementationComplete"]
-autoMergeReconcile["guard: autoMerge"]
-headAvailableReconcile["guard: headAvailable"]
-mergeCapableReconcile["guard: mergeCapable"]
-mergeReconcile["action: effect.mergePullRequest"]
-cancelDraftMerge["action: effect.cancelActiveTasks"]
-cancelDraftClose["action: effect.cancelActiveTasks"]
-mergeReview["action: effect.mergePullRequest"]
-mergeImplementation["action: effect.mergePullRequest"]
-cancelActiveMerge["action: effect.cancelActiveTasks"]
-cancelActiveClose["action: effect.cancelActiveTasks"]
-cancelCancelledMerge["action: effect.cancelActiveTasks"]
-
-draft -->|on: activate| active
-draft -->|on: pr.merged| cancelDraftMerge
-cancelDraftMerge --> completed
-draft -->|on: cancel| cancelDraft
-cancelDraft["action: effect.cancelActiveTasks"]
-cancelDraft --> cancelled
-draft -->|on: pr.closed| notMergedDraft
-notMergedDraft -->|true| cancelDraftClose
-cancelDraftClose --> cancelled
-
-active -->|on: reconcile| prOpenReconcile
-prOpenReconcile -->|true| reviewDisabledReconcile
-prOpenReconcile -->|false| active
-reviewDisabledReconcile -->|true| implementationCompleteReconcile
-reviewDisabledReconcile -->|false| active
-implementationCompleteReconcile -->|true| autoMergeReconcile
-implementationCompleteReconcile -->|false| active
-autoMergeReconcile -->|true| headAvailableReconcile
-autoMergeReconcile -->|false| active
-headAvailableReconcile -->|true| mergeCapableReconcile
-headAvailableReconcile -->|false| active
-mergeCapableReconcile -->|true| mergeReconcile
-mergeCapableReconcile -->|false| active
-mergeReconcile --> active
-
-active -->|on: review.approved| autoMergeReview
-autoMergeReview -->|true| mergeReview
-mergeReview --> active
-active -->|on: implementation.completed| autoMergeImplementation
-autoMergeImplementation -->|true| mergeImplementation
-mergeImplementation --> active
-active -->|on: effect.mergePullRequest.failed| active
-active -->|on: pr.merged| cancelActiveMerge
-cancelActiveMerge --> completed
-active -->|on: cancel| cancelActive
-cancelActive["action: effect.cancelActiveTasks"]
-cancelActive --> cancelled
-active -->|on: pr.closed| notMergedActive
-notMergedActive -->|true| cancelActiveClose
-cancelActiveClose --> cancelled
-
-cancelled -->|on: pr.merged| cancelCancelledMerge
-cancelCancelledMerge --> completed
-cancelled -->|on: effect.cancelActiveTasks.failed| cancelled
-completed -->|on: effect.cancelActiveTasks.failed| completed

package/workflow/task-lifecycle-v2.mmd

@@ -1,201 +0,0 @@
-flowchart LR
-%% relay: initial draft
-draft["state: DRAFT"]
-queued["state: QUEUED"]
-running["state: RUNNING"]
-blocked["state: BLOCKED"]
-unblocked["state: UNBLOCKED"]
-succeeded["state: SUCCEEDED"]
-failed["state: FAILED"]
-cancelled["state: CANCELLED"]
-
-depSat["guard: dependenciesSatisfied"]
-depUnsat["guard: dependenciesUnsatisfied"]
-runnable["guard: runnable"]
-dispatchable["guard: dispatchable"]
-recoverStart["guard: recoverableExecution"]
-recoverComplete["guard: recoverableExecution"]
-recoverBlocked["guard: recoverableExecution"]
-recoverFailed["guard: recoverableExecution"]
-recoverCancelled["guard: recoverableExecution"]
-
-retryAvailableRunning["guard: retryAvailable"]
-plannerRetryAvailable["guard: retryAvailable"]
-plannerUnavailableMark["action: mutation.markPlannerUnavailable"]
-orphanRetryAvailable["guard: retryAvailable"]
-orphanRetryClearError["action: mutation.clearError"]
-orphanRetryClearLease["action: mutation.clearLease"]
-orphanRetryClearExecution["action: mutation.clearExecution"]
-orphanFailMark["action: mutation.markStartupOrphanedExhausted"]
-orphanFailClearLease["action: mutation.clearLease"]
-orphanFailClearExecution["action: mutation.clearExecution"]
-plannerRetryClearError["action: mutation.clearError"]
-plannerRetryClearLease["action: mutation.clearLease"]
-plannerRetryClearExecution["action: mutation.clearExecution"]
-plannerFailClearLease["action: mutation.clearLease"]
-plannerFailClearExecution["action: mutation.clearExecution"]
-retryAvailableQueued["guard: retryAvailable"]
-leaseRetryRunningClearError["action: mutation.clearError"]
-leaseRetryRunningClearLease["action: mutation.clearLease"]
-leaseRetryRunningClearExecution["action: mutation.clearExecution"]
-leaseFailRunningMark["action: mutation.markLeaseExpired"]
-leaseFailRunningClearLease["action: mutation.clearLease"]
-leaseFailRunningClearExecution["action: mutation.clearExecution"]
-leaseRetryQueuedClearError["action: mutation.clearError"]
-leaseRetryQueuedClearLease["action: mutation.clearLease"]
-leaseRetryQueuedClearExecution["action: mutation.clearExecution"]
-leaseFailQueuedMark["action: mutation.markLeaseExpired"]
-leaseFailQueuedClearLease["action: mutation.clearLease"]
-leaseFailQueuedClearExecution["action: mutation.clearExecution"]
-
-releaseClearError["action: mutation.clearError"]
-releaseClearReason["action: mutation.clearFailureReason"]
-reconcileDraftClearError["action: mutation.clearError"]
-reconcileDraftClearReason["action: mutation.clearFailureReason"]
-reconcileQueuedClearError["action: mutation.clearError"]
-reconcileQueuedClearReason["action: mutation.clearFailureReason"]
-dispatchLaunch["action: effect.launchTask"]
-startClearError["action: mutation.clearError"]
-startClearReason["action: mutation.clearFailureReason"]
-reviewStartClearError["action: mutation.clearError"]
-reviewStartClearReason["action: mutation.clearFailureReason"]
-reviewApproveQueuedClearError["action: mutation.clearError"]
-reviewApproveQueuedClearReason["action: mutation.clearFailureReason"]
-reviewChangesQueuedClearError["action: mutation.clearError"]
-reviewChangesQueuedClearReason["action: mutation.clearFailureReason"]
-reviewApproveRunningClearError["action: mutation.clearError"]
-reviewApproveRunningClearReason["action: mutation.clearFailureReason"]
-reviewChangesRunningClearError["action: mutation.clearError"]
-reviewChangesRunningClearReason["action: mutation.clearFailureReason"]
-completeClearError["action: mutation.clearError"]
-completeClearReason["action: mutation.clearFailureReason"]
-unblockRetryClearError["action: mutation.clearError"]
-unblockRetryClearReason["action: mutation.clearFailureReason"]
-failedRetryClearError["action: mutation.clearError"]
-failedRetryClearReason["action: mutation.clearFailureReason"]
-recoverStartClearError["action: mutation.clearError"]
-recoverStartClearReason["action: mutation.clearFailureReason"]
-recoverCompleteClearError["action: mutation.clearError"]
-recoverCompleteClearReason["action: mutation.clearFailureReason"]
-
-draft -->|on: release| releaseClearError
-releaseClearError --> releaseClearReason
-releaseClearReason --> queued
-draft -->|on: queue| depSat
-draft -->|on: reconcile| depSat
-depSat -->|true| reconcileDraftClearError
-reconcileDraftClearError --> reconcileDraftClearReason
-reconcileDraftClearReason --> queued
-draft -->|on: block| blocked
-draft -->|on: cancel| cancelled
-
-queued -->|on: hold| draft
-queued -->|on: reconcile| depUnsat
-depUnsat -->|true| draft
-queued -->|on: reconcile| runnable
-runnable -->|true| reconcileQueuedClearError
-reconcileQueuedClearError --> reconcileQueuedClearReason
-reconcileQueuedClearReason --> queued
-queued -->|on: dispatch| dispatchable
-dispatchable -->|true| dispatchLaunch
-dispatchLaunch --> queued
-queued -->|on: task.started| startClearError
-startClearError --> startClearReason
-startClearReason --> running
-queued -->|on: review.started| reviewStartClearError
-reviewStartClearError --> reviewStartClearReason
-reviewStartClearReason --> running
-queued -->|on: review.approved| reviewApproveQueuedClearError
-reviewApproveQueuedClearError --> reviewApproveQueuedClearReason
-reviewApproveQueuedClearReason --> succeeded
-queued -->|on: review.changes_required| reviewChangesQueuedClearError
-reviewChangesQueuedClearError --> reviewChangesQueuedClearReason
-reviewChangesQueuedClearReason --> succeeded
-queued -->|on: review.blocked| blocked
-queued -->|on: block| blocked
-queued -->|on: fail| failed
-queued -->|on: effect.launchTask.failed| failed
-queued -->|on: watchdog.failed| failed
-queued -->|on: worker.delivery_failed| failed
-queued -->|on: worker.start_ack_failed| failed
-queued -->|on: planner.unavailable| plannerUnavailableMark
-plannerUnavailableMark --> failed
-queued -->|on: lease.expired| retryAvailableQueued
-retryAvailableQueued -->|true| leaseRetryQueuedClearError
-leaseRetryQueuedClearError --> leaseRetryQueuedClearLease
-leaseRetryQueuedClearLease --> leaseRetryQueuedClearExecution
-leaseRetryQueuedClearExecution --> queued
-retryAvailableQueued -->|false| leaseFailQueuedMark
-leaseFailQueuedMark --> leaseFailQueuedClearLease
-leaseFailQueuedClearLease --> leaseFailQueuedClearExecution
-leaseFailQueuedClearExecution --> failed
-queued -->|on: cancel| cancelled
-
-running -->|on: task.blocked| blocked
-running -->|on: review.approved| reviewApproveRunningClearError
-reviewApproveRunningClearError --> reviewApproveRunningClearReason
-reviewApproveRunningClearReason --> succeeded
-running -->|on: review.changes_required| reviewChangesRunningClearError
-reviewChangesRunningClearError --> reviewChangesRunningClearReason
-reviewChangesRunningClearReason --> succeeded
-running -->|on: review.blocked| blocked
-running -->|on: task.completed| completeClearError
-completeClearError --> completeClearReason
-completeClearReason --> succeeded
-running -->|on: task.failed| failed
-running -->|on: watchdog.failed| failed
-running -->|on: planner.failed| plannerRetryAvailable
-running -->|on: execution.orphaned| orphanRetryAvailable
-orphanRetryAvailable -->|true| orphanRetryClearError
-orphanRetryClearError --> orphanRetryClearLease
-orphanRetryClearLease --> orphanRetryClearExecution
-orphanRetryClearExecution --> queued
-orphanRetryAvailable -->|false| orphanFailMark
-orphanFailMark --> orphanFailClearLease
-orphanFailClearLease --> orphanFailClearExecution
-orphanFailClearExecution --> failed
-plannerRetryAvailable -->|true| plannerRetryClearError
-plannerRetryClearError --> plannerRetryClearLease
-plannerRetryClearLease --> plannerRetryClearExecution
-plannerRetryClearExecution --> queued
-plannerRetryAvailable -->|false| plannerFailClearLease
-plannerFailClearLease --> plannerFailClearExecution
-plannerFailClearExecution --> failed
-running -->|on: lease.expired| retryAvailableRunning
-retryAvailableRunning -->|true| leaseRetryRunningClearError
-leaseRetryRunningClearError --> leaseRetryRunningClearLease
-leaseRetryRunningClearLease --> leaseRetryRunningClearExecution
-leaseRetryRunningClearExecution --> queued
-retryAvailableRunning -->|false| leaseFailRunningMark
-leaseFailRunningMark --> leaseFailRunningClearLease
-leaseFailRunningClearLease --> leaseFailRunningClearExecution
-leaseFailRunningClearExecution --> failed
-running -->|on: task.cancelled| cancelled
-running -->|on: cancel| cancelled
-
-blocked -->|on: task.unblocked| unblocked
-blocked -->|on: cancel| cancelled
-
-unblocked -->|on: retry| unblockRetryClearError
-unblockRetryClearError --> unblockRetryClearReason
-unblockRetryClearReason --> queued
-
-failed -->|on: queue| depSat
-failed -->|on: retry| failedRetryClearError
-failedRetryClearError --> failedRetryClearReason
-failedRetryClearReason --> queued
-failed -->|on: task.started| recoverStart
-recoverStart -->|true| recoverStartClearError
-recoverStartClearError --> recoverStartClearReason
-recoverStartClearReason --> running
-failed -->|on: task.completed| recoverComplete
-recoverComplete -->|true| recoverCompleteClearError
-recoverCompleteClearError --> recoverCompleteClearReason
-recoverCompleteClearReason --> succeeded
-failed -->|on: task.blocked| recoverBlocked
-recoverBlocked -->|true| blocked
-failed -->|on: task.failed| recoverFailed
-recoverFailed -->|true| failed
-failed -->|on: task.cancelled| recoverCancelled
-recoverCancelled -->|true| cancelled
-failed -->|on: cancel| cancelled