@specship/specship-win32-arm64 0.24.0 → 0.28.0

package/lib/dist/workflows/defaults/spec-verify.yaml

@@ -13,23 +13,58 @@ nodes:
     output_type: test_results
     timeout: 600000
     bash: |
+      # Same VERIFY_RESULT contract as spec-implement / spec-fix
+      # (REQ-REVINT-006, REQ-VSTATE-005): the marker is what the routing node
+      # reads. This node used to emit no marker at all and `exit 0` when it
+      # found no runner — a no-runner repo read as a clean verification pass.
       if [ -f package.json ]; then
         # Run against a built tree so a missing dist/ can't false-fail the
         # verify leg (WF-REJECT-DOC, REQ-WFREJ-005).
-        npm run build --if-present
-        npm test
+        if ! npm run build --if-present; then echo "VERIFY_RESULT=build-failed"; exit 1; fi
+        if npm test; then echo "VERIFY_RESULT=ran-and-passed"; else echo "VERIFY_RESULT=ran-and-failed"; exit 1; fi
       elif [ -f Cargo.toml ]; then
-        cargo test
+        if ! cargo build; then echo "VERIFY_RESULT=build-failed"; exit 1; fi
+        if cargo test; then echo "VERIFY_RESULT=ran-and-passed"; else echo "VERIFY_RESULT=ran-and-failed"; exit 1; fi
       elif [ -f pyproject.toml ] || [ -f requirements.txt ]; then
-        python -m pytest
+        if ! python -c 'import pytest' 2>/dev/null; then echo "VERIFY_RESULT=env-failed"; exit 1; fi
+        if python -m pytest; then echo "VERIFY_RESULT=ran-and-passed"; else echo "VERIFY_RESULT=ran-and-failed"; exit 1; fi
       else
-        echo "no recognised test framework; skipping" >&2
-        exit 0
+        echo "no recognised test framework; tests did NOT run" >&2
+        echo "VERIFY_RESULT=skipped"
       fi
 
+  - id: route_verify
+    kind: bash
+    depends_on: [run_tests]
+    output_type: verify_route
+    bash: |
+      # Deterministic routing (REQ-VSTATE-005.A1): code decides what the
+      # summarize node may do with link state.
+      VERIFY_OUT=$run_tests.output
+      MARKER=$(printf '%s' "$VERIFY_OUT" | grep -oE 'VERIFY_RESULT=[a-z-]+' | tail -n 1 | cut -d= -f2)
+      [ -n "$MARKER" ] || MARKER=missing
+      echo "VERIFY_RESULT=$MARKER"
+      case "$MARKER" in
+        ran-and-passed)
+          echo "LINK_ACTION=verify-evidenced" ;;
+        ran-and-failed)
+          echo "LINK_ACTION=verify-fail" ;;
+        skipped)
+          echo "LINK_ACTION=no-verify" ;;
+        env-failed)
+          echo "HALT_CAUSE=environment setup failed — nothing is known about the tests"
+          exit 1 ;;
+        build-failed)
+          echo "HALT_CAUSE=build failed — nothing is known about the tests"
+          exit 1 ;;
+        *)
+          echo "HALT_CAUSE=no VERIFY_RESULT marker found in the test output — an unknown result is never a pass"
+          exit 1 ;;
+      esac
+
   - id: summarize
     kind: prompt
-    depends_on: [run_tests]
+    depends_on: [route_verify]
     output_type: link_summary
     trigger_rule: all_done
     allowed_tools:
@@ -41,12 +76,23 @@ nodes:
 
       $run_tests.output
 
+      Routing decision (computed in code — act on it, do not re-derive it
+      from the log above):
+
+      $route_verify.output
+
       Promotion is EVIDENCE-BASED (VERIFY-EVID-DOC): a spec may only become
       "verified" when a test linked to it as evidence passed. Evidence links
-      have kind='tests' and come from a `verifies:` block in the spec or an
-      `@verifies REQ-X` comment on the test. A green suite alone proves
+      have kind='tests' and come from a `verifies:` block in the spec, an
+      `@verifies REQ-X` comment on the test, or a spec id inside an `it()`
+      title in a test file (REQ-VSTATE-002). A green suite alone proves
       nothing about a spec with no linked tests — never blanket-promote.
 
+      - LINK_ACTION=verify-evidenced → proceed with steps 1–4 below.
+      - LINK_ACTION=verify-fail → only demote (step 3). Promote nothing.
+      - LINK_ACTION=no-verify → no test ran. Mutate no link state at all;
+        report that verification was skipped and stop.
+
       1. Call specship_drifted to see any drifted/broken/orphaned links.
       2. For each 'implemented' link whose spec HAS test-evidence links:
          if all of that spec's evidence tests passed in the output above,
@@ -61,5 +107,10 @@ nodes:
          "unevidenced" in your summary so the author can add `verifies:`
          blocks (REQ-VEVID-003).
 
+      For a fully deterministic alternative to steps 2–3, run
+      `specship verify --report <vitest-json>` (REQ-VSTATE-004): it maps
+      reported test cases to `tests` links by file + title and moves the
+      state itself, with the run recorded as evidence.
+
       Output: a short summary — how many links moved to verified, how many
       to broken, which specs are unevidenced, and which are still drifted.

package/lib/dist/workflows/discovery.d.ts

@@ -43,4 +43,17 @@ export declare function discoverWorkflows(projectRoot: string): WorkflowLoadResu
  * Returns null if no workflow with that name exists in any scope.
  */
 export declare function loadWorkflowByName(projectRoot: string, name: string): WorkflowWithSource | null;
+/**
+ * Resolve `extends: <workflow>` + `node_overrides` (THROUGHPUT-DOC,
+ * REQ-THRU-004): the result is the base workflow's raw definition with the
+ * extending file's top-level fields on top and each named node's fields
+ * shallow-merged from `node_overrides`. One source for shared nodes — a
+ * variant like spec-implement-mixed only states what differs. Chains resolve
+ * recursively; a cycle, an unknown base, or an override naming no base node
+ * is an error.
+ */
+export declare function resolveExtends(raw: Record<string, unknown>, getBase: (name: string) => Record<string, unknown> | undefined, seen?: Set<string>): {
+    value?: Record<string, unknown>;
+    errors: ValidationError[];
+};
 //# sourceMappingURL=discovery.d.ts.map

package/lib/dist/workflows/discovery.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../src/workflows/discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH,OAAO,EACL,kBAAkB,EAElB,eAAe,EAChB,MAAM,oBAAoB,CAAC;AAG5B,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE7D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,KAAK,EAAE,aAAa,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,aAAa,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,kBAAkB;IACjC,yDAAyD;IACzD,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChC,uCAAuC;IACvC,MAAM,EAAE,iBAAiB,EAAE,CAAC;CAC7B;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,kBAAkB,CAoCzE;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,MAAM,GACX,kBAAkB,GAAG,IAAI,CAG3B"}
+{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../src/workflows/discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH,OAAO,EACL,kBAAkB,EAElB,eAAe,EAChB,MAAM,oBAAoB,CAAC;AAG5B,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE7D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,KAAK,EAAE,aAAa,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,aAAa,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,kBAAkB;IACjC,yDAAyD;IACzD,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChC,uCAAuC;IACvC,MAAM,EAAE,iBAAiB,EAAE,CAAC;CAC7B;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,kBAAkB,CA4CzE;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,MAAM,GACX,kBAAkB,GAAG,IAAI,CAG3B;AAuFD;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC9D,IAAI,GAAE,GAAG,CAAC,MAAM,CAAa,GAC5B;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,MAAM,EAAE,eAAe,EAAE,CAAA;CAAE,CAiChE"}

package/lib/dist/workflows/discovery.js

@@ -50,6 +50,7 @@ var __importStar = (this && this.__importStar) || (function () {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.discoverWorkflows = discoverWorkflows;
 exports.loadWorkflowByName = loadWorkflowByName;
+exports.resolveExtends = resolveExtends;
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
 const os = __importStar(require("os"));
@@ -65,9 +66,17 @@ const defaults_1 = require("./defaults");
 function discoverWorkflows(projectRoot) {
     const byName = new Map();
     const errors = [];
+    // Raw (pre-validation) definitions by name, so `extends:` can resolve
+    // against any workflow loaded at the same or a lower-precedence scope.
+    const rawByName = new Map();
+    for (const entry of defaults_1.bundledDefaults) {
+        const raw = parseRaw(entry.yaml);
+        if (raw.value && typeof raw.value.name === 'string')
+            rawByName.set(raw.value.name, raw.value);
+    }
     // 1. Bundled (lowest precedence)
     for (const entry of defaults_1.bundledDefaults) {
-        const result = parseAndValidate(entry.yaml);
+        const result = parseAndValidate(entry.yaml, rawByName);
         if (result.workflow) {
             byName.set(entry.name, {
                 workflow: result.workflow,
@@ -85,10 +94,10 @@ function discoverWorkflows(projectRoot) {
     }
     // 2. Global
     const globalDir = path.join(os.homedir(), '.specship', 'workflows');
-    loadFromDir(globalDir, 'global', byName, errors);
+    loadFromDir(globalDir, 'global', byName, errors, rawByName);
     // 3. Project (highest precedence)
     const projectDir = path.join(projectRoot, '.specship', 'workflows');
-    loadFromDir(projectDir, 'project', byName, errors);
+    loadFromDir(projectDir, 'project', byName, errors, rawByName);
     return {
         workflows: [...byName.values()].sort((a, b) => a.workflow.name.localeCompare(b.workflow.name)),
         errors,
@@ -105,7 +114,7 @@ function loadWorkflowByName(projectRoot, name) {
 // =============================================================================
 // internal
 // =============================================================================
-function loadFromDir(dir, scope, byName, errors) {
+function loadFromDir(dir, scope, byName, errors, rawByName = new Map()) {
     let entries;
     try {
         entries = fs.readdirSync(dir, { withFileTypes: true });
@@ -152,8 +161,11 @@ function loadFromDir(dir, scope, byName, errors) {
             });
             continue;
         }
-        const result = parseAndValidate(source);
+        const result = parseAndValidate(source, rawByName);
         if (result.workflow) {
+            const raw = parseRaw(source).value;
+            if (raw)
+                rawByName.set(result.workflow.name, raw);
             byName.set(result.workflow.name, {
                 workflow: result.workflow,
                 scope,
@@ -169,22 +181,72 @@ function isYamlFile(name) {
     const lower = name.toLowerCase();
     return lower.endsWith('.yaml') || lower.endsWith('.yml');
 }
-function parseAndValidate(source) {
-    let parsed;
+function parseRaw(source) {
     try {
-        parsed = yaml.parse(source);
+        const v = yaml.parse(source);
+        return v && typeof v === 'object' && !Array.isArray(v) ? { value: v } : { value: undefined };
     }
     catch (err) {
-        return {
-            errors: [
-                {
-                    path: '$',
-                    message: `YAML parse error: ${err instanceof Error ? err.message : String(err)}`,
-                },
-            ],
-        };
+        return { error: err instanceof Error ? err.message : String(err) };
+    }
+}
+/**
+ * Resolve `extends: <workflow>` + `node_overrides` (THROUGHPUT-DOC,
+ * REQ-THRU-004): the result is the base workflow's raw definition with the
+ * extending file's top-level fields on top and each named node's fields
+ * shallow-merged from `node_overrides`. One source for shared nodes — a
+ * variant like spec-implement-mixed only states what differs. Chains resolve
+ * recursively; a cycle, an unknown base, or an override naming no base node
+ * is an error.
+ */
+function resolveExtends(raw, getBase, seen = new Set()) {
+    const baseName = raw.extends;
+    if (baseName === undefined)
+        return { value: raw, errors: [] };
+    if (typeof baseName !== 'string' || baseName.trim() === '') {
+        return { errors: [{ path: '$.extends', message: '`extends` must name a workflow' }] };
+    }
+    if (seen.has(baseName)) {
+        return { errors: [{ path: '$.extends', message: `extends cycle through "${baseName}"` }] };
+    }
+    const baseRaw = getBase(baseName);
+    if (!baseRaw) {
+        return { errors: [{ path: '$.extends', message: `extends unknown workflow "${baseName}"` }] };
+    }
+    const base = resolveExtends(baseRaw, getBase, new Set([...seen, baseName]));
+    if (!base.value)
+        return base;
+    const { extends: _e, node_overrides: overridesRaw, ...own } = raw;
+    const overrides = overridesRaw && typeof overridesRaw === 'object' && !Array.isArray(overridesRaw)
+        ? overridesRaw
+        : {};
+    const baseNodes = Array.isArray(base.value.nodes) ? base.value.nodes : [];
+    const ids = new Set(baseNodes.map((n) => n.id));
+    const errors = [];
+    for (const id of Object.keys(overrides)) {
+        if (!ids.has(id))
+            errors.push({ path: `$.node_overrides.${id}`, message: `override names no node "${id}" in "${baseName}"` });
+    }
+    if (errors.length > 0)
+        return { errors };
+    const nodes = baseNodes.map((n) => {
+        const o = overrides[String(n.id)];
+        return o && typeof o === 'object' ? { ...n, ...o, id: n.id } : n;
+    });
+    return { value: { ...base.value, ...own, nodes }, errors: [] };
+}
+function parseAndValidate(source, rawByName = new Map()) {
+    const raw = parseRaw(source);
+    if (raw.error !== undefined) {
+        return { errors: [{ path: '$', message: `YAML parse error: ${raw.error}` }] };
+    }
+    if (!raw.value) {
+        return { errors: [{ path: '$', message: 'workflow must be a YAML mapping' }] };
     }
-    const validation = (0, workflow_1.validateWorkflow)(parsed);
+    const resolved = resolveExtends(raw.value, (name) => rawByName.get(name));
+    if (!resolved.value)
+        return { errors: resolved.errors };
+    const validation = (0, workflow_1.validateWorkflow)(resolved.value);
     if (!validation.ok || !validation.workflow) {
         return { errors: validation.errors };
     }

package/lib/dist/workflows/discovery.js.map

@@ -1 +1 @@
-{"version":3,"file":"discovery.js","sourceRoot":"","sources":["../../src/workflows/discovery.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCH,8CAoCC;AAMD,gDAMC;AAtFD,uCAAyB;AACzB,2CAA6B;AAC7B,uCAAyB;AACzB,2CAA6B;AAC7B,iDAI4B;AAC5B,yCAA6C;AAuB7C;;;;;GAKG;AACH,SAAgB,iBAAiB,CAAC,WAAmB;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8B,CAAC;IACrD,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,iCAAiC;IACjC,KAAK,MAAM,KAAK,IAAI,0BAAe,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;gBACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,KAAK,EAAE,SAAS;gBAChB,UAAU,EAAE,WAAW,KAAK,CAAC,IAAI,OAAO;aACzC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,SAAS;gBAChB,UAAU,EAAE,WAAW,KAAK,CAAC,IAAI,OAAO;gBACxC,MAAM,EAAE,MAAM,CAAC,MAAM;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,YAAY;IACZ,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACpE,WAAW,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAEjD,kCAAkC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACpE,WAAW,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAEnD,OAAO;QACL,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC5C,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC/C;QACD,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,kBAAkB,CAChC,WAAmB,EACnB,IAAY;IAEZ,MAAM,GAAG,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC3C,OAAO,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC;AACrE,CAAC;AAED,gFAAgF;AAChF,WAAW;AACX,gFAAgF;AAEhF,SAAS,WAAW,CAClB,GAAW,EACX,KAAoB,EACpB,MAAuC,EACvC,MAA2B;IAE3B,IAAI,OAAoB,CAAC;IACzB,IAAI,CAAC;QACH,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,iDAAiD;IAC3D,CAAC;IAED,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9D,6BAA6B;YAC7B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC7D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;oBACvB,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBACrC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK;gBACL,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,GAAG;wBACT,OAAO,EAAE,gBAAgB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;qBAC5E;iBACF;aACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE;gBAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,KAAK;gBACL,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,OAAO,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAc;IAItC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,GAAG;oBACT,OAAO,EAAE,qBAAqB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;iBACjF;aACF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,IAAA,2BAAgB,EAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC3C,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;IACvC,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACvD,CAAC"}
+{"version":3,"file":"discovery.js","sourceRoot":"","sources":["../../src/workflows/discovery.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCH,8CA4CC;AAMD,gDAMC;AAgGD,wCAqCC;AAnOD,uCAAyB;AACzB,2CAA6B;AAC7B,uCAAyB;AACzB,2CAA6B;AAC7B,iDAI4B;AAC5B,yCAA6C;AAuB7C;;;;;GAKG;AACH,SAAgB,iBAAiB,CAAC,WAAmB;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8B,CAAC;IACrD,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,sEAAsE;IACtE,uEAAuE;IACvE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC7D,KAAK,MAAM,KAAK,IAAI,0BAAe,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,GAAG,CAAC,KAAK,IAAI,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAChG,CAAC;IAED,iCAAiC;IACjC,KAAK,MAAM,KAAK,IAAI,0BAAe,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;gBACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,KAAK,EAAE,SAAS;gBAChB,UAAU,EAAE,WAAW,KAAK,CAAC,IAAI,OAAO;aACzC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,SAAS;gBAChB,UAAU,EAAE,WAAW,KAAK,CAAC,IAAI,OAAO;gBACxC,MAAM,EAAE,MAAM,CAAC,MAAM;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,YAAY;IACZ,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACpE,WAAW,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAE5D,kCAAkC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACpE,WAAW,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAE9D,OAAO;QACL,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC5C,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC/C;QACD,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,kBAAkB,CAChC,WAAmB,EACnB,IAAY;IAEZ,MAAM,GAAG,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC3C,OAAO,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC;AACrE,CAAC;AAED,gFAAgF;AAChF,WAAW;AACX,gFAAgF;AAEhF,SAAS,WAAW,CAClB,GAAW,EACX,KAAoB,EACpB,MAAuC,EACvC,MAA2B,EAC3B,YAAkD,IAAI,GAAG,EAAE;IAE3D,IAAI,OAAoB,CAAC;IACzB,IAAI,CAAC;QACH,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,iDAAiD;IAC3D,CAAC;IAED,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9D,6BAA6B;YAC7B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC7D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;oBACvB,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBACrC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK;gBACL,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,GAAG;wBACT,OAAO,EAAE,gBAAgB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;qBAC5E;iBACF;aACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACnD,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC;YACnC,IAAI,GAAG;gBAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE;gBAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,KAAK;gBACL,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,OAAO,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc;IAC9B,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC7B,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAA4B,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC1H,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;IACrE,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,cAAc,CAC5B,GAA4B,EAC5B,OAA8D,EAC9D,OAAoB,IAAI,GAAG,EAAE;IAE7B,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC;IAC7B,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAC9D,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3D,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,gCAAgC,EAAE,CAAC,EAAE,CAAC;IACxF,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,0BAA0B,QAAQ,GAAG,EAAE,CAAC,EAAE,CAAC;IAC7F,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,6BAA6B,QAAQ,GAAG,EAAE,CAAC,EAAE,CAAC;IAChG,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,cAAc,EAAE,YAAY,EAAE,GAAG,GAAG,EAAE,GAAG,GAAG,CAAC;IAClE,MAAM,SAAS,GACb,YAAY,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC;QAC9E,CAAC,CAAE,YAAwD;QAC3D,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,KAAwC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9G,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,OAAO,EAAE,2BAA2B,EAAE,SAAS,QAAQ,GAAG,EAAE,CAAC,CAAC;IAChI,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChC,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAc,EACd,YAAkD,IAAI,GAAG,EAAE;IAK3D,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,qBAAqB,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC,EAAE,CAAC;IACjF,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,QAAQ,CAAC,KAAK;QAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;IACxD,MAAM,UAAU,GAAG,IAAA,2BAAgB,EAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC3C,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;IACvC,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACvD,CAAC"}

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

@@ -41,6 +41,12 @@ export interface ExecuteOptions {
      * finalize so a completion hook can recover it (e.g. `{ jira: { issueKey } }`).
      */
     runMetadata?: Record<string, unknown>;
+    /**
+     * The headless agent for prompt steps (`--agent`). When unset it is resolved
+     * from SPECSHIP_WORKFLOW_AGENT, `workflow.agent`, then the launching host
+     * (REQ-AGENTADAPT-006). Either way it is stored on the run.
+     */
+    agent?: string;
 }
 /**
  * Invoked once a run settles to `completed` (never paused/failed/cancelled).
@@ -118,6 +124,10 @@ export declare class WorkflowExecutor {
      * For bash/script nodes we substitute `bash` / `script` (with bash-safe
      * shell escaping). For approval nodes we substitute `message`.
      * cancel: substitute `cancel` reason.
+     *
+     * Prompt nodes also inherit the workflow-level defaults (REQ-AUDFIX-005):
+     * `model` applies when the node sets none (node wins); `systemPromptAppend`
+     * is the workflow value followed by the node value, joined by a blank line.
      */
     private resolveNodeRefs;
     private makeSubstitutionContext;
@@ -138,4 +148,12 @@ export declare class WorkflowExecutor {
  * refuses to run a workflow that doesn't form a DAG.
  */
 export declare function topoSort(nodes: DagNode[]): string[];
+/**
+ * REQ-AUDFIX-004: prepare a `failed` run's metadata for a retrying resume.
+ * Failed nodes reset to `pending`, and so does every `skipped` node that is
+ * (transitively) downstream of a failed node — it was skipped only because of
+ * the failure, so it must be re-evaluated. Completed nodes are untouched, so
+ * they are not re-run. Pure — returns a new metadata object.
+ */
+export declare function resetFailedNodes(workflow: WorkflowDefinition, metadata: unknown): Record<string, unknown>;
 //# sourceMappingURL=executor.d.ts.map

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

@@ -1 +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;AAIzD,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;IACf;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACvC;AAED;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;AAE1E,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;IAClD;;;;;OAKG;IACH,OAAO,CAAC,WAAW,CAAC,CAAS;IAC7B;;;;OAIG;IACH,OAAO,CAAC,cAAc,CAAC,CAAmB;gBAGxC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,gBAAgB,EAC3B,WAAW,CAAC,EAAE,MAAM,EACpB,cAAc,CAAC,EAAE,gBAAgB;IAmB7B,KAAK,CACT,QAAQ,EAAE,kBAAkB,EAC5B,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC,aAAa,CAAC;IAiFzB;;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;IAgIzB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAE,MAA4B,GAAG,IAAI;IAwBjE;;;;OAIG;IACH,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI;IA0C9C;;;;;;;;OAQG;IACH,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI;IAyC5C;;;;;OAKG;IACH,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG;QAAE,eAAe,EAAE,OAAO,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE;YAoB1D,cAAc;YAkJd,YAAY;IA2B1B,OAAO,CAAC,YAAY;IAuBpB;;;;;;;;;OASG;IACH,OAAO,CAAC,eAAe;IAiDvB,OAAO,CAAC,uBAAuB;IAa/B;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB;YAsBb,QAAQ;YA8DR,aAAa;IAyB3B,OAAO,CAAC,KAAK;CA4Bd;AAMD;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,CA6BnD"}
+{"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;AAIzD,OAAO,EACL,UAAU,EAIX,MAAM,uBAAuB,CAAC;AAS/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;IACf;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC;;;;OAIG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;AAE1E,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;IAClD;;;;;OAKG;IACH,OAAO,CAAC,WAAW,CAAC,CAAS;IAC7B;;;;OAIG;IACH,OAAO,CAAC,cAAc,CAAC,CAAmB;gBAGxC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,gBAAgB,EAC3B,WAAW,CAAC,EAAE,MAAM,EACpB,cAAc,CAAC,EAAE,gBAAgB;IAmB7B,KAAK,CACT,QAAQ,EAAE,kBAAkB,EAC5B,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC,aAAa,CAAC;IAqFzB;;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;IA8JzB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAE,MAA4B,GAAG,IAAI;IAwBjE;;;;OAIG;IACH,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI;IA0C9C;;;;;;;;OAQG;IACH,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI;IAyC5C;;;;;OAKG;IACH,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG;QAAE,eAAe,EAAE,OAAO,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE;YAoB1D,cAAc;YA2Jd,YAAY;IA2B1B,OAAO,CAAC,YAAY;IAuBpB;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,eAAe;IAwDvB,OAAO,CAAC,uBAAuB;IAa/B;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB;YAsBb,QAAQ;YAgER,aAAa;IAyB3B,OAAO,CAAC,KAAK;CA4Bd;AAMD;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,CA6BnD;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,kBAAkB,EAC5B,QAAQ,EAAE,OAAO,GAChB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiCzB"}

package/lib/dist/workflows/executor.js

@@ -51,6 +51,7 @@ var __importStar = (this && this.__importStar) || (function () {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.WorkflowExecutor = void 0;
 exports.topoSort = topoSort;
+exports.resetFailedNodes = resetFailedNodes;
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
 const os = __importStar(require("os"));
@@ -64,6 +65,7 @@ const bash_1 = require("./runners/bash");
 const script_1 = require("./runners/script");
 const approval_1 = require("./runners/approval");
 const cancel_1 = require("./runners/cancel");
+const agents_1 = require("./agents");
 class WorkflowExecutor {
     specQueries;
     worktrees;
@@ -100,6 +102,9 @@ class WorkflowExecutor {
     async start(workflow, opts) {
         const runId = opts.runId ?? (0, crypto_1.randomUUID)();
         const now = Date.now();
+        // Resolved before anything is created, so an unknown agent leaves no run
+        // behind (REQ-AGENTADAPT-006.A4); stored so resume uses the same one (A3).
+        const agent = (0, agents_1.resolveWorkflowAgent)({ flag: opts.agent, projectRoot: opts.projectRoot });
         // Pre-flight: required capabilities. `specship` is always available
         // (we're running inside it); `git` and `tests` are checked lazily by
         // the runner that uses them.
@@ -167,6 +172,7 @@ class WorkflowExecutor {
                 nodeStates: {},
                 completedNodes: [],
                 ...(opts.runMetadata ?? {}),
+                [agents_1.RUN_AGENT_KEY]: agent,
             },
         };
         this.specQueries.insertWorkflowRun(run);
@@ -200,6 +206,12 @@ class WorkflowExecutor {
             lastActivityAt: now,
             errorMessage: undefined,
         };
+        // Retry-on-resume (REQ-AUDFIX-004): a `failed` run's failed nodes go back
+        // to pending, as do nodes skipped downstream of them, so driveExecution
+        // re-runs / re-evaluates them. Completed nodes keep their state + output.
+        if (existing.status === 'failed') {
+            refreshed.metadata = resetFailedNodes(workflow, refreshed.metadata);
+        }
         this.specQueries.updateWorkflowRun(refreshed);
         this.syncActiveRunMarker(refreshed.status, refreshed.inputs, refreshed.id);
         this.event(runId, 'run_started', { resumed: true });
@@ -222,34 +234,12 @@ class WorkflowExecutor {
                     this.syncActiveRunMarker('rejected', refreshed.inputs, refreshed.id);
                     throw new Error(msg);
                 }
-                const outputs = new Map(Object.entries(meta.outputs ?? {}));
                 const reviseId = `${rejection.nodeId}__revise_${rejection.attempts}`;
-                const rawRevise = {
-                    id: reviseId,
-                    kind: 'prompt',
-                    prompt: `${onReject.prompt}\n\nReviewer feedback (rejection reason):\n` +
-                        `${rejection.reason ?? '(no reason given)'}`,
-                };
-                // Resolve $nodeId.output refs in the on_reject prompt against the
-                // run's accumulated outputs, same as any other node.
-                const revise = this.resolveNodeRefs(rawRevise, outputs, opts.inputs, opts.variables);
-                this.event(runId, 'step_started', { stepId: reviseId, kind: 'prompt', revision: true });
-                const runner = this.runners.get('prompt');
-                const result = runner
-                    ? await runner.run(revise, {
-                        cwd,
-                        artifactsDir,
-                        logsDir,
-                        runId,
-                        inputs: opts.inputs,
-                        variables: opts.variables,
-                        outputs,
-                        verbose: opts.verbose,
-                        emitEvent: (type, data) => this.event(runId, type, { stepId: reviseId, stepKind: 'prompt', ...data }),
-                    })
-                    : { status: 'failed', error: 'no runner for kind prompt' };
-                if (result.status !== 'completed') {
-                    const err = result.status === 'failed' ? result.error : `revise step ${result.status}`;
+                // Every failure while preparing OR running the revision (an
+                // unresolvable $ref, a runner throw, a failed result) parks the run
+                // back at `rejected` with the error — never stuck in `running`
+                // (REQ-AUDFIX-003.A3).
+                const failRevision = (err) => {
                     this.event(runId, 'step_failed', { stepId: reviseId, error: err });
                     this.specQueries.updateWorkflowRun({
                         ...refreshed,
@@ -257,7 +247,43 @@ class WorkflowExecutor {
                         errorMessage: `revision failed: ${err}`,
                     });
                     this.syncActiveRunMarker('rejected', refreshed.inputs, refreshed.id);
-                    throw new Error(`Run ${runId}: on_reject revision failed: ${err}`);
+                    return new Error(`Run ${runId}: on_reject revision failed: ${err}`);
+                };
+                const outputs = new Map(Object.entries(meta.outputs ?? {}));
+                const rawRevise = {
+                    id: reviseId,
+                    kind: 'prompt',
+                    prompt: `${onReject.prompt}\n\nReviewer feedback (rejection reason):\n` +
+                        `${rejection.reason ?? '(no reason given)'}`,
+                };
+                let result;
+                try {
+                    // Resolve $nodeId.output refs in the on_reject prompt against the
+                    // run's accumulated outputs, same as any other node; workflow-level
+                    // model/systemPromptAppend apply too (REQ-AUDFIX-005.A2).
+                    const revise = this.resolveNodeRefs(rawRevise, outputs, opts.inputs, opts.variables, workflow);
+                    this.event(runId, 'step_started', { stepId: reviseId, kind: 'prompt', revision: true });
+                    const runner = this.runners.get('prompt');
+                    result = runner
+                        ? await runner.run(revise, {
+                            cwd,
+                            artifactsDir,
+                            logsDir,
+                            runId,
+                            inputs: opts.inputs,
+                            variables: opts.variables,
+                            outputs,
+                            verbose: opts.verbose,
+                            agent: runAgent(meta),
+                            emitEvent: (type, data) => this.event(runId, type, { stepId: reviseId, stepKind: 'prompt', ...data }),
+                        })
+                        : { status: 'failed', error: 'no runner for kind prompt' };
+                }
+                catch (err) {
+                    throw failRevision(err instanceof Error ? err.message : String(err));
+                }
+                if (result.status !== 'completed') {
+                    throw failRevision(result.status === 'failed' ? result.error : `revise step ${result.status}`);
                 }
                 this.event(runId, 'step_completed', {
                     stepId: reviseId,
@@ -266,8 +292,12 @@ class WorkflowExecutor {
                 });
                 await this.writeArtifact(artifactsDir, rawRevise, result.output);
                 // Persist the revise output + clear the pending rejection so the next
-                // reject starts a fresh attempt count from this one.
+                // reject starts a fresh attempt count from this one. With `revises`,
+                // the revision also REPLACES the revised node's output so every
+                // downstream `$<revises>.output` reads it (REQ-AUDFIX-003.A2).
                 outputs.set(reviseId, result.output);
+                if (onReject.revises)
+                    outputs.set(onReject.revises, result.output);
                 const newMeta = {
                     ...meta,
                     outputs: Object.fromEntries(outputs),
@@ -467,7 +497,7 @@ class WorkflowExecutor {
             // Run the node. Resolve any $refs in node fields first.
             let processed;
             try {
-                processed = this.resolveNodeRefs(node, outputs, opts.inputs, opts.variables);
+                processed = this.resolveNodeRefs(node, outputs, opts.inputs, opts.variables, workflow);
             }
             catch (err) {
                 if (err instanceof condition_evaluator_1.OutputRefError) {
@@ -499,6 +529,7 @@ class WorkflowExecutor {
                 variables: opts.variables,
                 outputs,
                 verbose: opts.verbose,
+                agent: runAgent(meta),
                 // Stream a step's live activity (agent tool calls / messages) into the
                 // run view (WF-STREAM-DOC). Stamp the step id/kind so the UI can group.
                 emitEvent: (type, data) => this.event(run.id, type, { stepId: nodeId, stepKind: node.kind, ...data }),
@@ -522,6 +553,14 @@ class WorkflowExecutor {
                 }
                 case 'failed': {
                     nodeStates.set(nodeId, 'failed');
+                    // Keep what the failed step printed as evidence (REQ-PIPETRUST-006.A2):
+                    // stored in the run's outputs + written as its artifact. The node
+                    // stays `failed`, so resume still re-runs it (resetFailedNodes is
+                    // state-driven) and a successful re-run overwrites this output.
+                    if (result.output) {
+                        outputs.set(nodeId, result.output);
+                        await this.writeArtifact(artifactsDir, node, result.output);
+                    }
                     this.event(run.id, 'step_failed', { stepId: nodeId, error: result.error });
                     await this.finalize(run, workflow, nodeStates, outputs, 'failed', result.error);
                     return { run, nodeStates, outputs };
@@ -595,17 +634,25 @@ class WorkflowExecutor {
      * For bash/script nodes we substitute `bash` / `script` (with bash-safe
      * shell escaping). For approval nodes we substitute `message`.
      * cancel: substitute `cancel` reason.
+     *
+     * Prompt nodes also inherit the workflow-level defaults (REQ-AUDFIX-005):
+     * `model` applies when the node sets none (node wins); `systemPromptAppend`
+     * is the workflow value followed by the node value, joined by a blank line.
      */
-    resolveNodeRefs(node, outputs, inputs, variables) {
+    resolveNodeRefs(node, outputs, inputs, variables, workflow) {
         const ctx = this.makeSubstitutionContext(outputs, inputs, variables);
         switch (node.kind) {
             case 'prompt': {
                 const p = node;
+                const model = p.model ?? workflow?.model;
+                const appendParts = [workflow?.systemPromptAppend, p.systemPromptAppend].filter((v) => typeof v === 'string' && v.length > 0);
+                const systemPromptAppend = appendParts.length > 0 ? appendParts.join('\n\n') : undefined;
                 return {
                     ...p,
+                    ...(model !== undefined ? { model } : {}),
                     prompt: (0, condition_evaluator_1.substituteRefs)(p.prompt, ctx, { forBash: false, nodeId: p.id }),
-                    systemPromptAppend: p.systemPromptAppend
-                        ? (0, condition_evaluator_1.substituteRefs)(p.systemPromptAppend, ctx, { forBash: false, nodeId: p.id })
+                    systemPromptAppend: systemPromptAppend
+                        ? (0, condition_evaluator_1.substituteRefs)(systemPromptAppend, ctx, { forBash: false, nodeId: p.id })
                         : undefined,
                 };
             }
@@ -699,6 +746,9 @@ class WorkflowExecutor {
         // reject → resume → re-pause cycles (WF-REJECT-DOC, REQ-WFREJ-003).
         if (prevMeta.rejection !== undefined)
             meta.rejection = prevMeta.rejection;
+        // The run's agent stays fixed for every later step (REQ-AGENTADAPT-006.A3).
+        if (prevMeta[agents_1.RUN_AGENT_KEY] !== undefined)
+            meta[agents_1.RUN_AGENT_KEY] = prevMeta[agents_1.RUN_AGENT_KEY];
         const updated = {
             ...run,
             status,
@@ -812,10 +862,57 @@ function topoSort(nodes) {
     }
     return out;
 }
+/**
+ * REQ-AUDFIX-004: prepare a `failed` run's metadata for a retrying resume.
+ * Failed nodes reset to `pending`, and so does every `skipped` node that is
+ * (transitively) downstream of a failed node — it was skipped only because of
+ * the failure, so it must be re-evaluated. Completed nodes are untouched, so
+ * they are not re-run. Pure — returns a new metadata object.
+ */
+function resetFailedNodes(workflow, metadata) {
+    const meta = { ...(metadata ?? {}) };
+    const states = { ...(meta.nodeStates ?? {}) };
+    const failed = Object.keys(states).filter((id) => states[id] === 'failed');
+    if (failed.length === 0)
+        return meta;
+    // Dependents adjacency: id → nodes that depend on it.
+    const dependents = new Map();
+    for (const n of workflow.nodes) {
+        for (const dep of n.depends_on ?? []) {
+            const list = dependents.get(dep) ?? [];
+            list.push(n.id);
+            dependents.set(dep, list);
+        }
+    }
+    const downstream = new Set();
+    const queue = [...failed];
+    while (queue.length > 0) {
+        const id = queue.shift();
+        for (const next of dependents.get(id) ?? []) {
+            if (!downstream.has(next)) {
+                downstream.add(next);
+                queue.push(next);
+            }
+        }
+    }
+    for (const id of failed)
+        states[id] = 'pending';
+    for (const id of downstream) {
+        if (states[id] === 'skipped')
+            states[id] = 'pending';
+    }
+    meta.nodeStates = states;
+    return meta;
+}
 function sanitizeFilename(s) {
     return s.replace(/[^a-zA-Z0-9._-]/g, '-').substring(0, 80);
 }
 function sleep(ms) {
     return new Promise((resolve) => setTimeout(resolve, ms));
 }
+/** The agent stored with a run; undefined for runs created before agents were recorded (→ default). */
+function runAgent(meta) {
+    const a = meta[agents_1.RUN_AGENT_KEY];
+    return typeof a === 'string' && a ? a : undefined;
+}
 //# sourceMappingURL=executor.js.map