@elie-laloum/outpost 5.0.0 → 7.0.0

package/dist/application/speculation-checkpoint.js

@@ -0,0 +1,206 @@
+import { createHash } from "node:crypto";
+import { realpath } from "node:fs/promises";
+import { checkpointValue } from "../domain/workflow/checkpoint-value.js";
+export async function speculationIdentity(options) {
+    return createHash("sha256")
+        .update(JSON.stringify({
+        repository: await realpath(options.repository),
+        version: options.durability?.version,
+        provider: options.sandboxProvider.name,
+        placement: options.sandboxProvider.placement,
+        candidates: options.candidates.map(({ key, request }) => ({
+            key,
+            brief: request.brief,
+            response: request.response?.tag,
+        })),
+        budget: options.budget,
+    }))
+        .digest("hex");
+}
+function diagnostic(value) {
+    try {
+        return String(value);
+    }
+    catch {
+        return "Unprintable speculation error";
+    }
+}
+export function encodeSpeculation(state) {
+    for (const attempt of state.attempts)
+        if (attempt.record?.result)
+            checkpointValue(attempt.record.result.value);
+    const encoded = JSON.parse(JSON.stringify({
+        ...state,
+        attempts: state.attempts.map((attempt) => ({
+            ...attempt,
+            ...(attempt.record
+                ? {
+                    record: {
+                        ...attempt.record,
+                        ...(attempt.record.error !== undefined
+                            ? { error: diagnostic(attempt.record.error) }
+                            : {}),
+                        ...(attempt.record.result
+                            ? {
+                                result: {
+                                    ...attempt.record.result,
+                                    ...(attempt.record.result.observerErrors
+                                        ? {
+                                            observerErrors: attempt.record.result.observerErrors.map(diagnostic),
+                                        }
+                                        : {}),
+                                },
+                            }
+                            : {}),
+                    },
+                }
+                : {}),
+        })),
+    }));
+    const value = checkpointValue(encoded);
+    if (value.kind !== "json")
+        throw new Error("Missing speculation state");
+    return value.value;
+}
+function object(value) {
+    return !!value && typeof value === "object" && !Array.isArray(value);
+}
+function integer(value) {
+    return typeof value === "number" && Number.isSafeInteger(value) && value >= 0;
+}
+function usage(value) {
+    return (object(value) &&
+        ["input", "cached", "output"].every((key) => integer(value[key])) &&
+        Object.entries(value).every(([key, count]) => key === "complete" ? typeof count === "boolean" : integer(count)));
+}
+function output(value) {
+    if (!object(value) ||
+        typeof value.text !== "string" ||
+        typeof value.completed !== "boolean" ||
+        !usage(value.usage) ||
+        typeof value.branch !== "string" ||
+        typeof value.directory !== "string" ||
+        !Array.isArray(value.turns) ||
+        !Array.isArray(value.commits))
+        return false;
+    if (!value.turns.every((turn) => object(turn) &&
+        typeof turn.text === "string" &&
+        integer(turn.status) &&
+        typeof turn.durationMs === "number" &&
+        usage(turn.usage)))
+        return false;
+    if (!value.commits.every((commit) => object(commit) &&
+        typeof commit.oid === "string" &&
+        typeof commit.subject === "string"))
+        return false;
+    for (const key of [
+        "conversation",
+        "completion",
+        "transcript",
+        "retainedDirectory",
+    ])
+        if (value[key] !== undefined && typeof value[key] !== "string")
+            return false;
+    for (const key of ["logReference", "transcriptReference"]) {
+        const reference = value[key];
+        if (reference !== undefined &&
+            (!object(reference) ||
+                typeof reference.key !== "string" ||
+                typeof reference.revision !== "string"))
+            return false;
+    }
+    return true;
+}
+export function validateSpeculation(value, identity, keys) {
+    const invalid = () => new Error("Invalid or incompatible speculation checkpoint");
+    if (!object(value) ||
+        value.format !== 1 ||
+        value.identity !== identity ||
+        typeof value.id !== "string" ||
+        !/^[a-f0-9-]{36}$/.test(value.id) ||
+        typeof value.finished !== "boolean" ||
+        !object(value.before) ||
+        typeof value.before.head !== "string" ||
+        !/^[a-f0-9]{40,64}$/.test(value.before.head) ||
+        typeof value.before.branch !== "string" ||
+        typeof value.before.fingerprint !== "string" ||
+        typeof value.before.dirty !== "boolean" ||
+        !Array.isArray(value.attempts) ||
+        !object(value.usage) ||
+        !integer(value.usage.attempts) ||
+        !usage(value.usage.tokens))
+        throw invalid();
+    if (value.status !== undefined &&
+        !["winner", "no-winner", "aborted", "budget-exhausted"].includes(String(value.status)))
+        throw invalid();
+    if (value.error !== undefined && typeof value.error !== "string")
+        throw invalid();
+    const attempts = new Map();
+    let admitted = 0, winners = 0;
+    for (const item of value.attempts) {
+        if (!object(item) ||
+            typeof item.key !== "string" ||
+            !keys.includes(item.key) ||
+            !integer(item.attempt) ||
+            item.attempt !== (attempts.get(item.key) ?? 0) + 1 ||
+            item.branch !==
+                `outpost/speculation/${value.id}/${item.key}/${item.attempt}` ||
+            !["waiting", "running", "validated", "settled"].includes(String(item.phase)) ||
+            !["pending", "done"].includes(String(item.cleanup)))
+            throw invalid();
+        attempts.set(item.key, item.attempt);
+        if (item.phase !== "waiting")
+            admitted++;
+        for (const key of ["resourceId", "directory"])
+            if (item[key] !== undefined && typeof item[key] !== "string")
+                throw invalid();
+        if (item.accepted !== undefined && typeof item.accepted !== "boolean")
+            throw invalid();
+        if (item.phase === "validated" && typeof item.accepted !== "boolean")
+            throw invalid();
+        const record = item.record;
+        if (record !== undefined) {
+            if (!object(record) ||
+                record.key !== item.key ||
+                record.branch !== item.branch ||
+                !["winner", "rejected", "failed", "cancelled", "skipped"].includes(String(record.status)))
+                throw invalid();
+            if (record.status === "winner") {
+                if (item.phase !== "settled" ||
+                    item.accepted !== true ||
+                    !record.result ||
+                    typeof record.commit !== "string" ||
+                    !/^[a-f0-9]{40,64}$/.test(record.commit))
+                    throw invalid();
+                winners++;
+            }
+            if (record.attempt !== undefined && record.attempt !== item.attempt)
+                throw invalid();
+            if (record.cleanup !== undefined && record.cleanup !== item.cleanup)
+                throw invalid();
+            if (record.result !== undefined && !output(record.result))
+                throw invalid();
+            for (const key of [
+                "directory",
+                "retainedDirectory",
+                "error",
+                "resourceId",
+                "commit",
+            ])
+                if (record[key] !== undefined && typeof record[key] !== "string")
+                    throw invalid();
+            if (record.result &&
+                object(record.result) &&
+                !Object.hasOwn(record.result, "value"))
+                record.result.value = undefined;
+        }
+        if (item.phase === "settled" && !record)
+            throw invalid();
+    }
+    if (attempts.size !== keys.length ||
+        admitted !== value.usage.attempts ||
+        winners > 1 ||
+        (value.finished && (value.status === "winner") !== (winners === 1)))
+        throw invalid();
+}
+//# sourceMappingURL=speculation-checkpoint.js.map

package/dist/application/speculation-checkpoint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"speculation-checkpoint.js","sourceRoot":"","sources":["../../src/application/speculation-checkpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AAKzE,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAA8B;IAE9B,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CACL,IAAI,CAAC,SAAS,CAAC;QACb,UAAU,EAAE,MAAM,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC;QAC9C,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO;QACpC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,IAAI;QACtC,SAAS,EAAE,OAAO,CAAC,eAAe,CAAC,SAAS;QAC5C,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACxD,GAAG;YACH,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,GAAG;SAChC,CAAC,CAAC;QACH,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CACH;SACA,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AACD,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,CAAC;QACH,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,+BAA+B,CAAC;IACzC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAA+B;IAE/B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ;QAClC,IAAI,OAAO,CAAC,MAAM,EAAE,MAAM;YAAE,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAY,IAAI,CAAC,KAAK,CACjC,IAAI,CAAC,SAAS,CAAC;QACb,GAAG,KAAK;QACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACzC,GAAG,OAAO;YACV,GAAG,CAAC,OAAO,CAAC,MAAM;gBAChB,CAAC,CAAC;oBACE,MAAM,EAAE;wBACN,GAAG,OAAO,CAAC,MAAM;wBACjB,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;4BACpC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;4BAC7C,CAAC,CAAC,EAAE,CAAC;wBACP,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM;4BACvB,CAAC,CAAC;gCACE,MAAM,EAAE;oCACN,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM;oCACxB,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc;wCACtC,CAAC,CAAC;4CACE,cAAc,EACZ,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CACtC,UAAU,CACX;yCACJ;wCACH,CAAC,CAAC,EAAE,CAAC;iCACR;6BACF;4BACH,CAAC,CAAC,EAAE,CAAC;qBACR;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;KACJ,CAAC,CACH,CAAC;IACF,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC,KAAK,CAAC;AACrB,CAAC;AACD,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AACD,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAChF,CAAC;AACD,SAAS,KAAK,CAAC,KAAc;IAC3B,OAAO,CACL,MAAM,CAAC,KAAK,CAAC;QACb,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAC3C,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CACjE,CACF,CAAC;AACJ,CAAC;AACD,SAAS,MAAM,CAAC,KAAc;IAC5B,IACE,CAAC,MAAM,CAAC,KAAK,CAAC;QACd,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,OAAO,KAAK,CAAC,SAAS,KAAK,SAAS;QACpC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;QACnB,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAChC,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACnC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAC3B,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAE7B,OAAO,KAAK,CAAC;IACf,IACE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAChB,CAAC,IAAI,EAAE,EAAE,CACP,MAAM,CAAC,IAAI,CAAC;QACZ,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC7B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;QACpB,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ;QACnC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CACpB;QAED,OAAO,KAAK,CAAC;IACf,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAClB,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,MAAM,CAAC;QACd,OAAO,MAAM,CAAC,GAAG,KAAK,QAAQ;QAC9B,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CACrC;QAED,OAAO,KAAK,CAAC;IACf,KAAK,MAAM,GAAG,IAAI;QAChB,cAAc;QACd,YAAY;QACZ,YAAY;QACZ,mBAAmB;KACpB;QACC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,QAAQ;YAC5D,OAAO,KAAK,CAAC;IACjB,KAAK,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,qBAAqB,CAAC,EAAE,CAAC;QAC1D,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,IACE,SAAS,KAAK,SAAS;YACvB,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;gBACjB,OAAO,SAAS,CAAC,GAAG,KAAK,QAAQ;gBACjC,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ,CAAC;YAEzC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AACD,MAAM,UAAU,mBAAmB,CACjC,KAAc,EACd,QAAgB,EAChB,IAAuB;IAEvB,MAAM,OAAO,GAAG,GAAG,EAAE,CACnB,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IAC9D,IACE,CAAC,MAAM,CAAC,KAAK,CAAC;QACd,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAC3B,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;QAC5B,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC,QAAQ,KAAK,SAAS;QACnC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;QACrB,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;QACrC,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;QAC5C,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ;QACvC,OAAO,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,QAAQ;QAC5C,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QACvC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC9B,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QACpB,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC9B,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QAE1B,MAAM,OAAO,EAAE,CAAC;IAClB,IACE,KAAK,CAAC,MAAM,KAAK,SAAS;QAC1B,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAC9D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CACrB;QAED,MAAM,OAAO,EAAE,CAAC;IAClB,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC9D,MAAM,OAAO,EAAE,CAAC;IAClB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,IAAI,QAAQ,GAAG,CAAC,EACd,OAAO,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAClC,IACE,CAAC,MAAM,CAAC,IAAI,CAAC;YACb,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ;YAC5B,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;YACxB,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YACtB,IAAI,CAAC,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;YAClD,IAAI,CAAC,MAAM;gBACT,uBAAuB,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE;YAC/D,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,QAAQ,CACtD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CACnB;YACD,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAEnD,MAAM,OAAO,EAAE,CAAC;QAClB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,QAAQ,EAAE,CAAC;QACzC,KAAK,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC;YAC3C,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ;gBAC1D,MAAM,OAAO,EAAE,CAAC;QACpB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,SAAS;YACnE,MAAM,OAAO,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,SAAS;YAClE,MAAM,OAAO,EAAE,CAAC;QAClB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IACE,CAAC,MAAM,CAAC,MAAM,CAAC;gBACf,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG;gBACvB,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;gBAC7B,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,QAAQ,CAChE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CACtB;gBAED,MAAM,OAAO,EAAE,CAAC;YAClB,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,IACE,IAAI,CAAC,KAAK,KAAK,SAAS;oBACxB,IAAI,CAAC,QAAQ,KAAK,IAAI;oBACtB,CAAC,MAAM,CAAC,MAAM;oBACd,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;oBACjC,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;oBAExC,MAAM,OAAO,EAAE,CAAC;gBAClB,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBACjE,MAAM,OAAO,EAAE,CAAC;YAClB,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBACjE,MAAM,OAAO,EAAE,CAAC;YAClB,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;gBACvD,MAAM,OAAO,EAAE,CAAC;YAClB,KAAK,MAAM,GAAG,IAAI;gBAChB,WAAW;gBACX,mBAAmB;gBACnB,OAAO;gBACP,YAAY;gBACZ,QAAQ;aACT;gBACC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,QAAQ;oBAC9D,MAAM,OAAO,EAAE,CAAC;YACpB,IACE,MAAM,CAAC,MAAM;gBACb,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrB,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;gBAEtC,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,SAAS,CAAC;QACpC,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM;YAAE,MAAM,OAAO,EAAE,CAAC;IAC3D,CAAC;IACD,IACE,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM;QAC7B,QAAQ,KAAK,KAAK,CAAC,KAAK,CAAC,QAAQ;QACjC,OAAO,GAAG,CAAC;QACX,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC;QAEnE,MAAM,OAAO,EAAE,CAAC;AACpB,CAAC","sourcesContent":["import { createHash } from \"node:crypto\";\nimport { realpath } from \"node:fs/promises\";\nimport { checkpointValue } from \"../domain/workflow/checkpoint-value.ts\";\nimport type { WorkflowJson } from \"../domain/workflow/checkpoint.types.ts\";\nimport type { SpeculationOptions } from \"./speculation.types.ts\";\nimport type { SpeculationCheckpoint } from \"./speculation-checkpoint.types.ts\";\n\nexport async function speculationIdentity<T>(\n  options: SpeculationOptions<T>,\n): Promise<string> {\n  return createHash(\"sha256\")\n    .update(\n      JSON.stringify({\n        repository: await realpath(options.repository),\n        version: options.durability?.version,\n        provider: options.sandboxProvider.name,\n        placement: options.sandboxProvider.placement,\n        candidates: options.candidates.map(({ key, request }) => ({\n          key,\n          brief: request.brief,\n          response: request.response?.tag,\n        })),\n        budget: options.budget,\n      }),\n    )\n    .digest(\"hex\");\n}\nfunction diagnostic(value: unknown): string {\n  try {\n    return String(value);\n  } catch {\n    return \"Unprintable speculation error\";\n  }\n}\n\nexport function encodeSpeculation<T>(\n  state: SpeculationCheckpoint<T>,\n): WorkflowJson {\n  for (const attempt of state.attempts)\n    if (attempt.record?.result) checkpointValue(attempt.record.result.value);\n  const encoded: unknown = JSON.parse(\n    JSON.stringify({\n      ...state,\n      attempts: state.attempts.map((attempt) => ({\n        ...attempt,\n        ...(attempt.record\n          ? {\n              record: {\n                ...attempt.record,\n                ...(attempt.record.error !== undefined\n                  ? { error: diagnostic(attempt.record.error) }\n                  : {}),\n                ...(attempt.record.result\n                  ? {\n                      result: {\n                        ...attempt.record.result,\n                        ...(attempt.record.result.observerErrors\n                          ? {\n                              observerErrors:\n                                attempt.record.result.observerErrors.map(\n                                  diagnostic,\n                                ),\n                            }\n                          : {}),\n                      },\n                    }\n                  : {}),\n              },\n            }\n          : {}),\n      })),\n    }),\n  );\n  const value = checkpointValue(encoded);\n  if (value.kind !== \"json\") throw new Error(\"Missing speculation state\");\n  return value.value;\n}\nfunction object(value: unknown): value is Record<string, unknown> {\n  return !!value && typeof value === \"object\" && !Array.isArray(value);\n}\nfunction integer(value: unknown): value is number {\n  return typeof value === \"number\" && Number.isSafeInteger(value) && value >= 0;\n}\nfunction usage(value: unknown): boolean {\n  return (\n    object(value) &&\n    [\"input\", \"cached\", \"output\"].every((key) => integer(value[key])) &&\n    Object.entries(value).every(([key, count]) =>\n      key === \"complete\" ? typeof count === \"boolean\" : integer(count),\n    )\n  );\n}\nfunction output(value: unknown): boolean {\n  if (\n    !object(value) ||\n    typeof value.text !== \"string\" ||\n    typeof value.completed !== \"boolean\" ||\n    !usage(value.usage) ||\n    typeof value.branch !== \"string\" ||\n    typeof value.directory !== \"string\" ||\n    !Array.isArray(value.turns) ||\n    !Array.isArray(value.commits)\n  )\n    return false;\n  if (\n    !value.turns.every(\n      (turn) =>\n        object(turn) &&\n        typeof turn.text === \"string\" &&\n        integer(turn.status) &&\n        typeof turn.durationMs === \"number\" &&\n        usage(turn.usage),\n    )\n  )\n    return false;\n  if (\n    !value.commits.every(\n      (commit) =>\n        object(commit) &&\n        typeof commit.oid === \"string\" &&\n        typeof commit.subject === \"string\",\n    )\n  )\n    return false;\n  for (const key of [\n    \"conversation\",\n    \"completion\",\n    \"transcript\",\n    \"retainedDirectory\",\n  ])\n    if (value[key] !== undefined && typeof value[key] !== \"string\")\n      return false;\n  for (const key of [\"logReference\", \"transcriptReference\"]) {\n    const reference = value[key];\n    if (\n      reference !== undefined &&\n      (!object(reference) ||\n        typeof reference.key !== \"string\" ||\n        typeof reference.revision !== \"string\")\n    )\n      return false;\n  }\n  return true;\n}\nexport function validateSpeculation<T>(\n  value: unknown,\n  identity: string,\n  keys: readonly string[],\n): asserts value is SpeculationCheckpoint<T> {\n  const invalid = () =>\n    new Error(\"Invalid or incompatible speculation checkpoint\");\n  if (\n    !object(value) ||\n    value.format !== 1 ||\n    value.identity !== identity ||\n    typeof value.id !== \"string\" ||\n    !/^[a-f0-9-]{36}$/.test(value.id) ||\n    typeof value.finished !== \"boolean\" ||\n    !object(value.before) ||\n    typeof value.before.head !== \"string\" ||\n    !/^[a-f0-9]{40,64}$/.test(value.before.head) ||\n    typeof value.before.branch !== \"string\" ||\n    typeof value.before.fingerprint !== \"string\" ||\n    typeof value.before.dirty !== \"boolean\" ||\n    !Array.isArray(value.attempts) ||\n    !object(value.usage) ||\n    !integer(value.usage.attempts) ||\n    !usage(value.usage.tokens)\n  )\n    throw invalid();\n  if (\n    value.status !== undefined &&\n    ![\"winner\", \"no-winner\", \"aborted\", \"budget-exhausted\"].includes(\n      String(value.status),\n    )\n  )\n    throw invalid();\n  if (value.error !== undefined && typeof value.error !== \"string\")\n    throw invalid();\n  const attempts = new Map<string, number>();\n  let admitted = 0,\n    winners = 0;\n  for (const item of value.attempts) {\n    if (\n      !object(item) ||\n      typeof item.key !== \"string\" ||\n      !keys.includes(item.key) ||\n      !integer(item.attempt) ||\n      item.attempt !== (attempts.get(item.key) ?? 0) + 1 ||\n      item.branch !==\n        `outpost/speculation/${value.id}/${item.key}/${item.attempt}` ||\n      ![\"waiting\", \"running\", \"validated\", \"settled\"].includes(\n        String(item.phase),\n      ) ||\n      ![\"pending\", \"done\"].includes(String(item.cleanup))\n    )\n      throw invalid();\n    attempts.set(item.key, item.attempt);\n    if (item.phase !== \"waiting\") admitted++;\n    for (const key of [\"resourceId\", \"directory\"])\n      if (item[key] !== undefined && typeof item[key] !== \"string\")\n        throw invalid();\n    if (item.accepted !== undefined && typeof item.accepted !== \"boolean\")\n      throw invalid();\n    if (item.phase === \"validated\" && typeof item.accepted !== \"boolean\")\n      throw invalid();\n    const record = item.record;\n    if (record !== undefined) {\n      if (\n        !object(record) ||\n        record.key !== item.key ||\n        record.branch !== item.branch ||\n        ![\"winner\", \"rejected\", \"failed\", \"cancelled\", \"skipped\"].includes(\n          String(record.status),\n        )\n      )\n        throw invalid();\n      if (record.status === \"winner\") {\n        if (\n          item.phase !== \"settled\" ||\n          item.accepted !== true ||\n          !record.result ||\n          typeof record.commit !== \"string\" ||\n          !/^[a-f0-9]{40,64}$/.test(record.commit)\n        )\n          throw invalid();\n        winners++;\n      }\n      if (record.attempt !== undefined && record.attempt !== item.attempt)\n        throw invalid();\n      if (record.cleanup !== undefined && record.cleanup !== item.cleanup)\n        throw invalid();\n      if (record.result !== undefined && !output(record.result))\n        throw invalid();\n      for (const key of [\n        \"directory\",\n        \"retainedDirectory\",\n        \"error\",\n        \"resourceId\",\n        \"commit\",\n      ])\n        if (record[key] !== undefined && typeof record[key] !== \"string\")\n          throw invalid();\n      if (\n        record.result &&\n        object(record.result) &&\n        !Object.hasOwn(record.result, \"value\")\n      )\n        record.result.value = undefined;\n    }\n    if (item.phase === \"settled\" && !record) throw invalid();\n  }\n  if (\n    attempts.size !== keys.length ||\n    admitted !== value.usage.attempts ||\n    winners > 1 ||\n    (value.finished && (value.status === \"winner\") !== (winners === 1))\n  )\n    throw invalid();\n}\n"]}

package/dist/application/speculation-checkpoint.types.d.ts

@@ -0,0 +1,24 @@
+import type { WorkflowUsage } from "../domain/workflow/budget.types.ts";
+import type { SpeculativeCandidateResult, SpeculativeHostSnapshot } from "./speculation.types.ts";
+export interface SpeculationAttempt<T> {
+    key: string;
+    attempt: number;
+    branch: string;
+    phase: "waiting" | "running" | "validated" | "settled";
+    resourceId?: string;
+    directory?: string;
+    cleanup: "pending" | "done";
+    accepted?: boolean;
+    record?: SpeculativeCandidateResult<T>;
+}
+export interface SpeculationCheckpoint<T> {
+    format: 1;
+    identity: string;
+    id: string;
+    before: SpeculativeHostSnapshot;
+    attempts: SpeculationAttempt<T>[];
+    usage: WorkflowUsage;
+    finished: boolean;
+    status?: "winner" | "no-winner" | "aborted" | "budget-exhausted";
+    error?: string;
+}

package/dist/application/speculation-checkpoint.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=speculation-checkpoint.types.js.map

package/dist/application/speculation-checkpoint.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"speculation-checkpoint.types.js","sourceRoot":"","sources":["../../src/application/speculation-checkpoint.types.ts"],"names":[],"mappings":"","sourcesContent":["import type { WorkflowUsage } from \"../domain/workflow/budget.types.ts\";\nimport type {\n  SpeculativeCandidateResult,\n  SpeculativeHostSnapshot,\n} from \"./speculation.types.ts\";\n\nexport interface SpeculationAttempt<T> {\n  key: string;\n  attempt: number;\n  branch: string;\n  phase: \"waiting\" | \"running\" | \"validated\" | \"settled\";\n  resourceId?: string;\n  directory?: string;\n  cleanup: \"pending\" | \"done\";\n  accepted?: boolean;\n  record?: SpeculativeCandidateResult<T>;\n}\nexport interface SpeculationCheckpoint<T> {\n  format: 1;\n  identity: string;\n  id: string;\n  before: SpeculativeHostSnapshot;\n  attempts: SpeculationAttempt<T>[];\n  usage: WorkflowUsage;\n  finished: boolean;\n  status?: \"winner\" | \"no-winner\" | \"aborted\" | \"budget-exhausted\";\n  error?: string;\n}\n"]}

package/dist/application/speculation-integration.constants.d.ts

@@ -0,0 +1,4 @@
+export declare const speculationIntegrationLimits: {
+    readonly deadlineMs: 30000;
+    readonly retainBytes: number;
+};

package/dist/application/speculation-integration.constants.js

@@ -0,0 +1,5 @@
+export const speculationIntegrationLimits = {
+    deadlineMs: 30_000,
+    retainBytes: 1024 * 1024,
+};
+//# sourceMappingURL=speculation-integration.constants.js.map

package/dist/application/speculation-integration.constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"speculation-integration.constants.js","sourceRoot":"","sources":["../../src/application/speculation-integration.constants.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,4BAA4B,GAAG;IAC1C,UAAU,EAAE,MAAM;IAClB,WAAW,EAAE,IAAI,GAAG,IAAI;CAChB,CAAC","sourcesContent":["export const speculationIntegrationLimits = {\n  deadlineMs: 30_000,\n  retainBytes: 1024 * 1024,\n} as const;\n"]}

package/dist/application/speculation-integration.d.ts

@@ -0,0 +1,2 @@
+import type { SpeculationIntegration } from "./speculation.types.ts";
+export declare function checkSpeculationIntegration(repository: string, branch: string, expectedCommit?: string): Promise<SpeculationIntegration>;

package/dist/application/speculation-integration.js

@@ -0,0 +1,67 @@
+import { speculationIntegrationLimits } from "./speculation-integration.constants.js";
+import { executeProcess } from "../infrastructure/process.js";
+import { git } from "../infrastructure/git/command.js";
+import { speculativeHostSnapshot } from "./speculation-host.js";
+export async function checkSpeculationIntegration(repository, branch, expectedCommit) {
+    const host = await speculativeHostSnapshot(repository);
+    const blocked = (reason) => ({
+        status: "blocked",
+        host,
+        conflicts: [],
+        reason,
+    });
+    if (host.dirty)
+        return blocked("Host has uncommitted changes");
+    if (host.branch === "HEAD")
+        return blocked("Host HEAD is detached");
+    try {
+        const candidateCommit = (await git(repository, ["rev-parse", "--verify", `${branch}^{commit}`])).trim();
+        if (expectedCommit && candidateCommit !== expectedCommit)
+            return blocked("Candidate branch changed since validation");
+        const result = await executeProcess({
+            executable: "git",
+            arguments: [
+                "-c",
+                `core.hooksPath=${process.platform === "win32" ? "NUL" : "/dev/null"}`,
+                "merge-tree",
+                "--write-tree",
+                "--name-only",
+                "-z",
+                host.head,
+                candidateCommit,
+            ],
+            directory: repository,
+            deadlineMs: speculationIntegrationLimits.deadlineMs,
+            retain: speculationIntegrationLimits.retainBytes,
+            variables: { LC_ALL: "C", GIT_TERMINAL_PROMPT: "0" },
+        });
+        if (result.status !== 0 && result.status !== 1)
+            return blocked("Git merge-tree preflight failed: " + result.stderr);
+        if (result.stdout.length >= speculationIntegrationLimits.retainBytes)
+            return blocked("Git merge-tree output exceeded its limit");
+        const conflicts = result.status === 1
+            ? result.stdout
+                .split("\0")
+                .slice(1)
+                .filter((_, index, entries) => index < entries.indexOf(""))
+            : [];
+        const after = await speculativeHostSnapshot(repository);
+        const currentCandidate = (await git(repository, ["rev-parse", "--verify", `${branch}^{commit}`])).trim();
+        if (after.head !== host.head ||
+            after.dirty !== host.dirty ||
+            after.fingerprint !== host.fingerprint ||
+            after.branch !== host.branch ||
+            currentCandidate !== candidateCommit)
+            return blocked("Repository changed during integration preflight");
+        return {
+            status: result.status === 0 ? "clean" : "conflict",
+            host,
+            candidateCommit,
+            conflicts,
+        };
+    }
+    catch (error) {
+        return blocked(String(error));
+    }
+}
+//# sourceMappingURL=speculation-integration.js.map

package/dist/application/speculation-integration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"speculation-integration.js","sourceRoot":"","sources":["../../src/application/speculation-integration.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,GAAG,EAAE,MAAM,kCAAkC,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAGhE,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,UAAkB,EAClB,MAAc,EACd,cAAuB;IAEvB,MAAM,IAAI,GAAG,MAAM,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,CAAC,MAAc,EAA0B,EAAE,CAAC,CAAC;QAC3D,MAAM,EAAE,SAAS;QACjB,IAAI;QACJ,SAAS,EAAE,EAAE;QACb,MAAM;KACP,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC,8BAA8B,CAAC,CAAC;IAC/D,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACpE,IAAI,CAAC;QACH,MAAM,eAAe,GAAG,CACtB,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,MAAM,WAAW,CAAC,CAAC,CACvE,CAAC,IAAI,EAAE,CAAC;QACT,IAAI,cAAc,IAAI,eAAe,KAAK,cAAc;YACtD,OAAO,OAAO,CAAC,2CAA2C,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC;YAClC,UAAU,EAAE,KAAK;YACjB,SAAS,EAAE;gBACT,IAAI;gBACJ,kBAAkB,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE;gBACtE,YAAY;gBACZ,cAAc;gBACd,aAAa;gBACb,IAAI;gBACJ,IAAI,CAAC,IAAI;gBACT,eAAe;aAChB;YACD,SAAS,EAAE,UAAU;YACrB,UAAU,EAAE,4BAA4B,CAAC,UAAU;YACnD,MAAM,EAAE,4BAA4B,CAAC,WAAW;YAChD,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,mBAAmB,EAAE,GAAG,EAAE;SACrD,CAAC,CAAC;QACH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAC5C,OAAO,OAAO,CAAC,mCAAmC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QACtE,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,4BAA4B,CAAC,WAAW;YAClE,OAAO,OAAO,CAAC,0CAA0C,CAAC,CAAC;QAC7D,MAAM,SAAS,GACb,MAAM,CAAC,MAAM,KAAK,CAAC;YACjB,CAAC,CAAC,MAAM,CAAC,MAAM;iBACV,KAAK,CAAC,IAAI,CAAC;iBACX,KAAK,CAAC,CAAC,CAAC;iBACR,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC/D,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,KAAK,GAAG,MAAM,uBAAuB,CAAC,UAAU,CAAC,CAAC;QACxD,MAAM,gBAAgB,GAAG,CACvB,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,MAAM,WAAW,CAAC,CAAC,CACvE,CAAC,IAAI,EAAE,CAAC;QACT,IACE,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;YACxB,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;YAC1B,KAAK,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW;YACtC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAC5B,gBAAgB,KAAK,eAAe;YAEpC,OAAO,OAAO,CAAC,iDAAiD,CAAC,CAAC;QACpE,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU;YAClD,IAAI;YACJ,eAAe;YACf,SAAS;SACV,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAChC,CAAC;AACH,CAAC","sourcesContent":["import { speculationIntegrationLimits } from \"./speculation-integration.constants.ts\";\nimport { executeProcess } from \"../infrastructure/process.ts\";\nimport { git } from \"../infrastructure/git/command.ts\";\nimport { speculativeHostSnapshot } from \"./speculation-host.ts\";\nimport type { SpeculationIntegration } from \"./speculation.types.ts\";\n\nexport async function checkSpeculationIntegration(\n  repository: string,\n  branch: string,\n  expectedCommit?: string,\n): Promise<SpeculationIntegration> {\n  const host = await speculativeHostSnapshot(repository);\n  const blocked = (reason: string): SpeculationIntegration => ({\n    status: \"blocked\",\n    host,\n    conflicts: [],\n    reason,\n  });\n  if (host.dirty) return blocked(\"Host has uncommitted changes\");\n  if (host.branch === \"HEAD\") return blocked(\"Host HEAD is detached\");\n  try {\n    const candidateCommit = (\n      await git(repository, [\"rev-parse\", \"--verify\", `${branch}^{commit}`])\n    ).trim();\n    if (expectedCommit && candidateCommit !== expectedCommit)\n      return blocked(\"Candidate branch changed since validation\");\n    const result = await executeProcess({\n      executable: \"git\",\n      arguments: [\n        \"-c\",\n        `core.hooksPath=${process.platform === \"win32\" ? \"NUL\" : \"/dev/null\"}`,\n        \"merge-tree\",\n        \"--write-tree\",\n        \"--name-only\",\n        \"-z\",\n        host.head,\n        candidateCommit,\n      ],\n      directory: repository,\n      deadlineMs: speculationIntegrationLimits.deadlineMs,\n      retain: speculationIntegrationLimits.retainBytes,\n      variables: { LC_ALL: \"C\", GIT_TERMINAL_PROMPT: \"0\" },\n    });\n    if (result.status !== 0 && result.status !== 1)\n      return blocked(\"Git merge-tree preflight failed: \" + result.stderr);\n    if (result.stdout.length >= speculationIntegrationLimits.retainBytes)\n      return blocked(\"Git merge-tree output exceeded its limit\");\n    const conflicts =\n      result.status === 1\n        ? result.stdout\n            .split(\"\\0\")\n            .slice(1)\n            .filter((_, index, entries) => index < entries.indexOf(\"\"))\n        : [];\n    const after = await speculativeHostSnapshot(repository);\n    const currentCandidate = (\n      await git(repository, [\"rev-parse\", \"--verify\", `${branch}^{commit}`])\n    ).trim();\n    if (\n      after.head !== host.head ||\n      after.dirty !== host.dirty ||\n      after.fingerprint !== host.fingerprint ||\n      after.branch !== host.branch ||\n      currentCandidate !== candidateCommit\n    )\n      return blocked(\"Repository changed during integration preflight\");\n    return {\n      status: result.status === 0 ? \"clean\" : \"conflict\",\n      host,\n      candidateCommit,\n      conflicts,\n    };\n  } catch (error) {\n    return blocked(String(error));\n  }\n}\n"]}

package/dist/application/speculation-resume.d.ts

@@ -0,0 +1,4 @@
+import type { WorkflowAccounting } from "../domain/workflow/budget.types.ts";
+import type { SpeculationCheckpoint, SpeculationAttempt } from "./speculation-checkpoint.types.ts";
+import type { SpeculationOptions } from "./speculation.types.ts";
+export declare function resumeSpeculation<T>(options: SpeculationOptions<T>, state: SpeculationCheckpoint<T>, accounting: WorkflowAccounting, save: () => Promise<void>, cleanupMs: number): Promise<Map<string, SpeculationAttempt<T>>>;

package/dist/application/speculation-resume.js

@@ -0,0 +1,71 @@
+import { invariant } from "../domain/errors.js";
+import { speculationTimeout } from "./speculation-timeout.js";
+export async function resumeSpeculation(options, state, accounting, save, cleanupMs) {
+    const latest = new Map(state.attempts.map((attempt) => [attempt.key, attempt]));
+    if (state.attempts.some((attempt) => attempt.phase !== "waiting" && attempt.phase !== "settled") &&
+        options.durability?.resume !== "retry-incomplete")
+        throw new Error("Interrupted speculation requires resume retry-incomplete to authorize replay");
+    await save();
+    for (const attempt of state.attempts) {
+        if (attempt.cleanup === "done")
+            continue;
+        if (attempt.resourceId) {
+            invariant(options.sandboxProvider.recover, "Sandbox provider cannot recover this resource");
+            await save();
+            await speculationTimeout(options.sandboxProvider.recover(attempt.resourceId, {
+                signal: AbortSignal.timeout(cleanupMs),
+                deadlineMs: cleanupMs,
+            }), cleanupMs);
+        }
+        attempt.cleanup = "done";
+        if (attempt.record)
+            attempt.record = { ...attempt.record, cleanup: "done" };
+        await save();
+    }
+    let recoveredWinner = state.attempts.some((attempt) => attempt.record?.status === "winner");
+    for (const previous of latest.values()) {
+        if (previous.phase === "waiting" || previous.phase === "settled")
+            continue;
+        if (previous.phase === "validated" && previous.record) {
+            previous.phase = "settled";
+            const accepted = previous.accepted && !recoveredWinner;
+            previous.record = {
+                ...previous.record,
+                status: accepted ? "winner" : "rejected",
+                cleanup: "done",
+                ...(previous.directory
+                    ? { retainedDirectory: previous.directory }
+                    : {}),
+            };
+            recoveredWinner ||= !!accepted;
+            continue;
+        }
+        accounting.report({ input: 0, cached: 0, output: 0, complete: false });
+        previous.phase = "settled";
+        previous.record = {
+            key: previous.key,
+            branch: previous.branch,
+            attempt: previous.attempt,
+            status: "cancelled",
+            cleanup: "done",
+            ...(previous.directory
+                ? {
+                    directory: previous.directory,
+                    retainedDirectory: previous.directory,
+                }
+                : {}),
+            error: "Interrupted by coordinator failure",
+        };
+        const attempt = {
+            key: previous.key,
+            attempt: previous.attempt + 1,
+            branch: `outpost/speculation/${state.id}/${previous.key}/${previous.attempt + 1}`,
+            phase: "waiting",
+            cleanup: "done",
+        };
+        state.attempts.push(attempt);
+        latest.set(attempt.key, attempt);
+    }
+    return latest;
+}
+//# sourceMappingURL=speculation-resume.js.map

package/dist/application/speculation-resume.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"speculation-resume.js","sourceRoot":"","sources":["../../src/application/speculation-resume.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAOhD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAE9D,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAA8B,EAC9B,KAA+B,EAC/B,UAA8B,EAC9B,IAAyB,EACzB,SAAiB;IAEjB,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CACxD,CAAC;IACF,IACE,KAAK,CAAC,QAAQ,CAAC,IAAI,CACjB,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,CACxE;QACD,OAAO,CAAC,UAAU,EAAE,MAAM,KAAK,kBAAkB;QAEjD,MAAM,IAAI,KAAK,CACb,8EAA8E,CAC/E,CAAC;IACJ,MAAM,IAAI,EAAE,CAAC;IACb,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM;YAAE,SAAS;QACzC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,SAAS,CACP,OAAO,CAAC,eAAe,CAAC,OAAO,EAC/B,+CAA+C,CAChD,CAAC;YACF,MAAM,IAAI,EAAE,CAAC;YACb,MAAM,kBAAkB,CACtB,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE;gBAClD,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC;gBACtC,UAAU,EAAE,SAAS;aACtB,CAAC,EACF,SAAS,CACV,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,OAAO,GAAG,MAAM,CAAC;QACzB,IAAI,OAAO,CAAC,MAAM;YAAE,OAAO,CAAC,MAAM,GAAG,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAC5E,MAAM,IAAI,EAAE,CAAC;IACf,CAAC;IACD,IAAI,eAAe,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CACvC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ,CACjD,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;YAAE,SAAS;QAC3E,IAAI,QAAQ,CAAC,KAAK,KAAK,WAAW,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACtD,QAAQ,CAAC,KAAK,GAAG,SAAS,CAAC;YAC3B,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,IAAI,CAAC,eAAe,CAAC;YACvD,QAAQ,CAAC,MAAM,GAAG;gBAChB,GAAG,QAAQ,CAAC,MAAM;gBAClB,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;gBACxC,OAAO,EAAE,MAAM;gBACf,GAAG,CAAC,QAAQ,CAAC,SAAS;oBACpB,CAAC,CAAC,EAAE,iBAAiB,EAAE,QAAQ,CAAC,SAAS,EAAE;oBAC3C,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;YACF,eAAe,KAAK,CAAC,CAAC,QAAQ,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,UAAU,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACvE,QAAQ,CAAC,KAAK,GAAG,SAAS,CAAC;QAC3B,QAAQ,CAAC,MAAM,GAAG;YAChB,GAAG,EAAE,QAAQ,CAAC,GAAG;YACjB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,MAAM,EAAE,WAAW;YACnB,OAAO,EAAE,MAAM;YACf,GAAG,CAAC,QAAQ,CAAC,SAAS;gBACpB,CAAC,CAAC;oBACE,SAAS,EAAE,QAAQ,CAAC,SAAS;oBAC7B,iBAAiB,EAAE,QAAQ,CAAC,SAAS;iBACtC;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,KAAK,EAAE,oCAAoC;SAC5C,CAAC;QACF,MAAM,OAAO,GAA0B;YACrC,GAAG,EAAE,QAAQ,CAAC,GAAG;YACjB,OAAO,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC;YAC7B,MAAM,EAAE,uBAAuB,KAAK,CAAC,EAAE,IAAI,QAAQ,CAAC,GAAG,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC,EAAE;YACjF,KAAK,EAAE,SAAS;YAChB,OAAO,EAAE,MAAM;SAChB,CAAC;QACF,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["import { invariant } from \"../domain/errors.ts\";\nimport type { WorkflowAccounting } from \"../domain/workflow/budget.types.ts\";\nimport type {\n  SpeculationCheckpoint,\n  SpeculationAttempt,\n} from \"./speculation-checkpoint.types.ts\";\nimport type { SpeculationOptions } from \"./speculation.types.ts\";\nimport { speculationTimeout } from \"./speculation-timeout.ts\";\n\nexport async function resumeSpeculation<T>(\n  options: SpeculationOptions<T>,\n  state: SpeculationCheckpoint<T>,\n  accounting: WorkflowAccounting,\n  save: () => Promise<void>,\n  cleanupMs: number,\n): Promise<Map<string, SpeculationAttempt<T>>> {\n  const latest = new Map(\n    state.attempts.map((attempt) => [attempt.key, attempt]),\n  );\n  if (\n    state.attempts.some(\n      (attempt) => attempt.phase !== \"waiting\" && attempt.phase !== \"settled\",\n    ) &&\n    options.durability?.resume !== \"retry-incomplete\"\n  )\n    throw new Error(\n      \"Interrupted speculation requires resume retry-incomplete to authorize replay\",\n    );\n  await save();\n  for (const attempt of state.attempts) {\n    if (attempt.cleanup === \"done\") continue;\n    if (attempt.resourceId) {\n      invariant(\n        options.sandboxProvider.recover,\n        \"Sandbox provider cannot recover this resource\",\n      );\n      await save();\n      await speculationTimeout(\n        options.sandboxProvider.recover(attempt.resourceId, {\n          signal: AbortSignal.timeout(cleanupMs),\n          deadlineMs: cleanupMs,\n        }),\n        cleanupMs,\n      );\n    }\n    attempt.cleanup = \"done\";\n    if (attempt.record) attempt.record = { ...attempt.record, cleanup: \"done\" };\n    await save();\n  }\n  let recoveredWinner = state.attempts.some(\n    (attempt) => attempt.record?.status === \"winner\",\n  );\n  for (const previous of latest.values()) {\n    if (previous.phase === \"waiting\" || previous.phase === \"settled\") continue;\n    if (previous.phase === \"validated\" && previous.record) {\n      previous.phase = \"settled\";\n      const accepted = previous.accepted && !recoveredWinner;\n      previous.record = {\n        ...previous.record,\n        status: accepted ? \"winner\" : \"rejected\",\n        cleanup: \"done\",\n        ...(previous.directory\n          ? { retainedDirectory: previous.directory }\n          : {}),\n      };\n      recoveredWinner ||= !!accepted;\n      continue;\n    }\n    accounting.report({ input: 0, cached: 0, output: 0, complete: false });\n    previous.phase = \"settled\";\n    previous.record = {\n      key: previous.key,\n      branch: previous.branch,\n      attempt: previous.attempt,\n      status: \"cancelled\",\n      cleanup: \"done\",\n      ...(previous.directory\n        ? {\n            directory: previous.directory,\n            retainedDirectory: previous.directory,\n          }\n        : {}),\n      error: \"Interrupted by coordinator failure\",\n    };\n    const attempt: SpeculationAttempt<T> = {\n      key: previous.key,\n      attempt: previous.attempt + 1,\n      branch: `outpost/speculation/${state.id}/${previous.key}/${previous.attempt + 1}`,\n      phase: \"waiting\",\n      cleanup: \"done\",\n    };\n    state.attempts.push(attempt);\n    latest.set(attempt.key, attempt);\n  }\n  return latest;\n}\n"]}

package/dist/application/speculation-run.d.ts

@@ -0,0 +1,4 @@
+import type { SpeculationCheckpoint } from "./speculation-checkpoint.types.ts";
+import type { SpeculationStoreSession } from "../infrastructure/speculation-store.types.ts";
+import type { SpeculationOptions, SpeculationResult } from "./speculation.types.ts";
+export declare function runSpeculation<T>(options: SpeculationOptions<T>, state: SpeculationCheckpoint<T>, session: SpeculationStoreSession | undefined, concurrency: number, cleanupMs: number): Promise<SpeculationResult<T>>;