npm - @n8n/instance-ai - Versions diffs - 1.24.4 → 1.25.0 - Mend

@n8n/instance-ai 1.24.4 → 1.25.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (270) hide show

package/dist/workflow-loop/workflow-loop-state.d.ts CHANGED Viewed

@@ -80,6 +80,7 @@ export declare const workflowLoopStateSchema: z.ZodObject<{
     lastTaskId: z.ZodOptional<z.ZodString>;
     lastExecutionId: z.ZodOptional<z.ZodString>;
     lastFailureSignature: z.ZodOptional<z.ZodString>;
+    lastFailedNodeName: z.ZodOptional<z.ZodString>;
     lastWorkflowInspection: z.ZodOptional<z.ZodString>;
     rebuildAttempts: z.ZodNumber;
     mockedCredentialTypes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
@@ -133,6 +134,7 @@ export declare const workflowLoopStateSchema: z.ZodObject<{
     lastTaskId?: string | undefined;
     lastExecutionId?: string | undefined;
     lastFailureSignature?: string | undefined;
+    lastFailedNodeName?: string | undefined;
     lastWorkflowInspection?: string | undefined;
     rebuildAttempts: number;
     mockedCredentialTypes?: string[] | undefined;
@@ -172,6 +174,7 @@ export declare const workflowLoopStateSchema: z.ZodObject<{
     lastTaskId?: string | undefined;
     lastExecutionId?: string | undefined;
     lastFailureSignature?: string | undefined;
+    lastFailedNodeName?: string | undefined;
     lastWorkflowInspection?: string | undefined;
     rebuildAttempts: number;
     mockedCredentialTypes?: string[] | undefined;
@@ -262,14 +265,130 @@ export declare const executionNodeErrorSchema: z.ZodObject<{
     nodeName: string;
     message?: string | undefined;
 }>;
+export declare const verificationClaimLevelSchema: z.ZodEnum<["verified", "partial", "unproven", "failed"]>;
+export type VerificationClaimLevel = z.infer<typeof verificationClaimLevelSchema>;
+export declare const verificationLiveStateSchema: z.ZodEnum<["unpublished", "live-current", "live-stale"]>;
+export type VerificationLiveState = z.infer<typeof verificationLiveStateSchema>;
+export declare const verificationClaimSchema: z.ZodObject<{
+    level: z.ZodEnum<["verified", "partial", "unproven", "failed"]>;
+    plannedNodeCount: z.ZodNumber;
+    reachedNodeCount: z.ZodNumber;
+    nodesNotReached: z.ZodArray<z.ZodString, "many">;
+    simulatedNodes: z.ZodArray<z.ZodObject<{
+        nodeName: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        nodeName: string;
+        reason: string;
+    }, {
+        nodeName: string;
+        reason: string;
+    }>, "many">;
+    pinnedNodes: z.ZodArray<z.ZodString, "many">;
+    unprovenTargets: z.ZodArray<z.ZodString, "many">;
+    pendingTriggers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    publishReady: z.ZodBoolean;
+    liveTestRecommended: z.ZodBoolean;
+    liveState: z.ZodOptional<z.ZodEnum<["unpublished", "live-current", "live-stale"]>>;
+    verifiedVersionId: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    level: "failed" | "partial" | "unproven" | "verified";
+    plannedNodeCount: number;
+    reachedNodeCount: number;
+    nodesNotReached: string[];
+    simulatedNodes: {
+        nodeName: string;
+        reason: string;
+    }[];
+    pinnedNodes: string[];
+    unprovenTargets: string[];
+    pendingTriggers?: string[] | undefined;
+    publishReady: boolean;
+    liveTestRecommended: boolean;
+    liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+    verifiedVersionId?: string | undefined;
+}, {
+    level: "failed" | "partial" | "unproven" | "verified";
+    plannedNodeCount: number;
+    reachedNodeCount: number;
+    nodesNotReached: string[];
+    simulatedNodes: {
+        nodeName: string;
+        reason: string;
+    }[];
+    pinnedNodes: string[];
+    unprovenTargets: string[];
+    pendingTriggers?: string[] | undefined;
+    publishReady: boolean;
+    liveTestRecommended: boolean;
+    liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+    verifiedVersionId?: string | undefined;
+}>;
+export type VerificationClaim = z.infer<typeof verificationClaimSchema>;
 export declare const workflowVerificationEvidenceSchema: z.ZodObject<{
     attempted: z.ZodBoolean;
     success: z.ZodBoolean;
     executionId: z.ZodOptional<z.ZodString>;
     status: z.ZodOptional<z.ZodEnum<["success", "error", "waiting", "running", "unknown"]>>;
     failureSignature: z.ZodOptional<z.ZodString>;
+    claim: z.ZodOptional<z.ZodObject<{
+        level: z.ZodEnum<["verified", "partial", "unproven", "failed"]>;
+        plannedNodeCount: z.ZodNumber;
+        reachedNodeCount: z.ZodNumber;
+        nodesNotReached: z.ZodArray<z.ZodString, "many">;
+        simulatedNodes: z.ZodArray<z.ZodObject<{
+            nodeName: z.ZodString;
+            reason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            nodeName: string;
+            reason: string;
+        }, {
+            nodeName: string;
+            reason: string;
+        }>, "many">;
+        pinnedNodes: z.ZodArray<z.ZodString, "many">;
+        unprovenTargets: z.ZodArray<z.ZodString, "many">;
+        pendingTriggers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        publishReady: z.ZodBoolean;
+        liveTestRecommended: z.ZodBoolean;
+        liveState: z.ZodOptional<z.ZodEnum<["unpublished", "live-current", "live-stale"]>>;
+        verifiedVersionId: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    }, {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    }>>;
     evidence: z.ZodOptional<z.ZodObject<{
         nodesExecuted: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        triggerNodeName: z.ZodOptional<z.ZodString>;
         nodesNotReached: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         producedOutputRows: z.ZodOptional<z.ZodNumber>;
         errorNodeName: z.ZodOptional<z.ZodString>;
@@ -286,6 +405,7 @@ export declare const workflowVerificationEvidenceSchema: z.ZodObject<{
         }>, "many">>;
     }, "strip", z.ZodTypeAny, {
         nodesExecuted?: string[] | undefined;
+        triggerNodeName?: string | undefined;
         nodesNotReached?: string[] | undefined;
         producedOutputRows?: number | undefined;
         errorNodeName?: string | undefined;
@@ -296,6 +416,7 @@ export declare const workflowVerificationEvidenceSchema: z.ZodObject<{
         }[] | undefined;
     }, {
         nodesExecuted?: string[] | undefined;
+        triggerNodeName?: string | undefined;
         nodesNotReached?: string[] | undefined;
         producedOutputRows?: number | undefined;
         errorNodeName?: string | undefined;
@@ -312,8 +433,26 @@ export declare const workflowVerificationEvidenceSchema: z.ZodObject<{
     executionId?: string | undefined;
     status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
     failureSignature?: string | undefined;
+    claim?: {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    } | undefined;
     evidence?: {
         nodesExecuted?: string[] | undefined;
+        triggerNodeName?: string | undefined;
         nodesNotReached?: string[] | undefined;
         producedOutputRows?: number | undefined;
         errorNodeName?: string | undefined;
@@ -330,8 +469,26 @@ export declare const workflowVerificationEvidenceSchema: z.ZodObject<{
     executionId?: string | undefined;
     status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
     failureSignature?: string | undefined;
+    claim?: {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    } | undefined;
     evidence?: {
         nodesExecuted?: string[] | undefined;
+        triggerNodeName?: string | undefined;
         nodesNotReached?: string[] | undefined;
         producedOutputRows?: number | undefined;
         errorNodeName?: string | undefined;
@@ -344,6 +501,182 @@ export declare const workflowVerificationEvidenceSchema: z.ZodObject<{
     verifiedAt?: string | undefined;
 }>;
 export type WorkflowVerificationEvidence = z.infer<typeof workflowVerificationEvidenceSchema>;
+export declare const workflowVerificationProgressSchema: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodObject<{
+    attempted: z.ZodBoolean;
+    claim: z.ZodObject<{
+        level: z.ZodEnum<["verified", "partial", "unproven", "failed"]>;
+        plannedNodeCount: z.ZodNumber;
+        reachedNodeCount: z.ZodNumber;
+        nodesNotReached: z.ZodArray<z.ZodString, "many">;
+        simulatedNodes: z.ZodArray<z.ZodObject<{
+            nodeName: z.ZodString;
+            reason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            nodeName: string;
+            reason: string;
+        }, {
+            nodeName: string;
+            reason: string;
+        }>, "many">;
+        pinnedNodes: z.ZodArray<z.ZodString, "many">;
+        unprovenTargets: z.ZodArray<z.ZodString, "many">;
+        pendingTriggers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        publishReady: z.ZodBoolean;
+        liveTestRecommended: z.ZodBoolean;
+        liveState: z.ZodOptional<z.ZodEnum<["unpublished", "live-current", "live-stale"]>>;
+        verifiedVersionId: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    }, {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    }>;
+    evidence: z.ZodOptional<z.ZodObject<{
+        nodesExecuted: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        triggerNodeName: z.ZodOptional<z.ZodString>;
+        nodesNotReached: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        producedOutputRows: z.ZodOptional<z.ZodNumber>;
+        errorNodeName: z.ZodOptional<z.ZodString>;
+        errorMessage: z.ZodOptional<z.ZodString>;
+        nodeErrors: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            nodeName: z.ZodString;
+            message: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            nodeName: string;
+            message?: string | undefined;
+        }, {
+            nodeName: string;
+            message?: string | undefined;
+        }>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        nodesExecuted?: string[] | undefined;
+        triggerNodeName?: string | undefined;
+        nodesNotReached?: string[] | undefined;
+        producedOutputRows?: number | undefined;
+        errorNodeName?: string | undefined;
+        errorMessage?: string | undefined;
+        nodeErrors?: {
+            nodeName: string;
+            message?: string | undefined;
+        }[] | undefined;
+    }, {
+        nodesExecuted?: string[] | undefined;
+        triggerNodeName?: string | undefined;
+        nodesNotReached?: string[] | undefined;
+        producedOutputRows?: number | undefined;
+        errorNodeName?: string | undefined;
+        errorMessage?: string | undefined;
+        nodeErrors?: {
+            nodeName: string;
+            message?: string | undefined;
+        }[] | undefined;
+    }>>;
+    executionId: z.ZodOptional<z.ZodString>;
+    failureSignature: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodEnum<["success", "error", "waiting", "running", "unknown"]>>;
+    success: z.ZodBoolean;
+    verifiedAt: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    attempted: boolean;
+    claim: {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    };
+    evidence?: {
+        nodesExecuted?: string[] | undefined;
+        triggerNodeName?: string | undefined;
+        nodesNotReached?: string[] | undefined;
+        producedOutputRows?: number | undefined;
+        errorNodeName?: string | undefined;
+        errorMessage?: string | undefined;
+        nodeErrors?: {
+            nodeName: string;
+            message?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+    executionId?: string | undefined;
+    failureSignature?: string | undefined;
+    status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
+    success: boolean;
+    verifiedAt?: string | undefined;
+}, {
+    attempted: boolean;
+    claim: {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    };
+    evidence?: {
+        nodesExecuted?: string[] | undefined;
+        triggerNodeName?: string | undefined;
+        nodesNotReached?: string[] | undefined;
+        producedOutputRows?: number | undefined;
+        errorNodeName?: string | undefined;
+        errorMessage?: string | undefined;
+        nodeErrors?: {
+            nodeName: string;
+            message?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+    executionId?: string | undefined;
+    failureSignature?: string | undefined;
+    status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
+    success: boolean;
+    verifiedAt?: string | undefined;
+}>, "many">>;
+export type WorkflowTriggerVerificationProgress = z.infer<typeof workflowVerificationProgressSchema>[string];
 export declare const workflowVerificationReadinessSchema: z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
     status: z.ZodLiteral<"ready">;
 }, "strip", z.ZodTypeAny, {
@@ -486,6 +819,29 @@ export declare const waitGateScriptSchema: z.ZodObject<{
     }[];
 }>;
 export type WaitGateScript = z.infer<typeof waitGateScriptSchema>;
+export declare const groupingOutcomeSchema: z.ZodObject<{
+    topLevelItemCount: z.ZodNumber;
+    ceiling: z.ZodNumber;
+    groupCount: z.ZodNumber;
+    droppedGroupCount: z.ZodNumber;
+    decision: z.ZodEnum<["grouped", "not_warranted", "under_ceiling", "missing"]>;
+    reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    topLevelItemCount: number;
+    ceiling: number;
+    groupCount: number;
+    droppedGroupCount: number;
+    decision: "grouped" | "missing" | "not_warranted" | "under_ceiling";
+    reason?: string | undefined;
+}, {
+    topLevelItemCount: number;
+    ceiling: number;
+    groupCount: number;
+    droppedGroupCount: number;
+    decision: "grouped" | "missing" | "not_warranted" | "under_ceiling";
+    reason?: string | undefined;
+}>;
+export type GroupingOutcome = z.infer<typeof groupingOutcomeSchema>;
 export declare const workflowBuildOutcomeSchema: z.ZodObject<{
     workItemId: z.ZodString;
     runId: z.ZodOptional<z.ZodString>;
@@ -711,15 +1067,268 @@ export declare const workflowBuildOutcomeSchema: z.ZodObject<{
         remainingSubmitFixes?: number | undefined;
         attemptCount?: number | undefined;
     }>>;
+    grouping: z.ZodOptional<z.ZodObject<{
+        topLevelItemCount: z.ZodNumber;
+        ceiling: z.ZodNumber;
+        groupCount: z.ZodNumber;
+        droppedGroupCount: z.ZodNumber;
+        decision: z.ZodEnum<["grouped", "not_warranted", "under_ceiling", "missing"]>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        topLevelItemCount: number;
+        ceiling: number;
+        groupCount: number;
+        droppedGroupCount: number;
+        decision: "grouped" | "missing" | "not_warranted" | "under_ceiling";
+        reason?: string | undefined;
+    }, {
+        topLevelItemCount: number;
+        ceiling: number;
+        groupCount: number;
+        droppedGroupCount: number;
+        decision: "grouped" | "missing" | "not_warranted" | "under_ceiling";
+        reason?: string | undefined;
+    }>>;
     verifyAttempts: z.ZodOptional<z.ZodNumber>;
+    verificationProgress: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodObject<{
+        attempted: z.ZodBoolean;
+        claim: z.ZodObject<{
+            level: z.ZodEnum<["verified", "partial", "unproven", "failed"]>;
+            plannedNodeCount: z.ZodNumber;
+            reachedNodeCount: z.ZodNumber;
+            nodesNotReached: z.ZodArray<z.ZodString, "many">;
+            simulatedNodes: z.ZodArray<z.ZodObject<{
+                nodeName: z.ZodString;
+                reason: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                nodeName: string;
+                reason: string;
+            }, {
+                nodeName: string;
+                reason: string;
+            }>, "many">;
+            pinnedNodes: z.ZodArray<z.ZodString, "many">;
+            unprovenTargets: z.ZodArray<z.ZodString, "many">;
+            pendingTriggers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            publishReady: z.ZodBoolean;
+            liveTestRecommended: z.ZodBoolean;
+            liveState: z.ZodOptional<z.ZodEnum<["unpublished", "live-current", "live-stale"]>>;
+            verifiedVersionId: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        }, {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        }>;
+        evidence: z.ZodOptional<z.ZodObject<{
+            nodesExecuted: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            triggerNodeName: z.ZodOptional<z.ZodString>;
+            nodesNotReached: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            producedOutputRows: z.ZodOptional<z.ZodNumber>;
+            errorNodeName: z.ZodOptional<z.ZodString>;
+            errorMessage: z.ZodOptional<z.ZodString>;
+            nodeErrors: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                nodeName: z.ZodString;
+                message: z.ZodOptional<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                nodeName: string;
+                message?: string | undefined;
+            }, {
+                nodeName: string;
+                message?: string | undefined;
+            }>, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
+            nodesNotReached?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+            nodeErrors?: {
+                nodeName: string;
+                message?: string | undefined;
+            }[] | undefined;
+        }, {
+            nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
+            nodesNotReached?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+            nodeErrors?: {
+                nodeName: string;
+                message?: string | undefined;
+            }[] | undefined;
+        }>>;
+        executionId: z.ZodOptional<z.ZodString>;
+        failureSignature: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodEnum<["success", "error", "waiting", "running", "unknown"]>>;
+        success: z.ZodBoolean;
+        verifiedAt: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        attempted: boolean;
+        claim: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        };
+        evidence?: {
+            nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
+            nodesNotReached?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+            nodeErrors?: {
+                nodeName: string;
+                message?: string | undefined;
+            }[] | undefined;
+        } | undefined;
+        executionId?: string | undefined;
+        failureSignature?: string | undefined;
+        status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
+        success: boolean;
+        verifiedAt?: string | undefined;
+    }, {
+        attempted: boolean;
+        claim: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        };
+        evidence?: {
+            nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
+            nodesNotReached?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+            nodeErrors?: {
+                nodeName: string;
+                message?: string | undefined;
+            }[] | undefined;
+        } | undefined;
+        executionId?: string | undefined;
+        failureSignature?: string | undefined;
+        status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
+        success: boolean;
+        verifiedAt?: string | undefined;
+    }>, "many">>>;
     verification: z.ZodOptional<z.ZodObject<{
         attempted: z.ZodBoolean;
         success: z.ZodBoolean;
         executionId: z.ZodOptional<z.ZodString>;
         status: z.ZodOptional<z.ZodEnum<["success", "error", "waiting", "running", "unknown"]>>;
         failureSignature: z.ZodOptional<z.ZodString>;
+        claim: z.ZodOptional<z.ZodObject<{
+            level: z.ZodEnum<["verified", "partial", "unproven", "failed"]>;
+            plannedNodeCount: z.ZodNumber;
+            reachedNodeCount: z.ZodNumber;
+            nodesNotReached: z.ZodArray<z.ZodString, "many">;
+            simulatedNodes: z.ZodArray<z.ZodObject<{
+                nodeName: z.ZodString;
+                reason: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                nodeName: string;
+                reason: string;
+            }, {
+                nodeName: string;
+                reason: string;
+            }>, "many">;
+            pinnedNodes: z.ZodArray<z.ZodString, "many">;
+            unprovenTargets: z.ZodArray<z.ZodString, "many">;
+            pendingTriggers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            publishReady: z.ZodBoolean;
+            liveTestRecommended: z.ZodBoolean;
+            liveState: z.ZodOptional<z.ZodEnum<["unpublished", "live-current", "live-stale"]>>;
+            verifiedVersionId: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        }, {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        }>>;
         evidence: z.ZodOptional<z.ZodObject<{
             nodesExecuted: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            triggerNodeName: z.ZodOptional<z.ZodString>;
             nodesNotReached: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
             producedOutputRows: z.ZodOptional<z.ZodNumber>;
             errorNodeName: z.ZodOptional<z.ZodString>;
@@ -736,6 +1345,7 @@ export declare const workflowBuildOutcomeSchema: z.ZodObject<{
             }>, "many">>;
         }, "strip", z.ZodTypeAny, {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -746,6 +1356,7 @@ export declare const workflowBuildOutcomeSchema: z.ZodObject<{
             }[] | undefined;
         }, {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -762,8 +1373,26 @@ export declare const workflowBuildOutcomeSchema: z.ZodObject<{
         executionId?: string | undefined;
         status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
         failureSignature?: string | undefined;
+        claim?: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        } | undefined;
         evidence?: {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -780,8 +1409,26 @@ export declare const workflowBuildOutcomeSchema: z.ZodObject<{
         executionId?: string | undefined;
         status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
         failureSignature?: string | undefined;
+        claim?: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        } | undefined;
         evidence?: {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -885,15 +1532,78 @@ export declare const workflowBuildOutcomeSchema: z.ZodObject<{
         remainingSubmitFixes?: number | undefined;
         attemptCount?: number | undefined;
     } | undefined;
+    grouping?: {
+        topLevelItemCount: number;
+        ceiling: number;
+        groupCount: number;
+        droppedGroupCount: number;
+        decision: "grouped" | "missing" | "not_warranted" | "under_ceiling";
+        reason?: string | undefined;
+    } | undefined;
     verifyAttempts?: number | undefined;
+    verificationProgress?: Record<string, {
+        attempted: boolean;
+        claim: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        };
+        evidence?: {
+            nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
+            nodesNotReached?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+            nodeErrors?: {
+                nodeName: string;
+                message?: string | undefined;
+            }[] | undefined;
+        } | undefined;
+        executionId?: string | undefined;
+        failureSignature?: string | undefined;
+        status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
+        success: boolean;
+        verifiedAt?: string | undefined;
+    }[]> | undefined;
     verification?: {
         attempted: boolean;
         success: boolean;
         executionId?: string | undefined;
         status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
         failureSignature?: string | undefined;
+        claim?: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        } | undefined;
         evidence?: {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -997,15 +1707,78 @@ export declare const workflowBuildOutcomeSchema: z.ZodObject<{
         remainingSubmitFixes?: number | undefined;
         attemptCount?: number | undefined;
     } | undefined;
+    grouping?: {
+        topLevelItemCount: number;
+        ceiling: number;
+        groupCount: number;
+        droppedGroupCount: number;
+        decision: "grouped" | "missing" | "not_warranted" | "under_ceiling";
+        reason?: string | undefined;
+    } | undefined;
     verifyAttempts?: number | undefined;
+    verificationProgress?: Record<string, {
+        attempted: boolean;
+        claim: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        };
+        evidence?: {
+            nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
+            nodesNotReached?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+            nodeErrors?: {
+                nodeName: string;
+                message?: string | undefined;
+            }[] | undefined;
+        } | undefined;
+        executionId?: string | undefined;
+        failureSignature?: string | undefined;
+        status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
+        success: boolean;
+        verifiedAt?: string | undefined;
+    }[]> | undefined;
     verification?: {
         attempted: boolean;
         success: boolean;
         executionId?: string | undefined;
         status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
         failureSignature?: string | undefined;
+        claim?: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        } | undefined;
         evidence?: {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -1118,8 +1891,64 @@ export declare const workflowVerificationObligationSchema: z.ZodObject<{
         executionId: z.ZodOptional<z.ZodString>;
         status: z.ZodOptional<z.ZodEnum<["success", "error", "waiting", "running", "unknown"]>>;
         failureSignature: z.ZodOptional<z.ZodString>;
+        claim: z.ZodOptional<z.ZodObject<{
+            level: z.ZodEnum<["verified", "partial", "unproven", "failed"]>;
+            plannedNodeCount: z.ZodNumber;
+            reachedNodeCount: z.ZodNumber;
+            nodesNotReached: z.ZodArray<z.ZodString, "many">;
+            simulatedNodes: z.ZodArray<z.ZodObject<{
+                nodeName: z.ZodString;
+                reason: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                nodeName: string;
+                reason: string;
+            }, {
+                nodeName: string;
+                reason: string;
+            }>, "many">;
+            pinnedNodes: z.ZodArray<z.ZodString, "many">;
+            unprovenTargets: z.ZodArray<z.ZodString, "many">;
+            pendingTriggers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            publishReady: z.ZodBoolean;
+            liveTestRecommended: z.ZodBoolean;
+            liveState: z.ZodOptional<z.ZodEnum<["unpublished", "live-current", "live-stale"]>>;
+            verifiedVersionId: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        }, {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        }>>;
         evidence: z.ZodOptional<z.ZodObject<{
             nodesExecuted: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            triggerNodeName: z.ZodOptional<z.ZodString>;
             nodesNotReached: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
             producedOutputRows: z.ZodOptional<z.ZodNumber>;
             errorNodeName: z.ZodOptional<z.ZodString>;
@@ -1136,6 +1965,7 @@ export declare const workflowVerificationObligationSchema: z.ZodObject<{
             }>, "many">>;
         }, "strip", z.ZodTypeAny, {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -1146,6 +1976,7 @@ export declare const workflowVerificationObligationSchema: z.ZodObject<{
             }[] | undefined;
         }, {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -1162,8 +1993,26 @@ export declare const workflowVerificationObligationSchema: z.ZodObject<{
         executionId?: string | undefined;
         status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
         failureSignature?: string | undefined;
+        claim?: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        } | undefined;
         evidence?: {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -1180,8 +2029,26 @@ export declare const workflowVerificationObligationSchema: z.ZodObject<{
         executionId?: string | undefined;
         status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
         failureSignature?: string | undefined;
+        claim?: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        } | undefined;
         evidence?: {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -1240,8 +2107,26 @@ export declare const workflowVerificationObligationSchema: z.ZodObject<{
         executionId?: string | undefined;
         status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
         failureSignature?: string | undefined;
+        claim?: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        } | undefined;
         evidence?: {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -1300,8 +2185,26 @@ export declare const workflowVerificationObligationSchema: z.ZodObject<{
         executionId?: string | undefined;
         status?: "error" | "running" | "success" | "unknown" | "waiting" | undefined;
         failureSignature?: string | undefined;
+        claim?: {
+            level: "failed" | "partial" | "unproven" | "verified";
+            plannedNodeCount: number;
+            reachedNodeCount: number;
+            nodesNotReached: string[];
+            simulatedNodes: {
+                nodeName: string;
+                reason: string;
+            }[];
+            pinnedNodes: string[];
+            unprovenTargets: string[];
+            pendingTriggers?: string[] | undefined;
+            publishReady: boolean;
+            liveTestRecommended: boolean;
+            liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+            verifiedVersionId?: string | undefined;
+        } | undefined;
         evidence?: {
             nodesExecuted?: string[] | undefined;
+            triggerNodeName?: string | undefined;
             nodesNotReached?: string[] | undefined;
             producedOutputRows?: number | undefined;
             errorNodeName?: string | undefined;
@@ -1328,6 +2231,61 @@ export declare const verificationResultSchema: z.ZodObject<{
     workflowId: z.ZodString;
     executionId: z.ZodOptional<z.ZodString>;
     verdict: z.ZodEnum<["verified", "needs_patch", "needs_rebuild", "trigger_only", "needs_user_input", "failed_terminal"]>;
+    claim: z.ZodOptional<z.ZodObject<{
+        level: z.ZodEnum<["verified", "partial", "unproven", "failed"]>;
+        plannedNodeCount: z.ZodNumber;
+        reachedNodeCount: z.ZodNumber;
+        nodesNotReached: z.ZodArray<z.ZodString, "many">;
+        simulatedNodes: z.ZodArray<z.ZodObject<{
+            nodeName: z.ZodString;
+            reason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            nodeName: string;
+            reason: string;
+        }, {
+            nodeName: string;
+            reason: string;
+        }>, "many">;
+        pinnedNodes: z.ZodArray<z.ZodString, "many">;
+        unprovenTargets: z.ZodArray<z.ZodString, "many">;
+        pendingTriggers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        publishReady: z.ZodBoolean;
+        liveTestRecommended: z.ZodBoolean;
+        liveState: z.ZodOptional<z.ZodEnum<["unpublished", "live-current", "live-stale"]>>;
+        verifiedVersionId: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    }, {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    }>>;
     workflowInspection: z.ZodOptional<z.ZodString>;
     failureSignature: z.ZodOptional<z.ZodString>;
     failedNodeName: z.ZodOptional<z.ZodString>;
@@ -1362,6 +2320,23 @@ export declare const verificationResultSchema: z.ZodObject<{
     workflowId: string;
     executionId?: string | undefined;
     verdict: "failed_terminal" | "needs_patch" | "needs_rebuild" | "needs_user_input" | "trigger_only" | "verified";
+    claim?: {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    } | undefined;
     workflowInspection?: string | undefined;
     failureSignature?: string | undefined;
     failedNodeName?: string | undefined;
@@ -1382,6 +2357,23 @@ export declare const verificationResultSchema: z.ZodObject<{
     workflowId: string;
     executionId?: string | undefined;
     verdict: "failed_terminal" | "needs_patch" | "needs_rebuild" | "needs_user_input" | "trigger_only" | "verified";
+    claim?: {
+        level: "failed" | "partial" | "unproven" | "verified";
+        plannedNodeCount: number;
+        reachedNodeCount: number;
+        nodesNotReached: string[];
+        simulatedNodes: {
+            nodeName: string;
+            reason: string;
+        }[];
+        pinnedNodes: string[];
+        unprovenTargets: string[];
+        pendingTriggers?: string[] | undefined;
+        publishReady: boolean;
+        liveTestRecommended: boolean;
+        liveState?: "live-current" | "live-stale" | "unpublished" | undefined;
+        verifiedVersionId?: string | undefined;
+    } | undefined;
     workflowInspection?: string | undefined;
     failureSignature?: string | undefined;
     failedNodeName?: string | undefined;
@@ -1425,6 +2417,7 @@ export type WorkflowLoopAction = {
     type: 'done';
     workflowId?: string;
     summary: string;
+    claim?: VerificationClaim;
     mockedCredentialTypes?: string[];
     hasUnresolvedPlaceholders?: boolean;
     setupSkippedByUser?: boolean;