@n8n/instance-ai 1.24.3 → 1.25.0

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

@@ -59,31 +59,26 @@ async function handleMissingSimulationPlan(args) {
     };
 }
 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 : analysis.errorMessage,
-                evidence: {
-                    nodesExecuted: executedForEvidence && executedForEvidence.length > 0 ? executedForEvidence : undefined,
-                    nodesNotReached: analysis.nodesNotReached.length > 0 ? analysis.nodesNotReached : undefined,
-                    producedOutputRows: (0, analyze_result_1.countProducedOutputRows)(result.data),
-                    errorNodeName: analysis.success ? undefined : analysis.nodeErrors[0]?.nodeName,
-                    errorMessage: analysis.success ? undefined : analysis.errorMessage,
-                    nodeErrors: analysis.nodeErrors.length > 0 ? analysis.nodeErrors : undefined,
-                },
-                verifiedAt: new Date().toISOString(),
-            },
-        });
-    }
-    catch {
-    }
+    const { input, context, workflowTaskService, workflowId, result, analysis, scopedTriggerNodeName, previousProgress, claim, } = args;
+    const executedForEvidence = (0, analyze_result_1.namesOrDataKeys)(analysis.reachedNames, result.data);
+    const storedClaim = await workflowTaskService.recordVerification(input.workItemId, {
+        attempted: true,
+        success: analysis.success,
+        executionId: result.executionId || undefined,
+        status: result.status,
+        failureSignature: analysis.success ? undefined : analysis.errorMessage,
+        claim,
+        evidence: {
+            ...(scopedTriggerNodeName ? { triggerNodeName: scopedTriggerNodeName } : {}),
+            nodesExecuted: executedForEvidence && executedForEvidence.length > 0 ? executedForEvidence : undefined,
+            nodesNotReached: analysis.nodesNotReached.length > 0 ? analysis.nodesNotReached : undefined,
+            producedOutputRows: (0, analyze_result_1.countProducedOutputRows)(result.data),
+            errorNodeName: analysis.success ? undefined : analysis.nodeErrors[0]?.nodeName,
+            errorMessage: analysis.success ? undefined : analysis.errorMessage,
+            nodeErrors: analysis.nodeErrors.length > 0 ? analysis.nodeErrors : undefined,
+        },
+        verifiedAt: new Date().toISOString(),
+    }, previousProgress);
     if (analysis.remediation && !analysis.remediation.shouldEdit) {
         await reportTerminalRemediation({
             input,
@@ -94,6 +89,7 @@ async function persistVerificationOutcome(args) {
             remediation: analysis.remediation,
         });
     }
+    return storedClaim;
 }
 async function reportTerminalRemediation(args) {
     const { input, context, workflowTaskService, workflowId, executionId, remediation } = args;

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

@@ -1 +1 @@
-{"version":3,"file":"finalize-result.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/finalize-result.ts"],"names":[],"mappings":";;;;AAAA,qDAI0B;AAQ1B,oEAAuE;AAQhE,KAAK,sCAAsC,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,qCAAqC,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,QAAQ,CAAC,YAAY;gBACtE,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,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,QAAQ;oBAC9E,YAAY,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY;oBAClE,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;iBAC5E;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"}
+{"version":3,"file":"finalize-result.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/finalize-result.ts"],"names":[],"mappings":";;;;AAAA,qDAI0B;AAQ1B,oEAAuE;AAYhE,KAAK,sCAAsC,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,qCAAqC,IAWhD;IACA,MAAM,EACL,KAAK,EACL,OAAO,EACP,mBAAmB,EACnB,UAAU,EACV,MAAM,EACN,QAAQ,EACR,qBAAqB,EACrB,gBAAgB,EAChB,KAAK,GACL,GAAG,IAAI,CAAC;IACT,MAAM,mBAAmB,GAAG,IAAA,gCAAe,EAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAChF,MAAM,WAAW,GAAG,MAAM,mBAAmB,CAAC,kBAAkB,CAC/D,KAAK,CAAC,UAAU,EAChB;QACC,SAAS,EAAE,IAAI;QACf,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,SAAS;QAC5C,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,gBAAgB,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY;QACtE,KAAK;QACL,QAAQ,EAAE;YACT,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5E,aAAa,EACZ,mBAAmB,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS;YACxF,eAAe,EAAE,QAAQ,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;YAC3F,kBAAkB,EAAE,IAAA,wCAAuB,EAAC,MAAM,CAAC,IAAI,CAAC;YACxD,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,QAAQ;YAC9E,YAAY,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY;YAClE,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;SAC5E;QACD,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,EACD,gBAAgB,CAChB,CAAC;IAEF,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;IACD,OAAO,WAAW,CAAC;AACpB,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/resolve-target.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.resolveVerificationTarget = resolveVerificationTarget;
 const remediation_1 = require("../../../workflow-loop/remediation");
+const setup_verification_policy_1 = require("../../../workflow-loop/setup-verification-policy");
 async function resolveVerificationTarget(input, context) {
     if (!context.workflowTaskService || !context.domainContext) {
         const remediation = (0, remediation_1.createRemediation)({
@@ -40,22 +41,15 @@ async function resolveVerificationTarget(input, context) {
         };
     }
     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)
+    let stateBefore = await context.workflowTaskService.getWorkflowLoopState(resolvedInput.workItemId);
+    const setupVerificationState = context.setupPanelEnabled === true && stateBefore
+        ? (0, setup_verification_policy_1.stateForPendingSetupVerification)(stateBefore, buildOutcome, context.runId)
         : undefined;
-    if (terminalRemediation) {
-        return {
-            kind: 'blocked',
-            result: {
-                success: false,
-                resolvedWorkItemId: resolvedInput.workItemId,
-                error: terminalRemediation.guidance,
-                remediation: terminalRemediation,
-                guidance: terminalRemediation.guidance,
-            },
-        };
-    }
+    const terminalRemediation = setupVerificationState
+        ? (0, remediation_1.terminalRemediationFromState)(setupVerificationState)
+        : stateBefore?.lastRemediation && !stateBefore.lastRemediation.shouldEdit
+            ? (0, remediation_1.terminalRemediationFromState)(stateBefore, context.setupPanelEnabled === true ? undefined : context.runId)
+            : undefined;
     if (!buildOutcome.workflowId) {
         return {
             kind: 'blocked',
@@ -98,6 +92,36 @@ async function resolveVerificationTarget(input, context) {
             },
         };
     }
+    let verificationBlocker = terminalRemediation;
+    if (!verificationBlocker &&
+        context.setupPanelEnabled === true &&
+        stateBefore &&
+        ((0, setup_verification_policy_1.canVerifyPendingSetup)(buildOutcome) || stateBefore.runId !== context.runId)) {
+        const started = await context.workflowTaskService.beginVerification(buildOutcome, stateBefore, context.runId);
+        if (started) {
+            stateBefore = await context.workflowTaskService.getWorkflowLoopState(resolvedInput.workItemId);
+        }
+        else {
+            verificationBlocker = (0, remediation_1.createRemediation)({
+                category: 'blocked',
+                shouldEdit: false,
+                reason: 'verification_state_changed',
+                guidance: 'The work item changed before verification could start. Read its current state before continuing.',
+            });
+        }
+    }
+    if (verificationBlocker) {
+        return {
+            kind: 'blocked',
+            result: {
+                success: false,
+                resolvedWorkItemId: resolvedInput.workItemId,
+                error: verificationBlocker.guidance,
+                remediation: verificationBlocker,
+                guidance: verificationBlocker.guidance,
+            },
+        };
+    }
     return {
         kind: 'ready',
         target: {

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

@@ -1 +1 @@
-{"version":3,"file":"resolve-target.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/resolve-target.ts"],"names":[],"mappings":";;;AAOA,oEAI4C;AAiBrC,KAAK,oCACX,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"}
+{"version":3,"file":"resolve-target.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/resolve-target.ts"],"names":[],"mappings":";;;AAOA,oEAI4C;AAC5C,gGAG0D;AAiBnD,KAAK,oCACX,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,IAAI,WAAW,GAAG,MAAM,OAAO,CAAC,mBAAmB,CAAC,oBAAoB,CACvE,aAAa,CAAC,UAAU,CACxB,CAAC;IACF,MAAM,sBAAsB,GAC3B,OAAO,CAAC,iBAAiB,KAAK,IAAI,IAAI,WAAW;QAChD,CAAC,CAAC,IAAA,4DAAgC,EAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,KAAK,CAAC;QAC5E,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,mBAAmB,GAAG,sBAAsB;QACjD,CAAC,CAAC,IAAA,0CAA4B,EAAC,sBAAsB,CAAC;QACtD,CAAC,CAAC,WAAW,EAAE,eAAe,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU;YACxE,CAAC,CAAC,IAAA,0CAA4B,EAC5B,WAAW,EACX,OAAO,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAC9D;YACF,CAAC,CAAC,SAAS,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,IAAI,mBAAmB,GAAG,mBAAmB,CAAC;IAC9C,IACC,CAAC,mBAAmB;QACpB,OAAO,CAAC,iBAAiB,KAAK,IAAI;QAClC,WAAW;QACX,CAAC,IAAA,iDAAqB,EAAC,YAAY,CAAC,IAAI,WAAW,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,CAAC,EAC3E,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,mBAAmB,CAAC,iBAAiB,CAClE,YAAY,EACZ,WAAW,EACX,OAAO,CAAC,KAAK,CACb,CAAC;QACF,IAAI,OAAO,EAAE,CAAC;YACb,WAAW,GAAG,MAAM,OAAO,CAAC,mBAAmB,CAAC,oBAAoB,CACnE,aAAa,CAAC,UAAU,CACxB,CAAC;QACH,CAAC;aAAM,CAAC;YACP,mBAAmB,GAAG,IAAA,+BAAiB,EAAC;gBACvC,QAAQ,EAAE,SAAS;gBACnB,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,4BAA4B;gBACpC,QAAQ,EACP,kGAAkG;aACnG,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IAED,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,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/resolved-parameter-warnings.d.ts

@@ -0,0 +1,58 @@
+import { z } from 'zod';
+import type { InstanceAiExecutionService, ResolvedNodeParametersResult } from '../../../types';
+export declare const resolvedParameterWarningSchema: z.ZodObject<{
+    nodeName: z.ZodString;
+    executionId: z.ZodOptional<z.ZodString>;
+    path: z.ZodString;
+    raw: z.ZodString;
+    issue: z.ZodEnum<["empty", "failed"]>;
+    detail: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    nodeName: string;
+    executionId?: string | undefined;
+    path: string;
+    raw: string;
+    issue: "empty" | "failed";
+    detail?: string | undefined;
+}, {
+    nodeName: string;
+    executionId?: string | undefined;
+    path: string;
+    raw: string;
+    issue: "empty" | "failed";
+    detail?: string | undefined;
+}>;
+export declare const skippedParameterCheckSchema: z.ZodObject<{
+    nodeName: z.ZodString;
+    executionId: z.ZodOptional<z.ZodString>;
+    reason: z.ZodEnum<["parameter-values-disabled", "replay-failed", "execution-unavailable"]>;
+}, "strip", z.ZodTypeAny, {
+    nodeName: string;
+    executionId?: string | undefined;
+    reason: "execution-unavailable" | "parameter-values-disabled" | "replay-failed";
+}, {
+    nodeName: string;
+    executionId?: string | undefined;
+    reason: "execution-unavailable" | "parameter-values-disabled" | "replay-failed";
+}>;
+export type ResolvedParameterWarning = z.infer<typeof resolvedParameterWarningSchema>;
+type SkippedParameterCheck = z.infer<typeof skippedParameterCheckSchema>;
+export interface ParameterCheckRun {
+    executionId?: string;
+    nodeNames: readonly string[];
+}
+type WarningLogger = {
+    debug(message: string, meta?: Record<string, unknown>): void;
+};
+export declare function warningsFromResolution(result: ResolvedNodeParametersResult): ResolvedParameterWarning[];
+export declare function collectResolvedParameterWarnings(args: {
+    executionService: Pick<InstanceAiExecutionService, 'getResolvedNodeParameters'>;
+    runs: readonly ParameterCheckRun[];
+    logger?: WarningLogger;
+}): Promise<{
+    warnings: ResolvedParameterWarning[];
+    skipped: SkippedParameterCheck[];
+    skippedCount: number;
+}>;
+export declare function buildResolvedParameterNote(warnings: readonly ResolvedParameterWarning[], skipped?: readonly SkippedParameterCheck[], skippedCount?: number): string | undefined;
+export {};

package/dist/tools/orchestration/verification/resolved-parameter-warnings.js

@@ -0,0 +1,127 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.skippedParameterCheckSchema = exports.resolvedParameterWarningSchema = void 0;
+exports.warningsFromResolution = warningsFromResolution;
+exports.collectResolvedParameterWarnings = collectResolvedParameterWarnings;
+exports.buildResolvedParameterNote = buildResolvedParameterNote;
+const zod_1 = require("zod");
+exports.resolvedParameterWarningSchema = zod_1.z.object({
+    nodeName: zod_1.z.string(),
+    executionId: zod_1.z.string().optional(),
+    path: zod_1.z.string(),
+    raw: zod_1.z.string(),
+    issue: zod_1.z.enum(['empty', 'failed']),
+    detail: zod_1.z.string().optional(),
+});
+exports.skippedParameterCheckSchema = zod_1.z.object({
+    nodeName: zod_1.z.string(),
+    executionId: zod_1.z.string().optional(),
+    reason: zod_1.z.enum(['parameter-values-disabled', 'replay-failed', 'execution-unavailable']),
+});
+const MAX_WARNINGS = 20;
+const MAX_SKIPPED_CHECKS = 20;
+function warningsFromResolution(result) {
+    if (result.suppressed)
+        return [];
+    const failed = result.failedExpressions
+        .filter((failure) => failure.reason !== 'unreconstructable-context')
+        .map((failure) => ({
+        nodeName: result.nodeName,
+        path: failure.path,
+        raw: failure.raw,
+        issue: 'failed',
+        detail: failure.error,
+    }));
+    const empty = result.emptyResolutions
+        .filter((resolution) => resolution.reason !== 'unreconstructable-context')
+        .map((resolution) => ({
+        nodeName: result.nodeName,
+        path: resolution.path,
+        raw: resolution.raw,
+        issue: 'empty',
+    }));
+    return [...failed, ...empty];
+}
+async function collectResolvedParameterWarnings(args) {
+    const { executionService, runs, logger } = args;
+    const warnings = [];
+    const skipped = [];
+    let skippedCount = 0;
+    const recordSkippedCheck = (check) => {
+        skippedCount++;
+        if (skipped.length < MAX_SKIPPED_CHECKS)
+            skipped.push(check);
+    };
+    for (const { executionId, nodeNames } of runs) {
+        if (!executionId) {
+            for (const nodeName of nodeNames) {
+                recordSkippedCheck({ nodeName, reason: 'execution-unavailable' });
+            }
+            continue;
+        }
+        const settled = await Promise.allSettled(nodeNames.map(async (nodeName) => await executionService.getResolvedNodeParameters(executionId, nodeName)));
+        settled.forEach((outcome, index) => {
+            const nodeName = nodeNames[index];
+            if (outcome.status === 'fulfilled') {
+                if (outcome.value.suppressed) {
+                    recordSkippedCheck({ nodeName, executionId, reason: outcome.value.suppressed });
+                }
+                else {
+                    warnings.push(...warningsFromResolution(outcome.value).map((warning) => ({
+                        ...warning,
+                        executionId,
+                    })));
+                }
+                return;
+            }
+            recordSkippedCheck({ nodeName, executionId, reason: 'replay-failed' });
+            logger?.debug('Resolved-parameter check skipped for simulated node', {
+                executionId,
+                nodeName,
+                error: outcome.reason instanceof Error ? outcome.reason.message : String(outcome.reason),
+            });
+        });
+    }
+    return { warnings: warnings.slice(0, MAX_WARNINGS), skipped, skippedCount };
+}
+function buildResolvedParameterNote(warnings, skipped = [], skippedCount = skipped.length) {
+    const skipReasons = {
+        'parameter-values-disabled': 'parameter values are disabled',
+        'replay-failed': 'parameter replay failed',
+        'execution-unavailable': 'the execution is unavailable',
+    };
+    const skippedNote = skipped.length > 0
+        ? 'Parameter check skipped for ' +
+            skipped
+                .map(({ nodeName, executionId, reason }) => `${nodeName}${executionId ? ` (execution ${executionId})` : ''}: ${skipReasons[reason]}`)
+                .join('; ') +
+            (skippedCount > skipped.length
+                ? `. Showing ${skipped.length} of ${skippedCount} skipped checks`
+                : '') +
+            '. All nodes with skipped checks have unchecked dynamic fields. Do not report those fields as verified.'
+        : undefined;
+    if (warnings.length === 0)
+        return skippedNote;
+    const byNode = new Map();
+    for (const warning of warnings) {
+        const entry = warning.issue === 'failed'
+            ? `\`${warning.path}\` (${warning.raw}) failed: ${warning.detail ?? 'expression error'}`
+            : `\`${warning.path}\` (${warning.raw}) resolved to empty`;
+        const list = byNode.get(warning.nodeName) ?? [];
+        list.push(entry);
+        byNode.set(warning.nodeName, list);
+    }
+    const summary = [...byNode.entries()]
+        .map(([nodeName, entries]) => `${nodeName}: ${entries.join(', ')}`)
+        .join('; ');
+    return [
+        `Simulated-node parameter check: ${summary}. ` +
+            'A simulated node’s preview is fixture data and does not prove these fields: fix the ' +
+            'trigger input shape (for a Webhook, pass the {body, query, headers, params} envelope) or the ' +
+            'expression, re-run verification, and do not report these fields as working until they resolve.',
+        skippedNote,
+    ]
+        .filter((note) => note !== undefined)
+        .join(' ');
+}
+//# sourceMappingURL=resolved-parameter-warnings.js.map

package/dist/tools/orchestration/verification/resolved-parameter-warnings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolved-parameter-warnings.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/resolved-parameter-warnings.ts"],"names":[],"mappings":";;;;;;AAQA,6BAAwB;AAIX,QAAA,8BAA8B,GAAG,OAAC,CAAC,MAAM,CAAC;IACtD,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,IAAI,EAAE,OAAC,CAAC,MAAM,EAAE;IAChB,GAAG,EAAE,OAAC,CAAC,MAAM,EAAE;IACf,KAAK,EAAE,OAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClC,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC,CAAC;AAEU,QAAA,2BAA2B,GAAG,OAAC,CAAC,MAAM,CAAC;IACnD,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,OAAC,CAAC,IAAI,CAAC,CAAC,2BAA2B,EAAE,eAAe,EAAE,uBAAuB,CAAC,CAAC;CACvF,CAAC,CAAC;AAWH,MAAM,YAAY,GAAG,EAAE,CAAC;AACxB,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAI9B,gCACC,MAAoC;IAEpC,IAAI,MAAM,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAGjC,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB;SACrC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,2BAA2B,CAAC;SACnE,GAAG,CAA2B,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC5C,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,KAAK,EAAE,QAAQ;QACf,MAAM,EAAE,OAAO,CAAC,KAAK;KACrB,CAAC,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,MAAM,CAAC,gBAAgB;SACnC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,2BAA2B,CAAC;SACzE,GAAG,CAA2B,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC/C,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,GAAG,EAAE,UAAU,CAAC,GAAG;QACnB,KAAK,EAAE,OAAO;KACd,CAAC,CAAC,CAAC;IACL,OAAO,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC;AAC9B,CAAC;AAEM,KAAK,2CAA2C,IAItD;IAKA,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAChD,MAAM,QAAQ,GAA+B,EAAE,CAAC;IAChD,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,MAAM,kBAAkB,GAAG,CAAC,KAA4B,EAAE,EAAE;QAC3D,YAAY,EAAE,CAAC;QACf,IAAI,OAAO,CAAC,MAAM,GAAG,kBAAkB;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC;QAC/C,IAAI,CAAC,WAAW,EAAE,CAAC;YAClB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBAClC,kBAAkB,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC,CAAC;YACnE,CAAC;YACD,SAAS;QACV,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CACvC,SAAS,CAAC,GAAG,CACZ,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,MAAM,gBAAgB,CAAC,yBAAyB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAC3F,CACD,CAAC;QACF,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;YAClC,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBACpC,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;oBAC9B,kBAAkB,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;gBACjF,CAAC;qBAAM,CAAC;oBACP,QAAQ,CAAC,IAAI,CACZ,GAAG,sBAAsB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;wBAC1D,GAAG,OAAO;wBACV,WAAW;qBACX,CAAC,CAAC,CACH,CAAC;gBACH,CAAC;gBACD,OAAO;YACR,CAAC;YAED,kBAAkB,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC;YACvE,MAAM,EAAE,KAAK,CAAC,qDAAqD,EAAE;gBACpE,WAAW;gBACX,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;aACxF,CAAC,CAAC;QACJ,CAAC,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;AAC7E,CAAC;AAED,oCACC,QAA6C,EAC7C,OAAO,GAAqC,EAAE,EAC9C,YAAY,GAAG,OAAO,CAAC,MAAM;IAE7B,MAAM,WAAW,GAAG;QACnB,2BAA2B,EAAE,+BAA+B;QAC5D,eAAe,EAAE,yBAAyB;QAC1C,uBAAuB,EAAE,8BAA8B;KACvD,CAAC;IACF,MAAM,WAAW,GAChB,OAAO,CAAC,MAAM,GAAG,CAAC;QACjB,CAAC,CAAC,8BAA8B;YAC/B,OAAO;iBACL,GAAG,CACH,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,CACrC,GAAG,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,eAAe,WAAW,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,MAAM,CAAC,EAAE,CACzF;iBACA,IAAI,CAAC,IAAI,CAAC;YACZ,CAAC,YAAY,GAAG,OAAO,CAAC,MAAM;gBAC7B,CAAC,CAAC,aAAa,OAAO,CAAC,MAAM,OAAO,YAAY,iBAAiB;gBACjE,CAAC,CAAC,EAAE,CAAC;YACN,wGAAwG;QACzG,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC;IAE9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAChC,MAAM,KAAK,GACV,OAAO,CAAC,KAAK,KAAK,QAAQ;YACzB,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,OAAO,OAAO,CAAC,GAAG,aAAa,OAAO,CAAC,MAAM,IAAI,kBAAkB,EAAE;YACxF,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,OAAO,OAAO,CAAC,GAAG,qBAAqB,CAAC;QAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SACnC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,QAAQ,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;SAClE,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO;QACN,mCAAmC,OAAO,IAAI;YAC7C,sFAAsF;YACtF,+FAA+F;YAC/F,gGAAgG;QACjG,WAAW;KACX;SACC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;SACpD,IAAI,CAAC,GAAG,CAAC,CAAC;AACb,CAAC"}

package/dist/tools/orchestration/verification/scripted-gate-run.d.ts

@@ -1,5 +1,6 @@
 import { type ChatModelRecoveryOptions, type VerificationAnalysis } from './analyze-result';
 import type { PreparedVerificationRun } from './prepare-run';
+import type { ParameterCheckRun } from './resolved-parameter-warnings';
 import type { ExecutionRunResult } from './types';
 import type { OrchestrationContext } from '../../../types';
 import type { WaitGateScript, WorkflowBuildOutcome, WorkflowLoopState } from '../../../workflow-loop/workflow-loop-state';
@@ -18,9 +19,11 @@ export interface ScriptedGateRunArgs {
     runId: string;
     chatModelRelatedNodeNames?: ReadonlySet<string>;
     chatModelRecovery?: ChatModelRecoveryOptions;
+    verificationScope?: ReadonlySet<string>;
 }
 export declare function runScriptedGateVerification(args: ScriptedGateRunArgs): Promise<{
     result: ExecutionRunResult;
     analysis: VerificationAnalysis;
+    parameterCheckRuns: ParameterCheckRun[];
 }>;
 export {};

package/dist/tools/orchestration/verification/scripted-gate-run.js

@@ -24,10 +24,18 @@ async function runScriptedGateVerification(args) {
             runId,
             chatModelRelatedNodeNames,
             chatModelRecovery,
+            verificationScope: args.verificationScope,
         });
         passes.push({ label: decision.label, result, analysis });
     }
-    return { result: mergeResults(passes), analysis: mergeAnalyses(script, prepared, passes) };
+    return {
+        result: mergeResults(passes),
+        analysis: mergeAnalyses(script, prepared, passes),
+        parameterCheckRuns: passes.map(({ result, analysis }) => ({
+            executionId: result.executionId,
+            nodeNames: analysis.reachedSimulatedNodes.map((node) => node.nodeName),
+        })),
+    };
 }
 function mergeResults(passes) {
     const last = passes[passes.length - 1];
@@ -78,11 +86,23 @@ function mergeAnalyses(script, prepared, passes) {
                 `${nodesNotReached.join(', ')}. If a decision should route to them, inspect the ` +
                 'branch wiring before editing.'
             : '');
-    const reachedSimulatedNodes = prepared.simulatedNodes.filter((node) => reachedNames.has(node.nodeName));
+    const plannedSimulated = prepared.simulatedNodes.filter((node) => reachedNames.has(node.nodeName));
+    const plannedSimulatedNames = new Set(plannedSimulated.map((node) => node.nodeName));
+    const workflowPinnedNodeNames = [
+        ...new Set(passes.flatMap((pass) => pass.analysis.workflowPinnedNodeNames)),
+    ].filter((name) => !plannedSimulatedNames.has(name));
+    const reachedSimulatedNodes = [
+        ...plannedSimulated,
+        ...workflowPinnedNodeNames.map((name) => ({
+            nodeName: name,
+            reason: analyze_result_1.WORKFLOW_PIN_SIMULATION_REASON,
+        })),
+    ];
     return {
         success: passes.every((pass) => pass.analysis.success),
         reachedNames,
         reachedSimulatedNodes,
+        workflowPinnedNodeNames,
         nodesNotReached,
         remediation: failing?.analysis.remediation,
         nodesExecuted: [...reachedNames],

package/dist/tools/orchestration/verification/scripted-gate-run.js.map

@@ -1 +1 @@
-{"version":3,"file":"scripted-gate-run.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/scripted-gate-run.ts"],"names":[],"mappings":";;;AAOA,qDAK0B;AAoCnB,KAAK,sCACX,IAAyB;IAEzB,MAAM,EACL,MAAM,EACN,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,WAAW,EACX,KAAK,EACL,yBAAyB,EACzB,iBAAiB,GACjB,GAAG,IAAI,CAAC;IACT,MAAM,QAAQ,GAAG,QAAQ,CAAC,mBAAmB,IAAI,EAAE,CAAC;IAEpD,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE;YACrE,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,mBAAmB,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE;YACvE,eAAe,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC;YACjC,iBAAiB,EAAE,IAAI;YACvB,WAAW,EAAE,IAAI,CAAC,WAAW;SAC7B,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAA,0CAAyB,EAAC;YAC1C,MAAM;YACN,YAAY;YACZ,cAAc,EAAE,QAAQ,CAAC,cAAc;YACvC,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,WAAW;YACX,KAAK;YACL,yBAAyB;YACzB,iBAAiB;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED,SAAS,YAAY,CAAC,MAAsB;IAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY;YAAE,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC;IAID,MAAM,aAAa,GAAG,OAAO;QAC5B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS;YACpC,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM;QACxB,CAAC,CAAC,SAAS,CAAC;IAEb,OAAO;QACN,GAAG,IAAI,CAAC,MAAM;QACd,MAAM,EAAE,aAAa,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM;QAC3C,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QACrD,iBAAiB,EAAE,CAAC,GAAG,iBAAiB,CAAC;QACzC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,IAAI,OAAO,EAAE,QAAQ,CAAC,YAAY;KAC9D,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACrB,MAAsB,EACtB,QAAiC,EACjC,MAAsB;IAEtB,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY;YAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAG;QACvB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;KACnE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1C,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC5C,GAAG,SAAS;QACZ,OAAO,EAAE,cAAc,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,OAAO,IAAI,uBAAuB,EAAE;KACpF,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,OAAO,GAAG,MAAM;SACpB,GAAG,CACH,CAAC,IAAI,EAAE,EAAE,CACR,IAAI,IAAI,CAAC,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,iBAAiB,EAAE,CACrH;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,YAAY,GACjB,mCAAmC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,6BAA6B;QACrF,IAAI,MAAM,CAAC,QAAQ,qBAAqB,MAAM,CAAC,OAAO,CAAC,MAAM,QAAQ,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI;QAC9F,sCAAsC,OAAO,+CAA+C;QAC5F,sEAAsE;QACtE,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC1B,CAAC,CAAC,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,4CAA4C;gBAC/E,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,oDAAoD;gBACjF,+BAA+B;YAChC,CAAC,CAAC,EAAE,CAAC,CAAC;IAIR,MAAM,qBAAqB,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACrE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAC/B,CAAC;IAEF,OAAO;QACN,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QACtD,YAAY;QACZ,qBAAqB;QACrB,eAAe;QACf,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,WAAW;QAC1C,aAAa,EAAE,CAAC,GAAG,YAAY,CAAC;QAChC,cAAc,EAAE,IAAA,oCAAmB,EAAC,qBAAqB,EAAE,KAAK,CAAC;QACjE,YAAY;QACZ,YAAY,EAAE,OAAO,EAAE,QAAQ,CAAC,YAAY;QAC5C,UAAU;KACV,CAAC;AACH,CAAC"}
+{"version":3,"file":"scripted-gate-run.js","sourceRoot":"","sources":["../../../../src/tools/orchestration/verification/scripted-gate-run.ts"],"names":[],"mappings":";;;AAOA,qDAM0B;AAsCnB,KAAK,sCAAsC,IAAyB;IAK1E,MAAM,EACL,MAAM,EACN,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,WAAW,EACX,KAAK,EACL,yBAAyB,EACzB,iBAAiB,GACjB,GAAG,IAAI,CAAC;IACT,MAAM,QAAQ,GAAG,QAAQ,CAAC,mBAAmB,IAAI,EAAE,CAAC;IAEpD,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE;YACrE,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,mBAAmB,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE;YACvE,eAAe,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC;YACjC,iBAAiB,EAAE,IAAI;YACvB,WAAW,EAAE,IAAI,CAAC,WAAW;SAC7B,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAA,0CAAyB,EAAC;YAC1C,MAAM;YACN,YAAY;YACZ,cAAc,EAAE,QAAQ,CAAC,cAAc;YACvC,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,WAAW;YACX,KAAK;YACL,yBAAyB;YACzB,iBAAiB;YACjB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;SACzC,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO;QACN,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC;QAC5B,QAAQ,EAAE,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC;QACjD,kBAAkB,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;YACzD,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,SAAS,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;SACtE,CAAC,CAAC;KACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,MAAsB;IAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY;YAAE,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC;IAID,MAAM,aAAa,GAAG,OAAO;QAC5B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS;YACpC,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM;QACxB,CAAC,CAAC,SAAS,CAAC;IAEb,OAAO;QACN,GAAG,IAAI,CAAC,MAAM;QACd,MAAM,EAAE,aAAa,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM;QAC3C,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QACrD,iBAAiB,EAAE,CAAC,GAAG,iBAAiB,CAAC;QACzC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,IAAI,OAAO,EAAE,QAAQ,CAAC,YAAY;KAC9D,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACrB,MAAsB,EACtB,QAAiC,EACjC,MAAsB;IAEtB,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY;YAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAG;QACvB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;KACnE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1C,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC5C,GAAG,SAAS;QACZ,OAAO,EAAE,cAAc,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,OAAO,IAAI,uBAAuB,EAAE;KACpF,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,OAAO,GAAG,MAAM;SACpB,GAAG,CACH,CAAC,IAAI,EAAE,EAAE,CACR,IAAI,IAAI,CAAC,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,iBAAiB,EAAE,CACrH;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,YAAY,GACjB,mCAAmC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,6BAA6B;QACrF,IAAI,MAAM,CAAC,QAAQ,qBAAqB,MAAM,CAAC,OAAO,CAAC,MAAM,QAAQ,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI;QAC9F,sCAAsC,OAAO,+CAA+C;QAC5F,sEAAsE;QACtE,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC1B,CAAC,CAAC,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,4CAA4C;gBAC/E,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,oDAAoD;gBACjF,+BAA+B;YAChC,CAAC,CAAC,EAAE,CAAC,CAAC;IAIR,MAAM,gBAAgB,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAChE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAC/B,CAAC;IAGF,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrF,MAAM,uBAAuB,GAAG;QAC/B,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;KAC3E,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,MAAM,qBAAqB,GAAG;QAC7B,GAAG,gBAAgB;QACnB,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACzC,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,+CAA8B;SACtC,CAAC,CAAC;KACH,CAAC;IAEF,OAAO;QACN,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QACtD,YAAY;QACZ,qBAAqB;QACrB,uBAAuB;QACvB,eAAe;QACf,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,WAAW;QAC1C,aAAa,EAAE,CAAC,GAAG,YAAY,CAAC;QAChC,cAAc,EAAE,IAAA,oCAAmB,EAAC,qBAAqB,EAAE,KAAK,CAAC;QACjE,YAAY;QACZ,YAAY,EAAE,OAAO,EAAE,QAAQ,CAAC,YAAY;QAC5C,UAAU;KACV,CAAC;AACH,CAAC"}

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

@@ -1,5 +1,5 @@
 import type { ExecutionNodeError, OrchestrationContext } from '../../../types';
-import type { RemediationMetadata } from '../../../workflow-loop/workflow-loop-state';
+import type { RemediationMetadata, VerificationClaim } from '../../../workflow-loop/workflow-loop-state';
 export interface VerifyToolInput {
     workItemId?: string;
     workflowId: string;
@@ -9,6 +9,7 @@ export interface VerifyToolInput {
     includeData?: boolean;
     maxDataChars?: number;
     fixtureOverrides?: Record<string, Array<Record<string, unknown>>>;
+    fixTargetNodeNames?: string[];
     allowZeroItemFixtures?: string[];
 }
 export interface ResolvedVerifyInput extends VerifyToolInput {
@@ -19,6 +20,11 @@ export type ExecutionRunResult = Awaited<ReturnType<NonNullable<OrchestrationCon
 export interface VerificationNodePreview {
     nodeName: string;
     itemCount?: number;
+    outputs?: Array<{
+        index: number;
+        name?: string;
+        itemCount?: number;
+    }>;
     preview: string;
     truncated: boolean;
     chars: number;
@@ -40,6 +46,7 @@ export interface VerifyBuiltWorkflowOutput {
     nodeErrors?: ExecutionNodeError[];
     nodesNotReached?: string[];
     coverageNote?: string;
+    claim?: VerificationClaim;
     data?: Record<string, unknown>;
     error?: string;
     remediation?: RemediationMetadata;

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

@@ -9,6 +9,7 @@ export declare const verifyBuiltWorkflowInputSchema: z.ZodObject<{
     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">>>;
+    fixTargetNodeNames: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     allowZeroItemFixtures: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
 }, "strip", z.ZodTypeAny, {
     workItemId?: string | undefined;
@@ -19,6 +20,7 @@ export declare const verifyBuiltWorkflowInputSchema: z.ZodObject<{
     includeData?: boolean | undefined;
     maxDataChars?: number | undefined;
     fixtureOverrides?: Record<string, Record<string, unknown>[]> | undefined;
+    fixTargetNodeNames?: string[] | undefined;
     allowZeroItemFixtures?: string[] | undefined;
 }, {
     workItemId?: string | undefined;
@@ -29,6 +31,7 @@ export declare const verifyBuiltWorkflowInputSchema: z.ZodObject<{
     includeData?: boolean | undefined;
     maxDataChars?: number | undefined;
     fixtureOverrides?: Record<string, Record<string, unknown>[]> | undefined;
+    fixTargetNodeNames?: string[] | undefined;
     allowZeroItemFixtures?: string[] | undefined;
 }>;
 export declare function createVerifyBuiltWorkflowTool(context: OrchestrationContext): import("@n8n/agents").BuiltTool;