@n8n/instance-ai 1.10.0 → 1.11.0

package/dist/types.d.ts

@@ -8,7 +8,7 @@ import type { Logger } from './logger';
 import type { McpClientManager } from './mcp/mcp-client-manager';
 import type { IterationLog } from './storage/iteration-log';
 import type { IdRemapper, TraceIndex, TraceWriter } from './tracing/trace-replay';
-import type { VerificationResult, WorkflowBuildOutcome, WorkflowLoopAction, WorkflowLoopState } from './workflow-loop/workflow-loop-state';
+import type { VerificationResult, WorkflowBuildOutcome, WorkflowLoopAction, WorkflowLoopState, WorkflowVerificationObligation } from './workflow-loop/workflow-loop-state';
 import type { BuilderTemplatesService } from './workspace/builder-templates-service';
 export type InstanceAiToolRegistry = Map<string, BuiltTool>;
 export interface WorkflowSummary {
@@ -150,9 +150,19 @@ export interface InstanceAiWorkflowService {
         query?: string;
         limit?: number;
         status?: WorkflowListStatus;
+        scope?: 'project' | 'instance';
     }): Promise<WorkflowSummary[]>;
     get(workflowId: string): Promise<WorkflowDetail>;
     getAsWorkflowJSON(workflowId: string): Promise<WorkflowJSON>;
+    getWorkflowHead(workflowId: string): Promise<{
+        versionId: string;
+        updatedAt: number;
+    }>;
+    getWorkflowSnapshot(workflowId: string): Promise<{
+        json: WorkflowJSON;
+        versionId: string;
+        updatedAt: number;
+    }>;
     createFromWorkflowJSON(json: WorkflowJSON, options?: {
         projectId?: string;
         markAsAiTemporary?: boolean;
@@ -486,6 +496,7 @@ export type LocalGatewayStatus = {
 };
 export interface InstanceAiContext {
     userId: string;
+    projectId?: string;
     workflowService: InstanceAiWorkflowService;
     executionService: InstanceAiExecutionService;
     credentialService: InstanceAiCredentialService;
@@ -498,6 +509,8 @@ export interface InstanceAiContext {
     localGatewayStatus?: LocalGatewayStatus;
     permissions?: InstanceAiPermissions;
     allowedRunWorkflowIds?: ReadonlySet<string>;
+    allowedRunWorkflowNames?: ReadonlySet<string>;
+    requireRunWorkflowApproval?: boolean;
     branchReadOnly?: boolean;
     allowSendingParameterValues?: boolean;
     licenseHints?: string[];
@@ -507,6 +520,17 @@ export interface InstanceAiContext {
     currentUserAttachments?: InstanceAiAttachment[];
     logger?: Logger;
     nodeTypesProvider?: INodeTypes;
+    workflowBuildContext?: {
+        threadId: string;
+        runId: string;
+        taskId: string;
+        workItemId: string;
+        allowPostPlanWorkflowCreate?: boolean;
+        isSupportingWorkflowTask?: boolean;
+        plannedTaskService?: PlannedTaskService;
+        workflowTaskService?: WorkflowTaskService;
+        onBuildOutcome?: (outcome: WorkflowBuildOutcome) => void | Promise<void>;
+    };
 }
 export interface TaskStorage {
     get(threadId: string): Promise<TaskList | null>;
@@ -523,6 +547,7 @@ export interface PlannedTask {
     deps: string[];
     tools?: string[];
     workflowId?: string;
+    isSupportingWorkflow?: boolean;
 }
 export type PlannedTaskStatus = 'planned' | 'running' | 'succeeded' | 'failed' | 'cancelled';
 export interface PlannedTaskRecord extends PlannedTask {
@@ -539,9 +564,15 @@ export type PlannedTaskGraphStatus = 'awaiting_approval' | 'active' | 'awaiting_
 export interface PlannedTaskGraph {
     planRunId: string;
     messageGroupId?: string;
+    postBuildRunApprovalRequired?: boolean;
     status: PlannedTaskGraphStatus;
     tasks: PlannedTaskRecord[];
 }
+export interface PlannedWorkflowVerification {
+    task: PlannedTaskRecord;
+    obligation: WorkflowVerificationObligation;
+    outcome?: WorkflowBuildOutcome;
+}
 export type PlannedTaskSchedulerAction = {
     type: 'none';
     graph: PlannedTaskGraph | null;
@@ -549,10 +580,18 @@ export type PlannedTaskSchedulerAction = {
     type: 'dispatch';
     graph: PlannedTaskGraph;
     tasks: PlannedTaskRecord[];
+} | {
+    type: 'orchestrate-build-workflow';
+    graph: PlannedTaskGraph;
+    tasks: PlannedTaskRecord[];
 } | {
     type: 'orchestrate-checkpoint';
     graph: PlannedTaskGraph;
     tasks: PlannedTaskRecord[];
+} | {
+    type: 'orchestrate-workflow-verification';
+    graph: PlannedTaskGraph;
+    verification: PlannedWorkflowVerification;
 } | {
     type: 'replan';
     graph: PlannedTaskGraph;
@@ -565,6 +604,7 @@ export interface PlannedTaskService {
     createPlan(threadId: string, tasks: PlannedTask[], metadata: {
         planRunId: string;
         messageGroupId?: string;
+        postBuildRunApprovalRequired?: boolean;
     }): Promise<PlannedTaskGraph>;
     getGraph(threadId: string): Promise<PlannedTaskGraph | null>;
     markRunning(threadId: string, taskId: string, update: {
@@ -596,8 +636,10 @@ export interface PlannedTaskService {
         finishedAt?: number;
     }): Promise<CheckpointSettleResult>;
     revertCheckpointToPlanned(threadId: string, taskId: string): Promise<CheckpointSettleResult>;
+    revertBuildWorkflowToPlanned(threadId: string, taskId: string): Promise<CheckpointSettleResult>;
     tick(threadId: string, options?: {
         availableSlots?: number;
+        pendingWorkflowVerification?: PlannedWorkflowVerification;
     }): Promise<PlannedTaskSchedulerAction>;
     clear(threadId: string): Promise<void>;
     approvePlan(threadId: string): Promise<PlannedTaskGraph | null>;
@@ -618,9 +660,12 @@ export type CheckpointSettleResult = {
 export interface McpServerConfig {
     name: string;
     url?: string;
+    transport?: 'sse' | 'streamableHttp';
     command?: string;
     args?: string[];
     env?: Record<string, string>;
+    fetch?: typeof fetch;
+    cacheKey?: string;
 }
 export interface InstanceAiMemoryConfig {
     threadTtlDays?: number;
@@ -759,6 +804,7 @@ export interface OrchestrationContext {
     runId: string;
     messageGroupId?: string;
     userId: string;
+    projectId?: string;
     orchestratorAgentId: string;
     modelId: ModelConfig;
     checkpointStore?: CheckpointStore;
@@ -799,6 +845,7 @@ export interface OrchestrationContext {
     plannedTaskService?: PlannedTaskService;
     schedulePlannedTasks?: () => Promise<void>;
     workspace?: Workspace;
+    workspaceRoot?: string;
     nodeDefinitionDirs?: string[];
     memory?: BuiltMemory;
     currentUserMessage?: string;
@@ -808,14 +855,6 @@ export interface OrchestrationContext {
     domainContext?: InstanceAiContext;
     iterationLog?: IterationLog;
     sendCorrectionToTask?: (taskId: string, correction: string) => 'queued' | 'task-completed' | 'task-not-found';
-    findSubAgentResumeInfo?: (agentKind: string) => Promise<{
-        runId: string;
-        toolCallId: string;
-        persistence: {
-            threadId: string;
-            resourceId: string;
-        };
-    } | undefined>;
     persistInFlightUserMessage?: () => Promise<void>;
     touchRun?: () => boolean;
     touchBackgroundTask?: (taskId: string) => boolean;

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":";;;AA6wBa,QAAA,kBAAkB,GAAG,CAAC,UAAU,EAAE,gBAAgB,EAAE,YAAY,CAAU,CAAC;AAC3E,QAAA,yBAAyB,GAAG,0BAAkB,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":";;;AA+yBa,QAAA,kBAAkB,GAAG,CAAC,UAAU,EAAE,gBAAgB,EAAE,YAAY,CAAU,CAAC;AAC3E,QAAA,yBAAyB,GAAG,0BAAkB,CAAC"}

package/dist/workflow-builder/build-failure-tracker.d.ts

@@ -0,0 +1,10 @@
+export declare function buildFailureSignature(errors: string[]): string;
+interface BuildFailureTrackerOptions {
+    includeSdkLanguageGuidance?: boolean;
+}
+export declare class BuildFailureTracker {
+    private readonly history;
+    record(workItemKey: string, errors: string[], options?: BuildFailureTrackerOptions): string | undefined;
+    clear(workItemKey: string): void;
+}
+export {};

package/dist/workflow-builder/build-failure-tracker.js

@@ -0,0 +1,36 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BuildFailureTracker = void 0;
+exports.buildFailureSignature = buildFailureSignature;
+function buildFailureSignature(errors) {
+    return errors
+        .map((error) => error.split('\n\n')[0].toLowerCase().replace(/\d+/g, '#').replace(/\s+/g, ' ').trim())
+        .sort()
+        .join(' | ');
+}
+const GENERIC_ESCALATION = 'You already tried this and it failed with the same error. Do not repeat the same approach. ' +
+    'Use a different repair strategy for this work item.';
+const SDK_LANGUAGE_GUIDANCE = 'SDK builder code is a restricted subset of TypeScript (see ' +
+    'knowledge-base/reference/workflow-sdk-language.md): only SDK builder methods are allowed, not ' +
+    'native array/string methods or globals. Build strings with template literals or explicit lines, ' +
+    'and move runtime joining, aggregation, or transforms into a Code node or an n8n expression.';
+class BuildFailureTracker {
+    history = new Map();
+    record(workItemKey, errors, options = {}) {
+        const signature = buildFailureSignature(errors);
+        const seen = this.history.get(workItemKey) ?? new Set();
+        const repeated = seen.has(signature);
+        seen.add(signature);
+        this.history.set(workItemKey, seen);
+        return repeated
+            ? [GENERIC_ESCALATION, options.includeSdkLanguageGuidance ? SDK_LANGUAGE_GUIDANCE : '']
+                .filter(Boolean)
+                .join(' ')
+            : undefined;
+    }
+    clear(workItemKey) {
+        this.history.delete(workItemKey);
+    }
+}
+exports.BuildFailureTracker = BuildFailureTracker;
+//# sourceMappingURL=build-failure-tracker.js.map

package/dist/workflow-builder/build-failure-tracker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-failure-tracker.js","sourceRoot":"","sources":["../../src/workflow-builder/build-failure-tracker.ts"],"names":[],"mappings":";;;AAMA,sDAOC;AAPD,SAAgB,qBAAqB,CAAC,MAAgB;IACrD,OAAO,MAAM;SACX,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACd,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CACrF;SACA,IAAI,EAAE;SACN,IAAI,CAAC,KAAK,CAAC,CAAC;AACf,CAAC;AAMD,MAAM,kBAAkB,GACvB,6FAA6F;IAC7F,qDAAqD,CAAC;AAEvD,MAAM,qBAAqB,GAC1B,6DAA6D;IAC7D,gGAAgG;IAChG,kGAAkG;IAClG,6FAA6F,CAAC;AAG/F,MAAa,mBAAmB;IACd,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAM1D,MAAM,CACL,WAAmB,EACnB,MAAgB,EAChB,UAAsC,EAAE;QAExC,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,QAAQ;YACd,CAAC,CAAC,CAAC,kBAAkB,EAAE,OAAO,CAAC,0BAA0B,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;iBACpF,MAAM,CAAC,OAAO,CAAC;iBACf,IAAI,CAAC,GAAG,CAAC;YACZ,CAAC,CAAC,SAAS,CAAC;IACd,CAAC;IAGD,KAAK,CAAC,WAAmB;QACxB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAClC,CAAC;CACD;AA5BD,kDA4BC"}

package/dist/workflow-builder/index.d.ts

@@ -1,5 +1,6 @@
 export { extractWorkflowCode, stripImportStatements, resolveLocalImports, SDK_IMPORT_STATEMENT, } from './extract-code';
 export { applyPatches } from './patch-code';
 export { parseAndValidate, partitionWarnings } from './parse-validate';
+export { BuildFailureTracker, buildFailureSignature } from './build-failure-tracker';
 export { EXPRESSION_REFERENCE, ADDITIONAL_FUNCTIONS, WORKFLOW_RULES, WORKFLOW_SDK_PATTERNS, } from './sdk-prompt-sections';
 export type { ValidationWarning, ParseAndValidateResult } from './types';

package/dist/workflow-builder/index.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.WORKFLOW_SDK_PATTERNS = exports.WORKFLOW_RULES = exports.ADDITIONAL_FUNCTIONS = exports.EXPRESSION_REFERENCE = exports.partitionWarnings = exports.parseAndValidate = exports.applyPatches = exports.SDK_IMPORT_STATEMENT = exports.resolveLocalImports = exports.stripImportStatements = exports.extractWorkflowCode = void 0;
+exports.WORKFLOW_SDK_PATTERNS = exports.WORKFLOW_RULES = exports.ADDITIONAL_FUNCTIONS = exports.EXPRESSION_REFERENCE = exports.buildFailureSignature = exports.BuildFailureTracker = exports.partitionWarnings = exports.parseAndValidate = exports.applyPatches = exports.SDK_IMPORT_STATEMENT = exports.resolveLocalImports = exports.stripImportStatements = exports.extractWorkflowCode = void 0;
 var extract_code_1 = require("./extract-code");
 Object.defineProperty(exports, "extractWorkflowCode", { enumerable: true, get: function () { return extract_code_1.extractWorkflowCode; } });
 Object.defineProperty(exports, "stripImportStatements", { enumerable: true, get: function () { return extract_code_1.stripImportStatements; } });
@@ -11,6 +11,9 @@ Object.defineProperty(exports, "applyPatches", { enumerable: true, get: function
 var parse_validate_1 = require("./parse-validate");
 Object.defineProperty(exports, "parseAndValidate", { enumerable: true, get: function () { return parse_validate_1.parseAndValidate; } });
 Object.defineProperty(exports, "partitionWarnings", { enumerable: true, get: function () { return parse_validate_1.partitionWarnings; } });
+var build_failure_tracker_1 = require("./build-failure-tracker");
+Object.defineProperty(exports, "BuildFailureTracker", { enumerable: true, get: function () { return build_failure_tracker_1.BuildFailureTracker; } });
+Object.defineProperty(exports, "buildFailureSignature", { enumerable: true, get: function () { return build_failure_tracker_1.buildFailureSignature; } });
 var sdk_prompt_sections_1 = require("./sdk-prompt-sections");
 Object.defineProperty(exports, "EXPRESSION_REFERENCE", { enumerable: true, get: function () { return sdk_prompt_sections_1.EXPRESSION_REFERENCE; } });
 Object.defineProperty(exports, "ADDITIONAL_FUNCTIONS", { enumerable: true, get: function () { return sdk_prompt_sections_1.ADDITIONAL_FUNCTIONS; } });

package/dist/workflow-builder/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/workflow-builder/index.ts"],"names":[],"mappings":";;;AAAA,+CAKwB;AAJvB,mHAAA,mBAAmB,OAAA;AACnB,qHAAA,qBAAqB,OAAA;AACrB,mHAAA,mBAAmB,OAAA;AACnB,oHAAA,oBAAoB,OAAA;AAErB,2CAA4C;AAAnC,0GAAA,YAAY,OAAA;AACrB,mDAAuE;AAA9D,kHAAA,gBAAgB,OAAA;AAAE,mHAAA,iBAAiB,OAAA;AAC5C,6DAK+B;AAJ9B,2HAAA,oBAAoB,OAAA;AACpB,2HAAA,oBAAoB,OAAA;AACpB,qHAAA,cAAc,OAAA;AACd,4HAAA,qBAAqB,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/workflow-builder/index.ts"],"names":[],"mappings":";;;AAAA,+CAKwB;AAJvB,mHAAA,mBAAmB,OAAA;AACnB,qHAAA,qBAAqB,OAAA;AACrB,mHAAA,mBAAmB,OAAA;AACnB,oHAAA,oBAAoB,OAAA;AAErB,2CAA4C;AAAnC,0GAAA,YAAY,OAAA;AACrB,mDAAuE;AAA9D,kHAAA,gBAAgB,OAAA;AAAE,mHAAA,iBAAiB,OAAA;AAC5C,iEAAqF;AAA5E,4HAAA,mBAAmB,OAAA;AAAE,8HAAA,qBAAqB,OAAA;AACnD,6DAK+B;AAJ9B,2HAAA,oBAAoB,OAAA;AACpB,2HAAA,oBAAoB,OAAA;AACpB,qHAAA,cAAc,OAAA;AACd,4HAAA,qBAAqB,OAAA"}

package/dist/workflow-loop/guidance.js

@@ -18,29 +18,33 @@ function formatWorkflowLoopGuidance(action, options = {}) {
             return `Workflow verified successfully. Report completion to the user.${action.workflowId ? ` Workflow ID: ${action.workflowId}` : ''}`;
         }
         case 'verify':
-            return (`VERIFY: Run workflow ${action.workflowId}. ` +
+            return (`VERIFY: Inspect the persisted workflow ${action.workflowId} with \`workflows(action="get-json")\` and compare it to the requested outcome. ` +
+                'Build/save success only means a workflow was saved. ' +
                 `If the build had mocked credentials, use \`verify-built-workflow\` with workItemId "${options.workItemId ?? 'unknown'}". ` +
                 'Otherwise use `executions(action="run")`. ' +
                 'If it fails, use `executions(action="debug")` to diagnose. ' +
-                `Then call \`report-verification-verdict\` with workItemId "${options.workItemId ?? 'unknown'}" and your findings.`);
+                'If the saved graph or run evidence is not good enough, report `needs_patch` or `needs_rebuild` and keep patching the same workflow. ' +
+                `Then call \`report-verification-verdict\` with workItemId "${options.workItemId ?? 'unknown'}", \`workflowInspection\`, and your findings.`);
         case 'blocked':
             return `BUILD BLOCKED: ${action.reason}. Explain this to the user and ask how to proceed.`;
         case 'rebuild':
             return (`REBUILD NEEDED: Workflow "${action.workflowId}" needs structural repair. ` +
-                `Call \`build-workflow-with-agent\` directly with \`workflowId: "${action.workflowId}"\` ` +
+                'Load the `workflow-builder` skill, then call `build-workflow` directly ' +
+                `with \`workflowId: "${action.workflowId}"\` ` +
                 `and \`workItemId: "${options.workItemId ?? 'unknown'}"\` ` +
                 '(no plan — this is a single-task rebuild; `workflowId` and `workItemId` are required ' +
                 'so the builder updates the existing workflow instead of creating a duplicate). ' +
-                `In the \`task\` parameter, describe the structural repair and include these details: ${action.failureDetails}`);
+                `Use SDK code or a targeted patch to apply this structural repair: ${action.failureDetails}`);
         case 'patch':
             return (`PATCH NEEDED: Node "${action.failedNodeName}" in workflow ${action.workflowId} needs a targeted fix. ` +
                 `Diagnosis: ${action.diagnosis}. ` +
                 (action.patch ? `Suggested fix: ${JSON.stringify(action.patch)}. ` : '') +
-                `Call \`build-workflow-with-agent\` directly with \`workflowId: "${action.workflowId}"\` ` +
+                'Load the `workflow-builder` skill, then call `build-workflow` directly ' +
+                `with \`workflowId: "${action.workflowId}"\` ` +
                 `and \`workItemId: "${options.workItemId ?? 'unknown'}"\` ` +
                 '(no plan — this is a single-task patch; `workflowId` and `workItemId` are required ' +
                 'so the builder updates the existing workflow instead of creating a duplicate). ' +
-                'In the `task` parameter, describe the targeted fix to apply.');
+                'Use patch mode when the edit is small.');
     }
 }
 //# sourceMappingURL=guidance.js.map

package/dist/workflow-loop/guidance.js.map

@@ -1 +1 @@
-{"version":3,"file":"guidance.js","sourceRoot":"","sources":["../../src/workflow-loop/guidance.ts"],"names":[],"mappings":";;AAMA,gEAoDC;AApDD,SAAgB,0BAA0B,CACzC,MAA0B,EAC1B,UAAuC,EAAE;IAEzC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,SAAS;YACb,OAAO,yBAAyB,MAAM,CAAC,MAAM,EAAE,CAAC;QACjD,KAAK,mBAAmB;YACvB,OAAO,kBAAkB,MAAM,CAAC,MAAM,6DAA6D,CAAC;QACrG,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,IAAI,MAAM,CAAC,qBAAqB,EAAE,MAAM,IAAI,MAAM,CAAC,yBAAyB,EAAE,CAAC;gBAC9E,OAAO,CACN,2DAA2D;oBAC3D,uDAAuD,MAAM,CAAC,UAAU,IAAI,SAAS,IAAI;oBACzF,qGAAqG;oBACrG,oFAAoF;oBACpF,6HAA6H,CAC7H,CAAC;YACH,CAAC;YACD,OAAO,iEAAiE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,iBAAiB,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACzI,CAAC;QACD,KAAK,QAAQ;YACZ,OAAO,CACN,wBAAwB,MAAM,CAAC,UAAU,IAAI;gBAC7C,uFAAuF,OAAO,CAAC,UAAU,IAAI,SAAS,KAAK;gBAC3H,4CAA4C;gBAC5C,6DAA6D;gBAC7D,8DAA8D,OAAO,CAAC,UAAU,IAAI,SAAS,sBAAsB,CACnH,CAAC;QACH,KAAK,SAAS;YACb,OAAO,kBAAkB,MAAM,CAAC,MAAM,oDAAoD,CAAC;QAC5F,KAAK,SAAS;YACb,OAAO,CACN,6BAA6B,MAAM,CAAC,UAAU,6BAA6B;gBAC3E,mEAAmE,MAAM,CAAC,UAAU,MAAM;gBAC1F,sBAAsB,OAAO,CAAC,UAAU,IAAI,SAAS,MAAM;gBAC3D,uFAAuF;gBACvF,iFAAiF;gBACjF,wFAAwF,MAAM,CAAC,cAAc,EAAE,CAC/G,CAAC;QACH,KAAK,OAAO;YACX,OAAO,CACN,uBAAuB,MAAM,CAAC,cAAc,iBAAiB,MAAM,CAAC,UAAU,yBAAyB;gBACvG,cAAc,MAAM,CAAC,SAAS,IAAI;gBAClC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxE,mEAAmE,MAAM,CAAC,UAAU,MAAM;gBAC1F,sBAAsB,OAAO,CAAC,UAAU,IAAI,SAAS,MAAM;gBAC3D,qFAAqF;gBACrF,iFAAiF;gBACjF,8DAA8D,CAC9D,CAAC;IACJ,CAAC;AACF,CAAC"}
+{"version":3,"file":"guidance.js","sourceRoot":"","sources":["../../src/workflow-loop/guidance.ts"],"names":[],"mappings":";;AAMA,gEAwDC;AAxDD,SAAgB,0BAA0B,CACzC,MAA0B,EAC1B,UAAuC,EAAE;IAEzC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,SAAS;YACb,OAAO,yBAAyB,MAAM,CAAC,MAAM,EAAE,CAAC;QACjD,KAAK,mBAAmB;YACvB,OAAO,kBAAkB,MAAM,CAAC,MAAM,6DAA6D,CAAC;QACrG,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,IAAI,MAAM,CAAC,qBAAqB,EAAE,MAAM,IAAI,MAAM,CAAC,yBAAyB,EAAE,CAAC;gBAC9E,OAAO,CACN,2DAA2D;oBAC3D,uDAAuD,MAAM,CAAC,UAAU,IAAI,SAAS,IAAI;oBACzF,qGAAqG;oBACrG,oFAAoF;oBACpF,6HAA6H,CAC7H,CAAC;YACH,CAAC;YACD,OAAO,iEAAiE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,iBAAiB,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACzI,CAAC;QACD,KAAK,QAAQ;YACZ,OAAO,CACN,0CAA0C,MAAM,CAAC,UAAU,kFAAkF;gBAC7I,sDAAsD;gBACtD,uFAAuF,OAAO,CAAC,UAAU,IAAI,SAAS,KAAK;gBAC3H,4CAA4C;gBAC5C,6DAA6D;gBAC7D,sIAAsI;gBACtI,8DAA8D,OAAO,CAAC,UAAU,IAAI,SAAS,+CAA+C,CAC5I,CAAC;QACH,KAAK,SAAS;YACb,OAAO,kBAAkB,MAAM,CAAC,MAAM,oDAAoD,CAAC;QAC5F,KAAK,SAAS;YACb,OAAO,CACN,6BAA6B,MAAM,CAAC,UAAU,6BAA6B;gBAC3E,yEAAyE;gBACzE,uBAAuB,MAAM,CAAC,UAAU,MAAM;gBAC9C,sBAAsB,OAAO,CAAC,UAAU,IAAI,SAAS,MAAM;gBAC3D,uFAAuF;gBACvF,iFAAiF;gBACjF,qEAAqE,MAAM,CAAC,cAAc,EAAE,CAC5F,CAAC;QACH,KAAK,OAAO;YACX,OAAO,CACN,uBAAuB,MAAM,CAAC,cAAc,iBAAiB,MAAM,CAAC,UAAU,yBAAyB;gBACvG,cAAc,MAAM,CAAC,SAAS,IAAI;gBAClC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxE,yEAAyE;gBACzE,uBAAuB,MAAM,CAAC,UAAU,MAAM;gBAC9C,sBAAsB,OAAO,CAAC,UAAU,IAAI,SAAS,MAAM;gBAC3D,qFAAqF;gBACrF,iFAAiF;gBACjF,wCAAwC,CACxC,CAAC;IACJ,CAAC;AACF,CAAC"}

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

@@ -1,7 +1,8 @@
-export { workflowLoopPhaseSchema, workflowLoopStatusSchema, workflowLoopSourceSchema, remediationCategorySchema, remediationMetadataSchema, workflowLoopStateSchema, attemptActionSchema, attemptResultSchema, attemptRecordSchema, triggerTypeSchema, workflowVerificationReadinessSchema, workflowSetupRequirementSchema, workflowBuildOutcomeSchema, verificationVerdictSchema, verificationResultSchema, } from './workflow-loop-state';
-export type { WorkflowLoopPhase, WorkflowLoopStatus, WorkflowLoopSource, RemediationCategory, RemediationMetadata, WorkflowLoopState, AttemptAction, AttemptResult, AttemptRecord, TriggerType, WorkflowVerificationEvidence, WorkflowVerificationReadiness, WorkflowSetupRequirement, WorkflowBuildOutcome, VerificationVerdict, VerificationResult, WorkflowLoopAction, } from './workflow-loop-state';
+export { workflowLoopPhaseSchema, workflowLoopStatusSchema, workflowLoopSourceSchema, remediationCategorySchema, remediationMetadataSchema, workflowBuildOwnerSchema, workflowLoopStateSchema, attemptActionSchema, attemptResultSchema, attemptRecordSchema, triggerTypeSchema, workflowVerificationEvidenceSchema, workflowVerificationReadinessSchema, workflowSetupRequirementSchema, workflowVerificationObligationStatusSchema, workflowVerificationObligationPolicySchema, workflowVerificationObligationSourceSchema, workflowVerificationObligationSchema, workflowBuildOutcomeSchema, verificationVerdictSchema, verificationResultSchema, resolveWorkflowBuildOwner, plannedTaskIdFromWorkflowBuildOwner, isPlannedWorkflowBuildOwner, } from './workflow-loop-state';
+export type { WorkflowLoopPhase, WorkflowLoopStatus, WorkflowLoopSource, RemediationCategory, RemediationMetadata, WorkflowBuildOwner, WorkflowLoopState, AttemptAction, AttemptResult, AttemptRecord, TriggerType, WorkflowVerificationEvidence, WorkflowVerificationReadiness, WorkflowSetupRequirement, WorkflowVerificationObligationStatus, WorkflowVerificationObligationPolicy, WorkflowVerificationObligationSource, WorkflowVerificationObligation, WorkflowBuildOutcome, VerificationVerdict, VerificationResult, WorkflowLoopAction, } from './workflow-loop-state';
 export { createWorkItem, handleBuildOutcome, handleVerificationVerdict, formatAttemptHistory, } from './workflow-loop-controller';
 export { formatWorkflowLoopGuidance } from './guidance';
 export { WorkflowTaskCoordinator } from './workflow-task-service';
+export { deriveWorkflowVerificationObligation, deriveWorkflowVerificationObligationFromOutcome, isWorkflowVerificationObligationUnsettled, type DeriveWorkflowVerificationObligationOptions, type WorkflowVerificationObligationRecord, } from './verification-obligation';
 export { MAX_POST_SUBMIT_REMEDIATION_SUBMITS, MAX_PRE_SAVE_SUBMIT_FAILURES, createRemediation, remainingPostSubmitRemediations, terminalRemediationFromState, } from './remediation';
 export { createTerminalRemediationGuard, type TerminalRemediationGuard, } from './terminal-remediation-guard';

package/dist/workflow-loop/index.js

@@ -1,22 +1,31 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.createTerminalRemediationGuard = exports.terminalRemediationFromState = exports.remainingPostSubmitRemediations = exports.createRemediation = exports.MAX_PRE_SAVE_SUBMIT_FAILURES = exports.MAX_POST_SUBMIT_REMEDIATION_SUBMITS = exports.WorkflowTaskCoordinator = exports.formatWorkflowLoopGuidance = exports.formatAttemptHistory = exports.handleVerificationVerdict = exports.handleBuildOutcome = exports.createWorkItem = exports.verificationResultSchema = exports.verificationVerdictSchema = exports.workflowBuildOutcomeSchema = exports.workflowSetupRequirementSchema = exports.workflowVerificationReadinessSchema = exports.triggerTypeSchema = exports.attemptRecordSchema = exports.attemptResultSchema = exports.attemptActionSchema = exports.workflowLoopStateSchema = exports.remediationMetadataSchema = exports.remediationCategorySchema = exports.workflowLoopSourceSchema = exports.workflowLoopStatusSchema = exports.workflowLoopPhaseSchema = void 0;
+exports.createTerminalRemediationGuard = exports.terminalRemediationFromState = exports.remainingPostSubmitRemediations = exports.createRemediation = exports.MAX_PRE_SAVE_SUBMIT_FAILURES = exports.MAX_POST_SUBMIT_REMEDIATION_SUBMITS = exports.isWorkflowVerificationObligationUnsettled = exports.deriveWorkflowVerificationObligationFromOutcome = exports.deriveWorkflowVerificationObligation = exports.WorkflowTaskCoordinator = exports.formatWorkflowLoopGuidance = exports.formatAttemptHistory = exports.handleVerificationVerdict = exports.handleBuildOutcome = exports.createWorkItem = exports.isPlannedWorkflowBuildOwner = exports.plannedTaskIdFromWorkflowBuildOwner = exports.resolveWorkflowBuildOwner = exports.verificationResultSchema = exports.verificationVerdictSchema = exports.workflowBuildOutcomeSchema = exports.workflowVerificationObligationSchema = exports.workflowVerificationObligationSourceSchema = exports.workflowVerificationObligationPolicySchema = exports.workflowVerificationObligationStatusSchema = exports.workflowSetupRequirementSchema = exports.workflowVerificationReadinessSchema = exports.workflowVerificationEvidenceSchema = exports.triggerTypeSchema = exports.attemptRecordSchema = exports.attemptResultSchema = exports.attemptActionSchema = exports.workflowLoopStateSchema = exports.workflowBuildOwnerSchema = exports.remediationMetadataSchema = exports.remediationCategorySchema = exports.workflowLoopSourceSchema = exports.workflowLoopStatusSchema = exports.workflowLoopPhaseSchema = void 0;
 var workflow_loop_state_1 = require("./workflow-loop-state");
 Object.defineProperty(exports, "workflowLoopPhaseSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowLoopPhaseSchema; } });
 Object.defineProperty(exports, "workflowLoopStatusSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowLoopStatusSchema; } });
 Object.defineProperty(exports, "workflowLoopSourceSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowLoopSourceSchema; } });
 Object.defineProperty(exports, "remediationCategorySchema", { enumerable: true, get: function () { return workflow_loop_state_1.remediationCategorySchema; } });
 Object.defineProperty(exports, "remediationMetadataSchema", { enumerable: true, get: function () { return workflow_loop_state_1.remediationMetadataSchema; } });
+Object.defineProperty(exports, "workflowBuildOwnerSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowBuildOwnerSchema; } });
 Object.defineProperty(exports, "workflowLoopStateSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowLoopStateSchema; } });
 Object.defineProperty(exports, "attemptActionSchema", { enumerable: true, get: function () { return workflow_loop_state_1.attemptActionSchema; } });
 Object.defineProperty(exports, "attemptResultSchema", { enumerable: true, get: function () { return workflow_loop_state_1.attemptResultSchema; } });
 Object.defineProperty(exports, "attemptRecordSchema", { enumerable: true, get: function () { return workflow_loop_state_1.attemptRecordSchema; } });
 Object.defineProperty(exports, "triggerTypeSchema", { enumerable: true, get: function () { return workflow_loop_state_1.triggerTypeSchema; } });
+Object.defineProperty(exports, "workflowVerificationEvidenceSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowVerificationEvidenceSchema; } });
 Object.defineProperty(exports, "workflowVerificationReadinessSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowVerificationReadinessSchema; } });
 Object.defineProperty(exports, "workflowSetupRequirementSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowSetupRequirementSchema; } });
+Object.defineProperty(exports, "workflowVerificationObligationStatusSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowVerificationObligationStatusSchema; } });
+Object.defineProperty(exports, "workflowVerificationObligationPolicySchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowVerificationObligationPolicySchema; } });
+Object.defineProperty(exports, "workflowVerificationObligationSourceSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowVerificationObligationSourceSchema; } });
+Object.defineProperty(exports, "workflowVerificationObligationSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowVerificationObligationSchema; } });
 Object.defineProperty(exports, "workflowBuildOutcomeSchema", { enumerable: true, get: function () { return workflow_loop_state_1.workflowBuildOutcomeSchema; } });
 Object.defineProperty(exports, "verificationVerdictSchema", { enumerable: true, get: function () { return workflow_loop_state_1.verificationVerdictSchema; } });
 Object.defineProperty(exports, "verificationResultSchema", { enumerable: true, get: function () { return workflow_loop_state_1.verificationResultSchema; } });
+Object.defineProperty(exports, "resolveWorkflowBuildOwner", { enumerable: true, get: function () { return workflow_loop_state_1.resolveWorkflowBuildOwner; } });
+Object.defineProperty(exports, "plannedTaskIdFromWorkflowBuildOwner", { enumerable: true, get: function () { return workflow_loop_state_1.plannedTaskIdFromWorkflowBuildOwner; } });
+Object.defineProperty(exports, "isPlannedWorkflowBuildOwner", { enumerable: true, get: function () { return workflow_loop_state_1.isPlannedWorkflowBuildOwner; } });
 var workflow_loop_controller_1 = require("./workflow-loop-controller");
 Object.defineProperty(exports, "createWorkItem", { enumerable: true, get: function () { return workflow_loop_controller_1.createWorkItem; } });
 Object.defineProperty(exports, "handleBuildOutcome", { enumerable: true, get: function () { return workflow_loop_controller_1.handleBuildOutcome; } });
@@ -26,6 +35,10 @@ var guidance_1 = require("./guidance");
 Object.defineProperty(exports, "formatWorkflowLoopGuidance", { enumerable: true, get: function () { return guidance_1.formatWorkflowLoopGuidance; } });
 var workflow_task_service_1 = require("./workflow-task-service");
 Object.defineProperty(exports, "WorkflowTaskCoordinator", { enumerable: true, get: function () { return workflow_task_service_1.WorkflowTaskCoordinator; } });
+var verification_obligation_1 = require("./verification-obligation");
+Object.defineProperty(exports, "deriveWorkflowVerificationObligation", { enumerable: true, get: function () { return verification_obligation_1.deriveWorkflowVerificationObligation; } });
+Object.defineProperty(exports, "deriveWorkflowVerificationObligationFromOutcome", { enumerable: true, get: function () { return verification_obligation_1.deriveWorkflowVerificationObligationFromOutcome; } });
+Object.defineProperty(exports, "isWorkflowVerificationObligationUnsettled", { enumerable: true, get: function () { return verification_obligation_1.isWorkflowVerificationObligationUnsettled; } });
 var remediation_1 = require("./remediation");
 Object.defineProperty(exports, "MAX_POST_SUBMIT_REMEDIATION_SUBMITS", { enumerable: true, get: function () { return remediation_1.MAX_POST_SUBMIT_REMEDIATION_SUBMITS; } });
 Object.defineProperty(exports, "MAX_PRE_SAVE_SUBMIT_FAILURES", { enumerable: true, get: function () { return remediation_1.MAX_PRE_SAVE_SUBMIT_FAILURES; } });

package/dist/workflow-loop/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/workflow-loop/index.ts"],"names":[],"mappings":";;;AAAA,6DAgB+B;AAf9B,8HAAA,uBAAuB,OAAA;AACvB,+HAAA,wBAAwB,OAAA;AACxB,+HAAA,wBAAwB,OAAA;AACxB,gIAAA,yBAAyB,OAAA;AACzB,gIAAA,yBAAyB,OAAA;AACzB,8HAAA,uBAAuB,OAAA;AACvB,0HAAA,mBAAmB,OAAA;AACnB,0HAAA,mBAAmB,OAAA;AACnB,0HAAA,mBAAmB,OAAA;AACnB,wHAAA,iBAAiB,OAAA;AACjB,0IAAA,mCAAmC,OAAA;AACnC,qIAAA,8BAA8B,OAAA;AAC9B,iIAAA,0BAA0B,OAAA;AAC1B,gIAAA,yBAAyB,OAAA;AACzB,+HAAA,wBAAwB,OAAA;AAuBzB,uEAKoC;AAJnC,0HAAA,cAAc,OAAA;AACd,8HAAA,kBAAkB,OAAA;AAClB,qIAAA,yBAAyB,OAAA;AACzB,gIAAA,oBAAoB,OAAA;AAGrB,uCAAwD;AAA/C,sHAAA,0BAA0B,OAAA;AACnC,iEAAkE;AAAzD,gIAAA,uBAAuB,OAAA;AAChC,6CAMuB;AALtB,kIAAA,mCAAmC,OAAA;AACnC,2HAAA,4BAA4B,OAAA;AAC5B,gHAAA,iBAAiB,OAAA;AACjB,8HAAA,+BAA+B,OAAA;AAC/B,2HAAA,4BAA4B,OAAA;AAE7B,2EAGsC;AAFrC,4IAAA,8BAA8B,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/workflow-loop/index.ts"],"names":[],"mappings":";;;AAAA,6DAyB+B;AAxB9B,8HAAA,uBAAuB,OAAA;AACvB,+HAAA,wBAAwB,OAAA;AACxB,+HAAA,wBAAwB,OAAA;AACxB,gIAAA,yBAAyB,OAAA;AACzB,gIAAA,yBAAyB,OAAA;AACzB,+HAAA,wBAAwB,OAAA;AACxB,8HAAA,uBAAuB,OAAA;AACvB,0HAAA,mBAAmB,OAAA;AACnB,0HAAA,mBAAmB,OAAA;AACnB,0HAAA,mBAAmB,OAAA;AACnB,wHAAA,iBAAiB,OAAA;AACjB,yIAAA,kCAAkC,OAAA;AAClC,0IAAA,mCAAmC,OAAA;AACnC,qIAAA,8BAA8B,OAAA;AAC9B,iJAAA,0CAA0C,OAAA;AAC1C,iJAAA,0CAA0C,OAAA;AAC1C,iJAAA,0CAA0C,OAAA;AAC1C,2IAAA,oCAAoC,OAAA;AACpC,iIAAA,0BAA0B,OAAA;AAC1B,gIAAA,yBAAyB,OAAA;AACzB,+HAAA,wBAAwB,OAAA;AACxB,gIAAA,yBAAyB,OAAA;AACzB,0IAAA,mCAAmC,OAAA;AACnC,kIAAA,2BAA2B,OAAA;AA4B5B,uEAKoC;AAJnC,0HAAA,cAAc,OAAA;AACd,8HAAA,kBAAkB,OAAA;AAClB,qIAAA,yBAAyB,OAAA;AACzB,gIAAA,oBAAoB,OAAA;AAGrB,uCAAwD;AAA/C,sHAAA,0BAA0B,OAAA;AACnC,iEAAkE;AAAzD,gIAAA,uBAAuB,OAAA;AAChC,qEAMmC;AALlC,+IAAA,oCAAoC,OAAA;AACpC,0JAAA,+CAA+C,OAAA;AAC/C,oJAAA,yCAAyC,OAAA;AAI1C,6CAMuB;AALtB,kIAAA,mCAAmC,OAAA;AACnC,2HAAA,4BAA4B,OAAA;AAC5B,gHAAA,iBAAiB,OAAA;AACjB,8HAAA,+BAA+B,OAAA;AAC/B,2HAAA,4BAA4B,OAAA;AAE7B,2EAGsC;AAFrC,4IAAA,8BAA8B,OAAA"}

package/dist/workflow-loop/runtime.js

@@ -11,6 +11,8 @@ function createInitialState(threadId, outcome) {
         phase: 'building',
         status: 'active',
         source: outcome.workflowId ? 'modify' : 'create',
+        owner: outcome.owner,
+        plannedTaskId: outcome.plannedTaskId,
         rebuildAttempts: 0,
         preSaveSubmitFailures: 0,
         postSubmitRemediationSubmitsUsed: 0,
@@ -39,7 +41,7 @@ class WorkflowLoopRuntime {
         const { state: newState, action, attempt, } = (0, workflow_loop_controller_1.handleVerificationVerdict)(existing.state, existing.attempts, verdict);
         if (action.type === 'ignored')
             return action;
-        await this.storage.saveWorkItem(threadId, newState, [...existing.attempts, attempt]);
+        await this.storage.saveWorkItem(threadId, newState, [...existing.attempts, attempt], existing.lastBuildOutcome);
         return action;
     }
 }

package/dist/workflow-loop/runtime.js.map

@@ -1 +1 @@
-{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../../src/workflow-loop/runtime.ts"],"names":[],"mappings":";;;AAAA,yEAA2F;AAS3F,SAAS,kBAAkB,CAAC,QAAgB,EAAE,OAA6B;IAC1E,OAAO;QACN,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ;QACR,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAChD,eAAe,EAAE,CAAC;QAClB,qBAAqB,EAAE,CAAC;QACxB,gCAAgC,EAAE,CAAC;KACnC,CAAC;AACH,CAAC;AAED,MAAa,mBAAmB;IACF;IAA7B,YAA6B,OAA4B;QAA5B,YAAO,GAAP,OAAO,CAAqB;IAAG,CAAC;IAE7D,KAAK,CAAC,iBAAiB,CACtB,QAAgB,EAChB,OAA6B;QAE7B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,QAAQ,EAAE,KAAK,IAAI,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC;QAE1C,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAA,6CAAkB,EAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1F,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAE7C,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC;IACf,CAAC;IAED,KAAK,CAAC,wBAAwB,CAC7B,QAAgB,EAChB,OAA2B;QAE3B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAC9E,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,sBAAsB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;QAChF,CAAC;QAED,MAAM,EACL,KAAK,EAAE,QAAQ,EACf,MAAM,EACN,OAAO,GACP,GAAG,IAAA,oDAAyB,EAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAE7C,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC;IACf,CAAC;CACD;AArCD,kDAqCC"}
+{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../../src/workflow-loop/runtime.ts"],"names":[],"mappings":";;;AAAA,yEAA2F;AAS3F,SAAS,kBAAkB,CAAC,QAAgB,EAAE,OAA6B;IAC1E,OAAO;QACN,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ;QACR,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAChD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,eAAe,EAAE,CAAC;QAClB,qBAAqB,EAAE,CAAC;QACxB,gCAAgC,EAAE,CAAC;KACnC,CAAC;AACH,CAAC;AAED,MAAa,mBAAmB;IACF;IAA7B,YAA6B,OAA4B;QAA5B,YAAO,GAAP,OAAO,CAAqB;IAAG,CAAC;IAE7D,KAAK,CAAC,iBAAiB,CACtB,QAAgB,EAChB,OAA6B;QAE7B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,QAAQ,EAAE,KAAK,IAAI,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC;QAE1C,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAA,6CAAkB,EAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1F,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAE7C,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC;IACf,CAAC;IAED,KAAK,CAAC,wBAAwB,CAC7B,QAAgB,EAChB,OAA2B;QAE3B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAC9E,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,sBAAsB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;QAChF,CAAC;QAED,MAAM,EACL,KAAK,EAAE,QAAQ,EACf,MAAM,EACN,OAAO,GACP,GAAG,IAAA,oDAAyB,EAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAE7C,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAC9B,QAAQ,EACR,QAAQ,EACR,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,EAC/B,QAAQ,CAAC,gBAAgB,CACzB,CAAC;QACF,OAAO,MAAM,CAAC;IACf,CAAC;CACD;AA1CD,kDA0CC"}

package/dist/workflow-loop/verification-obligation.d.ts

@@ -0,0 +1,15 @@
+import type { AttemptRecord, WorkflowBuildOwner, WorkflowBuildOutcome, WorkflowLoopState, WorkflowVerificationObligation, WorkflowVerificationObligationSource } from './workflow-loop-state';
+export interface WorkflowVerificationObligationRecord {
+    state: WorkflowLoopState;
+    attempts: AttemptRecord[];
+    lastBuildOutcome?: WorkflowBuildOutcome;
+}
+export interface DeriveWorkflowVerificationObligationOptions {
+    source?: WorkflowVerificationObligationSource;
+    owner?: WorkflowBuildOwner;
+    plannedTaskId?: string;
+    updatedAt?: string;
+}
+export declare function deriveWorkflowVerificationObligation(threadId: string, record: WorkflowVerificationObligationRecord, options?: DeriveWorkflowVerificationObligationOptions): WorkflowVerificationObligation;
+export declare function isWorkflowVerificationObligationUnsettled(obligation: WorkflowVerificationObligation): boolean;
+export declare function deriveWorkflowVerificationObligationFromOutcome(threadId: string, outcome: WorkflowBuildOutcome, options?: DeriveWorkflowVerificationObligationOptions): WorkflowVerificationObligation;

package/dist/workflow-loop/verification-obligation.js

@@ -0,0 +1,140 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.deriveWorkflowVerificationObligation = deriveWorkflowVerificationObligation;
+exports.isWorkflowVerificationObligationUnsettled = isWorkflowVerificationObligationUnsettled;
+exports.deriveWorkflowVerificationObligationFromOutcome = deriveWorkflowVerificationObligationFromOutcome;
+const workflow_loop_state_1 = require("./workflow-loop-state");
+const UNSETTLED_OBLIGATION_STATUSES = new Set([
+    'pending_build',
+    'ready_to_verify',
+    'verifying',
+]);
+function hasSuccessfulEvidence(outcome) {
+    return (outcome.verification?.attempted === true &&
+        outcome.verification.success &&
+        !!outcome.verification.executionId);
+}
+function hasFailedEvidence(outcome) {
+    return outcome.verification?.attempted === true && !outcome.verification.success;
+}
+function isNeedsSetupRemediation(remediation) {
+    return remediation?.category === 'needs_setup' && !remediation.shouldEdit;
+}
+function hasSetupBlockingEvidence(state, outcome) {
+    if (outcome.verificationReadiness?.status === 'needs_setup')
+        return true;
+    if (isNeedsSetupRemediation(outcome.remediation))
+        return true;
+    if (isNeedsSetupRemediation(state.lastRemediation))
+        return true;
+    return outcome.setupRequirement?.status === 'required' && hasFailedEvidence(outcome);
+}
+function deriveStatus(state, outcome) {
+    if (!outcome)
+        return 'pending_build';
+    if (!outcome.submitted)
+        return 'blocked';
+    if (hasSuccessfulEvidence(outcome))
+        return 'verified';
+    if (hasSetupBlockingEvidence(state, outcome))
+        return 'needs_setup';
+    switch (outcome.verificationReadiness?.status) {
+        case 'already_verified':
+            return 'verified';
+        case 'needs_setup':
+            return 'needs_setup';
+        case 'not_verifiable':
+            return 'not_verifiable';
+        case 'ready':
+            if (state.status === 'blocked')
+                return 'blocked';
+            return 'ready_to_verify';
+        default:
+            if (state.status === 'blocked')
+                return 'blocked';
+            return outcome.workflowId ? 'ready_to_verify' : 'blocked';
+    }
+}
+function derivePolicy(status, outcome) {
+    if (status === 'not_verifiable')
+        return 'manual';
+    if (outcome?.verificationReadiness?.status === 'not_verifiable')
+        return 'manual';
+    return 'required';
+}
+function deriveBlockingReason(state, outcome) {
+    if (!outcome)
+        return undefined;
+    if (!outcome.submitted) {
+        return (outcome.blockingReason ?? outcome.failureSignature ?? 'Builder did not submit a workflow.');
+    }
+    if (outcome.verificationReadiness?.status === 'not_verifiable') {
+        return outcome.verificationReadiness.guidance;
+    }
+    if (outcome.verificationReadiness?.status === 'needs_setup') {
+        return outcome.verificationReadiness.guidance;
+    }
+    const outcomeRemediation = outcome.remediation;
+    if (outcomeRemediation?.category === 'needs_setup' && !outcomeRemediation.shouldEdit) {
+        return outcomeRemediation.guidance;
+    }
+    const lastRemediation = state.lastRemediation;
+    if (lastRemediation?.category === 'needs_setup' && !lastRemediation.shouldEdit) {
+        return lastRemediation.guidance;
+    }
+    if (outcome.setupRequirement?.status === 'required' && hasFailedEvidence(outcome)) {
+        return outcome.setupRequirement.guidance;
+    }
+    if (state.status === 'blocked') {
+        return state.lastRemediation?.guidance ?? outcome.blockingReason ?? outcome.failureSignature;
+    }
+    return undefined;
+}
+function lastAttemptTimestamp(attempts) {
+    return attempts.at(-1)?.createdAt;
+}
+function deriveWorkflowVerificationObligation(threadId, record, options = {}) {
+    const outcome = record.lastBuildOutcome;
+    const status = deriveStatus(record.state, outcome);
+    const updatedAt = options.updatedAt ?? lastAttemptTimestamp(record.attempts) ?? new Date().toISOString();
+    const owner = (0, workflow_loop_state_1.resolveWorkflowBuildOwner)(options, record.state, outcome);
+    const plannedTaskId = (0, workflow_loop_state_1.plannedTaskIdFromWorkflowBuildOwner)(owner);
+    const source = options.source ?? owner.type;
+    return {
+        workItemId: record.state.workItemId,
+        threadId,
+        runId: outcome?.runId ?? record.state.runId,
+        taskId: outcome?.taskId ?? record.state.lastTaskId,
+        owner,
+        plannedTaskId,
+        workflowId: outcome?.workflowId ?? record.state.workflowId,
+        source,
+        policy: derivePolicy(status, outcome),
+        status,
+        readiness: outcome?.verificationReadiness,
+        setupRequirement: outcome?.setupRequirement,
+        evidence: outcome?.verification,
+        blockingReason: deriveBlockingReason(record.state, outcome),
+        updatedAt,
+    };
+}
+function isWorkflowVerificationObligationUnsettled(obligation) {
+    return UNSETTLED_OBLIGATION_STATUSES.has(obligation.status);
+}
+function deriveWorkflowVerificationObligationFromOutcome(threadId, outcome, options = {}) {
+    const state = {
+        workItemId: outcome.workItemId,
+        threadId,
+        runId: outcome.runId,
+        workflowId: outcome.workflowId,
+        lastTaskId: outcome.taskId,
+        owner: outcome.owner,
+        plannedTaskId: outcome.plannedTaskId,
+        phase: 'verifying',
+        status: 'active',
+        source: 'create',
+        rebuildAttempts: 0,
+    };
+    return deriveWorkflowVerificationObligation(threadId, { state, attempts: [], lastBuildOutcome: outcome }, options);
+}
+//# sourceMappingURL=verification-obligation.js.map

package/dist/workflow-loop/verification-obligation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-obligation.js","sourceRoot":"","sources":["../../src/workflow-loop/verification-obligation.ts"],"names":[],"mappings":";;AAqIA,oFA8BC;AAED,8FAIC;AAQD,0GAuBC;AA9LD,+DAG+B;AAe/B,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAuC;IACnF,eAAe;IACf,iBAAiB;IACjB,WAAW;CACX,CAAC,CAAC;AAEH,SAAS,qBAAqB,CAAC,OAA6B;IAC3D,OAAO,CACN,OAAO,CAAC,YAAY,EAAE,SAAS,KAAK,IAAI;QACxC,OAAO,CAAC,YAAY,CAAC,OAAO;QAC5B,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,WAAW,CAClC,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,OAA6B;IACvD,OAAO,OAAO,CAAC,YAAY,EAAE,SAAS,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC;AAClF,CAAC;AAED,SAAS,uBAAuB,CAAC,WAAgD;IAChF,OAAO,WAAW,EAAE,QAAQ,KAAK,aAAa,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;AAC3E,CAAC;AAED,SAAS,wBAAwB,CAChC,KAAwB,EACxB,OAA6B;IAE7B,IAAI,OAAO,CAAC,qBAAqB,EAAE,MAAM,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IACzE,IAAI,uBAAuB,CAAC,OAAO,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,uBAAuB,CAAC,KAAK,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhE,OAAO,OAAO,CAAC,gBAAgB,EAAE,MAAM,KAAK,UAAU,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,YAAY,CACpB,KAAwB,EACxB,OAAyC;IAEzC,IAAI,CAAC,OAAO;QAAE,OAAO,eAAe,CAAC;IAErC,IAAI,CAAC,OAAO,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,qBAAqB,CAAC,OAAO,CAAC;QAAE,OAAO,UAAU,CAAC;IACtD,IAAI,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC;QAAE,OAAO,aAAa,CAAC;IAEnE,QAAQ,OAAO,CAAC,qBAAqB,EAAE,MAAM,EAAE,CAAC;QAC/C,KAAK,kBAAkB;YACtB,OAAO,UAAU,CAAC;QACnB,KAAK,aAAa;YACjB,OAAO,aAAa,CAAC;QACtB,KAAK,gBAAgB;YACpB,OAAO,gBAAgB,CAAC;QACzB,KAAK,OAAO;YACX,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACjD,OAAO,iBAAiB,CAAC;QAC1B;YACC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACjD,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5D,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CACpB,MAA4C,EAC5C,OAAyC;IAEzC,IAAI,MAAM,KAAK,gBAAgB;QAAE,OAAO,QAAQ,CAAC;IACjD,IAAI,OAAO,EAAE,qBAAqB,EAAE,MAAM,KAAK,gBAAgB;QAAE,OAAO,QAAQ,CAAC;IACjF,OAAO,UAAU,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAC5B,KAAwB,EACxB,OAAyC;IAEzC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACxB,OAAO,CACN,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,gBAAgB,IAAI,oCAAoC,CAC1F,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,qBAAqB,EAAE,MAAM,KAAK,gBAAgB,EAAE,CAAC;QAChE,OAAO,OAAO,CAAC,qBAAqB,CAAC,QAAQ,CAAC;IAC/C,CAAC;IACD,IAAI,OAAO,CAAC,qBAAqB,EAAE,MAAM,KAAK,aAAa,EAAE,CAAC;QAC7D,OAAO,OAAO,CAAC,qBAAqB,CAAC,QAAQ,CAAC;IAC/C,CAAC;IACD,MAAM,kBAAkB,GAAG,OAAO,CAAC,WAAW,CAAC;IAC/C,IAAI,kBAAkB,EAAE,QAAQ,KAAK,aAAa,IAAI,CAAC,kBAAkB,CAAC,UAAU,EAAE,CAAC;QACtF,OAAO,kBAAkB,CAAC,QAAQ,CAAC;IACpC,CAAC;IACD,MAAM,eAAe,GAAG,KAAK,CAAC,eAAe,CAAC;IAC9C,IAAI,eAAe,EAAE,QAAQ,KAAK,aAAa,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC;QAChF,OAAO,eAAe,CAAC,QAAQ,CAAC;IACjC,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,EAAE,MAAM,KAAK,UAAU,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QACnF,OAAO,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC;IAC1C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC,eAAe,EAAE,QAAQ,IAAI,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,gBAAgB,CAAC;IAC9F,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAyB;IACtD,OAAO,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;AACnC,CAAC;AAED,SAAgB,oCAAoC,CACnD,QAAgB,EAChB,MAA4C,EAC5C,UAAuD,EAAE;IAEzD,MAAM,OAAO,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACxC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,SAAS,GACd,OAAO,CAAC,SAAS,IAAI,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACxF,MAAM,KAAK,GAAG,IAAA,+CAAyB,EAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,IAAA,yDAAmC,EAAC,KAAK,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC;IAE5C,OAAO;QACN,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU;QACnC,QAAQ;QACR,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK;QAC3C,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU;QAClD,KAAK;QACL,aAAa;QACb,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU;QAC1D,MAAM;QACN,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC;QACrC,MAAM;QACN,SAAS,EAAE,OAAO,EAAE,qBAAqB;QACzC,gBAAgB,EAAE,OAAO,EAAE,gBAAgB;QAC3C,QAAQ,EAAE,OAAO,EAAE,YAAY;QAC/B,cAAc,EAAE,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;QAC3D,SAAS;KACT,CAAC;AACH,CAAC;AAED,SAAgB,yCAAyC,CACxD,UAA0C;IAE1C,OAAO,6BAA6B,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;AAC7D,CAAC;AAQD,SAAgB,+CAA+C,CAC9D,QAAgB,EAChB,OAA6B,EAC7B,UAAuD,EAAE;IAEzD,MAAM,KAAK,GAAsB;QAChC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ;QACR,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,UAAU,EAAE,OAAO,CAAC,MAAM;QAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,KAAK,EAAE,WAAW;QAClB,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,QAAQ;QAChB,eAAe,EAAE,CAAC;KAClB,CAAC;IACF,OAAO,oCAAoC,CAC1C,QAAQ,EACR,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAClD,OAAO,CACP,CAAC;AACH,CAAC"}