@n8n/instance-ai 1.13.2 → 1.14.0

package/dist/tools/orchestration/verification/finalize-result.d.ts

@@ -0,0 +1,18 @@
+import { type VerificationAnalysis } from './analyze-result';
+import type { ExecutionRunResult, ResolvedVerifyInput, VerifyBuiltWorkflowOutput, WorkflowTaskService } from './types';
+import type { OrchestrationContext } from '../../../types';
+export declare function handleMissingSimulationPlan(args: {
+    input: ResolvedVerifyInput;
+    context: OrchestrationContext;
+    workflowTaskService: WorkflowTaskService;
+    workflowId: string;
+}): Promise<VerifyBuiltWorkflowOutput>;
+export declare function persistVerificationOutcome(args: {
+    input: ResolvedVerifyInput;
+    context: OrchestrationContext;
+    workflowTaskService: WorkflowTaskService;
+    workflowId: string;
+    result: ExecutionRunResult;
+    analysis: VerificationAnalysis;
+    verifyAttempts: number;
+}): Promise<void>;

package/dist/tools/orchestration/verification/finalize-result.js

@@ -0,0 +1,137 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.handleMissingSimulationPlan = handleMissingSimulationPlan;
+exports.persistVerificationOutcome = persistVerificationOutcome;
+const analyze_result_1 = require("./analyze-result");
+const remediation_1 = require("../../../workflow-loop/remediation");
+async function handleMissingSimulationPlan(args) {
+    const { input, context, workflowTaskService, workflowId } = args;
+    const guidance = 'Verification was not run because the build outcome has no simulation plan. ' +
+        'Rebuild or resubmit the workflow so destructive nodes can be classified before verification.';
+    const remediation = (0, remediation_1.createRemediation)({
+        category: 'blocked',
+        shouldEdit: false,
+        reason: 'missing_simulation_plan',
+        guidance,
+    });
+    context.logger.warn('verify-built-workflow: build outcome has no simulation plan — refusing to run without simulation safeguards', { workItemId: input.workItemId, workflowId });
+    try {
+        await workflowTaskService.updateBuildOutcome(input.workItemId, {
+            remediation,
+            verification: {
+                attempted: true,
+                success: false,
+                status: 'unknown',
+                failureSignature: 'missing_simulation_plan',
+                evidence: { errorMessage: guidance },
+                verifiedAt: new Date().toISOString(),
+            },
+        });
+    }
+    catch {
+    }
+    try {
+        await workflowTaskService.reportVerificationVerdict({
+            workItemId: input.workItemId,
+            runId: context.runId,
+            workflowId,
+            verdict: 'failed_terminal',
+            failureSignature: 'missing_simulation_plan',
+            diagnosis: guidance,
+            remediation,
+            summary: guidance,
+        });
+    }
+    catch (error) {
+        context.logger.warn('verify-built-workflow: failed to persist terminal verdict', {
+            workItemId: input.workItemId,
+            workflowId,
+            error: error instanceof Error ? error.message : String(error),
+        });
+    }
+    return {
+        success: false,
+        resolvedWorkItemId: input.workItemId,
+        status: 'unknown',
+        error: guidance,
+        remediation,
+        guidance,
+    };
+}
+async function persistVerificationOutcome(args) {
+    const { input, context, workflowTaskService, workflowId, result, analysis, verifyAttempts } = args;
+    try {
+        const executedForEvidence = (0, analyze_result_1.namesOrDataKeys)(analysis.reachedNames, result.data);
+        await workflowTaskService.updateBuildOutcome(input.workItemId, {
+            verifyAttempts,
+            verification: {
+                attempted: true,
+                success: analysis.success,
+                executionId: result.executionId || undefined,
+                status: result.status,
+                failureSignature: analysis.success ? undefined : result.error,
+                evidence: {
+                    nodesExecuted: executedForEvidence && executedForEvidence.length > 0 ? executedForEvidence : undefined,
+                    nodesNotReached: analysis.nodesNotReached.length > 0 ? analysis.nodesNotReached : undefined,
+                    producedOutputRows: (0, analyze_result_1.countProducedOutputRows)(result.data),
+                    errorMessage: analysis.success ? undefined : result.error,
+                },
+                verifiedAt: new Date().toISOString(),
+            },
+        });
+    }
+    catch {
+    }
+    if (analysis.remediation && !analysis.remediation.shouldEdit) {
+        await reportTerminalRemediation({
+            input,
+            context,
+            workflowTaskService,
+            workflowId,
+            executionId: result.executionId || undefined,
+            remediation: analysis.remediation,
+        });
+    }
+}
+async function reportTerminalRemediation(args) {
+    const { input, context, workflowTaskService, workflowId, executionId, remediation } = args;
+    try {
+        await workflowTaskService.reportVerificationVerdict({
+            workItemId: input.workItemId,
+            runId: context.runId,
+            workflowId,
+            executionId,
+            verdict: remediation.category === 'needs_setup' ? 'needs_user_input' : 'failed_terminal',
+            failureSignature: remediation.reason,
+            diagnosis: remediation.guidance,
+            remediation,
+            summary: remediation.guidance,
+        });
+    }
+    catch (error) {
+        context.logger.warn('verify-built-workflow: failed to persist terminal verdict', {
+            workItemId: input.workItemId,
+            workflowId,
+            error: error instanceof Error ? error.message : String(error),
+        });
+    }
+    try {
+        context.trackTelemetry?.('Builder remediation guard fired', {
+            thread_id: context.threadId,
+            run_id: context.runId,
+            work_item_id: input.workItemId,
+            workflow_id: workflowId,
+            category: remediation.category,
+            attempt_count: remediation.attemptCount,
+            reason: remediation.reason,
+        });
+    }
+    catch (error) {
+        context.logger.warn('verify-built-workflow: failed to emit remediation telemetry', {
+            workItemId: input.workItemId,
+            workflowId,
+            error: error instanceof Error ? error.message : String(error),
+        });
+    }
+}
+//# sourceMappingURL=finalize-result.js.map

package/dist/tools/orchestration/verification/finalize-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"finalize-result.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/finalize-result.ts"],"names":[],"mappings":";;AAoBA,kEA6DC;AAED,gEA+CC;AAlID,qDAI0B;AAQ1B,oEAAuE;AAQhE,KAAK,UAAU,2BAA2B,CAAC,IAKjD;IACA,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IACjE,MAAM,QAAQ,GACb,6EAA6E;QAC7E,8FAA8F,CAAC;IAChG,MAAM,WAAW,GAAG,IAAA,+BAAiB,EAAC;QACrC,QAAQ,EAAE,SAAS;QACnB,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE,yBAAyB;QACjC,QAAQ;KACR,CAAC,CAAC;IACH,OAAO,CAAC,MAAM,CAAC,IAAI,CAClB,6GAA6G,EAC7G,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,CAC5C,CAAC;IACF,IAAI,CAAC;QACJ,MAAM,mBAAmB,CAAC,kBAAkB,CAAC,KAAK,CAAC,UAAU,EAAE;YAC9D,WAAW;YACX,YAAY,EAAE;gBACb,SAAS,EAAE,IAAI;gBACf,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,SAAS;gBACjB,gBAAgB,EAAE,yBAAyB;gBAC3C,QAAQ,EAAE,EAAE,YAAY,EAAE,QAAQ,EAAE;gBACpC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC;SACD,CAAC,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;IAET,CAAC;IACD,IAAI,CAAC;QACJ,MAAM,mBAAmB,CAAC,yBAAyB,CAAC;YACnD,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,UAAU;YACV,OAAO,EAAE,iBAAiB;YAC1B,gBAAgB,EAAE,yBAAyB;YAC3C,SAAS,EAAE,QAAQ;YACnB,WAAW;YACX,OAAO,EAAE,QAAQ;SACjB,CAAC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,2DAA2D,EAAE;YAChF,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,UAAU;YACV,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC7D,CAAC,CAAC;IACJ,CAAC;IACD,OAAO;QACN,OAAO,EAAE,KAAK;QACd,kBAAkB,EAAE,KAAK,CAAC,UAAU;QACpC,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,QAAQ;QACf,WAAW;QACX,QAAQ;KACR,CAAC;AACH,CAAC;AAEM,KAAK,UAAU,0BAA0B,CAAC,IAShD;IACA,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,GAC1F,IAAI,CAAC;IACN,IAAI,CAAC;QACJ,MAAM,mBAAmB,GAAG,IAAA,gCAAe,EAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAChF,MAAM,mBAAmB,CAAC,kBAAkB,CAAC,KAAK,CAAC,UAAU,EAAE;YAC9D,cAAc;YACd,YAAY,EAAE;gBACb,SAAS,EAAE,IAAI;gBACf,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,SAAS;gBAC5C,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,gBAAgB,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK;gBAC7D,QAAQ,EAAE;oBACT,aAAa,EACZ,mBAAmB,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS;oBACxF,eAAe,EACd,QAAQ,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;oBAC3E,kBAAkB,EAAE,IAAA,wCAAuB,EAAC,MAAM,CAAC,IAAI,CAAC;oBACxD,YAAY,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK;iBACzD;gBACD,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC;SACD,CAAC,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;IAET,CAAC;IAED,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;QAC9D,MAAM,yBAAyB,CAAC;YAC/B,KAAK;YACL,OAAO;YACP,mBAAmB;YACnB,UAAU;YACV,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,SAAS;YAC5C,WAAW,EAAE,QAAQ,CAAC,WAAW;SACjC,CAAC,CAAC;IACJ,CAAC;AACF,CAAC;AAED,KAAK,UAAU,yBAAyB,CAAC,IAOxC;IACA,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IAC3F,IAAI,CAAC;QACJ,MAAM,mBAAmB,CAAC,yBAAyB,CAAC;YACnD,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,UAAU;YACV,WAAW;YACX,OAAO,EAAE,WAAW,CAAC,QAAQ,KAAK,aAAa,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,iBAAiB;YACxF,gBAAgB,EAAE,WAAW,CAAC,MAAM;YACpC,SAAS,EAAE,WAAW,CAAC,QAAQ;YAC/B,WAAW;YACX,OAAO,EAAE,WAAW,CAAC,QAAQ;SAC7B,CAAC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,2DAA2D,EAAE;YAChF,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,UAAU;YACV,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC7D,CAAC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACJ,OAAO,CAAC,cAAc,EAAE,CAAC,iCAAiC,EAAE;YAC3D,SAAS,EAAE,OAAO,CAAC,QAAQ;YAC3B,MAAM,EAAE,OAAO,CAAC,KAAK;YACrB,YAAY,EAAE,KAAK,CAAC,UAAU;YAC9B,WAAW,EAAE,UAAU;YACvB,QAAQ,EAAE,WAAW,CAAC,QAAQ;YAC9B,aAAa,EAAE,WAAW,CAAC,YAAY;YACvC,MAAM,EAAE,WAAW,CAAC,MAAM;SAC1B,CAAC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,6DAA6D,EAAE;YAClF,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,UAAU;YACV,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC7D,CAAC,CAAC;IACJ,CAAC;AACF,CAAC"}

package/dist/tools/orchestration/verification/prepare-run.d.ts

@@ -0,0 +1,16 @@
+import type { VerifyBuiltWorkflowOutput, VerifyToolInput } from './types';
+import type { WorkflowBuildOutcome } from '../../../workflow-loop/workflow-loop-state';
+export interface PreparedVerificationRun {
+    verificationPinData: Record<string, unknown[]> | undefined;
+    simulatedNodes: Array<{
+        nodeName: string;
+        reason: string;
+    }>;
+}
+export declare function prepareVerificationRun(buildOutcome: WorkflowBuildOutcome, fixtureOverrides: VerifyToolInput['fixtureOverrides']): {
+    kind: 'ready';
+    prepared: PreparedVerificationRun;
+} | {
+    kind: 'blocked';
+    result: VerifyBuiltWorkflowOutput;
+};

package/dist/tools/orchestration/verification/prepare-run.js

@@ -0,0 +1,58 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.prepareVerificationRun = prepareVerificationRun;
+const remediation_1 = require("../../../workflow-loop/remediation");
+function getInvalidFixtureOverrideNodeNames(buildOutcome, fixtureOverrides) {
+    if (!fixtureOverrides)
+        return [];
+    const simulatedNodeNames = new Set((buildOutcome.nodeSimulationPlan ?? [])
+        .filter((verdict) => verdict.verdict === 'simulate')
+        .map((verdict) => verdict.nodeName));
+    return Object.keys(fixtureOverrides).filter((nodeName) => !simulatedNodeNames.has(nodeName));
+}
+function buildVerificationPinData(buildOutcome, fixtureOverrides) {
+    const merged = { ...(buildOutcome.verificationPinData ?? {}) };
+    const fixtures = buildOutcome.simulationFixtures ?? {};
+    const simulatedNodes = [];
+    for (const verdict of buildOutcome.nodeSimulationPlan ?? []) {
+        if (verdict.verdict !== 'simulate')
+            continue;
+        simulatedNodes.push({ nodeName: verdict.nodeName, reason: verdict.reason });
+        const items = fixtures[verdict.nodeName];
+        merged[verdict.nodeName] = items?.length ? items : [{}];
+    }
+    if (fixtureOverrides) {
+        for (const [nodeName, items] of Object.entries(fixtureOverrides)) {
+            merged[nodeName] = items;
+        }
+    }
+    return {
+        verificationPinData: Object.keys(merged).length > 0 ? merged : undefined,
+        simulatedNodes,
+    };
+}
+function prepareVerificationRun(buildOutcome, fixtureOverrides) {
+    const invalidFixtureOverrideNodeNames = getInvalidFixtureOverrideNodeNames(buildOutcome, fixtureOverrides);
+    if (invalidFixtureOverrideNodeNames.length > 0) {
+        const guidance = 'Fixture overrides can only target nodes already classified as simulated in the build outcome. ' +
+            `Invalid override node(s): ${invalidFixtureOverrideNodeNames.join(', ')}. ` +
+            'Do not run the workflow live; rebuild with declared output fixtures or override a simulated node.';
+        const remediation = (0, remediation_1.createRemediation)({
+            category: 'blocked',
+            shouldEdit: false,
+            reason: 'invalid_fixture_override',
+            guidance,
+        });
+        return {
+            kind: 'blocked',
+            result: {
+                success: false,
+                error: guidance,
+                remediation,
+                guidance,
+            },
+        };
+    }
+    return { kind: 'ready', prepared: buildVerificationPinData(buildOutcome, fixtureOverrides) };
+}
+//# sourceMappingURL=prepare-run.js.map

package/dist/tools/orchestration/verification/prepare-run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prepare-run.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/prepare-run.ts"],"names":[],"mappings":";;AA2DA,wDAiCC;AA3FD,oEAAuE;AAQvE,SAAS,kCAAkC,CAC1C,YAAkC,EAClC,gBAAqD;IAErD,IAAI,CAAC,gBAAgB;QAAE,OAAO,EAAE,CAAC;IAEjC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CACjC,CAAC,YAAY,CAAC,kBAAkB,IAAI,EAAE,CAAC;SACrC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,UAAU,CAAC;SACnD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CACpC,CAAC;IAEF,OAAO,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC9F,CAAC;AAUD,SAAS,wBAAwB,CAChC,YAAkC,EAClC,gBAAqD;IAErD,MAAM,MAAM,GAA8B,EAAE,GAAG,CAAC,YAAY,CAAC,mBAAmB,IAAI,EAAE,CAAC,EAAE,CAAC;IAC1F,MAAM,QAAQ,GAAG,YAAY,CAAC,kBAAkB,IAAI,EAAE,CAAC;IACvD,MAAM,cAAc,GAAgD,EAAE,CAAC;IAEvE,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,kBAAkB,IAAI,EAAE,EAAE,CAAC;QAC7D,IAAI,OAAO,CAAC,OAAO,KAAK,UAAU;YAAE,SAAS;QAC7C,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAC5E,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,gBAAgB,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAClE,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;QAC1B,CAAC;IACF,CAAC;IAED,OAAO;QACN,mBAAmB,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;QACxE,cAAc;KACd,CAAC;AACH,CAAC;AAED,SAAgB,sBAAsB,CACrC,YAAkC,EAClC,gBAAqD;IAIrD,MAAM,+BAA+B,GAAG,kCAAkC,CACzE,YAAY,EACZ,gBAAgB,CAChB,CAAC;IACF,IAAI,+BAA+B,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,MAAM,QAAQ,GACb,gGAAgG;YAChG,6BAA6B,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC3E,mGAAmG,CAAC;QACrG,MAAM,WAAW,GAAG,IAAA,+BAAiB,EAAC;YACrC,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,0BAA0B;YAClC,QAAQ;SACR,CAAC,CAAC;QACH,OAAO;YACN,IAAI,EAAE,SAAS;YACf,MAAM,EAAE;gBACP,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,QAAQ;gBACf,WAAW;gBACX,QAAQ;aACR;SACD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,wBAAwB,CAAC,YAAY,EAAE,gBAAgB,CAAC,EAAE,CAAC;AAC9F,CAAC"}

package/dist/tools/orchestration/verification/resolve-target.d.ts

@@ -0,0 +1,18 @@
+import type { ResolvedVerifyInput, VerifyBuiltWorkflowOutput, VerifyToolInput, WorkflowTaskService } from './types';
+import type { OrchestrationContext } from '../../../types';
+import type { WorkflowBuildOutcome } from '../../../workflow-loop/workflow-loop-state';
+export interface ResolvedVerificationTarget {
+    input: ResolvedVerifyInput;
+    buildOutcome: WorkflowBuildOutcome;
+    workflowId: string;
+    stateBefore: Awaited<ReturnType<WorkflowTaskService['getWorkflowLoopState']>> | undefined;
+    workflowTaskService: WorkflowTaskService;
+    domainContext: NonNullable<OrchestrationContext['domainContext']>;
+}
+export declare function resolveVerificationTarget(input: VerifyToolInput, context: OrchestrationContext): Promise<{
+    kind: 'blocked';
+    result: VerifyBuiltWorkflowOutput;
+} | {
+    kind: 'ready';
+    target: ResolvedVerificationTarget;
+}>;

package/dist/tools/orchestration/verification/resolve-target.js

@@ -0,0 +1,113 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resolveVerificationTarget = resolveVerificationTarget;
+const remediation_1 = require("../../../workflow-loop/remediation");
+async function resolveVerificationTarget(input, context) {
+    if (!context.workflowTaskService || !context.domainContext) {
+        const remediation = (0, remediation_1.createRemediation)({
+            category: 'blocked',
+            shouldEdit: false,
+            reason: 'verification_support_unavailable',
+            guidance: 'Verification support is not available. Stop code edits and explain the blocker.',
+        });
+        return {
+            kind: 'blocked',
+            result: { success: false, error: 'Verification support not available.', remediation },
+        };
+    }
+    const buildOutcome = (input.workItemId
+        ? await context.workflowTaskService.getBuildOutcome(input.workItemId)
+        : undefined) ??
+        (await context.workflowTaskService.getLatestBuildOutcomeForWorkflow(input.workflowId));
+    if (!buildOutcome) {
+        const target = input.workItemId
+            ? `work item ${input.workItemId} or workflow ${input.workflowId}`
+            : `workflow ${input.workflowId}`;
+        const remediation = (0, remediation_1.createRemediation)({
+            category: 'blocked',
+            shouldEdit: false,
+            reason: 'missing_build_outcome',
+            guidance: `No build outcome found for ${target}. Stop code edits and explain the blocker.`,
+        });
+        return {
+            kind: 'blocked',
+            result: {
+                success: false,
+                error: `No build outcome found for ${target}.`,
+                remediation,
+                guidance: remediation.guidance,
+            },
+        };
+    }
+    const resolvedInput = { ...input, workItemId: buildOutcome.workItemId };
+    const stateBefore = await context.workflowTaskService.getWorkflowLoopState(resolvedInput.workItemId);
+    const terminalRemediation = stateBefore?.lastRemediation && !stateBefore.lastRemediation.shouldEdit
+        ? (0, remediation_1.terminalRemediationFromState)(stateBefore, context.runId)
+        : undefined;
+    if (terminalRemediation) {
+        return {
+            kind: 'blocked',
+            result: {
+                success: false,
+                resolvedWorkItemId: resolvedInput.workItemId,
+                error: terminalRemediation.guidance,
+                remediation: terminalRemediation,
+                guidance: terminalRemediation.guidance,
+            },
+        };
+    }
+    if (!buildOutcome.workflowId) {
+        return {
+            kind: 'blocked',
+            result: {
+                success: false,
+                resolvedWorkItemId: resolvedInput.workItemId,
+                error: `Build outcome ${resolvedInput.workItemId} does not include a workflow ID.`,
+            },
+        };
+    }
+    if (buildOutcome.workflowId !== input.workflowId) {
+        return {
+            kind: 'blocked',
+            result: {
+                success: false,
+                resolvedWorkItemId: resolvedInput.workItemId,
+                error: `Build outcome ${resolvedInput.workItemId} belongs to workflow ${buildOutcome.workflowId}, ` +
+                    `but verification was requested for workflow ${input.workflowId}.`,
+            },
+        };
+    }
+    if ((buildOutcome.verifyAttempts ?? 0) >= remediation_1.MAX_VERIFY_ATTEMPTS) {
+        const remediation = (0, remediation_1.createRemediation)({
+            category: 'blocked',
+            shouldEdit: false,
+            reason: 'verify_budget_exhausted',
+            attemptCount: buildOutcome.verifyAttempts ?? 0,
+            guidance: 'Verification has already run the maximum number of times for this workflow. ' +
+                'Report which nodes were and were not reached, and let the user decide whether to run it manually. ' +
+                'Do not call executions(action="run") to expand coverage.',
+        });
+        return {
+            kind: 'blocked',
+            result: {
+                success: false,
+                resolvedWorkItemId: resolvedInput.workItemId,
+                error: remediation.guidance,
+                remediation,
+                guidance: remediation.guidance,
+            },
+        };
+    }
+    return {
+        kind: 'ready',
+        target: {
+            input: resolvedInput,
+            buildOutcome,
+            workflowId: buildOutcome.workflowId,
+            stateBefore,
+            workflowTaskService: context.workflowTaskService,
+            domainContext: context.domainContext,
+        },
+    };
+}
+//# sourceMappingURL=resolve-target.js.map

package/dist/tools/orchestration/verification/resolve-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-target.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/resolve-target.ts"],"names":[],"mappings":";;AA4BA,8DA6HC;AAlJD,oEAI4C;AAiBrC,KAAK,UAAU,yBAAyB,CAC9C,KAAsB,EACtB,OAA6B;IAK7B,IAAI,CAAC,OAAO,CAAC,mBAAmB,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;QAC5D,MAAM,WAAW,GAAG,IAAA,+BAAiB,EAAC;YACrC,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,kCAAkC;YAC1C,QAAQ,EAAE,iFAAiF;SAC3F,CAAC,CAAC;QACH,OAAO;YACN,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,qCAAqC,EAAE,WAAW,EAAE;SACrF,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GACjB,CAAC,KAAK,CAAC,UAAU;QAChB,CAAC,CAAC,MAAM,OAAO,CAAC,mBAAmB,CAAC,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC;QACrE,CAAC,CAAC,SAAS,CAAC;QACb,CAAC,MAAM,OAAO,CAAC,mBAAmB,CAAC,gCAAgC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACxF,IAAI,CAAC,YAAY,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU;YAC9B,CAAC,CAAC,aAAa,KAAK,CAAC,UAAU,gBAAgB,KAAK,CAAC,UAAU,EAAE;YACjE,CAAC,CAAC,YAAY,KAAK,CAAC,UAAU,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,IAAA,+BAAiB,EAAC;YACrC,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,uBAAuB;YAC/B,QAAQ,EAAE,8BAA8B,MAAM,4CAA4C;SAC1F,CAAC,CAAC;QACH,OAAO;YACN,IAAI,EAAE,SAAS;YACf,MAAM,EAAE;gBACP,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,8BAA8B,MAAM,GAAG;gBAC9C,WAAW;gBACX,QAAQ,EAAE,WAAW,CAAC,QAAQ;aAC9B;SACD,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAwB,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC,UAAU,EAAE,CAAC;IAC7F,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,mBAAmB,CAAC,oBAAoB,CACzE,aAAa,CAAC,UAAU,CACxB,CAAC;IACF,MAAM,mBAAmB,GACxB,WAAW,EAAE,eAAe,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU;QACtE,CAAC,CAAC,IAAA,0CAA4B,EAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC;QAC1D,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,mBAAmB,EAAE,CAAC;QACzB,OAAO;YACN,IAAI,EAAE,SAAS;YACf,MAAM,EAAE;gBACP,OAAO,EAAE,KAAK;gBACd,kBAAkB,EAAE,aAAa,CAAC,UAAU;gBAC5C,KAAK,EAAE,mBAAmB,CAAC,QAAQ;gBACnC,WAAW,EAAE,mBAAmB;gBAChC,QAAQ,EAAE,mBAAmB,CAAC,QAAQ;aACtC;SACD,CAAC;IACH,CAAC;IAED,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC;QAC9B,OAAO;YACN,IAAI,EAAE,SAAS;YACf,MAAM,EAAE;gBACP,OAAO,EAAE,KAAK;gBACd,kBAAkB,EAAE,aAAa,CAAC,UAAU;gBAC5C,KAAK,EAAE,iBAAiB,aAAa,CAAC,UAAU,kCAAkC;aAClF;SACD,CAAC;IACH,CAAC;IAED,IAAI,YAAY,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QAClD,OAAO;YACN,IAAI,EAAE,SAAS;YACf,MAAM,EAAE;gBACP,OAAO,EAAE,KAAK;gBACd,kBAAkB,EAAE,aAAa,CAAC,UAAU;gBAC5C,KAAK,EACJ,iBAAiB,aAAa,CAAC,UAAU,wBAAwB,YAAY,CAAC,UAAU,IAAI;oBAC5F,+CAA+C,KAAK,CAAC,UAAU,GAAG;aACnE;SACD,CAAC;IACH,CAAC;IAED,IAAI,CAAC,YAAY,CAAC,cAAc,IAAI,CAAC,CAAC,IAAI,iCAAmB,EAAE,CAAC;QAC/D,MAAM,WAAW,GAAG,IAAA,+BAAiB,EAAC;YACrC,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,yBAAyB;YACjC,YAAY,EAAE,YAAY,CAAC,cAAc,IAAI,CAAC;YAC9C,QAAQ,EACP,8EAA8E;gBAC9E,oGAAoG;gBACpG,0DAA0D;SAC3D,CAAC,CAAC;QACH,OAAO;YACN,IAAI,EAAE,SAAS;YACf,MAAM,EAAE;gBACP,OAAO,EAAE,KAAK;gBACd,kBAAkB,EAAE,aAAa,CAAC,UAAU;gBAC5C,KAAK,EAAE,WAAW,CAAC,QAAQ;gBAC3B,WAAW;gBACX,QAAQ,EAAE,WAAW,CAAC,QAAQ;aAC9B;SACD,CAAC;IACH,CAAC;IAED,OAAO;QACN,IAAI,EAAE,OAAO;QACb,MAAM,EAAE;YACP,KAAK,EAAE,aAAa;YACpB,YAAY;YACZ,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,WAAW;YACX,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;YAChD,aAAa,EAAE,OAAO,CAAC,aAAa;SACpC;KACD,CAAC;AACH,CAAC"}

package/dist/tools/orchestration/verification/types.d.ts

@@ -0,0 +1,44 @@
+import type { OrchestrationContext } from '../../../types';
+import type { RemediationMetadata } from '../../../workflow-loop/workflow-loop-state';
+export interface VerifyToolInput {
+    workItemId?: string;
+    workflowId: string;
+    inputData?: Record<string, unknown>;
+    timeout?: number;
+    includeData?: boolean;
+    maxDataChars?: number;
+    fixtureOverrides?: Record<string, Array<Record<string, unknown>>>;
+}
+export interface ResolvedVerifyInput extends VerifyToolInput {
+    workItemId: string;
+}
+export type WorkflowTaskService = NonNullable<OrchestrationContext['workflowTaskService']>;
+export type ExecutionRunResult = Awaited<ReturnType<NonNullable<OrchestrationContext['domainContext']>['executionService']['run']>>;
+export interface VerificationNodePreview {
+    nodeName: string;
+    itemCount?: number;
+    preview: string;
+    truncated: boolean;
+    chars: number;
+    simulated?: boolean;
+}
+export interface VerifyBuiltWorkflowOutput {
+    resolvedWorkItemId?: string;
+    executionId?: string;
+    success: boolean;
+    status?: 'running' | 'success' | 'error' | 'waiting' | 'unknown';
+    nodesExecuted?: string[];
+    nodePreviews?: VerificationNodePreview[];
+    simulatedNodes?: Array<{
+        nodeName: string;
+        reason: string;
+    }>;
+    simulationNote?: string;
+    lastNodeExecuted?: string;
+    nodesNotReached?: string[];
+    coverageNote?: string;
+    data?: Record<string, unknown>;
+    error?: string;
+    remediation?: RemediationMetadata;
+    guidance?: string;
+}

package/dist/tools/orchestration/verification/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/tools/orchestration/verification/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/types.ts"],"names":[],"mappings":""}

package/dist/tools/orchestration/verify-built-workflow.tool.d.ts

@@ -1,24 +1,27 @@
 import { z } from 'zod';
 import type { OrchestrationContext } from '../../types';
 export declare const verifyBuiltWorkflowInputSchema: z.ZodObject<{
-    workItemId: z.ZodString;
+    workItemId: z.ZodOptional<z.ZodString>;
     workflowId: z.ZodString;
     inputData: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
     timeout: z.ZodOptional<z.ZodNumber>;
     includeData: z.ZodOptional<z.ZodBoolean>;
     maxDataChars: z.ZodOptional<z.ZodNumber>;
+    fixtureOverrides: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodRecord<z.ZodString, z.ZodUnknown>, "many">>>;
 }, "strip", z.ZodTypeAny, {
-    workItemId: string;
     workflowId: string;
+    workItemId?: string | undefined;
     inputData?: Record<string, unknown> | undefined;
     timeout?: number | undefined;
+    fixtureOverrides?: Record<string, Record<string, unknown>[]> | undefined;
     includeData?: boolean | undefined;
     maxDataChars?: number | undefined;
 }, {
-    workItemId: string;
     workflowId: string;
+    workItemId?: string | undefined;
     inputData?: Record<string, unknown> | undefined;
     timeout?: number | undefined;
+    fixtureOverrides?: Record<string, Record<string, unknown>[]> | undefined;
     includeData?: boolean | undefined;
     maxDataChars?: number | undefined;
 }>;