self-bench 0.3.6 → 0.3.8

package/dist/temporal/workflow.js

@@ -1,453 +1,46 @@
-import { RetryState } from "@temporalio/common";
-import { ActivityFailure, ApplicationFailure, defineQuery, isCancellation, proxyActivities, setHandler, } from "@temporalio/workflow";
-import { MAX_CANDIDATES_PER_RUN } from "../contracts.js";
-import { parallelMap } from "../parallel.js";
+import { WorkflowIdReusePolicy } from "@temporalio/common";
+import { defineQuery, defineSignal, executeChild, getExternalWorkflowHandle, ParentClosePolicy, setHandler, workflowInfo, } from "@temporalio/workflow";
+import { workflowActivities } from "./workflow/activity-proxies.js";
+import { executeCandidate, initialProgress } from "./workflow/candidate.js";
+import { executeRun } from "./workflow/run.js";
 export const statusQuery = defineQuery("status");
-const taskActivities = proxyActivities({
-    startToCloseTimeout: "7 hours",
-    heartbeatTimeout: "10 minutes",
-    cancellationType: "WAIT_CANCELLATION_COMPLETED",
-    retry: {
-        initialInterval: "5 seconds",
-        backoffCoefficient: 2,
-        maximumInterval: "2 minutes",
-        maximumAttempts: 4,
-    },
-});
-const validationRepairActivity = proxyActivities({
-    startToCloseTimeout: "2 hours",
-    heartbeatTimeout: "10 minutes",
-    cancellationType: "WAIT_CANCELLATION_COMPLETED",
-    retry: { maximumAttempts: 1 },
-});
-const provenanceActivities = proxyActivities({
-    startToCloseTimeout: "5 minutes",
-    heartbeatTimeout: "3 minutes",
-    cancellationType: "WAIT_CANCELLATION_COMPLETED",
-    retry: {
-        initialInterval: "5 seconds",
-        backoffCoefficient: 2,
-        maximumInterval: "1 minute",
-        maximumAttempts: 3,
-    },
-});
-const discoveryActivities = proxyActivities({
-    startToCloseTimeout: "1 hour",
-    heartbeatTimeout: "10 minutes",
-    cancellationType: "WAIT_CANCELLATION_COMPLETED",
-    retry: {
-        initialInterval: "5 seconds",
-        backoffCoefficient: 2,
-        maximumInterval: "1 minute",
-        maximumAttempts: 3,
-    },
-});
-const activities = {
-    collectRunProvenance: provenanceActivities.collectRunProvenance,
-    discoverCandidateShard: discoveryActivities.discoverCandidateShard,
-    authorCandidate: taskActivities.authorCandidate,
-    validateTask: taskActivities.validateTask,
-    repairValidationTask: validationRepairActivity.repairValidationTask,
-    reviewTask: taskActivities.reviewTask,
-    repairTask: taskActivities.repairTask,
-    auditTask: taskActivities.auditTask,
-    buildExport: taskActivities.buildExport,
-};
-const DISCOVERY_SHARD_COUNT = 8;
-const DISCOVERY_SHARD_OVERFETCH = 3;
-const MAX_CANDIDATES_PER_TIER_PER_SHARD = 8;
-const MAX_DISCOVERED_CANDIDATES = MAX_CANDIDATES_PER_RUN * 3;
-const MAX_CONCURRENT_CANDIDATES = 100;
-export async function selfBenchRunWorkflow(input) {
-    return await executeRun(input, activities, (status) => setHandler(statusQuery, () => status()));
-}
-export async function executeRun(input, activitySet, installStatusQuery = () => undefined) {
-    const requested = Object.values(input.candidateCounts).reduce((sum, count) => sum + count, 0);
-    let status = {
-        runId: input.runId,
-        phase: "queued",
-        requested,
-        requestedByDifficulty: input.candidateCounts,
-        discovered: 0,
-        accepted: 0,
-        rejected: 0,
-        tasks: [],
-    };
-    installStatusQuery(() => status);
-    const setPhase = (phase) => {
-        status = { ...status, phase };
-    };
-    const setTasks = (tasks) => {
-        status = {
-            ...status,
-            tasks,
-            accepted: tasks.filter((task) => task.status === "accepted").length,
-            rejected: tasks.filter((task) => task.status === "rejected").length,
-        };
-    };
-    const setDiscovered = (discovered) => {
-        status = {
-            ...status,
-            discovered,
-            ...(status.discovery ? { discovery: { ...status.discovery, candidates: discovered } } : {}),
-        };
-    };
-    try {
-        setPhase("discovering");
-        const provenance = await activitySet.collectRunProvenance(input);
-        const run = { ...input, provenance };
-        const updateDiscovery = (progress) => {
-            status = { ...status, discovery: progress };
-        };
-        const candidates = [];
-        let discoveryWave = 0;
-        while (true) {
-            const selected = selectCandidates(candidates, input.candidateCounts);
-            const missing = missingCandidateCounts(selected, input.candidateCounts);
-            if (Object.values(missing).every((count) => count === 0)) {
-                break;
-            }
-            const capacity = MAX_DISCOVERED_CANDIDATES - candidates.length;
-            if (capacity <= 0) {
-                setPhase("blocked");
-                throw candidatePoolExhausted(selected, input.candidateCounts);
-            }
-            const additions = await discoverWave(activitySet, run, {
-                wave: discoveryWave,
-                targetCounts: missing,
-                excludedSourcePrs: candidates.map((candidate) => candidate.sourcePr),
-                onProgress: updateDiscovery,
-            });
-            const knownPrs = new Set(candidates.map((candidate) => candidate.sourcePr));
-            const uniqueAdditions = additions.filter((candidate) => !knownPrs.has(candidate.sourcePr));
-            if (uniqueAdditions.length === 0) {
-                setPhase("blocked");
-                throw candidatePoolExhausted(selected, input.candidateCounts);
-            }
-            candidates.push(...uniqueAdditions.slice(0, capacity));
-            setDiscovered(candidates.length);
-            discoveryWave += 1;
-        }
-        const selectedCandidates = selectCandidates(candidates, input.candidateCounts);
-        const taskProgress = [];
-        const acceptedTasks = [];
-        const taskIds = new Set();
-        const rejectProgress = (progress, reason) => {
-            progress.status = "rejected";
-            progress.reason = reason;
-            setTasks(taskProgress);
-        };
-        const processCandidate = async (candidate) => {
-            const progress = {
-                candidateId: candidate.candidateId,
-                taskId: candidate.candidateId,
-                difficulty: candidate.difficulty,
-                status: "authoring",
-            };
-            taskProgress.push(progress);
-            setTasks(taskProgress);
-            try {
-                const authored = await activitySet.authorCandidate({
-                    run,
-                    candidate,
-                });
-                if (authored.kind === "rejected") {
-                    rejectProgress(progress, authored.reason);
-                    return;
-                }
-                let task = authored.task;
-                if (taskIds.has(task.taskId)) {
-                    rejectProgress(progress, `authoring repeated task ID ${task.taskId}`);
-                    return;
-                }
-                taskIds.add(task.taskId);
-                progress.taskId = task.taskId;
-                progress.status = "auditing";
-                setTasks(taskProgress);
-                const audit = await activitySet.auditTask({ run, task });
-                if (!audit.accepted) {
-                    rejectProgress(progress, audit.reason ?? "audit rejected task");
-                    return;
-                }
-                progress.status = "validating";
-                setTasks(taskProgress);
-                let validation = await activitySet.validateTask({
-                    run,
-                    task,
-                });
-                if (!validation.accepted) {
-                    progress.status = "repairing";
-                    setTasks(taskProgress);
-                    let repaired;
-                    try {
-                        repaired = await activitySet.repairValidationTask({
-                            run,
-                            task,
-                            validation,
-                        });
-                    }
-                    catch (error) {
-                        if (isCancellation(error) || !isExhaustedActivityFailure(error)) {
-                            throw error;
-                        }
-                        rejectProgress(progress, "validation repair failed after its single activity attempt");
-                        return;
-                    }
-                    if (repaired.kind === "rejected") {
-                        rejectProgress(progress, repaired.reason);
-                        return;
-                    }
-                    task = repaired.task;
-                    progress.status = "auditing";
-                    setTasks(taskProgress);
-                    const repairAudit = await activitySet.auditTask({
-                        run,
-                        task,
-                    });
-                    if (!repairAudit.accepted) {
-                        rejectProgress(progress, repairAudit.reason ?? "audit rejected validation repair");
-                        return;
-                    }
-                    progress.status = "validating";
-                    setTasks(taskProgress);
-                    validation = await activitySet.validateTask({
-                        run,
-                        task,
-                    });
-                    if (!validation.accepted) {
-                        rejectProgress(progress, validation.reason ?? "validation rejected repaired harness");
-                        return;
-                    }
-                }
-                progress.status = "reviewing";
-                setTasks(taskProgress);
-                let review = await activitySet.reviewTask({ run, task });
-                if (!review.accepted) {
-                    progress.status = "repairing";
-                    setTasks(taskProgress);
-                    let repaired;
-                    try {
-                        repaired = await activitySet.repairTask({
-                            run,
-                            task,
-                            review: review.report,
-                        });
-                    }
-                    catch (error) {
-                        if (isCancellation(error) || !isExhaustedActivityFailure(error)) {
-                            throw error;
-                        }
-                        rejectProgress(progress, "test repair failed after activity retries");
-                        return;
-                    }
-                    if (repaired.kind === "rejected") {
-                        rejectProgress(progress, repaired.reason);
-                        return;
-                    }
-                    task = repaired.task;
-                    progress.status = "auditing";
-                    setTasks(taskProgress);
-                    const repairAudit = await activitySet.auditTask({
-                        run,
-                        task,
-                    });
-                    if (!repairAudit.accepted) {
-                        rejectProgress(progress, repairAudit.reason ?? "audit rejected repaired task");
-                        return;
-                    }
-                    progress.status = "validating";
-                    setTasks(taskProgress);
-                    const repairValidation = await activitySet.validateTask({
-                        run,
-                        task,
-                    });
-                    if (!repairValidation.accepted) {
-                        rejectProgress(progress, repairValidation.reason ?? "validation rejected repaired task");
-                        return;
-                    }
-                    progress.status = "reviewing";
-                    setTasks(taskProgress);
-                    review = await activitySet.reviewTask({ run, task });
-                    if (!review.accepted) {
-                        rejectProgress(progress, review.reason ?? "review rejected repaired task");
-                        return;
-                    }
-                }
-                progress.status = "accepted";
-                acceptedTasks.push(task);
-                setTasks(taskProgress);
-            }
-            catch (error) {
-                if (isCancellation(error)) {
-                    throw error;
-                }
-                if (!isExhaustedActivityFailure(error) && !isHarborInfrastructureFailure(error)) {
-                    throw error;
-                }
-                progress.status = "infrastructure_failed";
-                progress.reason = infrastructureFailureMessage(error);
-                setTasks(taskProgress);
-            }
-        };
-        setPhase("authoring");
-        await parallelMap(selectedCandidates, MAX_CONCURRENT_CANDIDATES, processCandidate);
-        setPhase("exporting");
-        const exportRef = await activitySet.buildExport({
-            run,
-            tasks: acceptedTasks,
-        });
-        status = { ...status, phase: "complete", export: exportRef };
-        return {
-            runId: input.runId,
-            export: exportRef,
-            acceptedTaskIds: acceptedTasks.map((task) => task.taskId),
-        };
-    }
-    catch (error) {
-        if (isCancellation(error)) {
-            status = { ...status, phase: "cancelled" };
-        }
-        else if (status.phase !== "blocked") {
-            status = {
-                ...status,
-                phase: "failed",
-                error: error instanceof Error ? error.message : String(error),
-            };
-        }
-        throw error;
-    }
-}
-async function discoverWave(activitySet, run, options) {
-    const targetCounts = discoveryShardTargets(options.targetCounts);
-    const progress = discoveryProgress(options);
-    progress.report();
-    const shards = await Promise.all(Array.from({ length: DISCOVERY_SHARD_COUNT }, (_unused, shardIndex) => discoverShard(activitySet, run, options, targetCounts, shardIndex, progress)));
-    return uniqueCandidates(interleave(shards.map((shard) => shard.candidates)));
-}
-function discoveryShardTargets(targetCounts) {
-    return Object.fromEntries(["easy", "medium", "hard"].map((difficulty) => [
-        difficulty,
-        targetCounts[difficulty] === 0
-            ? 0
-            : Math.min(MAX_CANDIDATES_PER_TIER_PER_SHARD, Math.ceil(targetCounts[difficulty] / DISCOVERY_SHARD_COUNT) + DISCOVERY_SHARD_OVERFETCH),
-    ]));
-}
-function discoveryProgress(options) {
-    let completedShards = 0;
-    let failedShards = 0;
-    let candidates = 0;
-    const report = () => options.onProgress({
-        wave: options.wave,
-        totalShards: DISCOVERY_SHARD_COUNT,
-        completedShards,
-        failedShards,
-        candidates,
-    });
-    return {
-        report,
-        complete(candidateCount) {
-            completedShards += 1;
-            candidates += candidateCount;
-            report();
-        },
-        fail() {
-            failedShards += 1;
-            report();
-        },
-    };
-}
-async function discoverShard(activitySet, run, options, targetCounts, shardIndex, progress) {
-    try {
-        const result = await activitySet.discoverCandidateShard({
-            run,
-            wave: options.wave,
-            shardIndex,
-            shardCount: DISCOVERY_SHARD_COUNT,
-            targetCounts,
-            excludedSourcePrs: options.excludedSourcePrs,
-        });
-        progress.complete(result.candidates.length);
-        return result;
-    }
-    catch (error) {
-        if (isCancellation(error) || !isExhaustedActivityFailure(error)) {
-            throw error;
-        }
-        progress.fail();
-        return { candidates: [] };
-    }
+export const candidateStatusQuery = defineQuery("candidateStatus");
+export const candidateProgressSignal = defineSignal("candidateProgress");
+export function candidateWorkflowId(runId, candidateId) {
+    return `${runId}/candidate/${candidateId}`;
 }
-function uniqueCandidates(candidates) {
-    const seenPrs = new Set();
-    return candidates.filter((candidate) => {
-        if (seenPrs.has(candidate.sourcePr)) {
-            return false;
-        }
-        seenPrs.add(candidate.sourcePr);
-        return true;
+export async function selfBenchRunWorkflow(input) {
+    return await executeRun(input, workflowActivities, (status) => setHandler(statusQuery, () => status()), {
+        installProgressSignal: (handler) => setHandler(candidateProgressSignal, handler),
+        startCandidate: (run, candidate) => executeChild(selfBenchCandidateWorkflow, {
+            workflowId: candidateWorkflowId(run.runId, candidate.candidateId),
+            args: [{ run, candidate }],
+            parentClosePolicy: ParentClosePolicy.TERMINATE,
+            workflowIdReusePolicy: WorkflowIdReusePolicy.ALLOW_DUPLICATE_FAILED_ONLY,
+        }),
     });
 }
-function selectCandidates(candidates, counts) {
-    const selectedCounts = { easy: 0, medium: 0, hard: 0 };
-    return candidates.filter((candidate) => {
-        if (selectedCounts[candidate.difficulty] >= counts[candidate.difficulty]) {
-            return false;
+/**
+ * One candidate per child workflow. Every progress change is signalled to the parent run
+ * workflow; the returned result is authoritative even if a signal was lost.
+ */
+export async function selfBenchCandidateWorkflow(input) {
+    const parent = workflowInfo().parent;
+    const parentHandle = parent
+        ? getExternalWorkflowHandle(parent.workflowId, parent.runId)
+        : undefined;
+    let current = initialProgress(input.candidate);
+    setHandler(candidateStatusQuery, () => current);
+    const signals = [];
+    const result = await executeCandidate(input, workflowActivities, (progress) => {
+        current = progress;
+        if (parentHandle) {
+            signals.push(parentHandle.signal(candidateProgressSignal, progress).catch(() => undefined));
         }
-        selectedCounts[candidate.difficulty] += 1;
-        return true;
     });
+    await Promise.all(signals);
+    return result;
 }
-function missingCandidateCounts(selected, requested) {
-    const actual = { easy: 0, medium: 0, hard: 0 };
-    for (const candidate of selected) {
-        actual[candidate.difficulty] += 1;
-    }
-    return {
-        easy: requested.easy - actual.easy,
-        medium: requested.medium - actual.medium,
-        hard: requested.hard - actual.hard,
-    };
-}
-function candidatePoolExhausted(selected, requested) {
-    const missing = missingCandidateCounts(selected, requested);
-    return ApplicationFailure.nonRetryable(`candidate pool exhausted; missing easy=${missing.easy}, medium=${missing.medium}, hard=${missing.hard}`, "CandidatePoolExhausted");
-}
-function isExhaustedActivityFailure(error) {
-    return (error instanceof ActivityFailure && error.retryState === RetryState.MAXIMUM_ATTEMPTS_REACHED);
-}
-function infrastructureFailureMessage(error) {
-    let cause = error;
-    let message = error instanceof Error ? error.message : String(error);
-    while (cause instanceof Error) {
-        if (cause instanceof ApplicationFailure && cause.type === "HarborInfrastructureFailure") {
-            return cause.message;
-        }
-        message = cause.message;
-        cause = cause.cause;
-    }
-    return message;
-}
-function isHarborInfrastructureFailure(error) {
-    let cause = error;
-    while (cause instanceof Error) {
-        if (cause instanceof ApplicationFailure && cause.type === "HarborInfrastructureFailure") {
-            return true;
-        }
-        cause = cause.cause;
-    }
-    return false;
-}
-function interleave(groups) {
-    const output = [];
-    const maxLength = Math.max(0, ...groups.map((group) => group.length));
-    for (let index = 0; index < maxLength; index += 1) {
-        for (const group of groups) {
-            const value = group[index];
-            if (value !== undefined) {
-                output.push(value);
-            }
-        }
-    }
-    return output;
-}
+export { selfBenchEvaluationWorkflow } from "../evaluation/workflow.js";
+export { executeRun } from "./workflow/run.js";
 //# sourceMappingURL=workflow.js.map

package/dist/temporal/workflow.js.map

@@ -1 +1 @@
-{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../../src/temporal/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,WAAW,EACX,cAAc,EACd,eAAe,EACf,UAAU,GACX,MAAM,sBAAsB,CAAC;AAa9B,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAW7C,MAAM,CAAC,MAAM,WAAW,GAAG,WAAW,CAAY,QAAQ,CAAC,CAAC;AAE5D,MAAM,cAAc,GAAG,eAAe,CAKpC;IACA,mBAAmB,EAAE,SAAS;IAC9B,gBAAgB,EAAE,YAAY;IAC9B,gBAAgB,EAAE,6BAA6B;IAC/C,KAAK,EAAE;QACL,eAAe,EAAE,WAAW;QAC5B,kBAAkB,EAAE,CAAC;QACrB,eAAe,EAAE,WAAW;QAC5B,eAAe,EAAE,CAAC;KACnB;CACF,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,eAAe,CAC9C;IACE,mBAAmB,EAAE,SAAS;IAC9B,gBAAgB,EAAE,YAAY;IAC9B,gBAAgB,EAAE,6BAA6B;IAC/C,KAAK,EAAE,EAAE,eAAe,EAAE,CAAC,EAAE;CAC9B,CACF,CAAC;AAEF,MAAM,oBAAoB,GAAG,eAAe,CAAoD;IAC9F,mBAAmB,EAAE,WAAW;IAChC,gBAAgB,EAAE,WAAW;IAC7B,gBAAgB,EAAE,6BAA6B;IAC/C,KAAK,EAAE;QACL,eAAe,EAAE,WAAW;QAC5B,kBAAkB,EAAE,CAAC;QACrB,eAAe,EAAE,UAAU;QAC3B,eAAe,EAAE,CAAC;KACnB;CACF,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,eAAe,CAAsD;IAC/F,mBAAmB,EAAE,QAAQ;IAC7B,gBAAgB,EAAE,YAAY;IAC9B,gBAAgB,EAAE,6BAA6B;IAC/C,KAAK,EAAE;QACL,eAAe,EAAE,WAAW;QAC5B,kBAAkB,EAAE,CAAC;QACrB,eAAe,EAAE,UAAU;QAC3B,eAAe,EAAE,CAAC;KACnB;CACF,CAAC,CAAC;AAEH,MAAM,UAAU,GAAwB;IACtC,oBAAoB,EAAE,oBAAoB,CAAC,oBAAoB;IAC/D,sBAAsB,EAAE,mBAAmB,CAAC,sBAAsB;IAClE,eAAe,EAAE,cAAc,CAAC,eAAe;IAC/C,YAAY,EAAE,cAAc,CAAC,YAAY;IACzC,oBAAoB,EAAE,wBAAwB,CAAC,oBAAoB;IACnE,UAAU,EAAE,cAAc,CAAC,UAAU;IACrC,UAAU,EAAE,cAAc,CAAC,UAAU;IACrC,SAAS,EAAE,cAAc,CAAC,SAAS;IACnC,WAAW,EAAE,cAAc,CAAC,WAAW;CACxC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAChC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AACpC,MAAM,iCAAiC,GAAG,CAAC,CAAC;AAC5C,MAAM,yBAAyB,GAAG,sBAAsB,GAAG,CAAC,CAAC;AAC7D,MAAM,yBAAyB,GAAG,GAAG,CAAC;AAEtC,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAAiB;IAC1D,OAAO,MAAM,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,KAAiB,EACjB,WAAgC,EAChC,qBAAwD,GAAG,EAAE,CAAC,SAAS;IAEvE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9F,IAAI,MAAM,GAAc;QACtB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK,EAAE,QAAQ;QACf,SAAS;QACT,qBAAqB,EAAE,KAAK,CAAC,eAAe;QAC5C,UAAU,EAAE,CAAC;QACb,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,CAAC;QACX,KAAK,EAAE,EAAE;KACV,CAAC;IACF,kBAAkB,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,CAAC,KAAyB,EAAQ,EAAE;QACnD,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC;IAChC,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,KAA8B,EAAQ,EAAE;QACxD,MAAM,GAAG;YACP,GAAG,MAAM;YACT,KAAK;YACL,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;YACnE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;SACpE,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,UAAkB,EAAQ,EAAE;QACjD,MAAM,GAAG;YACP,GAAG,MAAM;YACT,UAAU;YACV,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5F,CAAC;IACJ,CAAC,CAAC;IAEF,IAAI,CAAC;QACH,QAAQ,CAAC,aAAa,CAAC,CAAC;QACxB,MAAM,UAAU,GAAG,MAAM,WAAW,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACjE,MAAM,GAAG,GAAG,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,CAAC;QACrC,MAAM,eAAe,GAAG,CAAC,QAA2B,EAAQ,EAAE;YAC5D,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QAC9C,CAAC,CAAC;QACF,MAAM,UAAU,GAAgB,EAAE,CAAC;QACnC,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;YACxE,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;gBACzD,MAAM;YACR,CAAC;YACD,MAAM,QAAQ,GAAG,yBAAyB,GAAG,UAAU,CAAC,MAAM,CAAC;YAC/D,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;gBAClB,QAAQ,CAAC,SAAS,CAAC,CAAC;gBACpB,MAAM,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;YAChE,CAAC;YACD,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,GAAG,EAAE;gBACrD,IAAI,EAAE,aAAa;gBACnB,YAAY,EAAE,OAAO;gBACrB,iBAAiB,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC;gBACpE,UAAU,EAAE,eAAe;aAC5B,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC5E,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC3F,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjC,QAAQ,CAAC,SAAS,CAAC,CAAC;gBACpB,MAAM,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;YAChE,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;YACvD,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACjC,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;QAC/E,MAAM,YAAY,GAAmB,EAAE,CAAC;QACxC,MAAM,aAAa,GAAmB,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,MAAM,cAAc,GAAG,CAAC,QAAsB,EAAE,MAAc,EAAQ,EAAE;YACtE,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC;YAC7B,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;YACzB,QAAQ,CAAC,YAAY,CAAC,CAAC;QACzB,CAAC,CAAC;QACF,MAAM,gBAAgB,GAAG,KAAK,EAAE,SAAoB,EAAiB,EAAE;YACrE,MAAM,QAAQ,GAAiB;gBAC7B,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,MAAM,EAAE,SAAS,CAAC,WAAW;gBAC7B,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,MAAM,EAAE,WAAW;aACpB,CAAC;YACF,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC5B,QAAQ,CAAC,YAAY,CAAC,CAAC;YACvB,IAAI,CAAC;gBACH,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,eAAe,CAAC;oBACjD,GAAG;oBACH,SAAS;iBACqB,CAAC,CAAC;gBAClC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;oBAC1C,OAAO;gBACT,CAAC;gBACD,IAAI,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;gBACzB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC7B,cAAc,CAAC,QAAQ,EAAE,8BAA8B,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;oBACtE,OAAO;gBACT,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACzB,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAE9B,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC;gBAC7B,QAAQ,CAAC,YAAY,CAAC,CAAC;gBACvB,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,IAAI,EAA2B,CAAC,CAAC;gBAClF,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;oBACpB,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,IAAI,qBAAqB,CAAC,CAAC;oBAChE,OAAO;gBACT,CAAC;gBAED,QAAQ,CAAC,MAAM,GAAG,YAAY,CAAC;gBAC/B,QAAQ,CAAC,YAAY,CAAC,CAAC;gBACvB,IAAI,UAAU,GAAG,MAAM,WAAW,CAAC,YAAY,CAAC;oBAC9C,GAAG;oBACH,IAAI;iBACoB,CAAC,CAAC;gBAC5B,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;oBACzB,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC;oBAC9B,QAAQ,CAAC,YAAY,CAAC,CAAC;oBACvB,IAAI,QAAuB,CAAC;oBAC5B,IAAI,CAAC;wBACH,QAAQ,GAAG,MAAM,WAAW,CAAC,oBAAoB,CAAC;4BAChD,GAAG;4BACH,IAAI;4BACJ,UAAU;yBACyB,CAAC,CAAC;oBACzC,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,IAAI,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;4BAChE,MAAM,KAAK,CAAC;wBACd,CAAC;wBACD,cAAc,CAAC,QAAQ,EAAE,4DAA4D,CAAC,CAAC;wBACvF,OAAO;oBACT,CAAC;oBACD,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBACjC,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;wBAC1C,OAAO;oBACT,CAAC;oBACD,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;oBAErB,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC;oBAC7B,QAAQ,CAAC,YAAY,CAAC,CAAC;oBACvB,MAAM,WAAW,GAAG,MAAM,WAAW,CAAC,SAAS,CAAC;wBAC9C,GAAG;wBACH,IAAI;qBACoB,CAAC,CAAC;oBAC5B,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;wBAC1B,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,IAAI,kCAAkC,CAAC,CAAC;wBACnF,OAAO;oBACT,CAAC;oBAED,QAAQ,CAAC,MAAM,GAAG,YAAY,CAAC;oBAC/B,QAAQ,CAAC,YAAY,CAAC,CAAC;oBACvB,UAAU,GAAG,MAAM,WAAW,CAAC,YAAY,CAAC;wBAC1C,GAAG;wBACH,IAAI;qBACoB,CAAC,CAAC;oBAC5B,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;wBACzB,cAAc,CAAC,QAAQ,EAAE,UAAU,CAAC,MAAM,IAAI,sCAAsC,CAAC,CAAC;wBACtF,OAAO;oBACT,CAAC;gBACH,CAAC;gBAED,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC;gBAC9B,QAAQ,CAAC,YAAY,CAAC,CAAC;gBACvB,IAAI,MAAM,GAAG,MAAM,WAAW,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,EAA2B,CAAC,CAAC;gBAClF,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;oBACrB,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC;oBAC9B,QAAQ,CAAC,YAAY,CAAC,CAAC;oBACvB,IAAI,QAAuB,CAAC;oBAC5B,IAAI,CAAC;wBACH,QAAQ,GAAG,MAAM,WAAW,CAAC,UAAU,CAAC;4BACtC,GAAG;4BACH,IAAI;4BACJ,MAAM,EAAE,MAAM,CAAC,MAAM;yBACI,CAAC,CAAC;oBAC/B,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,IAAI,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;4BAChE,MAAM,KAAK,CAAC;wBACd,CAAC;wBACD,cAAc,CAAC,QAAQ,EAAE,2CAA2C,CAAC,CAAC;wBACtE,OAAO;oBACT,CAAC;oBACD,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBACjC,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;wBAC1C,OAAO;oBACT,CAAC;oBACD,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;oBAErB,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC;oBAC7B,QAAQ,CAAC,YAAY,CAAC,CAAC;oBACvB,MAAM,WAAW,GAAG,MAAM,WAAW,CAAC,SAAS,CAAC;wBAC9C,GAAG;wBACH,IAAI;qBACoB,CAAC,CAAC;oBAC5B,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;wBAC1B,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,IAAI,8BAA8B,CAAC,CAAC;wBAC/E,OAAO;oBACT,CAAC;oBAED,QAAQ,CAAC,MAAM,GAAG,YAAY,CAAC;oBAC/B,QAAQ,CAAC,YAAY,CAAC,CAAC;oBACvB,MAAM,gBAAgB,GAAG,MAAM,WAAW,CAAC,YAAY,CAAC;wBACtD,GAAG;wBACH,IAAI;qBACoB,CAAC,CAAC;oBAC5B,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,CAAC;wBAC/B,cAAc,CACZ,QAAQ,EACR,gBAAgB,CAAC,MAAM,IAAI,mCAAmC,CAC/D,CAAC;wBACF,OAAO;oBACT,CAAC;oBAED,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC;oBAC9B,QAAQ,CAAC,YAAY,CAAC,CAAC;oBACvB,MAAM,GAAG,MAAM,WAAW,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,EAA2B,CAAC,CAAC;oBAC9E,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;wBACrB,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,IAAI,+BAA+B,CAAC,CAAC;wBAC3E,OAAO;oBACT,CAAC;gBACH,CAAC;gBAED,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC;gBAC7B,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzB,QAAQ,CAAC,YAAY,CAAC,CAAC;YACzB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC1B,MAAM,KAAK,CAAC;gBACd,CAAC;gBACD,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,KAAK,CAAC,EAAE,CAAC;oBAChF,MAAM,KAAK,CAAC;gBACd,CAAC;gBACD,QAAQ,CAAC,MAAM,GAAG,uBAAuB,CAAC;gBAC1C,QAAQ,CAAC,MAAM,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;gBACtD,QAAQ,CAAC,YAAY,CAAC,CAAC;YACzB,CAAC;QACH,CAAC,CAAC;QAEF,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtB,MAAM,WAAW,CAAC,kBAAkB,EAAE,yBAAyB,EAAE,gBAAgB,CAAC,CAAC;QAEnF,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtB,MAAM,SAAS,GAAG,MAAM,WAAW,CAAC,WAAW,CAAC;YAC9C,GAAG;YACH,KAAK,EAAE,aAAa;SACC,CAAC,CAAC;QACzB,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAC7D,OAAO;YACL,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,SAAS;YACjB,eAAe,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;SAC1D,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;QAC7C,CAAC;aAAM,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,GAAG;gBACP,GAAG,MAAM;gBACT,KAAK,EAAE,QAAQ;gBACf,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAC9D,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AASD,KAAK,UAAU,YAAY,CACzB,WAAgC,EAChC,GAAe,EACf,OAA6B;IAE7B,MAAM,YAAY,GAAG,qBAAqB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,CAAC;IAElB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,qBAAqB,EAAE,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE,CACpE,aAAa,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC,CAC7E,CACF,CAAC;IACF,OAAO,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,qBAAqB,CAC5B,YAA2C;IAE3C,OAAO,MAAM,CAAC,WAAW,CACtB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;QACxD,UAAU;QACV,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC;YAC5B,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,IAAI,CAAC,GAAG,CACN,iCAAiC,EACjC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,qBAAqB,CAAC,GAAG,yBAAyB,CACxF;KACN,CAAC,CAC2B,CAAC;AAClC,CAAC;AAED,SAAS,iBAAiB,CAAC,OAA6B;IACtD,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,GAAS,EAAE,CACxB,OAAO,CAAC,UAAU,CAAC;QACjB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,WAAW,EAAE,qBAAqB;QAClC,eAAe;QACf,YAAY;QACZ,UAAU;KACX,CAAC,CAAC;IAEL,OAAO;QACL,MAAM;QACN,QAAQ,CAAC,cAAsB;YAC7B,eAAe,IAAI,CAAC,CAAC;YACrB,UAAU,IAAI,cAAc,CAAC;YAC7B,MAAM,EAAE,CAAC;QACX,CAAC;QACD,IAAI;YACF,YAAY,IAAI,CAAC,CAAC;YAClB,MAAM,EAAE,CAAC;QACX,CAAC;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,WAAgC,EAChC,GAAe,EACf,OAA6B,EAC7B,YAAkD,EAClD,UAAkB,EAClB,QAA8C;IAE9C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,sBAAsB,CAAC;YACtD,GAAG;YACH,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,UAAU;YACV,UAAU,EAAE,qBAAqB;YACjC,YAAY;YACZ,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;SACf,CAAC,CAAC;QACjC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC5C,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,KAAK,CAAC;QACd,CAAC;QACD,QAAQ,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,UAAgC;IACxD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE;QACrC,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAgC,EAChC,MAAqC;IAErC,MAAM,cAAc,GAA+B,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IACnF,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE;QACrC,IAAI,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YACzE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAA8B,EAC9B,SAAwC;IAExC,MAAM,MAAM,GAA+B,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC3E,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;QACjC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI;QAClC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM;QACxC,IAAI,EAAE,SAAS,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI;KACnC,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAA8B,EAC9B,SAAwC;IAExC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC5D,OAAO,kBAAkB,CAAC,YAAY,CACpC,0CAA0C,OAAO,CAAC,IAAI,YAAY,OAAO,CAAC,MAAM,UAAU,OAAO,CAAC,IAAI,EAAE,EACxG,wBAAwB,CACzB,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAc;IAChD,OAAO,CACL,KAAK,YAAY,eAAe,IAAI,KAAK,CAAC,UAAU,KAAK,UAAU,CAAC,wBAAwB,CAC7F,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CAAC,KAAc;IAClD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrE,OAAO,KAAK,YAAY,KAAK,EAAE,CAAC;QAC9B,IAAI,KAAK,YAAY,kBAAkB,IAAI,KAAK,CAAC,IAAI,KAAK,6BAA6B,EAAE,CAAC;YACxF,OAAO,KAAK,CAAC,OAAO,CAAC;QACvB,CAAC;QACD,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QACxB,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAc;IACnD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,OAAO,KAAK,YAAY,KAAK,EAAE,CAAC;QAC9B,IAAI,KAAK,YAAY,kBAAkB,IAAI,KAAK,CAAC,IAAI,KAAK,6BAA6B,EAAE,CAAC;YACxF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAI,MAAiC;IACtD,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAClD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../../src/temporal/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EACL,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,yBAAyB,EACzB,iBAAiB,EACjB,UAAU,EACV,YAAY,GACb,MAAM,sBAAsB,CAAC;AAS9B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,MAAM,CAAC,MAAM,WAAW,GAAG,WAAW,CAAY,QAAQ,CAAC,CAAC;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAG,WAAW,CAAe,iBAAiB,CAAC,CAAC;AACjF,MAAM,CAAC,MAAM,uBAAuB,GAAG,YAAY,CAAiB,mBAAmB,CAAC,CAAC;AAEzF,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,WAAmB;IACpE,OAAO,GAAG,KAAK,cAAc,WAAW,EAAE,CAAC;AAC7C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAAuB;IAChE,OAAO,MAAM,UAAU,CACrB,KAAK,EACL,kBAAkB,EAClB,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EACnD;QACE,qBAAqB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,OAAO,CAAC;QAChF,cAAc,EAAE,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CACjC,YAAY,CAAC,0BAA0B,EAAE;YACvC,UAAU,EAAE,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC;YACjE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;YAC1B,iBAAiB,EAAE,iBAAiB,CAAC,SAAS;YAC9C,qBAAqB,EAAE,qBAAqB,CAAC,2BAA2B;SACzE,CAAC;KACL,CACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,KAA6B;IAE7B,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC,MAAM,CAAC;IACrC,MAAM,YAAY,GAAG,MAAM;QACzB,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC;QAC5D,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC/C,UAAU,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,EAAE,CAAC,QAAQ,EAAE,EAAE;QAC5E,OAAO,GAAG,QAAQ,CAAC;QACnB,IAAI,YAAY,EAAE,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,uBAAuB,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/verifier-fix.d.ts

@@ -0,0 +1,20 @@
+import type { TaskDefinition } from "./contracts.js";
+/** Definition fields the verification agent may change through submit_fix. */
+export declare const VERIFIER_FIX_FIELDS: readonly ["environment", "testCommand", "failToPass", "passToPass", "testPaths", "timeouts", "resources"];
+export interface VerifierFixInput {
+    readonly original: TaskDefinition;
+    readonly fixed: TaskDefinition;
+    readonly originalTestPatch: string;
+    readonly fixedTestPatch: string;
+    readonly originalGoldPatch: string;
+    readonly fixedGoldPatch: string;
+}
+/**
+ * A verifier fix may edit only the held-out tests and the environment contract (plus the test
+ * selection, timeouts, and resources that describe how those tests run). The gold patch, base
+ * commit, instruction, and task identity never change.
+ */
+export declare function assertVerifierFix(input: VerifierFixInput): void;
+/** Applies only the permitted fields from a submitted fix onto the original definition. */
+export declare function applyVerifierFix(original: TaskDefinition, fix: Partial<Pick<TaskDefinition, (typeof VERIFIER_FIX_FIELDS)[number]>>): TaskDefinition;
+//# sourceMappingURL=verifier-fix.d.ts.map

package/dist/verifier-fix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-fix.d.ts","sourceRoot":"","sources":["../src/verifier-fix.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAGrD,8EAA8E;AAC9E,eAAO,MAAM,mBAAmB,2GAQtB,CAAC;AAcX,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,IAAI,CAyB/D;AAED,2FAA2F;AAC3F,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,cAAc,EACxB,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GACvE,cAAc,CAShB"}

package/dist/verifier-fix.js

@@ -0,0 +1,62 @@
+import { assertRepairedPatchPaths } from "./repair.js";
+/** Definition fields the verification agent may change through submit_fix. */
+export const VERIFIER_FIX_FIELDS = [
+    "environment",
+    "testCommand",
+    "failToPass",
+    "passToPass",
+    "testPaths",
+    "timeouts",
+    "resources",
+];
+const IMMUTABLE_FIELDS = [
+    "schemaVersion",
+    "difficulty",
+    "taskId",
+    "repo",
+    "baseCommit",
+    "workdir",
+    "sourcePr",
+    "sourceUrl",
+    "prompt",
+];
+/**
+ * A verifier fix may edit only the held-out tests and the environment contract (plus the test
+ * selection, timeouts, and resources that describe how those tests run). The gold patch, base
+ * commit, instruction, and task identity never change.
+ */
+export function assertVerifierFix(input) {
+    for (const key of IMMUTABLE_FIELDS) {
+        if (JSON.stringify(input.fixed[key]) !== JSON.stringify(input.original[key])) {
+            throw new Error(`verifier fix changed immutable definition field ${key}`);
+        }
+    }
+    if (input.fixedGoldPatch !== input.originalGoldPatch) {
+        throw new Error("verifier fix changed the gold patch");
+    }
+    if (!input.fixedTestPatch.startsWith("diff --git ")) {
+        throw new Error("verifier fix produced an empty or invalid held-out test patch");
+    }
+    try {
+        assertRepairedPatchPaths(input.originalTestPatch, input.fixedTestPatch);
+    }
+    catch (error) {
+        throw new Error(`verifier fix ${error instanceof Error ? error.message.replace(/^repair /, "") : String(error)}`);
+    }
+    const definitionChanged = VERIFIER_FIX_FIELDS.some((key) => JSON.stringify(input.fixed[key]) !== JSON.stringify(input.original[key]));
+    if (!definitionChanged && input.fixedTestPatch === input.originalTestPatch) {
+        throw new Error("verifier fix left the task unchanged");
+    }
+}
+/** Applies only the permitted fields from a submitted fix onto the original definition. */
+export function applyVerifierFix(original, fix) {
+    const next = { ...original };
+    for (const key of VERIFIER_FIX_FIELDS) {
+        const value = fix[key];
+        if (value !== undefined) {
+            Object.assign(next, { [key]: value });
+        }
+    }
+    return next;
+}
+//# sourceMappingURL=verifier-fix.js.map

package/dist/verifier-fix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-fix.js","sourceRoot":"","sources":["../src/verifier-fix.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAEvD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,aAAa;IACb,aAAa;IACb,YAAY;IACZ,YAAY;IACZ,WAAW;IACX,UAAU;IACV,WAAW;CACH,CAAC;AAEX,MAAM,gBAAgB,GAAG;IACvB,eAAe;IACf,YAAY;IACZ,QAAQ;IACR,MAAM;IACN,YAAY;IACZ,SAAS;IACT,UAAU;IACV,WAAW;IACX,QAAQ;CACA,CAAC;AAWX;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAuB;IACvD,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,IAAI,KAAK,CAAC,mDAAmD,GAAG,EAAE,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,cAAc,KAAK,KAAK,CAAC,iBAAiB,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,CAAC;QACH,wBAAwB,CAAC,KAAK,CAAC,iBAAiB,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IAC1E,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,gBAAgB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CACjG,CAAC;IACJ,CAAC;IACD,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,IAAI,CAChD,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAClF,CAAC;IACF,IAAI,CAAC,iBAAiB,IAAI,KAAK,CAAC,cAAc,KAAK,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,gBAAgB,CAC9B,QAAwB,EACxB,GAAwE;IAExE,MAAM,IAAI,GAAmB,EAAE,GAAG,QAAQ,EAAE,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/verify-report.d.ts

@@ -0,0 +1,9 @@
+import type { HarborRewards, VerifyReport } from "./contracts.js";
+export declare function nopGatePassed(rewards: HarborRewards): boolean;
+export declare function oracleGatePassed(rewards: HarborRewards): boolean;
+export declare function isGreen(report: Omit<VerifyReport, "green">): boolean;
+/** One-line reason suitable for a rejection message or progress status. */
+export declare function verifyReportSummary(report: VerifyReport): string;
+/** Concise markdown for the agent's next turn. */
+export declare function renderVerifyReport(report: VerifyReport): string;
+//# sourceMappingURL=verify-report.d.ts.map

package/dist/verify-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-report.d.ts","sourceRoot":"","sources":["../src/verify-report.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAgBlE,wBAAgB,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAQ7D;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAEhE;AAED,wBAAgB,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,GAAG,OAAO,CASpE;AAED,2EAA2E;AAC3E,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CA2BhE;AAED,kDAAkD;AAClD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CA6B/D"}