@selvakumaresra/specship 0.1.3 → 0.4.0

package/dist/workflows/executor.d.ts

@@ -0,0 +1,83 @@
+/**
+ * DAG workflow executor.
+ *
+ * Orchestrates a `WorkflowDefinition` end-to-end:
+ *   1. Topological sort of nodes (`depends_on` edges).
+ *   2. For each node, check its `trigger_rule` against upstream states +
+ *      its `when:` condition. Skip when gates fail.
+ *   3. Dispatch to the right runner (prompt / bash / script / approval / cancel).
+ *   4. On `paused` → persist state and return; resume() picks up later.
+ *   5. On `failed` → respect `retry` config (transient vs all).
+ *   6. On `cancelled` → mark all unstarted downstreams as skipped and stop.
+ *
+ * Persisted state: workflow_runs row tracks lifecycle status, completed
+ * node IDs, and approval context. workflow_events rows form an append-only
+ * audit trail. Artifacts go to `<artifactsDir>/nodes/<id>.{md,meta.json}`.
+ */
+import { WorkflowDefinition, DagNode } from './schemas/workflow';
+import { WorkflowRun, WorkflowNodeState } from '../types';
+import { SpecQueries } from '../db/spec-queries';
+import { WorktreeProvider } from '../isolation/worktree';
+import { NodeOutput } from './condition-evaluator';
+export interface ExecuteOptions {
+    /** Project root (used to derive default cwd + spawn the worktree). */
+    projectRoot: string;
+    /** Workflow inputs (e.g., SPEC_ID). */
+    inputs?: Record<string, string>;
+    /** Additional variables ($CONTEXT, etc.). */
+    variables?: Record<string, string>;
+    /** Verbose logging. */
+    verbose?: boolean;
+    /** Override the run ID (mostly for resume). Defaults to a fresh UUID. */
+    runId?: string;
+}
+export interface ExecuteResult {
+    run: WorkflowRun;
+    /** Final node states (id → state). */
+    nodeStates: Map<string, WorkflowNodeState>;
+    /** Node outputs (for caller inspection). */
+    outputs: Map<string, NodeOutput>;
+}
+export declare class WorkflowExecutor {
+    private specQueries;
+    private worktrees;
+    private runners;
+    constructor(specQueries: SpecQueries, worktrees: WorktreeProvider);
+    start(workflow: WorkflowDefinition, opts: ExecuteOptions): Promise<ExecuteResult>;
+    /**
+     * Resume a paused (approved) or failed run. Skips already-completed nodes.
+     */
+    resume(workflow: WorkflowDefinition, runId: string, opts: Omit<ExecuteOptions, 'runId'>): Promise<ExecuteResult>;
+    cancel(runId: string, reason?: string): void;
+    /**
+     * Approve a paused run. The caller is expected to call `resume` afterwards
+     * to actually continue execution. This separation matches Archon's pattern
+     * (manage_run.approve only transitions state; resume drives the next step).
+     */
+    approve(runId: string, comment?: string): void;
+    reject(runId: string, reason?: string): void;
+    private driveExecution;
+    private runWithRetry;
+    private checkTrigger;
+    /**
+     * Walk a node's string fields and substitute `$nodeId.output[.field]` /
+     * `$INPUT.X` / `$VAR` references. Returns a shallow clone with substituted
+     * values; the original is untouched.
+     *
+     * For prompt nodes we substitute `prompt` and `systemPromptAppend`.
+     * For bash/script nodes we substitute `bash` / `script` (with bash-safe
+     * shell escaping). For approval nodes we substitute `message`.
+     * cancel: substitute `cancel` reason.
+     */
+    private resolveNodeRefs;
+    private makeSubstitutionContext;
+    private finalize;
+    private writeArtifact;
+    private event;
+}
+/**
+ * Kahn's algorithm topological sort. Cycles fail loudly — the executor
+ * refuses to run a workflow that doesn't form a DAG.
+ */
+export declare function topoSort(nodes: DagNode[]): string[];
+//# sourceMappingURL=executor.d.ts.map

package/dist/workflows/executor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executor.d.ts","sourceRoot":"","sources":["../../src/workflows/executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAMH,OAAO,EACL,kBAAkB,EAClB,OAAO,EAOR,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,WAAW,EACX,iBAAiB,EAGlB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,OAAO,EACL,UAAU,EAIX,MAAM,uBAAuB,CAAC;AAQ/B,MAAM,WAAW,cAAc;IAC7B,sEAAsE;IACtE,WAAW,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,6CAA6C;IAC7C,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,uBAAuB;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,yEAAyE;IACzE,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,WAAW,CAAC;IACjB,sCAAsC;IACtC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC3C,4CAA4C;IAC5C,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CAClC;AAED,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,SAAS,CAAmB;IACpC,OAAO,CAAC,OAAO,CAAmC;gBAEtC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,gBAAgB;IAgB3D,KAAK,CACT,QAAQ,EAAE,kBAAkB,EAC5B,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC,aAAa,CAAC;IA8EzB;;OAEG;IACG,MAAM,CACV,QAAQ,EAAE,kBAAkB,EAC5B,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,GAClC,OAAO,CAAC,aAAa,CAAC;IAoCzB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAE,MAA4B,GAAG,IAAI;IA8BjE;;;;OAIG;IACH,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI;IAuC9C,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI;YA6B9B,cAAc;YA0Id,YAAY;IA2B1B,OAAO,CAAC,YAAY;IAuBpB;;;;;;;;;OASG;IACH,OAAO,CAAC,eAAe;IAiDvB,OAAO,CAAC,uBAAuB;YAajB,QAAQ;YA4CR,aAAa;IAyB3B,OAAO,CAAC,KAAK;CA0Bd;AAMD;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,CA6BnD"}