agents-relay 1.0.177 → 2.0.0

package/workflow/planner-orchestration-v2.mmd

@@ -0,0 +1,65 @@
+flowchart LR
+%% relay: initial idle
+idle["state: idle"]
+checkLegacy["state: check_legacy_pending"]
+checkRecover["state: check_recover"]
+checkSeed["state: check_seed"]
+checkPlanner["state: check_planner"]
+checkBlocked["state: check_blocked"]
+checkWork["state: check_work"]
+checkMaterialized["state: check_materialized"]
+checkObjective["state: check_objective"]
+wait["state: wait"]
+recovered["state: recovered"]
+created["state: created"]
+
+autonomous["guard: autonomousJob"]
+legacyPending["guard: legacyPlanningPending"]
+recoverablePending["guard: recoverablePendingPlan"]
+hasSeed["guard: hasSeedWork"]
+noActivePlanner["guard: noActivePlanner"]
+noBlocked["guard: noBlockedWork"]
+noActiveWork["guard: noActiveImplementation"]
+materialized["guard: continuationMaterialized"]
+unsatisfied["guard: objectiveUnsatisfied"]
+
+recoverAction["action: planner.recoverPending"]
+createAction["action: planner.createRound"]
+
+idle -->|on: planner.reconcile| autonomous
+autonomous -->|false| wait
+autonomous -->|true| checkLegacy
+
+checkLegacy -->|on: planner.reconcile| legacyPending
+legacyPending -->|true| wait
+legacyPending -->|false| checkRecover
+
+checkRecover -->|on: planner.reconcile| recoverablePending
+recoverablePending -->|true| recoverAction
+recoverAction --> recovered
+recoverablePending -->|false| checkSeed
+
+checkSeed -->|on: planner.reconcile| hasSeed
+hasSeed -->|false| wait
+hasSeed -->|true| checkPlanner
+
+checkPlanner -->|on: planner.reconcile| noActivePlanner
+noActivePlanner -->|false| wait
+noActivePlanner -->|true| checkBlocked
+
+checkBlocked -->|on: planner.reconcile| noBlocked
+noBlocked -->|false| wait
+noBlocked -->|true| checkWork
+
+checkWork -->|on: planner.reconcile| noActiveWork
+noActiveWork -->|false| wait
+noActiveWork -->|true| checkMaterialized
+
+checkMaterialized -->|on: planner.reconcile| materialized
+materialized -->|false| wait
+materialized -->|true| checkObjective
+
+checkObjective -->|on: planner.reconcile| unsatisfied
+unsatisfied -->|false| wait
+unsatisfied -->|true| createAction
+createAction --> created

package/workflow/planner-trigger-v2.mmd

@@ -0,0 +1,32 @@
+flowchart LR
+%% relay: initial idle
+idle["state: idle"]
+checkUnblock["state: check_unblock"]
+checkSchedule["state: check_schedule"]
+checkInitial["state: check_initial"]
+manual["state: manual"]
+unblock["state: unblock"]
+schedule["state: schedule"]
+initial["state: initial"]
+continuation["state: continuation"]
+
+manualGuard["guard: manualPlan"]
+unblockGuard["guard: hasUnblock"]
+scheduleGuard["guard: scheduledRun"]
+initialGuard["guard: initialPlan"]
+
+idle -->|on: plan.requested| manualGuard
+manualGuard -->|true| manual
+manualGuard -->|false| checkUnblock
+
+checkUnblock -->|on: plan.requested| unblockGuard
+unblockGuard -->|true| unblock
+unblockGuard -->|false| checkSchedule
+
+checkSchedule -->|on: plan.requested| scheduleGuard
+scheduleGuard -->|true| schedule
+scheduleGuard -->|false| checkInitial
+
+checkInitial -->|on: plan.requested| initialGuard
+initialGuard -->|true| initial
+initialGuard -->|false| continuation

package/workflow/review-lifecycle-v2.mmd

@@ -0,0 +1,124 @@
+flowchart LR
+%% relay: initial none
+none["state: NONE"]
+pending["state: PENDING"]
+started["state: STARTED"]
+approved["state: APPROVED"]
+changes["state: CHANGES_REQUIRED"]
+blocked["state: BLOCKED"]
+stale["state: STALE"]
+
+unscheduledNone["guard: unscheduled"]
+reviewEnabledNone["guard: reviewEnabled"]
+prOpenNone["guard: prOpen"]
+jobActiveNone["guard: jobActive"]
+implementationCompleteNone["guard: implementationComplete"]
+headAvailableNone["guard: headAvailable"]
+completionGateNone["guard: completionGateSatisfied"]
+noActiveReviewNone["guard: noActiveReviewTask"]
+noApprovedReviewNone["guard: noApprovedCurrentReview"]
+unscheduledStale["guard: unscheduled"]
+reviewEnabledStale["guard: reviewEnabled"]
+prOpenStale["guard: prOpen"]
+jobActiveStale["guard: jobActive"]
+implementationCompleteStale["guard: implementationComplete"]
+headAvailableStale["guard: headAvailable"]
+completionGateStale["guard: completionGateSatisfied"]
+noActiveReviewStale["guard: noActiveReviewTask"]
+noApprovedReviewStale["guard: noApprovedCurrentReview"]
+pendingRetry["guard: noActiveReviewTask"]
+pendingCancelled["guard: currentReviewCancelled"]
+pendingUnapproved["guard: noApprovedCurrentReview"]
+createPendingRetry["action: review.create"]
+autoMergePending["guard: autoMerge"]
+autoMergeStarted["guard: autoMerge"]
+createNone["action: review.create"]
+createStale["action: review.create"]
+cancelPending["action: review.cancelStale"]
+cancelStarted["action: review.cancelStale"]
+cancelApproved["action: review.cancelStale"]
+cancelChanges["action: review.cancelStale"]
+cancelBlocked["action: review.cancelStale"]
+fixPending["action: review.createFix"]
+fixStarted["action: review.createFix"]
+mergePending["action: review.requestMerge"]
+mergeStarted["action: review.requestMerge"]
+
+none -->|on: reconcile| unscheduledNone
+unscheduledNone -->|true| reviewEnabledNone
+unscheduledNone -->|false| none
+reviewEnabledNone -->|true| prOpenNone
+reviewEnabledNone -->|false| none
+prOpenNone -->|true| jobActiveNone
+prOpenNone -->|false| none
+jobActiveNone -->|true| implementationCompleteNone
+jobActiveNone -->|false| none
+implementationCompleteNone -->|true| headAvailableNone
+implementationCompleteNone -->|false| none
+headAvailableNone -->|true| completionGateNone
+headAvailableNone -->|false| none
+completionGateNone -->|true| noActiveReviewNone
+completionGateNone -->|false| none
+noActiveReviewNone -->|true| noApprovedReviewNone
+noActiveReviewNone -->|false| none
+noApprovedReviewNone -->|true| createNone
+noApprovedReviewNone -->|false| none
+createNone --> pending
+
+stale -->|on: reconcile| unscheduledStale
+unscheduledStale -->|true| reviewEnabledStale
+unscheduledStale -->|false| stale
+reviewEnabledStale -->|true| prOpenStale
+reviewEnabledStale -->|false| stale
+prOpenStale -->|true| jobActiveStale
+prOpenStale -->|false| stale
+jobActiveStale -->|true| implementationCompleteStale
+jobActiveStale -->|false| stale
+implementationCompleteStale -->|true| headAvailableStale
+implementationCompleteStale -->|false| stale
+headAvailableStale -->|true| completionGateStale
+headAvailableStale -->|false| stale
+completionGateStale -->|true| noActiveReviewStale
+completionGateStale -->|false| stale
+noActiveReviewStale -->|true| noApprovedReviewStale
+noActiveReviewStale -->|false| stale
+noApprovedReviewStale -->|true| createStale
+noApprovedReviewStale -->|false| stale
+createStale --> pending
+
+pending -->|on: reconcile| pendingRetry
+pendingRetry -->|true| pendingCancelled
+pendingRetry -->|false| pending
+pendingCancelled -->|true| pendingUnapproved
+pendingCancelled -->|false| pending
+pendingUnapproved -->|true| createPendingRetry
+pendingUnapproved -->|false| pending
+createPendingRetry --> pending
+
+pending -->|on: review.started| started
+pending -->|on: review.approved| autoMergePending
+autoMergePending -->|true| mergePending
+mergePending --> approved
+autoMergePending -->|false| approved
+pending -->|on: review.changes_required| fixPending
+fixPending --> changes
+pending -->|on: review.blocked| blocked
+
+started -->|on: review.approved| autoMergeStarted
+autoMergeStarted -->|true| mergeStarted
+mergeStarted --> approved
+autoMergeStarted -->|false| approved
+started -->|on: review.changes_required| fixStarted
+fixStarted --> changes
+started -->|on: review.blocked| blocked
+
+pending -->|on: head.changed| cancelPending
+cancelPending --> stale
+started -->|on: head.changed| cancelStarted
+cancelStarted --> stale
+approved -->|on: head.changed| cancelApproved
+cancelApproved --> stale
+changes -->|on: head.changed| cancelChanges
+cancelChanges --> stale
+blocked -->|on: head.changed| cancelBlocked
+cancelBlocked --> stale

package/workflow/schedule-cycle-v2.mmd

@@ -0,0 +1,19 @@
+flowchart LR
+%% relay: initial idle
+idle["state: idle"]
+checkSatisfied["state: check_satisfied"]
+waiting["state: waiting"]
+finished["state: finished"]
+
+hasSlot["guard: hasCurrentSlot"]
+satisfied["guard: plannerSatisfied"]
+finish["action: schedule.finishSlot"]
+
+idle -->|on: schedule.reconcile| hasSlot
+hasSlot -->|false| waiting
+hasSlot -->|true| checkSatisfied
+
+checkSatisfied -->|on: schedule.reconcile| satisfied
+satisfied -->|false| waiting
+satisfied -->|true| finish
+finish --> finished

package/workflow/scheduled-run-v2.mmd

@@ -0,0 +1,55 @@
+flowchart LR
+%% relay: initial idle
+idle["state: idle"]
+checkUnclaimed["state: check_unclaimed"]
+checkJob["state: check_job"]
+checkActive["state: check_active"]
+checkConcurrency["state: check_concurrency"]
+checkQueue["state: check_queue"]
+checkMissed["state: check_missed"]
+skipIdempotent["state: skip_idempotent"]
+skipActive["state: skip_active"]
+claimed["state: claimed"]
+
+slotDue["guard: slotDue"]
+slotUnclaimed["guard: slotUnclaimed"]
+jobActive["guard: jobActive"]
+hasActiveTasks["guard: hasActiveTasks"]
+concurrencySkip["guard: concurrencySkip"]
+concurrencyQueue["guard: concurrencyQueue"]
+runMissed["guard: runMissed"]
+
+skipAdvance["action: schedule.skipActiveAdvance"]
+claimFromSlot["action: schedule.claimFromSlot"]
+claimFromNow["action: schedule.claimFromNow"]
+
+idle -->|on: schedule.tick| slotDue
+slotDue -->|false| skipIdempotent
+slotDue -->|true| checkUnclaimed
+
+checkUnclaimed -->|on: schedule.tick| slotUnclaimed
+slotUnclaimed -->|false| skipIdempotent
+slotUnclaimed -->|true| checkJob
+
+checkJob -->|on: schedule.tick| jobActive
+jobActive -->|false| skipIdempotent
+jobActive -->|true| checkActive
+
+checkActive -->|on: schedule.tick| hasActiveTasks
+hasActiveTasks -->|false| checkMissed
+hasActiveTasks -->|true| checkConcurrency
+
+checkConcurrency -->|on: schedule.tick| concurrencySkip
+concurrencySkip -->|true| skipAdvance
+skipAdvance --> skipActive
+concurrencySkip -->|false| checkQueue
+
+checkQueue -->|on: schedule.tick| concurrencyQueue
+concurrencyQueue -->|true| skipActive
+concurrencyQueue -->|false| checkMissed
+
+checkMissed -->|on: schedule.tick| runMissed
+runMissed -->|true| claimFromSlot
+claimFromSlot --> claimed
+runMissed -->|false| claimFromNow
+claimFromNow --> claimed

package/workflow/task-lifecycle-v2.mmd

@@ -0,0 +1,201 @@
+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/workflow/task-lifecycle.mmd

@@ -2,6 +2,7 @@ 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
@@ -31,12 +32,14 @@ stateDiagram-v2
     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

package/workflow/task-related-action-v2.mmd

@@ -0,0 +1,28 @@
+flowchart LR
+%% relay: initial evaluate
+evaluate["state: evaluate"]
+checkOther["state: check_other"]
+checkRecovery["state: check_recovery"]
+skip["state: skip"]
+selected["state: selected"]
+
+otherTask["guard: otherTask"]
+recoveryForTask["guard: recoveryForTask"]
+candidateCancellable["guard: candidateCancellable"]
+cancelRelated["action: related.cancel"]
+
+evaluate -->|request: task.cancel| skip
+evaluate -->|request: task.unblock.retry| skip
+evaluate -->|request: task.queue| skip
+evaluate -->|request: task.release| skip
+evaluate -->|request: task.hold| skip
+evaluate -->|request: task.retry| otherTask
+otherTask -->|false| skip
+otherTask -->|true| checkOther
+checkOther -->|request: task.retry| recoveryForTask
+recoveryForTask -->|false| skip
+recoveryForTask -->|true| checkRecovery
+checkRecovery -->|request: task.retry| candidateCancellable
+candidateCancellable -->|false| skip
+candidateCancellable -->|true| cancelRelated
+cancelRelated --> selected

package/workflow/troubleshooter-v2.mmd

@@ -0,0 +1,43 @@
+flowchart LR
+%% relay: initial idle
+idle["state: idle"]
+checkOrdinary["state: check_ordinary"]
+checkRun["state: check_run"]
+checkNeeds["state: check_needs"]
+checkId["state: check_id"]
+checkBarrier["state: check_barrier"]
+skip["state: skip"]
+create["state: create"]
+
+failedOrBlocked["guard: failedOrBlocked"]
+ordinary["guard: ordinaryWork"]
+currentRun["guard: currentRun"]
+needsRecovery["guard: needsRecovery"]
+idUnused["guard: idUnused"]
+noBarrier["guard: noRecoveryBarrier"]
+createAction["action: troubleshooter.create"]
+
+idle -->|on: troubleshooter.reconcile| failedOrBlocked
+failedOrBlocked -->|false| skip
+failedOrBlocked -->|true| checkOrdinary
+
+checkOrdinary -->|on: troubleshooter.reconcile| ordinary
+ordinary -->|false| skip
+ordinary -->|true| checkRun
+
+checkRun -->|on: troubleshooter.reconcile| currentRun
+currentRun -->|false| skip
+currentRun -->|true| checkNeeds
+
+checkNeeds -->|on: troubleshooter.reconcile| needsRecovery
+needsRecovery -->|false| skip
+needsRecovery -->|true| checkId
+
+checkId -->|on: troubleshooter.reconcile| idUnused
+idUnused -->|false| skip
+idUnused -->|true| checkBarrier
+
+checkBarrier -->|on: troubleshooter.reconcile| noBarrier
+noBarrier -->|false| skip
+noBarrier -->|true| createAction
+createAction --> create