@schnick371/devsteps-shared 1.1.0-next.4 → 2.0.0-next.1

package/dist/runtime/workflow-v2-report.js

@@ -0,0 +1,206 @@
+/**
+ * Copyright © 2026 Thomas Hertel (the@devsteps.dev)
+ * Licensed under the Apache License, Version 2.0
+ *
+ * Report projection of compiled workflow runs.
+ * Reads only the run snapshot and its events, so a report stays reproducible after the
+ * definition changed. Every value passes redaction again before it is rendered.
+ */
+import { redactValue } from './redaction.js';
+import { reportFields, runEventDetails, } from './workflow-v2-report-events.js';
+function record(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value)
+        ? value
+        : {};
+}
+function list(value) {
+    return Array.isArray(value) ? value.map(record) : [];
+}
+function text(value) {
+    return typeof value === 'string' ? value : undefined;
+}
+function truncate(value, limit) {
+    if (value === undefined || value.length <= limit)
+        return value;
+    return `${value.slice(0, limit)}... [${value.length - limit} chars omitted]`;
+}
+function evidenceEntries(value) {
+    if (!Array.isArray(value))
+        return [];
+    return value.map((entry, index) => typeof entry === 'string'
+        ? { id: `note-${index + 1}`, type: 'note', summary: entry }
+        : record(entry));
+}
+/** Preserve recorded words; a legacy prefix alone cannot prove who supplied them. */
+function executorReport(value) {
+    const report = record(value);
+    const observation = text(report.observation);
+    if (observation === undefined)
+        return undefined;
+    const expected = text(report.expected_observation);
+    const error = text(report.error_text);
+    return {
+        observation,
+        ...(expected ? { expected_observation: expected } : {}),
+        ...(error ? { error_text: error } : {}),
+    };
+}
+function reportStep(event, previewLimit, labels) {
+    const payload = event.payload;
+    const route = record(payload.route);
+    const human = payload.human_answer;
+    const details = runEventDetails(event);
+    const stepId = text(payload.step_id) ?? event.type;
+    const fields = reportFields(payload);
+    const reported = executorReport(payload.executor_report);
+    return {
+        sequence: event.sequence,
+        step_id: stepId,
+        // A note's payload.kind is the note's own kind; the row kind comes from the event type.
+        kind: details.kind ?? text(payload.kind) ?? (event.type === 'finalize' ? 'finalize' : 'unknown'),
+        attempt: typeof payload.attempt === 'number' ? payload.attempt : 1,
+        actor: event.actor,
+        occurred_at: event.occurred_at,
+        ...(text(payload.started_at) ? { started_at: text(payload.started_at) } : {}),
+        ...(text(payload.finished_at) ? { finished_at: text(payload.finished_at) } : {}),
+        host_tool_name: text(payload.host_tool_name) ?? null,
+        arguments: record(payload.arguments),
+        status: text(payload.status) ?? (payload.finalized ? 'finalized' : 'recorded'),
+        ...(typeof payload.exit_code === 'number' ? { exit_code: payload.exit_code } : {}),
+        ...(text(payload.error_code) ? { error_code: text(payload.error_code) } : {}),
+        outcome: text(payload.outcome) ?? 'recorded',
+        ...(text(payload.runtime) ? { runtime: text(payload.runtime) } : {}),
+        predicates: list(payload.predicates).map((result) => ({
+            id: text(result.predicate_id) ?? 'unknown',
+            kind: text(result.kind) ?? 'unknown',
+            passed: result.verdict === 'PASS',
+            verdict: text(result.verdict) ?? 'NOT_RECORDED',
+            ...(text(result.target) ? { target: text(result.target) } : {}),
+            detail: text(result.detail) ?? '',
+        })),
+        artifacts: evidenceEntries(payload.artifacts),
+        evidence: evidenceEntries(payload.evidence ?? record(human).evidence),
+        human_answer: typeof human === 'string' ? { answer: human } : human ? record(human) : null,
+        ...(reported ? { executor_report: reported } : {}),
+        ...skipOf(event),
+        route_taken: route.target
+            ? {
+                slot: text(route.slot) ?? '',
+                kind: text(route.kind) ?? '',
+                target: text(route.target) ?? '',
+                ...(text(route.verdict) ? { verdict: text(route.verdict) } : {}),
+                ...(text(route.via) ? { via: text(route.via) } : {}),
+            }
+            : null,
+        ...(text(payload.stdout_preview)
+            ? { stdout_preview: truncate(text(payload.stdout_preview), previewLimit) }
+            : {}),
+        ...(text(payload.stderr_preview)
+            ? { stderr_preview: truncate(text(payload.stderr_preview), previewLimit) }
+            : {}),
+        finalized: payload.finalized === true,
+        ...(labels[stepId] ? { label: labels[stepId] } : {}),
+        ...(event.actor_name ? { actor_name: event.actor_name } : {}),
+        ...(fields.length > 0 ? { fields } : {}),
+        ...(payload.confirmed_by_operator === true ? { confirmed_by_operator: true } : {}),
+        ...(details.note ? { note: details.note } : {}),
+        ...(details.assignment ? { assignment: details.assignment } : {}),
+        ...(details.revision ? { revision: details.revision } : {}),
+        ...(details.handover ? { handover: details.handover } : {}),
+    };
+}
+/** Rows that record no step of their own: notes, assignments, revisions, hand-overs. */
+const RUN_EVENT_KINDS = new Set([
+    'note',
+    'assignment',
+    'revision',
+    'handover',
+]);
+export function isRunEventRow(step) {
+    return RUN_EVENT_KINDS.has(step.kind);
+}
+function isSkip(event) {
+    return event.payload.submission === 'skip';
+}
+function skipOf(event) {
+    if (!isSkip(event))
+        return {};
+    return {
+        skip: { by: event.actor_name ?? event.actor, reason: text(event.payload.reason) ?? '' },
+    };
+}
+/** Distinct names on the operator's events, in the order they first appear. */
+export function workflowV2Operators(events) {
+    const ordered = [...events].sort((left, right) => left.sequence - right.sequence);
+    const names = ordered.flatMap((event) => event.actor === 'human' && event.actor_name ? [event.actor_name] : []);
+    return [...new Set(names)];
+}
+function nodeId(stepId) {
+    return `s_${stepId.replace(/[^A-Za-z0-9_]/g, '_')}`;
+}
+/** Flowchart of the steps in execution order; failed or blocked steps and the verdict are styled. */
+export function workflowV2Mermaid(steps, verdict) {
+    const lines = ['flowchart TD', '  start((start))'];
+    let previous = 'start';
+    for (const step of steps) {
+        if (step.kind === 'finalize' || isRunEventRow(step))
+            continue;
+        const id = nodeId(step.step_id);
+        lines.push(`  ${id}["${step.step_id} (${step.kind})"]`);
+        lines.push(`  ${previous} --> ${id}`);
+        const style = step.skip ? 'skipped' : step.outcome === 'recorded' ? 'passed' : 'failed';
+        lines.push(`  class ${id} ${style}`);
+        previous = id;
+    }
+    if (verdict) {
+        lines.push(`  verdict((${verdict}))`, `  ${previous} ==> verdict`);
+        lines.push(`  class verdict ${verdict === 'PASS' ? 'passed' : 'failed'}`);
+    }
+    lines.push('  classDef passed fill:#d4f7dc,stroke:#1a7f37', '  classDef failed fill:#ffd8d3,stroke:#cf222e', '  classDef skipped fill:#eaeef2,stroke:#6e7781,stroke-dasharray:4 3');
+    return lines.join('\n');
+}
+export function projectWorkflowV2Report(run, events, options = {}) {
+    const previewLimit = options.preview_limit ?? 500;
+    const labels = run.step_labels ?? {};
+    const steps = events
+        .map((event) => reportStep(event, previewLimit, labels))
+        .filter((step) => (!options.event_types || options.event_types.includes(step.step_id)) &&
+        (!options.outcomes || options.outcomes.includes(step.outcome)))
+        .sort((left, right) => options.sort === 'sequence-desc'
+        ? right.sequence - left.sequence
+        : left.sequence - right.sequence);
+    const terminalEvent = events.find((event) => event.payload.finalized === true);
+    const report = {
+        format: 'devsteps-run-report-v2',
+        run: {
+            run_id: run.run_id,
+            definition_id: run.definition_id,
+            definition_revision: run.definition_revision,
+            definition_digest: run.definition_digest,
+            manifest_digest: run.manifest_digest,
+            host_profile: run.host_profile,
+            process_type: run.process_type,
+            state: run.state,
+            version: run.version,
+            created_at: run.created_at,
+            finished_at: run.finished_at,
+            policy: run.policy ?? {},
+            variables: run.variables ?? {},
+            operators: workflowV2Operators(events),
+        },
+        verdict: run.verdict ?? null,
+        pending_verdict: run.pending_verdict ?? null,
+        ...(run.reason ? { reason: run.reason } : {}),
+        cleanup_pending: Array.isArray(terminalEvent?.payload.cleanup_pending)
+            ? terminalEvent.payload.cleanup_pending
+            : [],
+        skipped_steps: events
+            .filter(isSkip)
+            .sort((left, right) => left.sequence - right.sequence)
+            .map((event) => text(event.payload.step_id) ?? event.type),
+        steps,
+        mermaid: workflowV2Mermaid(steps, run.verdict ?? null),
+    };
+    return redactValue(report);
+}
+//# sourceMappingURL=workflow-v2-report.js.map

package/dist/runtime/workflow-v2-report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-v2-report.js","sourceRoot":"","sources":["../../src/runtime/workflow-v2-report.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EACL,YAAY,EACZ,eAAe,GAKhB,MAAM,gCAAgC,CAAC;AA6HxC,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC1B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC1B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAyB,EAAE,KAAa;IACxD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAC/D,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,KAAK,CAAC,MAAM,GAAG,KAAK,iBAAiB,CAAC;AAC/E,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAChC,OAAO,KAAK,KAAK,QAAQ;QACvB,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,KAAK,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;QAC3D,CAAC,CAAE,MAAM,CAAC,KAAK,CAA8B,CAChD,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,SAAS,cAAc,CAAC,KAAc;IACpC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7C,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACtC,OAAO;QACL,WAAW;QACX,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,KAAmB,EACnB,YAAoB,EACpB,MAAwC;IAExC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC;IACnC,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC;IACnD,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IACzD,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,MAAM;QACf,wFAAwF;QACxF,IAAI,EACF,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,OAAO,EAAE,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClE,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,cAAc,EAAE,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,IAAI;QACpD,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QACpC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;QAC9E,GAAG,CAAC,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,UAAU;QAC5C,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACpD,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,SAAS;YAC1C,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS;YACpC,MAAM,EAAE,MAAM,CAAC,OAAO,KAAK,MAAM;YACjC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,cAAc;YAC/C,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE;SAClC,CAAC,CAAC;QACH,SAAS,EAAE,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC;QAC7C,QAAQ,EAAE,eAAe,CAAC,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC;QACrE,YAAY,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;QAC1F,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,GAAG,MAAM,CAAC,KAAK,CAAC;QAChB,WAAW,EAAE,KAAK,CAAC,MAAM;YACvB,CAAC,CAAC;gBACE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE;gBAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE;gBAC5B,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;gBAChC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACrD;YACH,CAAC,CAAC,IAAI;QACR,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;YAC9B,CAAC,CAAC,EAAE,cAAc,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,YAAY,CAAC,EAAE;YAC1E,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;YAC9B,CAAC,CAAC,EAAE,cAAc,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,YAAY,CAAC,EAAE;YAC1E,CAAC,CAAC,EAAE,CAAC;QACP,SAAS,EAAE,OAAO,CAAC,SAAS,KAAK,IAAI;QACrC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,GAAG,CAAC,OAAO,CAAC,qBAAqB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC;IACnD,MAAM;IACN,YAAY;IACZ,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,UAAU,aAAa,CAAC,IAAwC;IACpE,OAAO,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,MAAM,CAAC,KAAmB;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,KAAK,MAAM,CAAC;AAC7C,CAAC;AAED,SAAS,MAAM,CAAC,KAAmB;IACjC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9B,OAAO;QACL,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE;KACxF,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACtC,KAAK,CAAC,KAAK,KAAK,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CACtE,CAAC;IACF,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,MAAM,CAAC,MAAc;IAC5B,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,EAAE,CAAC;AACtD,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,iBAAiB,CAAC,KAAsC,EAAE,OAAsB;IAC9F,MAAM,KAAK,GAAG,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;IACnD,IAAI,QAAQ,GAAG,OAAO,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,aAAa,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9D,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,QAAQ,EAAE,EAAE,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QACxF,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC;QACrC,QAAQ,GAAG,EAAE,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,CAAC,IAAI,CAAC,cAAc,OAAO,IAAI,EAAE,KAAK,QAAQ,cAAc,CAAC,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,mBAAmB,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,KAAK,CAAC,IAAI,CACR,+CAA+C,EAC/C,+CAA+C,EAC/C,qEAAqE,CACtE,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,GAAe,EACf,MAA+B,EAC/B,OAAO,GAA4B,EAAE;IAErC,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,IAAI,GAAG,CAAC;IAClD,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM;SACjB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;SACvD,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpE,CAAC,CAAC,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CACjE;SACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACpB,OAAO,CAAC,IAAI,KAAK,eAAe;QAC9B,CAAC,CAAC,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ;QAChC,CAAC,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CACnC,CAAC;IACJ,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAqB;QAC/B,MAAM,EAAE,wBAAwB;QAChC,GAAG,EAAE;YACH,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,aAAa,EAAE,GAAG,CAAC,aAAa;YAChC,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;YAC5C,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;YACxC,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,YAAY,EAAE,GAAG,CAAC,YAAY;YAC9B,YAAY,EAAE,GAAG,CAAC,YAAY;YAC9B,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,MAAM,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE;YACxB,SAAS,EAAE,GAAG,CAAC,SAAS,IAAI,EAAE;YAC9B,SAAS,EAAE,mBAAmB,CAAC,MAAM,CAAC;SACvC;QACD,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,IAAI;QAC5B,eAAe,EAAE,GAAG,CAAC,eAAe,IAAI,IAAI;QAC5C,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,eAAe,CAAC;YACpE,CAAC,CAAE,aAAa,CAAC,OAAO,CAAC,eAA4B;YACrD,CAAC,CAAC,EAAE;QACN,aAAa,EAAE,MAAM;aAClB,MAAM,CAAC,MAAM,CAAC;aACd,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;aACrD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC;QAC5D,KAAK;QACL,OAAO,EAAE,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC;KACvD,CAAC;IACF,OAAO,WAAW,CAAC,MAAM,CAAqB,CAAC;AACjD,CAAC"}

package/dist/runtime/workflow-v2-revise-open.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Copyright © 2026 Thomas Hertel (the@devsteps.dev)
+ * Licensed under the Apache License, Version 2.0
+ *
+ * Revising the open runs of a definition when the definition is updated (STORY-465). Every open
+ * run is checked before the item is written, so an update either revises all of them or changes
+ * nothing; the revisions are committed after the write. A v1 run has no revision rule and keeps
+ * refusing the update, as BUG-112 decided.
+ * @see STORY-465
+ */
+import type { GetItemResult } from '../core/get.js';
+import type { WorkflowExecutionManifest } from '../core/workflow-compiler.js';
+import type { ProcessRun } from './index.js';
+import type { WorkflowV2RunContext } from './workflow-v2-run.js';
+import type { WorkflowRunEventInput } from './workflow-v2-run-events.js';
+/** Commit the revision of one run under its lock; a run already on the revision is left alone. */
+export declare function reviseWorkflowRunV2(previous: WorkflowExecutionManifest, context: WorkflowV2RunContext, runId: string, input: WorkflowRunEventInput): Promise<ProcessRun>;
+export type PreparedRunRevisions = Readonly<{
+    runIds: readonly string[];
+    commit(): Promise<ProcessRun[]>;
+}>;
+/**
+ * Check that every open run of the item takes the new definition, and return the commit of those
+ * revisions. Throws, naming the run and the step, when one of them refuses.
+ */
+export declare function prepareWorkflowRunRevisions(devstepsDir: string, item: GetItemResult, nextDefinition: Record<string, unknown>, input: WorkflowRunEventInput): Promise<PreparedRunRevisions>;
+//# sourceMappingURL=workflow-v2-revise-open.d.ts.map

package/dist/runtime/workflow-v2-revise-open.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-v2-revise-open.d.ts","sourceRoot":"","sources":["../../src/runtime/workflow-v2-revise-open.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAE9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAK7C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAGzE,kGAAkG;AAClG,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,yBAAyB,EACnC,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAAC,UAAU,CAAC,CAqBrB;AAED,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,MAAM,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;CACjC,CAAC,CAAC;AAIH;;;GAGG;AACH,wBAAsB,2BAA2B,CAC/C,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,aAAa,EACnB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvC,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAAC,oBAAoB,CAAC,CA6C/B"}

package/dist/runtime/workflow-v2-revise-open.js

@@ -0,0 +1,79 @@
+/**
+ * Copyright © 2026 Thomas Hertel (the@devsteps.dev)
+ * Licensed under the Apache License, Version 2.0
+ *
+ * Revising the open runs of a definition when the definition is updated (STORY-465). Every open
+ * run is checked before the item is written, so an update either revises all of them or changes
+ * nothing; the revisions are committed after the write. A v1 run has no revision rule and keeps
+ * refusing the update, as BUG-112 decided.
+ * @see STORY-465
+ */
+import { workflowSchemaVersionOf } from '../core/workflow-v2-loader.js';
+import { readRunsByDefinition } from './run-store.js';
+import { compileWorkflowV2Context, workflowRunsRoot } from './workflow-v2-context.js';
+import { advanceRuntimeSteps } from './workflow-v2-engine.js';
+import { planWorkflowRunRevision } from './workflow-v2-revise.js';
+import { WorkflowRunV2Error } from './workflow-v2-types.js';
+/** Commit the revision of one run under its lock; a run already on the revision is left alone. */
+export async function reviseWorkflowRunV2(previous, context, runId, input) {
+    return context.store.withLock(runId, async () => {
+        await context.store.recoverPendingTransition(runId);
+        const run = await context.store.load(runId);
+        if (run.terminal) {
+            throw new WorkflowRunV2Error('RUN_TERMINAL', `Run ${runId} is terminal (verdict ${run.verdict})`);
+        }
+        if (run.manifest_digest === context.manifest.manifest_digest)
+            return run;
+        const events = await context.store.readEvents(runId);
+        const application = planWorkflowRunRevision(previous, context, run, events, input);
+        const committed = await context.store.commitTransition(application.run, application.event, run.version);
+        // A revised route may lead onto a step the runtime decides itself; decide it now.
+        return (await advanceRuntimeSteps(context, committed, application.event.occurred_at)).run;
+    });
+}
+const NOTHING = { runIds: [], commit: async () => [] };
+/**
+ * Check that every open run of the item takes the new definition, and return the commit of those
+ * revisions. Throws, naming the run and the step, when one of them refuses.
+ */
+export async function prepareWorkflowRunRevisions(devstepsDir, item, nextDefinition, input) {
+    const id = item.metadata.id;
+    const { runs } = await readRunsByDefinition(workflowRunsRoot(devstepsDir), new Set([id]));
+    const open = runs.filter((record) => !record.run.terminal);
+    if (open.length === 0)
+        return NOTHING;
+    const previousIsV2 = workflowSchemaVersionOf(item.metadata.process_definition) === '2.0';
+    if (!previousIsV2 ||
+        workflowSchemaVersionOf(nextDefinition) !== '2.0' ||
+        open.some((record) => record.run.definition_schema_version !== '2.0')) {
+        throw new Error(`Cannot update process_definition for ${id}: an active (non-terminal) workflow run exists for this definition`);
+    }
+    const nextItem = {
+        ...item,
+        metadata: { ...item.metadata, process_definition: nextDefinition },
+    };
+    const plans = [];
+    for (const { run, events } of open) {
+        const previous = (await compileWorkflowV2Context(devstepsDir, item, run.host_profile)).manifest;
+        const context = await compileWorkflowV2Context(devstepsDir, nextItem, run.host_profile);
+        try {
+            planWorkflowRunRevision(previous, context, run, events, input);
+        }
+        catch (error) {
+            const reason = error instanceof Error ? error.message : String(error);
+            throw new Error(`Cannot update process_definition for ${id}: ${reason}`);
+        }
+        plans.push({ previous, context, runId: run.run_id });
+    }
+    return {
+        runIds: plans.map((plan) => plan.runId),
+        commit: async () => {
+            const revised = [];
+            for (const plan of plans) {
+                revised.push(await reviseWorkflowRunV2(plan.previous, plan.context, plan.runId, input));
+            }
+            return revised;
+        },
+    };
+}
+//# sourceMappingURL=workflow-v2-revise-open.js.map

package/dist/runtime/workflow-v2-revise-open.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-v2-revise-open.js","sourceRoot":"","sources":["../../src/runtime/workflow-v2-revise-open.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAExE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACtF,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAGlE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE5D,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAmC,EACnC,OAA6B,EAC7B,KAAa,EACb,KAA4B;IAE5B,OAAO,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE;QAC9C,MAAM,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjB,MAAM,IAAI,kBAAkB,CAC1B,cAAc,EACd,OAAO,KAAK,yBAAyB,GAAG,CAAC,OAAO,GAAG,CACpD,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,CAAC,eAAe,KAAK,OAAO,CAAC,QAAQ,CAAC,eAAe;YAAE,OAAO,GAAG,CAAC;QACzE,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,WAAW,GAAG,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACnF,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,gBAAgB,CACpD,WAAW,CAAC,GAAG,EACf,WAAW,CAAC,KAAK,EACjB,GAAG,CAAC,OAAO,CACZ,CAAC;QACF,kFAAkF;QAClF,OAAO,CAAC,MAAM,mBAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC;IAC5F,CAAC,CAAC,CAAC;AACL,CAAC;AAOD,MAAM,OAAO,GAAyB,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;AAE7E;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,WAAmB,EACnB,IAAmB,EACnB,cAAuC,EACvC,KAA4B;IAE5B,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC5B,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,oBAAoB,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACtC,MAAM,YAAY,GAAG,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,KAAK,KAAK,CAAC;IACzF,IACE,CAAC,YAAY;QACb,uBAAuB,CAAC,cAAc,CAAC,KAAK,KAAK;QACjD,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,yBAAyB,KAAK,KAAK,CAAC,EACrE,CAAC;QACD,MAAM,IAAI,KAAK,CACb,wCAAwC,EAAE,oEAAoE,CAC/G,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAkB;QAC9B,GAAG,IAAI;QACP,QAAQ,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,kBAAkB,EAAE,cAAc,EAAE;KACnE,CAAC;IACF,MAAM,KAAK,GAIN,EAAE,CAAC;IACR,KAAK,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,CAAC,MAAM,wBAAwB,CAAC,WAAW,EAAE,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;QAChG,MAAM,OAAO,GAAG,MAAM,wBAAwB,CAAC,WAAW,EAAE,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;QACxF,IAAI,CAAC;YACH,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACjE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtE,MAAM,IAAI,KAAK,CAAC,wCAAwC,EAAE,KAAK,MAAM,EAAE,CAAC,CAAC;QAC3E,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;QACvC,MAAM,EAAE,KAAK,IAAI,EAAE;YACjB,MAAM,OAAO,GAAiB,EAAE,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,OAAO,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YAC1F,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/runtime/workflow-v2-revise.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Copyright © 2026 Thomas Hertel (the@devsteps.dev)
+ * Licensed under the Apache License, Version 2.0
+ *
+ * Revising the definition of an open v2 run (STORY-465). Steps not yet recorded may be added,
+ * corrected or removed; a recorded step keeps everything it was judged by and may change only its
+ * routes onward and its title. The cursor is re-resolved from the last routed step, so a step
+ * inserted right after it becomes the next one; a step inserted right before the step the run
+ * waits on, whose pass route leads into it, becomes the next one as well, with no recorded step
+ * re-routed (BUG-214). New steps take outline labels after their neighbour (DEC-024), and the
+ * run records the revision as one event.
+ * @see STORY-465 BUG-214
+ */
+import { type WorkflowExecutionManifest } from '../core/workflow-compiler.js';
+import type { ProcessEvent, ProcessRun } from './index.js';
+import { type WorkflowV2RunContext } from './workflow-v2-run.js';
+import { type WorkflowRunEventApplication, type WorkflowRunEventInput } from './workflow-v2-run-events.js';
+export declare const WORKFLOW_REVISE_EVENT = "run.revise";
+/**
+ * Plan the revision of one open run from `previous` to the context's manifest, or refuse it with
+ * the reason. Pure: the caller commits, or uses it to check every open run before writing.
+ */
+export declare function planWorkflowRunRevision(previous: WorkflowExecutionManifest, context: WorkflowV2RunContext, run: ProcessRun, events: readonly ProcessEvent[], input: WorkflowRunEventInput): WorkflowRunEventApplication;
+//# sourceMappingURL=workflow-v2-revise.d.ts.map

package/dist/runtime/workflow-v2-revise.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-v2-revise.d.ts","sourceRoot":"","sources":["../../src/runtime/workflow-v2-revise.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,KAAK,yBAAyB,EAAkB,MAAM,8BAA8B,CAAC;AAM9F,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAQ3D,OAAO,EAAE,KAAK,oBAAoB,EAAmB,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAGL,KAAK,2BAA2B,EAChC,KAAK,qBAAqB,EAC3B,MAAM,6BAA6B,CAAC;AAIrC,eAAO,MAAM,qBAAqB,eAAe,CAAC;AAiKlD;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,yBAAyB,EACnC,OAAO,EAAE,oBAAoB,EAC7B,GAAG,EAAE,UAAU,EACf,MAAM,EAAE,SAAS,YAAY,EAAE,EAC/B,KAAK,EAAE,qBAAqB,GAC3B,2BAA2B,CAmE7B"}

package/dist/runtime/workflow-v2-revise.js

@@ -0,0 +1,192 @@
+/**
+ * Copyright © 2026 Thomas Hertel (the@devsteps.dev)
+ * Licensed under the Apache License, Version 2.0
+ *
+ * Revising the definition of an open v2 run (STORY-465). Steps not yet recorded may be added,
+ * corrected or removed; a recorded step keeps everything it was judged by and may change only its
+ * routes onward and its title. The cursor is re-resolved from the last routed step, so a step
+ * inserted right after it becomes the next one; a step inserted right before the step the run
+ * waits on, whose pass route leads into it, becomes the next one as well, with no recorded step
+ * re-routed (BUG-214). New steps take outline labels after their neighbour (DEC-024), and the
+ * run records the revision as one event.
+ * @see STORY-465 BUG-214
+ */
+import { workflowDigest } from '../core/workflow-compiler.js';
+import { initialStepLabels, revisedStepLabels } from './workflow-v2-labels.js';
+import { advanceWorkflowCursor, resolveWorkflowRoute, } from './workflow-v2-routing.js';
+import { workflowV2Event } from './workflow-v2-run.js';
+import { bumpedRun, otherParty, } from './workflow-v2-run-events.js';
+import { WorkflowRunV2Error } from './workflow-v2-types.js';
+import { validateWorkflowVariables } from './workflow-v2-variables.js';
+export const WORKFLOW_REVISE_EVENT = 'run.revise';
+/** What a recorded step was judged by: everything but its onward routes and its title. */
+function pinnedShape(step, definition) {
+    const { on: _on, title: _title, ...rest } = step;
+    const predicateIds = new Set([...step.expected_results, ...(step.human?.prevalidate ?? [])]);
+    const predicates = definition.predicates.filter((predicate) => predicateIds.has(predicate.id));
+    return workflowDigest({ step: rest, predicates });
+}
+function refuse(message) {
+    throw new WorkflowRunV2Error('MANIFEST_INTEGRITY', message);
+}
+function assertRecordedStepsKept(previous, next, run) {
+    for (const stepId of Object.keys(run.outputs ?? {})) {
+        const before = previous.steps.find((step) => step.id === stepId);
+        const after = next.steps.find((step) => step.id === stepId);
+        if (!before)
+            continue;
+        if (!after)
+            refuse(`Step ${stepId} was already recorded in run ${run.run_id}; a revision may not remove it`);
+        if (pinnedShape(before, previous) !== pinnedShape(after, next)) {
+            refuse(`Step ${stepId} was already recorded in run ${run.run_id}; a revision may change only its routes and title. Add a new step instead`);
+        }
+    }
+}
+function isRoutingEvent(event) {
+    const route = event.payload.route;
+    return (!event.type.startsWith('run.') &&
+        typeof event.payload.step_id === 'string' &&
+        typeof route === 'object' &&
+        route !== null);
+}
+/** The pending verdict the run held before `event`, read from the events before it. */
+function pendingBefore(events, event) {
+    const earlier = events.filter((candidate) => candidate.sequence < event.sequence && 'pending_verdict' in candidate.payload);
+    const value = earlier.at(-1)?.payload.pending_verdict;
+    return typeof value === 'string' ? value : null;
+}
+/** Where the cursor stands under the revised definition: the last routed step, routed again. */
+function revisedCursor(next, run, events) {
+    const ordered = [...events].sort((left, right) => left.sequence - right.sequence);
+    const last = ordered.filter(isRoutingEvent).at(-1);
+    if (!last) {
+        const first = next.steps[0];
+        return { state: first?.id ?? run.state, pending_verdict: run.pending_verdict ?? null };
+    }
+    const route = last.payload.route;
+    const stepId = String(last.payload.step_id);
+    const step = next.steps.find((candidate) => candidate.id === stepId);
+    const output = run.outputs?.[stepId];
+    if (!step ||
+        !output ||
+        route.kind === 'retry' ||
+        route.via === 'answer' ||
+        route.via === 'policy') {
+        return { state: run.state, pending_verdict: run.pending_verdict ?? null };
+    }
+    const slot = route.via === 'skip' ? 'pass' : (output.slot ?? route.slot);
+    // The run's attempts bound the reroute as they bound the route (TASK-1024).
+    const rerouted = resolveWorkflowRoute(next, step, slot, output.attempt, output.error_code, run.step_attempts ?? {});
+    const base = { ...run, state: stepId, pending_verdict: pendingBefore(ordered, last) };
+    const skipped = route.via === 'skip' && rerouted.via !== 'max_passes';
+    const moved = advanceWorkflowCursor(next, base, step, output, {
+        ...rerouted,
+        ...(skipped ? { via: 'skip' } : {}),
+    });
+    return { state: moved.state, pending_verdict: moved.pending_verdict ?? null };
+}
+/**
+ * The step the run takes next when steps were inserted at its current position: walking back in
+ * authored order from the step the cursor stands on, each added step directly before it whose
+ * pass route leads into it runs first. A step that already has an attempt keeps the cursor.
+ */
+function insertedBefore(next, state, added, recorded) {
+    if (state in recorded)
+        return state;
+    let target = state;
+    for (;;) {
+        const index = next.steps.findIndex((step) => step.id === target);
+        const before = index > 0 ? next.steps[index - 1] : undefined;
+        if (!before || !added.has(before.id) || before.on.pass !== target)
+            return target;
+        target = before.id;
+    }
+}
+function stepChanges(previous, next) {
+    const before = new Map(previous.steps.map((step) => [step.id, workflowDigest(step)]));
+    const after = new Set(next.steps.map((step) => step.id));
+    return {
+        added: next.steps.filter((step) => !before.has(step.id)).map((step) => step.id),
+        changed: next.steps
+            .filter((step) => before.has(step.id) && before.get(step.id) !== workflowDigest(step))
+            .map((step) => step.id),
+        removed: previous.steps.filter((step) => !after.has(step.id)).map((step) => step.id),
+    };
+}
+/** The added steps and the changed steps not yet recorded, each marked with who and when. */
+function revisionMarks(changes, run, input, occurredAt) {
+    return Object.fromEntries([
+        ...changes.added.map((id) => [id, 'added']),
+        ...changes.changed
+            .filter((id) => !(id in (run.outputs ?? {})))
+            .map((id) => [id, 'changed']),
+    ].map(([id, change]) => [
+        id,
+        {
+            change,
+            actor: input.actor,
+            ...(input.actorName ? { actor_name: input.actorName } : {}),
+            at: occurredAt,
+        },
+    ]));
+}
+/**
+ * Plan the revision of one open run from `previous` to the context's manifest, or refuse it with
+ * the reason. Pure: the caller commits, or uses it to check every open run before writing.
+ */
+export function planWorkflowRunRevision(previous, context, run, events, input) {
+    const next = context.manifest;
+    if (run.manifest_digest !== previous.manifest_digest) {
+        refuse(`Run ${run.run_id} no longer runs the current definition; finalize it as CANCELLED first`);
+    }
+    if (next.process_type !== previous.process_type) {
+        refuse(`Run ${run.run_id} is stored under process_type ${previous.process_type}; a revision may not change it`);
+    }
+    try {
+        validateWorkflowVariables(next.definition, run.variables ?? {});
+    }
+    catch (error) {
+        refuse(`Run ${run.run_id} cannot take the revision: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    assertRecordedStepsKept(previous.definition, next.definition, run);
+    const changes = stepChanges(previous.definition, next.definition);
+    const rerouted = revisedCursor(next.definition, run, events);
+    const cursor = {
+        ...rerouted,
+        state: insertedBefore(next.definition, rerouted.state, new Set(changes.added), run.outputs ?? {}),
+    };
+    const occurredAt = input.occurredAt ?? new Date().toISOString();
+    const labels = revisedStepLabels(next.definition.steps, run.step_labels ?? initialStepLabels(previous.definition.steps));
+    const marks = revisionMarks(changes, run, input, occurredAt);
+    const nextRun = {
+        ...bumpedRun(run, occurredAt),
+        definition_digest: next.definition_digest,
+        definition_revision: context.definitionRevision,
+        manifest_digest: next.manifest_digest,
+        state: cursor.state,
+        pending_verdict: cursor.pending_verdict,
+        step_labels: labels,
+        step_revisions: { ...(run.step_revisions ?? {}), ...marks },
+    };
+    const event = workflowV2Event(run, {
+        type: WORKFLOW_REVISE_EVENT,
+        actor: input.actor,
+        actorName: input.actorName,
+        toState: cursor.state,
+        payload: {
+            protocol: 'workflow-v2',
+            submission: 'revise',
+            previous_definition_digest: previous.definition_digest,
+            definition_digest: next.definition_digest,
+            previous_manifest_digest: previous.manifest_digest,
+            manifest_digest: next.manifest_digest,
+            ...changes,
+            labels: Object.fromEntries(changes.added.map((id) => [id, labels[id]])),
+            ...(cursor.state !== run.state ? { cursor: { from: run.state, to: cursor.state } } : {}),
+            pending_verdict: cursor.pending_verdict,
+        },
+        occurredAt,
+    });
+    return { run: nextRun, event: { ...event, notify: otherParty(input.actor) } };
+}
+//# sourceMappingURL=workflow-v2-revise.js.map

package/dist/runtime/workflow-v2-revise.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-v2-revise.js","sourceRoot":"","sources":["../../src/runtime/workflow-v2-revise.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAkC,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAO9F,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EACL,qBAAqB,EACrB,oBAAoB,GAGrB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAA6B,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EACL,SAAS,EACT,UAAU,GAGX,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,kBAAkB,EAA2B,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAEvE,MAAM,CAAC,MAAM,qBAAqB,GAAG,YAAY,CAAC;AAElD,0FAA0F;AAC1F,SAAS,WAAW,CAAC,IAAkB,EAAE,UAAgC;IACvE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IACjD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/F,OAAO,cAAc,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,MAAM,CAAC,OAAe;IAC7B,MAAM,IAAI,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAA8B,EAC9B,IAA0B,EAC1B,GAAe;IAEf,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,IAAI,CAAC,KAAK;YACR,MAAM,CACJ,QAAQ,MAAM,gCAAgC,GAAG,CAAC,MAAM,gCAAgC,CACzF,CAAC;QACJ,IAAI,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YAC/D,MAAM,CACJ,QAAQ,MAAM,gCAAgC,GAAG,CAAC,MAAM,2EAA2E,CACpI,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAmB;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IAClC,OAAO,CACL,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,QAAQ;QACzC,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI,CACf,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,SAAS,aAAa,CACpB,MAA+B,EAC/B,KAAmB;IAEnB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAC3B,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,iBAAiB,IAAI,SAAS,CAAC,OAAO,CAC7F,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC;IACtD,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAE,KAA8B,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED,gGAAgG;AAChG,SAAS,aAAa,CACpB,IAA0B,EAC1B,GAAe,EACf,MAA+B;IAE/B,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClF,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,GAAG,CAAC,KAAK,EAAE,eAAe,EAAE,GAAG,CAAC,eAAe,IAAI,IAAI,EAAE,CAAC;IACzF,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAsB,CAAC;IAClD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,MAAM,CAAmC,CAAC;IACvE,IACE,CAAC,IAAI;QACL,CAAC,MAAM;QACP,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,KAAK,CAAC,GAAG,KAAK,QAAQ;QACtB,KAAK,CAAC,GAAG,KAAK,QAAQ,EACtB,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,eAAe,EAAE,GAAG,CAAC,eAAe,IAAI,IAAI,EAAE,CAAC;IAC5E,CAAC;IACD,MAAM,IAAI,GAAsB,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5F,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,oBAAoB,CACnC,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,UAAU,EACjB,GAAG,CAAC,aAAa,IAAI,EAAE,CACxB,CAAC;IACF,MAAM,IAAI,GAAe,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;IAClG,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,KAAK,MAAM,IAAI,QAAQ,CAAC,GAAG,KAAK,YAAY,CAAC;IACtE,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE;QAC5D,GAAG,QAAQ;QACX,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,IAAI,IAAI,EAAE,CAAC;AAChF,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CACrB,IAA0B,EAC1B,KAAa,EACb,KAA0B,EAC1B,QAA2C;IAE3C,IAAI,KAAK,IAAI,QAAQ;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,SAAS,CAAC;QACR,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,MAAM,CAAC;QACjF,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IACrB,CAAC;AACH,CAAC;AAID,SAAS,WAAW,CAAC,QAA8B,EAAE,IAA0B;IAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,OAAO,EAAE,IAAI,CAAC,KAAK;aAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,cAAc,CAAC,IAAI,CAAC,CAAC;aACrF,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;KACrF,CAAC;AACJ,CAAC;AAED,6FAA6F;AAC7F,SAAS,aAAa,CACpB,OAAoB,EACpB,GAAe,EACf,KAA4B,EAC5B,UAAkB;IAElB,OAAO,MAAM,CAAC,WAAW,CACvB;QACE,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,CAAU,CAAC;QACpD,GAAG,OAAO,CAAC,OAAO;aACf,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;aAC5C,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,CAAU,CAAC;KACzC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;QACtB,EAAE;QACF;YACE,MAAM;YACN,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,EAAE,EAAE,UAAU;SACf;KACF,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAmC,EACnC,OAA6B,EAC7B,GAAe,EACf,MAA+B,EAC/B,KAA4B;IAE5B,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC;IAC9B,IAAI,GAAG,CAAC,eAAe,KAAK,QAAQ,CAAC,eAAe,EAAE,CAAC;QACrD,MAAM,CACJ,OAAO,GAAG,CAAC,MAAM,wEAAwE,CAC1F,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,MAAM,CACJ,OAAO,GAAG,CAAC,MAAM,iCAAiC,QAAQ,CAAC,YAAY,gCAAgC,CACxG,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,yBAAyB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAClE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,CACJ,OAAO,GAAG,CAAC,MAAM,8BAA8B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CACxG,CAAC;IACJ,CAAC;IACD,uBAAuB,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG;QACb,GAAG,QAAQ;QACX,KAAK,EAAE,cAAc,CACnB,IAAI,CAAC,UAAU,EACf,QAAQ,CAAC,KAAK,EACd,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EACtB,GAAG,CAAC,OAAO,IAAI,EAAE,CAClB;KACF,CAAC;IACF,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,iBAAiB,CAC9B,IAAI,CAAC,UAAU,CAAC,KAAK,EACrB,GAAG,CAAC,WAAW,IAAI,iBAAiB,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAChE,CAAC;IACF,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAe;QAC1B,GAAG,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC;QAC7B,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,mBAAmB,EAAE,OAAO,CAAC,kBAAkB;QAC/C,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,WAAW,EAAE,MAAM;QACnB,cAAc,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE;KAC5D,CAAC;IACF,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,EAAE;QACjC,IAAI,EAAE,qBAAqB;QAC3B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,MAAM,CAAC,KAAK;QACrB,OAAO,EAAE;YACP,QAAQ,EAAE,aAAa;YACvB,UAAU,EAAE,QAAQ;YACpB,0BAA0B,EAAE,QAAQ,CAAC,iBAAiB;YACtD,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,wBAAwB,EAAE,QAAQ,CAAC,eAAe;YAClD,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,GAAG,OAAO;YACV,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvE,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxF,eAAe,EAAE,MAAM,CAAC,eAAe;SACxC;QACD,UAAU;KACX,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;AAChF,CAAC"}

package/dist/runtime/workflow-v2-routing.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Copyright © 2026 Thomas Hertel (the@devsteps.dev)
+ * Licensed under the Apache License, Version 2.0
+ *
+ * Routing of compiled workflow runs.
+ * Turns a step outcome into the next cursor: another step, a retry, or a pending verdict followed
+ * by the cleanup steps the run owes before it may close.
+ */
+import type { WorkflowDefinitionV2, WorkflowRouteVerdict, WorkflowStep } from '../schemas/workflow-definition-v2.js';
+import type { ProcessRun } from './index.js';
+import { type WorkflowStepOutput } from './workflow-v2-types.js';
+export type WorkflowRouteSlot = 'pass' | 'fail' | 'error';
+export type WorkflowRoute = Readonly<{
+    slot: WorkflowRouteSlot;
+    kind: 'step' | 'verdict' | 'retry';
+    target: string;
+    verdict?: WorkflowRouteVerdict;
+    via: 'on' | 'error_route' | 'retry_policy' | 'answer' | 'policy' | 'skip' | 'max_passes';
+    error_code?: string;
+    /** The step the route would have entered once more than its `max_passes` allow (TASK-1024). */
+    exhausted?: Readonly<{
+        step_id: string;
+        max_passes: number;
+        passes: number;
+    }>;
+}>;
+/**
+ * Resolve the route of a step outcome. An error code consults `error_routes` first (a `retry`
+ * disposition repeats the step while `retry.max_attempts` allows), then the step's `retry.on_codes`,
+ * then `on.<slot>`. A route into a step whose `max_passes` are spent goes to FAIL (TASK-1024).
+ */
+export declare function resolveWorkflowRoute(definition: WorkflowDefinitionV2, step: WorkflowStep, slot: WorkflowRouteSlot, attempt: number, errorCode?: string, passes?: Readonly<Record<string, number>>): WorkflowRoute;
+/** Route of a human answer that maps directly to CANCELLED: the operator stops the run. */
+export declare function answerRoute(verdict: WorkflowRouteVerdict): WorkflowRoute;
+/**
+ * Cleanup steps the run owes: `kind: cleanup`, not yet completed, with at least one dependency that
+ * ran (has an output that is neither policy-denied nor skipped) and is not `read-only`. A skipped
+ * step changed nothing, so it owes no cleanup (BUG-144). Definition order decides the sequence.
+ */
+export declare function pendingCleanupSteps(definition: WorkflowDefinitionV2, run: Pick<ProcessRun, 'outputs' | 'completed_step_ids'>): WorkflowStep[];
+/** Apply a routed step outcome to the run cursor. Version and timestamps stay with the caller. */
+export declare function advanceWorkflowCursor(definition: WorkflowDefinitionV2, run: ProcessRun, step: WorkflowStep, output: WorkflowStepOutput, route: WorkflowRoute): ProcessRun;
+//# sourceMappingURL=workflow-v2-routing.d.ts.map

package/dist/runtime/workflow-v2-routing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-v2-routing.d.ts","sourceRoot":"","sources":["../../src/runtime/workflow-v2-routing.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,oBAAoB,EACpB,oBAAoB,EACpB,YAAY,EACb,MAAM,sCAAsC,CAAC;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAqB,KAAK,kBAAkB,EAAgB,MAAM,wBAAwB,CAAC;AAElG,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAE1D,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,IAAI,EAAE,iBAAiB,CAAC;IACxB,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,oBAAoB,CAAC;IAC/B,GAAG,EAAE,IAAI,GAAG,aAAa,GAAG,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,YAAY,CAAC;IACzF,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,+FAA+F;IAC/F,SAAS,CAAC,EAAE,QAAQ,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC/E,CAAC,CAAC;AAqDH;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,oBAAoB,EAChC,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,EAAE,MAAM,EAClB,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACxC,aAAa,CAsBf;AAED,2FAA2F;AAC3F,wBAAgB,WAAW,CAAC,OAAO,EAAE,oBAAoB,GAAG,aAAa,CAExE;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,oBAAoB,EAChC,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,GAAG,oBAAoB,CAAC,GACtD,YAAY,EAAE,CAiBhB;AAED,kGAAkG;AAClG,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,oBAAoB,EAChC,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,YAAY,EAClB,MAAM,EAAE,kBAAkB,EAC1B,KAAK,EAAE,aAAa,GACnB,UAAU,CA0BZ"}