@n8n/instance-ai 1.4.1 → 1.6.0

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

@@ -2,9 +2,35 @@ import { z } from 'zod';
 export declare const workflowLoopPhaseSchema: z.ZodEnum<["building", "verifying", "repairing", "done", "blocked"]>;
 export declare const workflowLoopStatusSchema: z.ZodEnum<["active", "completed", "blocked"]>;
 export declare const workflowLoopSourceSchema: z.ZodEnum<["create", "modify"]>;
+export declare const remediationCategorySchema: z.ZodEnum<["code_fixable", "needs_setup", "blocked"]>;
+export declare const remediationMetadataSchema: z.ZodObject<{
+    category: z.ZodEnum<["code_fixable", "needs_setup", "blocked"]>;
+    shouldEdit: z.ZodBoolean;
+    guidance: z.ZodString;
+    reason: z.ZodOptional<z.ZodString>;
+    remainingSubmitFixes: z.ZodOptional<z.ZodNumber>;
+    attemptCount: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    category: "blocked" | "code_fixable" | "needs_setup";
+    shouldEdit: boolean;
+    guidance: string;
+    reason?: string | undefined;
+    remainingSubmitFixes?: number | undefined;
+    attemptCount?: number | undefined;
+}, {
+    category: "blocked" | "code_fixable" | "needs_setup";
+    shouldEdit: boolean;
+    guidance: string;
+    reason?: string | undefined;
+    remainingSubmitFixes?: number | undefined;
+    attemptCount?: number | undefined;
+}>;
+export type RemediationCategory = z.infer<typeof remediationCategorySchema>;
+export type RemediationMetadata = z.infer<typeof remediationMetadataSchema>;
 export declare const workflowLoopStateSchema: z.ZodObject<{
     workItemId: z.ZodString;
     threadId: z.ZodString;
+    runId: z.ZodOptional<z.ZodString>;
     workflowId: z.ZodOptional<z.ZodString>;
     phase: z.ZodEnum<["building", "verifying", "repairing", "done", "blocked"]>;
     status: z.ZodEnum<["active", "completed", "blocked"]>;
@@ -15,32 +41,81 @@ export declare const workflowLoopStateSchema: z.ZodObject<{
     rebuildAttempts: z.ZodNumber;
     mockedCredentialTypes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     hasUnresolvedPlaceholders: z.ZodOptional<z.ZodBoolean>;
+    successfulSubmitSeen: z.ZodOptional<z.ZodBoolean>;
+    preSaveSubmitFailures: z.ZodOptional<z.ZodNumber>;
+    postSubmitRemediationSubmitsUsed: z.ZodOptional<z.ZodNumber>;
+    lastRemediation: z.ZodOptional<z.ZodObject<{
+        category: z.ZodEnum<["code_fixable", "needs_setup", "blocked"]>;
+        shouldEdit: z.ZodBoolean;
+        guidance: z.ZodString;
+        reason: z.ZodOptional<z.ZodString>;
+        remainingSubmitFixes: z.ZodOptional<z.ZodNumber>;
+        attemptCount: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    }, {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    }>>;
 }, "strip", z.ZodTypeAny, {
     status: "blocked" | "active" | "completed";
+    source: "create" | "modify";
     workItemId: string;
     threadId: string;
     phase: "building" | "verifying" | "repairing" | "done" | "blocked";
-    source: "create" | "modify";
     rebuildAttempts: number;
     workflowId?: string | undefined;
+    runId?: string | undefined;
     lastTaskId?: string | undefined;
     lastExecutionId?: string | undefined;
     lastFailureSignature?: string | undefined;
     mockedCredentialTypes?: string[] | undefined;
     hasUnresolvedPlaceholders?: boolean | undefined;
+    successfulSubmitSeen?: boolean | undefined;
+    preSaveSubmitFailures?: number | undefined;
+    postSubmitRemediationSubmitsUsed?: number | undefined;
+    lastRemediation?: {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    } | undefined;
 }, {
     status: "blocked" | "active" | "completed";
+    source: "create" | "modify";
     workItemId: string;
     threadId: string;
     phase: "building" | "verifying" | "repairing" | "done" | "blocked";
-    source: "create" | "modify";
     rebuildAttempts: number;
     workflowId?: string | undefined;
+    runId?: string | undefined;
     lastTaskId?: string | undefined;
     lastExecutionId?: string | undefined;
     lastFailureSignature?: string | undefined;
     mockedCredentialTypes?: string[] | undefined;
     hasUnresolvedPlaceholders?: boolean | undefined;
+    successfulSubmitSeen?: boolean | undefined;
+    preSaveSubmitFailures?: number | undefined;
+    postSubmitRemediationSubmitsUsed?: number | undefined;
+    lastRemediation?: {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    } | undefined;
 }>;
 export type WorkflowLoopPhase = z.infer<typeof workflowLoopPhaseSchema>;
 export type WorkflowLoopStatus = z.infer<typeof workflowLoopStatusSchema>;
@@ -59,42 +134,182 @@ export declare const attemptRecordSchema: z.ZodObject<{
     failureSignature: z.ZodOptional<z.ZodString>;
     diagnosis: z.ZodOptional<z.ZodString>;
     fixApplied: z.ZodOptional<z.ZodString>;
+    remediationCategory: z.ZodOptional<z.ZodEnum<["code_fixable", "needs_setup", "blocked"]>>;
+    remediationShouldEdit: z.ZodOptional<z.ZodBoolean>;
+    remediationGuidance: z.ZodOptional<z.ZodString>;
     createdAt: z.ZodString;
 }, "strip", z.ZodTypeAny, {
+    createdAt: string;
     attempt: number;
     action: "build" | "verify" | "rebuild" | "patch";
-    result: "blocked" | "success" | "failure";
+    result: "success" | "blocked" | "failure";
     workItemId: string;
     phase: "building" | "verifying" | "repairing" | "done" | "blocked";
-    createdAt: string;
+    workflowId?: string | undefined;
     diagnosis?: string | undefined;
     fixApplied?: string | undefined;
-    workflowId?: string | undefined;
     executionId?: string | undefined;
     failureSignature?: string | undefined;
+    remediationCategory?: "blocked" | "code_fixable" | "needs_setup" | undefined;
+    remediationShouldEdit?: boolean | undefined;
+    remediationGuidance?: string | undefined;
 }, {
+    createdAt: string;
     attempt: number;
     action: "build" | "verify" | "rebuild" | "patch";
-    result: "blocked" | "success" | "failure";
+    result: "success" | "blocked" | "failure";
     workItemId: string;
     phase: "building" | "verifying" | "repairing" | "done" | "blocked";
-    createdAt: string;
+    workflowId?: string | undefined;
     diagnosis?: string | undefined;
     fixApplied?: string | undefined;
-    workflowId?: string | undefined;
     executionId?: string | undefined;
     failureSignature?: string | undefined;
+    remediationCategory?: "blocked" | "code_fixable" | "needs_setup" | undefined;
+    remediationShouldEdit?: boolean | undefined;
+    remediationGuidance?: string | undefined;
 }>;
 export type AttemptAction = z.infer<typeof attemptActionSchema>;
 export type AttemptResult = z.infer<typeof attemptResultSchema>;
 export type AttemptRecord = z.infer<typeof attemptRecordSchema>;
 export declare const triggerTypeSchema: z.ZodEnum<["manual_or_testable", "trigger_only"]>;
+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>;
+    evidence: z.ZodOptional<z.ZodObject<{
+        nodesExecuted: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        producedOutputRows: z.ZodOptional<z.ZodNumber>;
+        errorNodeName: z.ZodOptional<z.ZodString>;
+        errorMessage: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        nodesExecuted?: string[] | undefined;
+        producedOutputRows?: number | undefined;
+        errorNodeName?: string | undefined;
+        errorMessage?: string | undefined;
+    }, {
+        nodesExecuted?: string[] | undefined;
+        producedOutputRows?: number | undefined;
+        errorNodeName?: string | undefined;
+        errorMessage?: string | undefined;
+    }>>;
+    verifiedAt: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    success: boolean;
+    attempted: boolean;
+    status?: "unknown" | "running" | "error" | "success" | "waiting" | undefined;
+    executionId?: string | undefined;
+    failureSignature?: string | undefined;
+    evidence?: {
+        nodesExecuted?: string[] | undefined;
+        producedOutputRows?: number | undefined;
+        errorNodeName?: string | undefined;
+        errorMessage?: string | undefined;
+    } | undefined;
+    verifiedAt?: string | undefined;
+}, {
+    success: boolean;
+    attempted: boolean;
+    status?: "unknown" | "running" | "error" | "success" | "waiting" | undefined;
+    executionId?: string | undefined;
+    failureSignature?: string | undefined;
+    evidence?: {
+        nodesExecuted?: string[] | undefined;
+        producedOutputRows?: number | undefined;
+        errorNodeName?: string | undefined;
+        errorMessage?: string | undefined;
+    } | undefined;
+    verifiedAt?: string | undefined;
+}>;
+export type WorkflowVerificationEvidence = z.infer<typeof workflowVerificationEvidenceSchema>;
+export declare const workflowVerificationReadinessSchema: z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+    status: z.ZodLiteral<"ready">;
+}, "strip", z.ZodTypeAny, {
+    status: "ready";
+}, {
+    status: "ready";
+}>, z.ZodObject<{
+    status: z.ZodLiteral<"already_verified">;
+}, "strip", z.ZodTypeAny, {
+    status: "already_verified";
+}, {
+    status: "already_verified";
+}>, z.ZodObject<{
+    status: z.ZodLiteral<"needs_setup">;
+    reason: z.ZodEnum<["unresolved-placeholders", "missing-mocked-credential-pin-data", "workflow-needs-setup"]>;
+    guidance: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: "needs_setup";
+    reason: "unresolved-placeholders" | "missing-mocked-credential-pin-data" | "workflow-needs-setup";
+    guidance: string;
+}, {
+    status: "needs_setup";
+    reason: "unresolved-placeholders" | "missing-mocked-credential-pin-data" | "workflow-needs-setup";
+    guidance: string;
+}>, z.ZodObject<{
+    status: z.ZodLiteral<"not_verifiable">;
+    reason: z.ZodEnum<["not-submitted", "missing-workflow-id", "non-mockable-trigger"]>;
+    guidance: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: "not_verifiable";
+    reason: "not-submitted" | "missing-workflow-id" | "non-mockable-trigger";
+    guidance: string;
+}, {
+    status: "not_verifiable";
+    reason: "not-submitted" | "missing-workflow-id" | "non-mockable-trigger";
+    guidance: string;
+}>]>;
+export type WorkflowVerificationReadiness = z.infer<typeof workflowVerificationReadinessSchema>;
+export declare const workflowSetupRequirementSchema: z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+    status: z.ZodLiteral<"not_required">;
+}, "strip", z.ZodTypeAny, {
+    status: "not_required";
+}, {
+    status: "not_required";
+}>, z.ZodObject<{
+    status: z.ZodLiteral<"required">;
+    reason: z.ZodEnum<["mocked-credentials", "unresolved-placeholders", "workflow-needs-setup"]>;
+    guidance: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: "required";
+    reason: "unresolved-placeholders" | "workflow-needs-setup" | "mocked-credentials";
+    guidance: string;
+}, {
+    status: "required";
+    reason: "unresolved-placeholders" | "workflow-needs-setup" | "mocked-credentials";
+    guidance: string;
+}>]>;
+export type WorkflowSetupRequirement = z.infer<typeof workflowSetupRequirementSchema>;
+export declare const triggerNodeDescriptorSchema: z.ZodObject<{
+    nodeName: z.ZodString;
+    nodeType: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    nodeName: string;
+    nodeType: string;
+}, {
+    nodeName: string;
+    nodeType: string;
+}>;
+export type TriggerNodeDescriptor = z.infer<typeof triggerNodeDescriptorSchema>;
 export declare const workflowBuildOutcomeSchema: z.ZodObject<{
     workItemId: z.ZodString;
+    runId: z.ZodOptional<z.ZodString>;
     taskId: z.ZodString;
     workflowId: z.ZodOptional<z.ZodString>;
     submitted: z.ZodBoolean;
     triggerType: z.ZodEnum<["manual_or_testable", "trigger_only"]>;
+    triggerNodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        nodeName: z.ZodString;
+        nodeType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        nodeName: string;
+        nodeType: string;
+    }, {
+        nodeName: string;
+        nodeType: string;
+    }>, "many">>;
     needsUserInput: z.ZodBoolean;
     blockingReason: z.ZodOptional<z.ZodString>;
     failureSignature: z.ZodOptional<z.ZodString>;
@@ -102,7 +317,137 @@ export declare const workflowBuildOutcomeSchema: z.ZodObject<{
     mockedCredentialTypes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     mockedCredentialsByNode: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
     verificationPinData: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodRecord<z.ZodString, z.ZodUnknown>, "many">>>;
+    usesWorkflowPinDataForVerification: z.ZodOptional<z.ZodBoolean>;
+    supportingWorkflowIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     hasUnresolvedPlaceholders: z.ZodOptional<z.ZodBoolean>;
+    verificationReadiness: z.ZodOptional<z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+        status: z.ZodLiteral<"ready">;
+    }, "strip", z.ZodTypeAny, {
+        status: "ready";
+    }, {
+        status: "ready";
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"already_verified">;
+    }, "strip", z.ZodTypeAny, {
+        status: "already_verified";
+    }, {
+        status: "already_verified";
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"needs_setup">;
+        reason: z.ZodEnum<["unresolved-placeholders", "missing-mocked-credential-pin-data", "workflow-needs-setup"]>;
+        guidance: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: "needs_setup";
+        reason: "unresolved-placeholders" | "missing-mocked-credential-pin-data" | "workflow-needs-setup";
+        guidance: string;
+    }, {
+        status: "needs_setup";
+        reason: "unresolved-placeholders" | "missing-mocked-credential-pin-data" | "workflow-needs-setup";
+        guidance: string;
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"not_verifiable">;
+        reason: z.ZodEnum<["not-submitted", "missing-workflow-id", "non-mockable-trigger"]>;
+        guidance: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: "not_verifiable";
+        reason: "not-submitted" | "missing-workflow-id" | "non-mockable-trigger";
+        guidance: string;
+    }, {
+        status: "not_verifiable";
+        reason: "not-submitted" | "missing-workflow-id" | "non-mockable-trigger";
+        guidance: string;
+    }>]>>;
+    setupRequirement: z.ZodOptional<z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+        status: z.ZodLiteral<"not_required">;
+    }, "strip", z.ZodTypeAny, {
+        status: "not_required";
+    }, {
+        status: "not_required";
+    }>, z.ZodObject<{
+        status: z.ZodLiteral<"required">;
+        reason: z.ZodEnum<["mocked-credentials", "unresolved-placeholders", "workflow-needs-setup"]>;
+        guidance: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: "required";
+        reason: "unresolved-placeholders" | "workflow-needs-setup" | "mocked-credentials";
+        guidance: string;
+    }, {
+        status: "required";
+        reason: "unresolved-placeholders" | "workflow-needs-setup" | "mocked-credentials";
+        guidance: string;
+    }>]>>;
+    remediation: z.ZodOptional<z.ZodObject<{
+        category: z.ZodEnum<["code_fixable", "needs_setup", "blocked"]>;
+        shouldEdit: z.ZodBoolean;
+        guidance: z.ZodString;
+        reason: z.ZodOptional<z.ZodString>;
+        remainingSubmitFixes: z.ZodOptional<z.ZodNumber>;
+        attemptCount: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    }, {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    }>>;
+    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>;
+        evidence: z.ZodOptional<z.ZodObject<{
+            nodesExecuted: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            producedOutputRows: z.ZodOptional<z.ZodNumber>;
+            errorNodeName: z.ZodOptional<z.ZodString>;
+            errorMessage: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            nodesExecuted?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+        }, {
+            nodesExecuted?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+        }>>;
+        verifiedAt: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        success: boolean;
+        attempted: boolean;
+        status?: "unknown" | "running" | "error" | "success" | "waiting" | undefined;
+        executionId?: string | undefined;
+        failureSignature?: string | undefined;
+        evidence?: {
+            nodesExecuted?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+        } | undefined;
+        verifiedAt?: string | undefined;
+    }, {
+        success: boolean;
+        attempted: boolean;
+        status?: "unknown" | "running" | "error" | "success" | "waiting" | undefined;
+        executionId?: string | undefined;
+        failureSignature?: string | undefined;
+        evidence?: {
+            nodesExecuted?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+        } | undefined;
+        verifiedAt?: string | undefined;
+    }>>;
     summary: z.ZodString;
 }, "strip", z.ZodTypeAny, {
     workItemId: string;
@@ -112,13 +457,62 @@ export declare const workflowBuildOutcomeSchema: z.ZodObject<{
     needsUserInput: boolean;
     summary: string;
     workflowId?: string | undefined;
+    runId?: string | undefined;
     mockedCredentialTypes?: string[] | undefined;
     hasUnresolvedPlaceholders?: boolean | undefined;
     failureSignature?: string | undefined;
+    triggerNodes?: {
+        nodeName: string;
+        nodeType: string;
+    }[] | undefined;
     blockingReason?: string | undefined;
     mockedNodeNames?: string[] | undefined;
     mockedCredentialsByNode?: Record<string, string[]> | undefined;
     verificationPinData?: Record<string, Record<string, unknown>[]> | undefined;
+    usesWorkflowPinDataForVerification?: boolean | undefined;
+    supportingWorkflowIds?: string[] | undefined;
+    verificationReadiness?: {
+        status: "ready";
+    } | {
+        status: "already_verified";
+    } | {
+        status: "needs_setup";
+        reason: "unresolved-placeholders" | "missing-mocked-credential-pin-data" | "workflow-needs-setup";
+        guidance: string;
+    } | {
+        status: "not_verifiable";
+        reason: "not-submitted" | "missing-workflow-id" | "non-mockable-trigger";
+        guidance: string;
+    } | undefined;
+    setupRequirement?: {
+        status: "not_required";
+    } | {
+        status: "required";
+        reason: "unresolved-placeholders" | "workflow-needs-setup" | "mocked-credentials";
+        guidance: string;
+    } | undefined;
+    remediation?: {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    } | undefined;
+    verification?: {
+        success: boolean;
+        attempted: boolean;
+        status?: "unknown" | "running" | "error" | "success" | "waiting" | undefined;
+        executionId?: string | undefined;
+        failureSignature?: string | undefined;
+        evidence?: {
+            nodesExecuted?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+        } | undefined;
+        verifiedAt?: string | undefined;
+    } | undefined;
 }, {
     workItemId: string;
     taskId: string;
@@ -127,19 +521,69 @@ export declare const workflowBuildOutcomeSchema: z.ZodObject<{
     needsUserInput: boolean;
     summary: string;
     workflowId?: string | undefined;
+    runId?: string | undefined;
     mockedCredentialTypes?: string[] | undefined;
     hasUnresolvedPlaceholders?: boolean | undefined;
     failureSignature?: string | undefined;
+    triggerNodes?: {
+        nodeName: string;
+        nodeType: string;
+    }[] | undefined;
     blockingReason?: string | undefined;
     mockedNodeNames?: string[] | undefined;
     mockedCredentialsByNode?: Record<string, string[]> | undefined;
     verificationPinData?: Record<string, Record<string, unknown>[]> | undefined;
+    usesWorkflowPinDataForVerification?: boolean | undefined;
+    supportingWorkflowIds?: string[] | undefined;
+    verificationReadiness?: {
+        status: "ready";
+    } | {
+        status: "already_verified";
+    } | {
+        status: "needs_setup";
+        reason: "unresolved-placeholders" | "missing-mocked-credential-pin-data" | "workflow-needs-setup";
+        guidance: string;
+    } | {
+        status: "not_verifiable";
+        reason: "not-submitted" | "missing-workflow-id" | "non-mockable-trigger";
+        guidance: string;
+    } | undefined;
+    setupRequirement?: {
+        status: "not_required";
+    } | {
+        status: "required";
+        reason: "unresolved-placeholders" | "workflow-needs-setup" | "mocked-credentials";
+        guidance: string;
+    } | undefined;
+    remediation?: {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    } | undefined;
+    verification?: {
+        success: boolean;
+        attempted: boolean;
+        status?: "unknown" | "running" | "error" | "success" | "waiting" | undefined;
+        executionId?: string | undefined;
+        failureSignature?: string | undefined;
+        evidence?: {
+            nodesExecuted?: string[] | undefined;
+            producedOutputRows?: number | undefined;
+            errorNodeName?: string | undefined;
+            errorMessage?: string | undefined;
+        } | undefined;
+        verifiedAt?: string | undefined;
+    } | undefined;
 }>;
 export type TriggerType = z.infer<typeof triggerTypeSchema>;
 export type WorkflowBuildOutcome = z.infer<typeof workflowBuildOutcomeSchema>;
 export declare const verificationVerdictSchema: z.ZodEnum<["verified", "needs_patch", "needs_rebuild", "trigger_only", "needs_user_input", "failed_terminal"]>;
 export declare const verificationResultSchema: z.ZodObject<{
     workItemId: z.ZodString;
+    runId: z.ZodOptional<z.ZodString>;
     workflowId: z.ZodString;
     executionId: z.ZodOptional<z.ZodString>;
     verdict: z.ZodEnum<["verified", "needs_patch", "needs_rebuild", "trigger_only", "needs_user_input", "failed_terminal"]>;
@@ -147,31 +591,77 @@ export declare const verificationResultSchema: z.ZodObject<{
     failedNodeName: z.ZodOptional<z.ZodString>;
     diagnosis: z.ZodOptional<z.ZodString>;
     patch: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    remediation: z.ZodOptional<z.ZodObject<{
+        category: z.ZodEnum<["code_fixable", "needs_setup", "blocked"]>;
+        shouldEdit: z.ZodBoolean;
+        guidance: z.ZodString;
+        reason: z.ZodOptional<z.ZodString>;
+        remainingSubmitFixes: z.ZodOptional<z.ZodNumber>;
+        attemptCount: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    }, {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    }>>;
     summary: z.ZodString;
 }, "strip", z.ZodTypeAny, {
-    workItemId: string;
     workflowId: string;
+    workItemId: string;
     summary: string;
     verdict: "trigger_only" | "verified" | "needs_patch" | "needs_rebuild" | "needs_user_input" | "failed_terminal";
     diagnosis?: string | undefined;
+    runId?: string | undefined;
     patch?: Record<string, unknown> | undefined;
     executionId?: string | undefined;
     failureSignature?: string | undefined;
+    remediation?: {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    } | undefined;
     failedNodeName?: string | undefined;
 }, {
-    workItemId: string;
     workflowId: string;
+    workItemId: string;
     summary: string;
     verdict: "trigger_only" | "verified" | "needs_patch" | "needs_rebuild" | "needs_user_input" | "failed_terminal";
     diagnosis?: string | undefined;
+    runId?: string | undefined;
     patch?: Record<string, unknown> | undefined;
     executionId?: string | undefined;
     failureSignature?: string | undefined;
+    remediation?: {
+        category: "blocked" | "code_fixable" | "needs_setup";
+        shouldEdit: boolean;
+        guidance: string;
+        reason?: string | undefined;
+        remainingSubmitFixes?: number | undefined;
+        attemptCount?: number | undefined;
+    } | undefined;
     failedNodeName?: string | undefined;
 }>;
 export type VerificationVerdict = z.infer<typeof verificationVerdictSchema>;
 export type VerificationResult = z.infer<typeof verificationResultSchema>;
 export type WorkflowLoopAction = {
+    type: 'ignored';
+    reason: string;
+} | {
+    type: 'continue_building';
+    reason: string;
+} | {
     type: 'verify';
     workflowId: string;
 } | {