@polpo-ai/core 0.15.143 → 0.16.0

package/dist/task-execution.d.ts

@@ -0,0 +1,146 @@
+import type { ApprovalRequest, Task, TaskStatus } from "./types.js";
+import type { RunRecord } from "./run-store.js";
+import type { ApprovalStore } from "./approval-store.js";
+/** Host-owned pointer to a durable, single-use approval batch. Never accepted
+ * from authored Tasks, generic patches, or caller metadata. */
+export interface TaskApprovalState {
+    batchId: string;
+    phase: "waiting" | "ready" | "claimed";
+    revision: number;
+    runId?: string;
+}
+export interface TaskApprovalBinding {
+    version: 1;
+    batchId: string;
+    hook: "task:spawn" | "task:complete";
+    requestIds: string[];
+    gates: import("./types.js").ApprovalGate[];
+    /** Durable input and the effective post-hook invocation are both bound. */
+    source: Task;
+    invocation: {
+        task: Task;
+        agent?: import("./types.js").AgentConfig;
+        agentIdentity?: import("./agent-store.js").AgentIdentity;
+        result?: import("./types.js").TaskResult;
+        overrides?: TaskDispatchOverrides;
+    };
+}
+/** Non-secret execution preferences captured separately from durable Task
+ * authority. A ready approval replays them on an ordinary scheduler claim. */
+export interface TaskDispatchOverrides {
+    model?: import("./types/config.js").ProfiledModelSelection;
+    sandbox?: import("./runtime-sandbox.js").RuntimeSandboxOptions;
+    routing?: import("./types.js").RuntimeRoutingOptions;
+    loop?: string;
+}
+/** Host-owned identity of one task attempt. Revision zero represents old rows. */
+export interface TaskExecutionReference {
+    taskId: string;
+    revision: number;
+    runId?: string;
+}
+export type TaskExecutionPatch = Partial<Omit<Task, "id" | "status" | "executionRevision" | "activeRunId" | "retries" | "approvalState">>;
+export type TaskExecutionMutation = {
+    type: "patch";
+    updates: TaskExecutionPatch;
+} | {
+    type: "transition";
+    status: TaskStatus;
+    updates?: TaskExecutionPatch;
+} | {
+    type: "requeue";
+    countRetry: boolean;
+    reason: string;
+    onlyIfRunRunning?: boolean;
+    updates?: TaskExecutionPatch;
+} | {
+    type: "cancel";
+    reason?: string;
+};
+export interface TaskExecutionState {
+    task: Task;
+    run?: RunRecord;
+}
+export interface TaskDispatchClaim extends TaskExecutionState {
+    run: RunRecord;
+    overrides?: TaskDispatchOverrides;
+}
+/** Task and Run changes in these operations form one durable transaction.
+ * A stale reference rejects without chasing or modifying a newer attempt. */
+export interface TaskExecutionStore {
+    claimTaskExecution(expected: TaskExecutionReference, runId: string): Promise<TaskExecutionState & {
+        run: RunRecord;
+    }>;
+    mutateTaskExecution(expected: TaskExecutionReference, mutation: TaskExecutionMutation): Promise<TaskExecutionState>;
+}
+/** A captured row (or its absence) used to make an asynchronous decision.
+ * Full snapshots also fence edits that do not advance the execution generation. */
+export interface TaskExecutionPrecondition {
+    taskId: string;
+    snapshot: Task | null;
+}
+export interface ConditionalTaskExecutionStore extends TaskExecutionStore {
+    mutateTaskExecutionConditionally(expected: TaskExecutionReference, mutation: TaskExecutionMutation, preconditions: readonly TaskExecutionPrecondition[]): Promise<TaskExecutionState>;
+}
+/** An approval read condition and optional replacement in the SAME transaction
+ * as Task/Run state. null asserts absence; omitted next is a read condition only. */
+export interface TaskApprovalChange {
+    id: string;
+    expected: ApprovalRequest | null;
+    next?: ApprovalRequest;
+}
+export interface TaskApprovalDecision {
+    expected: TaskExecutionReference;
+    /** Must include the complete captured target Task, not only its generation. */
+    tasks: TaskExecutionPrecondition[];
+    approvals: TaskApprovalChange[];
+    /** Omit for a partial gate decision which must leave the waiting Task intact. */
+    operation?: TaskExecutionMutation | {
+        type: "claim";
+        runId: string;
+    };
+    /** Explicit authority change, separate from the public Task patch surface. */
+    approvalState?: TaskApprovalState | null;
+}
+/** This is a persistence capability, not permission to approve arbitrary work.
+ * The runtime must bind gate policy and one-use consent to the execution. */
+export interface TaskApprovalExecutionStore extends ConditionalTaskExecutionStore {
+    commitTaskApprovalDecision(decision: TaskApprovalDecision): Promise<TaskExecutionState>;
+    /** The request adapter bound to the SAME durable project as this Task store. */
+    getTaskApprovalStore(): ApprovalStore;
+}
+export declare function isTaskApprovalExecutionStore(value: unknown): value is TaskApprovalExecutionStore;
+export declare class TaskApprovalError extends Error {
+    readonly code: "task_approval_invalid" | "task_approval_conflict" | "task_approval_unsupported";
+    constructor(code: "task_approval_invalid" | "task_approval_conflict" | "task_approval_unsupported", message: string);
+}
+export declare function normalizeTaskApprovalDecision(raw: TaskApprovalDecision): TaskApprovalDecision;
+/** Apply only inside the same Task/Run/Approval transaction. */
+export declare function applyTaskApprovalState(state: TaskExecutionState, authority: TaskApprovalState | null | undefined): TaskExecutionState;
+/** Call while all approval reads, including absence, are protected until commit. */
+export declare function assertTaskApprovalPreconditions(changes: readonly TaskApprovalChange[], read: (id: string) => ApprovalRequest | undefined): void;
+export declare function isConditionalTaskExecutionStore(value: unknown): value is ConditionalTaskExecutionStore;
+/** Capture the decision's whole dependency graph before asynchronous work. */
+export declare function taskDependencyPreconditions(task: Task, allTasks: readonly Task[]): TaskExecutionPrecondition[];
+export declare class TaskExecutionError extends Error {
+    readonly code: "task_execution_invalid" | "task_execution_conflict" | "task_execution_unsupported";
+    constructor(code: "task_execution_invalid" | "task_execution_conflict" | "task_execution_unsupported", message: string);
+}
+export declare function isTaskExecutionStore(value: unknown): value is TaskExecutionStore;
+export declare function normalizeTaskExecutionReference(expected: TaskExecutionReference): TaskExecutionReference;
+export declare function taskExecutionReference(task: Task): TaskExecutionReference;
+export declare function nextTaskExecutionRevision(task: Task): number;
+/** Copy before any I/O, retaining explicit undefined (optional-field clearing). */
+export declare function normalizeTaskExecutionMutation(mutation: TaskExecutionMutation): TaskExecutionMutation;
+/** Copy and validate before any I/O; a legacy adapter cannot silently ignore these checks. */
+export declare function normalizeTaskExecutionPreconditions(input: readonly TaskExecutionPrecondition[]): TaskExecutionPrecondition[];
+/** The adapter must keep the read rows/absence stable until its write commits. */
+export declare function assertTaskExecutionPreconditions(conditions: readonly TaskExecutionPrecondition[], read: (id: string) => Task | undefined): void;
+/** Called only while holding the Task/Run transaction. Initial Run state comes
+ * from the persisted Task, never from a delayed caller's mutable configuration. */
+export declare function prepareTaskExecutionClaim(task: Task | undefined, expected: TaskExecutionReference, runId: string, now: string): TaskExecutionState & {
+    run: RunRecord;
+};
+/** Pure state calculation shared by SQL and file transaction adapters. */
+export declare function prepareTaskExecutionMutation(task: Task | undefined, run: RunRecord | undefined, expected: TaskExecutionReference, mutation: TaskExecutionMutation, now: string): TaskExecutionState;
+//# sourceMappingURL=task-execution.d.ts.map

package/dist/task-execution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-execution.d.ts","sourceRoot":"","sources":["../src/task-execution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAGhD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD;+DAC+D;AAC/D,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AACD,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,CAAC,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,YAAY,GAAG,eAAe,CAAC;IACrC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,EAAE,OAAO,YAAY,EAAE,YAAY,EAAE,CAAC;IAC3C,2EAA2E;IAC3E,MAAM,EAAE,IAAI,CAAC;IACb,UAAU,EAAE;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,YAAY,EAAE,WAAW,CAAC;QAAC,aAAa,CAAC,EAAE,OAAO,kBAAkB,EAAE,aAAa,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,YAAY,EAAE,UAAU,CAAC;QAAC,SAAS,CAAC,EAAE,qBAAqB,CAAA;KAAE,CAAC;CAC7M;AAED;8EAC8E;AAC9E,MAAM,WAAW,qBAAqB;IACpC,KAAK,CAAC,EAAE,OAAO,mBAAmB,EAAE,sBAAsB,CAAC;IAC3D,OAAO,CAAC,EAAE,OAAO,sBAAsB,EAAE,qBAAqB,CAAC;IAC/D,OAAO,CAAC,EAAE,OAAO,YAAY,EAAE,qBAAqB,CAAC;IACrD,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,kFAAkF;AAClF,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AACD,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,QAAQ,GAAG,mBAAmB,GAAG,aAAa,GAAG,SAAS,GAAG,eAAe,CAAC,CAAC,CAAC;AAC1I,MAAM,MAAM,qBAAqB,GAC7B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,kBAAkB,CAAA;CAAE,GAC9C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC;IAAC,OAAO,CAAC,EAAE,kBAAkB,CAAA;CAAE,GACxE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,kBAAkB,CAAA;CAAE,GAClH;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AACxC,MAAM,WAAW,kBAAkB;IAAG,IAAI,EAAE,IAAI,CAAC;IAAC,GAAG,CAAC,EAAE,SAAS,CAAA;CAAE;AACnE,MAAM,WAAW,iBAAkB,SAAQ,kBAAkB;IAC3D,GAAG,EAAE,SAAS,CAAC;IACf,SAAS,CAAC,EAAE,qBAAqB,CAAC;CACnC;AAED;6EAC6E;AAC7E,MAAM,WAAW,kBAAkB;IACjC,kBAAkB,CAAC,QAAQ,EAAE,sBAAsB,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,GAAG;QAAE,GAAG,EAAE,SAAS,CAAA;KAAE,CAAC,CAAC;IACtH,mBAAmB,CAAC,QAAQ,EAAE,sBAAsB,EAAE,QAAQ,EAAE,qBAAqB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;CACrH;AACD;mFACmF;AACnF,MAAM,WAAW,yBAAyB;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,IAAI,GAAG,IAAI,CAAA;CAAE;AACpF,MAAM,WAAW,6BAA8B,SAAQ,kBAAkB;IACvE,gCAAgC,CAAC,QAAQ,EAAE,sBAAsB,EAAE,QAAQ,EAAE,qBAAqB,EAChG,aAAa,EAAE,SAAS,yBAAyB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;CACrF;AACD;qFACqF;AACrF,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,eAAe,GAAG,IAAI,CAAC;IACjC,IAAI,CAAC,EAAE,eAAe,CAAC;CACxB;AACD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,sBAAsB,CAAC;IACjC,+EAA+E;IAC/E,KAAK,EAAE,yBAAyB,EAAE,CAAC;IACnC,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChC,iFAAiF;IACjF,SAAS,CAAC,EAAE,qBAAqB,GAAG;QAAE,IAAI,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACrE,8EAA8E;IAC9E,aAAa,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC1C;AACD;6EAC6E;AAC7E,MAAM,WAAW,0BAA2B,SAAQ,6BAA6B;IAC/E,0BAA0B,CAAC,QAAQ,EAAE,oBAAoB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACxF,gFAAgF;IAChF,oBAAoB,IAAI,aAAa,CAAC;CACvC;AACD,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,0BAA0B,CAIhG;AACD,qBAAa,iBAAkB,SAAQ,KAAK;IAC9B,QAAQ,CAAC,IAAI,EAAE,uBAAuB,GAAG,wBAAwB,GAAG,2BAA2B;gBAAtF,IAAI,EAAE,uBAAuB,GAAG,wBAAwB,GAAG,2BAA2B,EAAE,OAAO,EAAE,MAAM;CAG7H;AA0BD,wBAAgB,6BAA6B,CAAC,GAAG,EAAE,oBAAoB,GAAG,oBAAoB,CAuC7F;AACD,gEAAgE;AAChE,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,EAAE,SAAS,EAAE,iBAAiB,GAAG,IAAI,GAAG,SAAS,GAAG,kBAAkB,CAUrI;AACD,oFAAoF;AACpF,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,eAAe,GAAG,SAAS,GAAG,IAAI,CAQ/I;AACD,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,6BAA6B,CAGtG;AACD,8EAA8E;AAC9E,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,IAAI,EAAE,GAAG,yBAAyB,EAAE,CAY9G;AAED,qBAAa,kBAAmB,SAAQ,KAAK;IAC/B,QAAQ,CAAC,IAAI,EAAE,wBAAwB,GAAG,yBAAyB,GAAG,4BAA4B;gBAAzF,IAAI,EAAE,wBAAwB,GAAG,yBAAyB,GAAG,4BAA4B,EAAE,OAAO,EAAE,MAAM;CAGhI;AACD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CAGhF;AAID,wBAAgB,+BAA+B,CAAC,QAAQ,EAAE,sBAAsB,GAAG,sBAAsB,CAKxG;AACD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,IAAI,GAAG,sBAAsB,CAEzE;AACD,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAI5D;AAMD,mFAAmF;AACnF,wBAAgB,8BAA8B,CAAC,QAAQ,EAAE,qBAAqB,GAAG,qBAAqB,CA4BrG;AAED,8FAA8F;AAC9F,wBAAgB,mCAAmC,CAAC,KAAK,EAAE,SAAS,yBAAyB,EAAE,GAAG,yBAAyB,EAAE,CAe5H;AAWD,kFAAkF;AAClF,wBAAgB,gCAAgC,CAAC,UAAU,EAAE,SAAS,yBAAyB,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,IAAI,GAAG,SAAS,GAAG,IAAI,CAM/I;AAED;mFACmF;AACnF,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,EAAE,QAAQ,EAAE,sBAAsB,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,kBAAkB,GAAG;IAAE,GAAG,EAAE,SAAS,CAAA;CAAE,CAWvK;AAED,0EAA0E;AAC1E,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,SAAS,EAC7F,QAAQ,EAAE,sBAAsB,EAAE,QAAQ,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,GAAG,kBAAkB,CA4CpG"}

package/dist/task-execution.js

@@ -0,0 +1,357 @@
+import { assertValidTransition } from "./state-machine.js";
+import { normalizeRuntimeMetadata } from "./runtime-metadata.js";
+export function isTaskApprovalExecutionStore(value) {
+    return isConditionalTaskExecutionStore(value)
+        && typeof value.commitTaskApprovalDecision === "function"
+        && typeof value.getTaskApprovalStore === "function";
+}
+export class TaskApprovalError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "TaskApprovalError";
+    }
+}
+function invalidApproval() { throw new TaskApprovalError("task_approval_invalid", "Invalid Task approval decision"); }
+function approvalSnapshotKey(value) {
+    const stable = (input) => input === null || typeof input !== "object" ? JSON.stringify(input)
+        : Array.isArray(input) ? `[${input.map(stable).join(",")}]`
+            : `{${Object.keys(input).sort().map(key => `${JSON.stringify(key)}:${stable(input[key])}`).join(",")}}`;
+    try {
+        return stable(JSON.parse(JSON.stringify(value)));
+    }
+    catch {
+        return invalidApproval();
+    }
+}
+function checkApproval(request, id, taskId) {
+    if (!request || typeof request !== "object" || Array.isArray(request) || request.id !== id || request.taskId !== taskId
+        || typeof request.gateId !== "string" || typeof request.gateName !== "string" || typeof request.requestedAt !== "string"
+        || !["pending", "approved", "rejected", "timeout"].includes(request.status)
+        || [request.missionId, request.resolvedAt, request.resolvedBy, request.note].some(value => value !== undefined && typeof value !== "string"))
+        invalidApproval();
+    const fields = new Set(["id", "gateId", "gateName", "taskId", "missionId", "status", "payload", "requestedAt", "resolvedAt", "resolvedBy", "note", "taskExecution"]);
+    if (Object.keys(request).some(key => !fields.has(key)))
+        invalidApproval();
+    if (request.taskExecution !== undefined) {
+        const binding = request.taskExecution;
+        if (binding.version !== 1 || !validId(binding.batchId) || !["task:spawn", "task:complete"].includes(binding.hook)
+            || !Array.isArray(binding.requestIds) || !binding.requestIds.includes(id) || binding.requestIds.some(id => !validId(id))
+            || new Set(binding.requestIds).size !== binding.requestIds.length || !binding.requestIds.length || binding.requestIds.length > 1000
+            || !Array.isArray(binding.gates) || binding.gates.length !== binding.requestIds.length
+            || binding.gates[binding.requestIds.indexOf(id)]?.id !== request.gateId
+            || binding.source?.id !== taskId || binding.invocation?.task?.id !== taskId)
+            invalidApproval();
+    }
+    approvalSnapshotKey(request);
+}
+export function normalizeTaskApprovalDecision(raw) {
+    let input;
+    try {
+        input = structuredClone(raw);
+    }
+    catch {
+        return invalidApproval();
+    }
+    if (!input || !Array.isArray(input.approvals) || input.approvals.length === 0 || input.approvals.length > 1000)
+        invalidApproval();
+    input.expected = normalizeTaskExecutionReference(input.expected);
+    input.tasks = normalizeTaskExecutionPreconditions(input.tasks);
+    const target = input.tasks.find(condition => condition.taskId === input.expected.taskId)?.snapshot;
+    if (!target || JSON.stringify(taskExecutionReference(target)) !== JSON.stringify(input.expected))
+        invalidApproval();
+    const seen = new Set();
+    for (const change of input.approvals) {
+        if (!change || !validId(change.id) || seen.has(change.id))
+            invalidApproval();
+        seen.add(change.id);
+        if (change.expected !== null)
+            checkApproval(change.expected, change.id, input.expected.taskId);
+        if (change.next !== undefined) {
+            checkApproval(change.next, change.id, input.expected.taskId);
+            if (change.expected === null) {
+                if (change.next.status !== "pending" || change.next.resolvedAt !== undefined || change.next.resolvedBy !== undefined)
+                    invalidApproval();
+            }
+            else {
+                // Resolution cannot silently replace the captured gate, subject or input.
+                const immutable = (request) => {
+                    const { status, resolvedAt, resolvedBy, note, ...snapshot } = request;
+                    return snapshot;
+                };
+                if (approvalSnapshotKey(immutable(change.expected)) !== approvalSnapshotKey(immutable(change.next)))
+                    invalidApproval();
+                if (change.expected.status !== "pending" && approvalSnapshotKey(change.expected) !== approvalSnapshotKey(change.next))
+                    invalidApproval();
+            }
+        }
+    }
+    if (input.operation !== undefined) {
+        if (input.operation?.type === "claim")
+            normalizeTaskExecutionReference({ taskId: input.operation.runId, revision: 0 });
+        else
+            input.operation = normalizeTaskExecutionMutation(input.operation);
+    }
+    if (input.approvalState !== undefined && input.approvalState !== null) {
+        const state = input.approvalState;
+        if (!validId(state.batchId) || !["waiting", "ready", "claimed"].includes(state.phase))
+            invalidApproval();
+        normalizeTaskExecutionReference({ taskId: input.expected.taskId, revision: state.revision, runId: state.runId });
+        if (!input.operation || !input.approvals.every(change => (change.next ?? change.expected)?.taskExecution?.batchId === state.batchId))
+            invalidApproval();
+    }
+    return input;
+}
+/** Apply only inside the same Task/Run/Approval transaction. */
+export function applyTaskApprovalState(state, authority) {
+    if (authority === undefined)
+        return state;
+    if (authority !== null) {
+        const ref = taskExecutionReference(state.task);
+        if (authority.revision !== ref.revision || authority.runId !== ref.runId
+            || (authority.phase === "waiting" && state.task.status !== "awaiting_approval")
+            || (authority.phase === "ready" && state.task.status !== "pending")
+            || (authority.phase === "claimed" && (state.task.status !== "in_progress" || !ref.runId)))
+            invalidApproval();
+    }
+    return { ...state, task: { ...state.task, approvalState: authority ?? undefined } };
+}
+/** Call while all approval reads, including absence, are protected until commit. */
+export function assertTaskApprovalPreconditions(changes, read) {
+    for (const change of changes) {
+        const current = read(change.id);
+        if (change.expected === null ? current !== undefined
+            : current === undefined || approvalSnapshotKey(current) !== approvalSnapshotKey(change.expected)) {
+            throw new TaskApprovalError("task_approval_conflict", "Approval request changed");
+        }
+    }
+}
+export function isConditionalTaskExecutionStore(value) {
+    return isTaskExecutionStore(value)
+        && typeof value.mutateTaskExecutionConditionally === "function";
+}
+/** Capture the decision's whole dependency graph before asynchronous work. */
+export function taskDependencyPreconditions(task, allTasks) {
+    const tasks = new Map(allTasks.map(value => [value.id, value]));
+    tasks.set(task.id, task);
+    const conditions = new Map(), pending = [task.id];
+    while (pending.length) {
+        const id = pending.pop();
+        if (conditions.has(id))
+            continue;
+        const current = tasks.get(id);
+        conditions.set(id, { taskId: id, snapshot: current ?? null });
+        if (current)
+            pending.push(...current.dependsOn);
+    }
+    return normalizeTaskExecutionPreconditions([...conditions.values()]);
+}
+export class TaskExecutionError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "TaskExecutionError";
+    }
+}
+export function isTaskExecutionStore(value) {
+    const store = value;
+    return !!store && typeof store.claimTaskExecution === "function" && typeof store.mutateTaskExecution === "function";
+}
+function invalid() { throw new TaskExecutionError("task_execution_invalid", "Invalid Task execution state"); }
+function conflict() { throw new TaskExecutionError("task_execution_conflict", "Task execution changed"); }
+const validId = (value) => typeof value === "string" && /^[a-zA-Z0-9_-]{1,200}$/.test(value);
+export function normalizeTaskExecutionReference(expected) {
+    if (!expected || !validId(expected.taskId) || !Number.isSafeInteger(expected.revision)
+        || expected.revision < 0 || expected.revision > 2_147_483_647
+        || (expected.runId !== undefined && !validId(expected.runId)))
+        invalid();
+    return { taskId: expected.taskId, revision: expected.revision, ...(expected.runId === undefined ? {} : { runId: expected.runId }) };
+}
+export function taskExecutionReference(task) {
+    return normalizeTaskExecutionReference({ taskId: task.id, revision: task.executionRevision ?? 0, runId: task.activeRunId });
+}
+export function nextTaskExecutionRevision(task) {
+    const value = taskExecutionReference(task).revision + 1;
+    if (value > 2_147_483_647)
+        invalid();
+    return value;
+}
+function assertCurrent(task, expected) {
+    if (!task)
+        conflict();
+    const current = taskExecutionReference(task);
+    if (current.taskId !== expected.taskId || current.revision !== expected.revision || current.runId !== expected.runId)
+        conflict();
+}
+/** Copy before any I/O, retaining explicit undefined (optional-field clearing). */
+export function normalizeTaskExecutionMutation(mutation) {
+    let copy;
+    try {
+        copy = structuredClone(mutation);
+    }
+    catch {
+        return invalid();
+    }
+    if (!copy || !["patch", "transition", "requeue", "cancel"].includes(copy.type))
+        invalid();
+    if (copy.type === "requeue" && (typeof copy.countRetry !== "boolean" || typeof copy.reason !== "string" || !copy.reason.trim()))
+        invalid();
+    if (copy.type === "requeue" && copy.onlyIfRunRunning !== undefined && typeof copy.onlyIfRunRunning !== "boolean")
+        invalid();
+    if ((copy.type === "cancel" || copy.type === "requeue") && copy.reason !== undefined
+        && (typeof copy.reason !== "string" || copy.reason.length > 2000))
+        invalid();
+    if (copy.type !== "cancel" && copy.updates !== undefined) {
+        if (!copy.updates || typeof copy.updates !== "object" || Array.isArray(copy.updates))
+            invalid();
+        for (const field of ["id", "status", "executionRevision", "activeRunId", "retries", "approvalState"]) {
+            if (Object.hasOwn(copy.updates, field))
+                invalid();
+        }
+        // A required field cannot be removed. Optional counters have a shared zero
+        // default, including in SQL where these columns are deliberately NOT NULL.
+        // Normalize here so adapters return and persist the same logical state.
+        for (const field of ["title", "description", "assignTo", "dependsOn", "expectations", "metrics", "maxRetries", "createdAt", "updatedAt"]) {
+            if (Object.hasOwn(copy.updates, field) && copy.updates[field] == null)
+                invalid();
+        }
+        for (const field of ["fixAttempts", "questionRounds", "resolutionAttempts"]) {
+            if (Object.hasOwn(copy.updates, field) && copy.updates[field] === undefined)
+                copy.updates[field] = 0;
+            const value = copy.updates[field];
+            if (value !== undefined && (!Number.isSafeInteger(value) || value < 0 || value > 2_147_483_647))
+                invalid();
+        }
+        if (copy.updates.metadata !== undefined)
+            copy.updates.metadata = normalizeRuntimeMetadata(copy.updates.metadata);
+    }
+    if (copy.type === "patch" && copy.updates === undefined)
+        invalid();
+    return copy;
+}
+/** Copy and validate before any I/O; a legacy adapter cannot silently ignore these checks. */
+export function normalizeTaskExecutionPreconditions(input) {
+    let copied;
+    try {
+        copied = structuredClone(input);
+    }
+    catch {
+        return invalid();
+    }
+    if (!Array.isArray(copied) || !copied.length || copied.length > 10000)
+        invalid();
+    const seen = new Set();
+    for (const condition of copied) {
+        if (!condition || !validId(condition.taskId) || seen.has(condition.taskId))
+            invalid();
+        seen.add(condition.taskId);
+        if (condition.snapshot !== null) {
+            if (!condition.snapshot || condition.snapshot.id !== condition.taskId)
+                invalid();
+            taskExecutionReference(condition.snapshot);
+            taskSnapshotKey(condition.snapshot);
+        }
+    }
+    return copied;
+}
+function taskSnapshotKey(task) {
+    // SQL supplies zero defaults and file rows may omit them. JSON object key
+    // order is not semantic; optional undefined fields represent absence.
+    const normalized = { ...task, executionRevision: task.executionRevision ?? 0,
+        fixAttempts: task.fixAttempts ?? 0, questionRounds: task.questionRounds ?? 0, resolutionAttempts: task.resolutionAttempts ?? 0 };
+    const stable = (value) => value === null || typeof value !== "object" ? JSON.stringify(value)
+        : Array.isArray(value) ? `[${value.map(stable).join(",")}]`
+            : `{${Object.keys(value).sort().map(key => `${JSON.stringify(key)}:${stable(value[key])}`).join(",")}}`;
+    try {
+        return stable(JSON.parse(JSON.stringify(normalized)));
+    }
+    catch {
+        return invalid();
+    }
+}
+/** The adapter must keep the read rows/absence stable until its write commits. */
+export function assertTaskExecutionPreconditions(conditions, read) {
+    for (const condition of conditions) {
+        const current = read(condition.taskId);
+        if (condition.snapshot === null) {
+            if (current)
+                conflict();
+        }
+        else if (!current || taskSnapshotKey(current) !== taskSnapshotKey(condition.snapshot))
+            conflict();
+    }
+}
+/** Called only while holding the Task/Run transaction. Initial Run state comes
+ * from the persisted Task, never from a delayed caller's mutable configuration. */
+export function prepareTaskExecutionClaim(task, expected, runId, now) {
+    assertCurrent(task, expected);
+    if (task.status !== "pending" || task.activeRunId !== undefined)
+        conflict();
+    if (!validId(runId))
+        invalid();
+    const claimed = { ...task, executionRevision: nextTaskExecutionRevision(task), activeRunId: runId,
+        status: "in_progress", phase: task.phase ?? "execution", updatedAt: now, approvalState: undefined };
+    const run = { id: runId, taskId: task.id, taskExecutionRevision: claimed.executionRevision,
+        agentName: task.assignTo, user: task.user, pid: 0, status: "running", startedAt: now, updatedAt: now,
+        activity: { filesCreated: [], filesEdited: [], toolCalls: 0, totalTokens: 0, lastUpdate: now },
+        configPath: `pending://${runId}`, engine: "agent", delivery: "background" };
+    return { task: claimed, run };
+}
+/** Pure state calculation shared by SQL and file transaction adapters. */
+export function prepareTaskExecutionMutation(task, run, expected, mutation, now) {
+    assertCurrent(task, expected);
+    if (task.activeRunId !== undefined && (!run || run.id !== task.activeRunId || run.taskId !== task.id
+        || run.taskExecutionRevision !== task.executionRevision))
+        invalid();
+    if (task.activeRunId === undefined && run !== undefined)
+        invalid();
+    const terminalTask = task.status === "done" || task.status === "failed";
+    if (mutation.type === "cancel" && terminalTask && task.activeRunId === undefined && task.approvalState === undefined)
+        return { task, run };
+    const requeue = mutation.type === "requeue" || (mutation.type === "transition" && mutation.status === "pending");
+    const awaitingApproval = mutation.type === "transition" && mutation.status === "awaiting_approval";
+    if (mutation.type === "transition")
+        assertValidTransition(task.status, mutation.status);
+    if (mutation.type === "requeue") {
+        // Recovery cannot discard a completion which won after its liveness read.
+        if (mutation.onlyIfRunRunning && run?.status !== "running")
+            conflict();
+        // Escalation may replace work that is still queued. Publishing its new
+        // input also advances the generation so a scheduler holding the previous
+        // pending snapshot cannot claim it. Counted retries still require a run.
+        if (task.status === "draft" || task.status === "done")
+            conflict();
+        if (mutation.countRetry && !["failed", "review", "in_progress", "assigned"].includes(task.status))
+            conflict();
+    }
+    const updated = { ...task, ...(mutation.type === "cancel" ? {} : mutation.updates), updatedAt: now };
+    if (mutation.type === "transition")
+        updated.status = mutation.status;
+    if (requeue || awaitingApproval || mutation.type === "cancel") {
+        updated.executionRevision = nextTaskExecutionRevision(task);
+        updated.activeRunId = undefined;
+        updated.approvalState = undefined;
+        if (requeue) {
+            updated.status = "pending";
+            const countRetry = mutation.type === "requeue" ? mutation.countRetry : task.status === "failed";
+            updated.retries = task.retries + (countRetry ? 1 : 0);
+        }
+        else if (mutation.type === "cancel") {
+            // The old Run remains history, but no longer owns the Task generation.
+            if (!terminalTask) {
+                updated.status = "failed";
+                updated.result = { exitCode: 1, stdout: "", stderr: mutation.reason || "Task cancelled", duration: 0 };
+                updated.phase = undefined;
+            }
+        }
+        if (run?.status === "running") {
+            run = { ...run, status: "killed", completedAt: now, updatedAt: now,
+                result: { exitCode: 1, stdout: "", stderr: mutation.type === "cancel" ? mutation.reason || "Task cancelled" : awaitingApproval ? "Task awaiting approval" : "Task requeued",
+                    duration: Math.max(0, Date.parse(now) - Date.parse(run.startedAt)) } };
+        }
+    }
+    return { task: updated, run };
+}
+//# sourceMappingURL=task-execution.js.map

package/dist/task-execution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-execution.js","sourceRoot":"","sources":["../src/task-execution.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAsFjE,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,OAAO,+BAA+B,CAAC,KAAK,CAAC;WACxC,OAAQ,KAA6C,CAAC,0BAA0B,KAAK,UAAU;WAC/F,OAAQ,KAA6C,CAAC,oBAAoB,KAAK,UAAU,CAAC;AACjG,CAAC;AACD,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACrB;IAArB,YAAqB,IAAsF,EAAE,OAAe;QAC1H,KAAK,CAAC,OAAO,CAAC,CAAC;QADI,SAAI,GAAJ,IAAI,CAAkF;QACzF,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClD,CAAC;CACF;AACD,SAAS,eAAe,KAAY,MAAM,IAAI,iBAAiB,CAAC,uBAAuB,EAAE,gCAAgC,CAAC,CAAC,CAAC,CAAC;AAC7H,SAAS,mBAAmB,CAAC,KAAc;IACzC,MAAM,MAAM,GAAG,CAAC,KAAU,EAAU,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;QACxG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;YACzD,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC5G,IAAI,CAAC;QAAC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,eAAe,EAAE,CAAC;IAAC,CAAC;AAC/F,CAAC;AACD,SAAS,aAAa,CAAC,OAAwB,EAAE,EAAU,EAAE,MAAc;IACzE,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM;WAClH,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,WAAW,KAAK,QAAQ;WACrH,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;WACxE,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;QAAE,eAAe,EAAE,CAAC;IAClK,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC;IACrK,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAE,eAAe,EAAE,CAAC;IAC1E,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;QACtC,IAAI,OAAO,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;eAC5G,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;eACrH,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,IAAI;eAChI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC,MAAM;eACnF,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,OAAO,CAAC,MAAM;eACpE,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,MAAM,IAAI,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,KAAK,MAAM;YAAE,eAAe,EAAE,CAAC;IACnG,CAAC;IACD,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC;AACD,MAAM,UAAU,6BAA6B,CAAC,GAAyB;IACrE,IAAI,KAA2B,CAAC;IAChC,IAAI,CAAC;QAAC,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,eAAe,EAAE,CAAC;IAAC,CAAC;IACzE,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,IAAI;QAAE,eAAe,EAAE,CAAC;IAClI,KAAK,CAAC,QAAQ,GAAG,+BAA+B,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjE,KAAK,CAAC,KAAK,GAAG,mCAAmC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC;IACnG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,eAAe,EAAE,CAAC;IACpH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACrC,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,eAAe,EAAE,CAAC;QAC7E,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpB,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;YAAE,aAAa,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/F,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC7D,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBAC7B,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS;oBAAE,eAAe,EAAE,CAAC;YAC1I,CAAC;iBAAM,CAAC;gBACN,0EAA0E;gBAC1E,MAAM,SAAS,GAAG,CAAC,OAAwB,EAAE,EAAE;oBAC7C,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC;oBACtE,OAAO,QAAQ,CAAC;gBAClB,CAAC,CAAC;gBACF,IAAI,mBAAmB,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,mBAAmB,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBAAE,eAAe,EAAE,CAAC;gBACvH,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC;oBAAE,eAAe,EAAE,CAAC;YAC3I,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,SAAS,EAAE,IAAI,KAAK,OAAO;YAAE,+BAA+B,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;;YAClH,KAAK,CAAC,SAAS,GAAG,8BAA8B,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QACtE,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC;QAClC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,eAAe,EAAE,CAAC;QACzG,+BAA+B,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QACjH,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,aAAa,EAAE,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC;YAAE,eAAe,EAAE,CAAC;IAC1J,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD,gEAAgE;AAChE,MAAM,UAAU,sBAAsB,CAAC,KAAyB,EAAE,SAA+C;IAC/G,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,IAAI,SAAS,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK;eACnE,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,mBAAmB,CAAC;eAC5E,CAAC,SAAS,CAAC,KAAK,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;eAChE,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,aAAa,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAAE,eAAe,EAAE,CAAC;IACjH,CAAC;IACD,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,IAAI,SAAS,EAAE,EAAE,CAAC;AACtF,CAAC;AACD,oFAAoF;AACpF,MAAM,UAAU,+BAA+B,CAAC,OAAsC,EAAE,IAAiD;IACvI,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS;YAClD,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,mBAAmB,CAAC,OAAO,CAAC,KAAK,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnG,MAAM,IAAI,iBAAiB,CAAC,wBAAwB,EAAE,0BAA0B,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;AACH,CAAC;AACD,MAAM,UAAU,+BAA+B,CAAC,KAAc;IAC5D,OAAO,oBAAoB,CAAC,KAAK,CAAC;WAC7B,OAAQ,KAAgD,CAAC,gCAAgC,KAAK,UAAU,CAAC;AAChH,CAAC;AACD,8EAA8E;AAC9E,MAAM,UAAU,2BAA2B,CAAC,IAAU,EAAE,QAAyB;IAC/E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAChE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACzB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqC,EAAE,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrF,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QACjC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9B,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,IAAI,IAAI,EAAE,CAAC,CAAC;QAC9D,IAAI,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,mCAAmC,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IACtB;IAArB,YAAqB,IAAyF,EAAE,OAAe;QAC7H,KAAK,CAAC,OAAO,CAAC,CAAC;QADI,SAAI,GAAJ,IAAI,CAAqF;QAC5F,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnD,CAAC;CACF;AACD,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,MAAM,KAAK,GAAG,KAAgD,CAAC;IAC/D,OAAO,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,CAAC,kBAAkB,KAAK,UAAU,IAAI,OAAO,KAAK,CAAC,mBAAmB,KAAK,UAAU,CAAC;AACtH,CAAC;AACD,SAAS,OAAO,KAAY,MAAM,IAAI,kBAAkB,CAAC,wBAAwB,EAAE,8BAA8B,CAAC,CAAC,CAAC,CAAC;AACrH,SAAS,QAAQ,KAAY,MAAM,IAAI,kBAAkB,CAAC,yBAAyB,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC;AACjH,MAAM,OAAO,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACvH,MAAM,UAAU,+BAA+B,CAAC,QAAgC;IAC9E,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC;WACjF,QAAQ,CAAC,QAAQ,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,GAAG,aAAa;WAC1D,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3E,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;AACtI,CAAC;AACD,MAAM,UAAU,sBAAsB,CAAC,IAAU;IAC/C,OAAO,+BAA+B,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,iBAAiB,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;AAC9H,CAAC;AACD,MAAM,UAAU,yBAAyB,CAAC,IAAU;IAClD,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC;IACxD,IAAI,KAAK,GAAG,aAAa;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,aAAa,CAAC,IAAsB,EAAE,QAAgC;IAC7E,IAAI,CAAC,IAAI;QAAE,QAAQ,EAAE,CAAC;IACtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;QAAE,QAAQ,EAAE,CAAC;AACnI,CAAC;AACD,mFAAmF;AACnF,MAAM,UAAU,8BAA8B,CAAC,QAA+B;IAC5E,IAAI,IAA2B,CAAC;IAChC,IAAI,CAAC;QAAC,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,OAAO,EAAE,CAAC;IAAC,CAAC;IACrE,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1F,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3I,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,gBAAgB,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC5H,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;WAC/E,CAAC,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACzD,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,CAAC;QAChG,KAAK,MAAM,KAAK,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,mBAAmB,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,CAAC,EAAE,CAAC;YACrG,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;QACpD,CAAC;QACD,2EAA2E;QAC3E,2EAA2E;QAC3E,wEAAwE;QACxE,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,CAAU,EAAE,CAAC;YAClJ,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI;gBAAE,OAAO,EAAE,CAAC;QACnF,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,CAAC,aAAa,EAAE,gBAAgB,EAAE,oBAAoB,CAAU,EAAE,CAAC;YACrF,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,SAAS;gBAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACrG,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,aAAa,CAAC;gBAAE,OAAO,EAAE,CAAC;QAC7G,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,GAAG,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,mCAAmC,CAAC,KAA2C;IAC7F,IAAI,MAAmC,CAAC;IACxC,IAAI,CAAC;QAAC,MAAM,GAAG,eAAe,CAAC,KAAK,CAAgC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,OAAO,EAAE,CAAC;IAAC,CAAC;IACnG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK;QAAE,OAAO,EAAE,CAAC;IACjF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,CAAC;QACtF,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAChC,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,MAAM;gBAAE,OAAO,EAAE,CAAC;YACjF,sBAAsB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC3C,eAAe,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AACD,SAAS,eAAe,CAAC,IAAU;IACjC,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,UAAU,GAAG,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,IAAI,CAAC;QAC1E,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,CAAC,EAAE,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,IAAI,CAAC,EAAE,CAAC;IACnI,MAAM,MAAM,GAAG,CAAC,KAAU,EAAU,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;QACxG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;YACzD,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC5G,IAAI,CAAC;QAAC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,OAAO,EAAE,CAAC;IAAC,CAAC;AAC5F,CAAC;AACD,kFAAkF;AAClF,MAAM,UAAU,gCAAgC,CAAC,UAAgD,EAAE,IAAsC;IACvI,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAAC,IAAI,OAAO;gBAAE,QAAQ,EAAE,CAAC;QAAC,CAAC;aACxD,IAAI,CAAC,OAAO,IAAI,eAAe,CAAC,OAAO,CAAC,KAAK,eAAe,CAAC,SAAS,CAAC,QAAQ,CAAC;YAAE,QAAQ,EAAE,CAAC;IACpG,CAAC;AACH,CAAC;AAED;mFACmF;AACnF,MAAM,UAAU,yBAAyB,CAAC,IAAsB,EAAE,QAAgC,EAAE,KAAa,EAAE,GAAW;IAC5H,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,QAAQ,EAAE,CAAC;IAC5E,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAS,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,yBAAyB,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,KAAK;QACrG,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,WAAW,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;IACtG,MAAM,GAAG,GAAc,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,qBAAqB,EAAE,OAAO,CAAC,iBAAiB;QACnG,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG;QACpG,QAAQ,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;QAC9F,UAAU,EAAE,aAAa,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;IAC9E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAChC,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,4BAA4B,CAAC,IAAsB,EAAE,GAA0B,EAC7F,QAAgC,EAAE,QAA+B,EAAE,GAAW;IAC9E,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,WAAW,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE;WAC/F,GAAG,CAAC,qBAAqB,KAAK,IAAI,CAAC,iBAAiB,CAAC;QAAE,OAAO,EAAE,CAAC;IACtE,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnE,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC;IACxE,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,YAAY,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC3I,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IACjH,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,MAAM,KAAK,mBAAmB,CAAC;IACnG,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;QAAE,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACxF,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,0EAA0E;QAC1E,IAAI,QAAQ,CAAC,gBAAgB,IAAI,GAAG,EAAE,MAAM,KAAK,SAAS;YAAE,QAAQ,EAAE,CAAC;QACvE,uEAAuE;QACvE,yEAAyE;QACzE,yEAAyE;QACzE,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YAAE,QAAQ,EAAE,CAAC;QAClE,IAAI,QAAQ,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,QAAQ,EAAE,CAAC;IAChH,CAAC;IACD,MAAM,OAAO,GAAS,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC3G,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IACrE,IAAI,OAAO,IAAI,gBAAgB,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9D,OAAO,CAAC,iBAAiB,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;QAC5D,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC;QAChC,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC;QAClC,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC;YAC3B,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC;YAChG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;aAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,uEAAuE;YACvE,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC;gBAC1B,OAAO,CAAC,MAAM,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,IAAI,gBAAgB,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;gBACvG,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,IAAI,GAAG,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,GAAG,GAAG,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG;gBAChE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,eAAe;oBACzK,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAChC,CAAC"}

package/dist/task-manager.d.ts

@@ -1,5 +1,27 @@
 import type { OrchestratorContext } from "./orchestrator-context.js";
 import type { Task, TaskExpectation, ExpectedOutcome, RetryPolicy, ScopedNotificationRules, RuntimeRoutingOptions, RuntimeSandboxOptions } from "./types.js";
+import { type TaskExecutionReference, type TaskExecutionMutation, type TaskExecutionPrecondition, type TaskExecutionState } from "./task-execution.js";
+export type CreateTaskOptions = {
+    title: string;
+    description: string;
+    assignTo: string;
+    loop?: string;
+    expectations?: TaskExpectation[];
+    expectedOutcomes?: ExpectedOutcome[];
+    dependsOn?: string[];
+    group?: string;
+    missionId?: string;
+    maxDuration?: number;
+    retryPolicy?: RetryPolicy;
+    notifications?: ScopedNotificationRules;
+    sideEffects?: boolean;
+    executionMode?: import("./types/config.js").ExecutionMode;
+    sandbox?: RuntimeSandboxOptions;
+    routing?: RuntimeRoutingOptions;
+    user?: string;
+    metadata?: Record<string, string>;
+    draft?: boolean;
+};
 /**
  * Task CRUD: add, update, retry, reassess, kill, abort, clear.
  */
@@ -7,26 +29,11 @@ export declare class TaskManager {
     private ctx;
     private idMap;
     constructor(ctx: OrchestratorContext);
-    createTask(opts: {
-        title: string;
-        description: string;
-        assignTo: string;
-        loop?: string;
-        expectations?: TaskExpectation[];
-        expectedOutcomes?: ExpectedOutcome[];
-        dependsOn?: string[];
-        group?: string;
-        missionId?: string;
-        maxDuration?: number;
-        retryPolicy?: RetryPolicy;
-        notifications?: ScopedNotificationRules;
-        sideEffects?: boolean;
-        executionMode?: import("./types/config.js").ExecutionMode;
-        sandbox?: RuntimeSandboxOptions;
-        routing?: RuntimeRoutingOptions;
-        user?: string;
-        draft?: boolean;
-    }): Promise<Task>;
+    createTask(opts: CreateTaskOptions): Promise<Task>;
+    /** Run planning hooks and validation without publishing a runnable task. */
+    prepareTask(opts: CreateTaskOptions): Promise<Parameters<OrchestratorContext["taskStore"]["createTask"]>[0]>;
+    /** Publish only after the task (or whole Mission admission) has committed. */
+    notifyTaskCreated(task: Task): void;
     updateTaskDescription(taskId: string, description: string): Promise<void>;
     updateTaskAssignment(taskId: string, agentName: string): Promise<void>;
     updateTaskExpectations(taskId: string, expectations: TaskExpectation[]): Promise<void>;
@@ -37,7 +44,9 @@ export declare class TaskManager {
     clearTasks(filter: (task: Task) => boolean): Promise<number>;
     /** Load initial tasks from config (non-interactive mode). */
     seedTasks(): Promise<void>;
-    /** Force a task through the state machine to failed (used by deadlock resolver). */
-    forceFailTask(taskId: string): Promise<void>;
+    /** Commit a decision against every row it observed, then notify its Run owner. */
+    applyTaskExecutionDecision(expected: TaskExecutionReference, mutation: TaskExecutionMutation, preconditions: readonly TaskExecutionPrecondition[]): Promise<TaskExecutionState>;
+    /** Fail one captured attempt, including its still-owned Run. */
+    forceFailTask(taskId: string, expected?: TaskExecutionReference): Promise<void>;
 }
 //# sourceMappingURL=task-manager.d.ts.map

package/dist/task-manager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"task-manager.d.ts","sourceRoot":"","sources":["../src/task-manager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAErE,OAAO,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,eAAe,EAAE,WAAW,EAAiB,uBAAuB,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAI5K;;GAEG;AACH,qBAAa,WAAW;IAGV,OAAO,CAAC,GAAG;IAFvB,OAAO,CAAC,KAAK,CAA6B;gBAEtB,GAAG,EAAE,mBAAmB;IAEtC,UAAU,CAAC,IAAI,EAAE;QACrB,KAAK,EAAE,MAAM,CAAC;QACd,WAAW,EAAE,MAAM,CAAC;QACpB,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,YAAY,CAAC,EAAE,eAAe,EAAE,CAAC;QACjC,gBAAgB,CAAC,EAAE,eAAe,EAAE,CAAC;QACrC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;QACrB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,WAAW,CAAC,EAAE,WAAW,CAAC;QAC1B,aAAa,CAAC,EAAE,uBAAuB,CAAC;QACxC,WAAW,CAAC,EAAE,OAAO,CAAC;QACtB,aAAa,CAAC,EAAE,OAAO,mBAAmB,EAAE,aAAa,CAAC;QAC1D,OAAO,CAAC,EAAE,qBAAqB,CAAC;QAChC,OAAO,CAAC,EAAE,qBAAqB,CAAC;QAChC,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,OAAO,CAAC;KACjB,GAAG,OAAO,CAAC,IAAI,CAAC;IAkFX,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIzE,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAItE,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAatF,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAOxC,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAyF3C,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAqB1C,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAmB1C,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAalE,6DAA6D;IACvD,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;IAuChC,oFAAoF;IAC9E,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;CAWnD"}
+{"version":3,"file":"task-manager.d.ts","sourceRoot":"","sources":["../src/task-manager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAErE,OAAO,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,eAAe,EAAE,WAAW,EAAiB,uBAAuB,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAI5K,OAAO,EAAoE,KAAK,sBAAsB,EAAE,KAAK,qBAAqB,EAAE,KAAK,yBAAyB,EAAE,KAAK,kBAAkB,EAAmC,MAAM,qBAAqB,CAAC;AAE1P,MAAM,MAAM,iBAAiB,GAAG;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,eAAe,EAAE,CAAC;IACjC,gBAAgB,CAAC,EAAE,eAAe,EAAE,CAAC;IACrC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,aAAa,CAAC,EAAE,uBAAuB,CAAC;IACxC,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,aAAa,CAAC,EAAE,OAAO,mBAAmB,EAAE,aAAa,CAAC;IAC1D,OAAO,CAAC,EAAE,qBAAqB,CAAC;IAChC,OAAO,CAAC,EAAE,qBAAqB,CAAC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF;;GAEG;AACH,qBAAa,WAAW;IAGV,OAAO,CAAC,GAAG;IAFvB,OAAO,CAAC,KAAK,CAA6B;gBAEtB,GAAG,EAAE,mBAAmB;IAEtC,UAAU,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;IAOxD,4EAA4E;IACtE,WAAW,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAuElH,8EAA8E;IAC9E,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAe7B,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIzE,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAItE,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAatF,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAOxC,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAyF3C,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAiC1C,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAmB1C,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAalE,6DAA6D;IACvD,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;IAuChC,kFAAkF;IAC5E,0BAA0B,CAAC,QAAQ,EAAE,sBAAsB,EAAE,QAAQ,EAAE,qBAAqB,EAChG,aAAa,EAAE,SAAS,yBAAyB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAiBnF,gEAAgE;IAC1D,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC;CA6BtF"}