@claudexor/daemon 5.0.1 → 5.1.0

package/dist/store/thread-closure.js

@@ -0,0 +1,290 @@
+import { createHash } from "node:crypto";
+import { commandRow, hydrateCommand } from "./command-rows.js";
+import { isServedPid } from "./generations.js";
+import { decodeBody, hydrateTurn } from "./thread-rows.js";
+import { deferredMessageDetail } from "./deferred-message-rows.js";
+const COLUMNS = `id,pid,operation,client_id,state,run_id,task_id,run_dir,thread_id,turn_id,delegated_from,
+  continue_from,scope_root,created_at,started_at,finished_at,summary,params_sha,result_sha,error,kind,live,
+  needs_decision,response_state,response_expires_at,request_resource_id,response_resource_id,task_group_id`;
+const bytesHex = (value) => value ? createHash("sha256").update(value).digest("hex") : null;
+/** A document's path segment: never a separator, never a dot-only name. */
+const segment = (value) => encodeURIComponent(value).replace(/^\.+/, (dots) => "%2E".repeat(dots.length));
+function refsOf(thread, turns) {
+    const refs = new Set([
+        ...thread.run_ids,
+        ...(thread.head_run_id ? [thread.head_run_id] : []),
+    ]);
+    for (const turn of turns) {
+        const body = decodeBody(turn);
+        if (turn.run_id)
+            refs.add(turn.run_id);
+        for (const key of ["parent_run_id", "answers_plan_run_id", "plan_run_id"]) {
+            const value = body[key];
+            if (typeof value === "string" && value)
+                refs.add(value);
+        }
+    }
+    return [...refs];
+}
+/** The thread row alone and its store: one addressed read, for answers that
+ * need no closure. Like the closure, it answers for a purged thread too. */
+export function readClosureThread(store, threadId) {
+    const row = store.prepare("SELECT body FROM thread WHERE id=?").get(threadId);
+    return row ? { storeId: store.storeId ?? "", thread: decodeBody(row) } : null;
+}
+/** Throws nothing for a retained thread; a missing thread returns null. */
+export function readThreadClosure(store, threadId) {
+    const threadRow = store
+        .prepare("SELECT pid,state,head_revision,body FROM thread WHERE id=?")
+        .get(threadId);
+    if (!threadRow)
+        return null;
+    const thread = decodeBody(threadRow);
+    const turnRows = store
+        .prepare("SELECT id,ordinal,run_id,prompt_sha,body FROM turn WHERE thread_id=? ORDER BY ordinal")
+        .all(threadId);
+    const commands = new Map();
+    const pending = [];
+    const add = (rows) => {
+        for (const row of rows)
+            if (!commands.has(row.id)) {
+                commands.set(row.id, row);
+                pending.push(row);
+            }
+    };
+    const byThread = store.prepare(`SELECT ${COLUMNS} FROM command WHERE thread_id=?`);
+    const byAddress = store.prepare(`SELECT ${COLUMNS} FROM command WHERE id=?1 OR run_id=?1`);
+    const byEdge = store.prepare(`SELECT ${COLUMNS} FROM command WHERE continue_from=?1 OR delegated_from=?1`);
+    add(byThread.all(threadId));
+    const holds = [];
+    for (const ref of refsOf(thread, turnRows)) {
+        const rows = byAddress.all(ref);
+        if (rows.length === 0)
+            holds.push({
+                code: "command_record_not_retained",
+                subject: ref,
+                message: `run ${ref} is named by the thread but its command record is not retained`,
+            });
+        add(rows);
+    }
+    for (let next = pending.shift(); next; next = pending.shift()) {
+        for (const address of new Set([next.id, next.run_id].filter((v) => !!v)))
+            add(byEdge.all(address));
+        for (const edge of [next.continue_from, next.delegated_from])
+            if (edge) {
+                const rows = byAddress.all(edge);
+                if (rows.length === 0)
+                    holds.push({
+                        code: "command_record_not_retained",
+                        subject: edge,
+                        message: `command ${next.id} links to ${edge}, whose record is not retained`,
+                    });
+                add(rows);
+            }
+    }
+    const ordered = [...commands.values()].sort((a, b) => (a.id < b.id ? -1 : 1));
+    const hash = createHash("sha256");
+    const note = (...values) => void hash.update(`${JSON.stringify(values)}\n`);
+    const documents = [{ key: "thread", path: "sql/thread.json" }];
+    note("store", store.storeId ?? null);
+    note("thread", threadId, threadRow.pid, threadRow.head_revision, bytesHex(threadRow.body));
+    for (const turn of turnRows) {
+        note("turn", turn.id, turn.ordinal, turn.run_id, turn.prompt_sha, bytesHex(turn.body));
+        documents.push({
+            key: `turn:${turn.id}`,
+            path: `sql/turns/${String(turn.ordinal).padStart(6, "0")}-${segment(turn.id)}.json`,
+        });
+        const body = decodeBody(turn);
+        if (!turn.run_id && !body["enqueue_error"])
+            holds.push({
+                code: "closure_not_quiescent",
+                subject: turn.id,
+                message: `turn ${turn.id} has no run and no recorded refusal; its start is still pending`,
+            });
+    }
+    const lanes = store
+        .prepare("SELECT id,body FROM session WHERE thread_id=? ORDER BY id")
+        .all(threadId);
+    for (const row of lanes) {
+        note("session", row.id, bytesHex(row.body));
+        documents.push({ key: `session:${row.id}`, path: `sql/sessions/${segment(row.id)}.json` });
+    }
+    const checkpoints = store
+        .prepare("SELECT harness_id,profile_id,turn_id,body FROM lane_checkpoint WHERE thread_id=? ORDER BY harness_id,profile_id")
+        .all(threadId);
+    for (const row of checkpoints) {
+        note("checkpoint", row.harness_id, row.profile_id, row.turn_id, bytesHex(row.body));
+        documents.push({
+            key: `checkpoint:${row.harness_id}\0${row.profile_id}`,
+            path: `sql/checkpoints/${segment(row.harness_id)}-${segment(row.profile_id || "default")}.json`,
+        });
+    }
+    const decisions = store.prepare("SELECT body FROM operator_decision WHERE run_id=?");
+    const terminals = store.prepare("SELECT event FROM run_terminal WHERE run_id=?");
+    // Node truncates TEXT at NUL; the key is runId\0interactionId.
+    const interactions = store.prepare("SELECT CAST(id AS BLOB) AS id,state,request,resolution FROM interaction WHERE run_id=?");
+    const drafts = store.prepare("SELECT * FROM deferred_message WHERE predecessor_job_id=?1 OR successor_job_id=?1");
+    const pendingFiles = store.prepare("SELECT 1 FROM effect_obligation WHERE kind='terminal_files' AND key=? AND state='pending'");
+    const seenDrafts = new Set();
+    for (const row of ordered) {
+        note("command", row.id, row.pid, row.operation, row.state, row.kind, row.live, row.run_id, row.run_dir, row.thread_id, row.turn_id, row.continue_from, row.delegated_from, row.finished_at, row.needs_decision, row.params_sha, row.result_sha, bytesHex(row.summary), bytesHex(row.error));
+        documents.push({ key: `command:${row.id}`, path: `sql/commands/${segment(row.id)}.json` });
+        const label = row.run_id ?? row.id;
+        if (row.state === "queued" || row.state === "running")
+            holds.push({
+                code: "closure_not_quiescent",
+                subject: label,
+                message: `${row.kind} command ${label} is still ${row.state}`,
+            });
+        if (row.needs_decision)
+            holds.push({
+                code: "closure_awaiting_decision",
+                subject: label,
+                message: `run ${label} is waiting for an operator decision`,
+            });
+        if (!isServedPid(store, row.pid))
+            holds.push({
+                code: "closure_partition_unavailable",
+                subject: label,
+                message: `run ${label} lives in a partition this engine does not serve`,
+            });
+        for (const draft of drafts.all(row.id)) {
+            if (seenDrafts.has(draft.id))
+                continue;
+            seenDrafts.add(draft.id);
+            note("deferred", draft.id, draft.state, draft.revision, draft.body_sha, draft.successor_job_id, draft.dispatched_revision, bytesHex(draft.hold));
+            documents.push({
+                key: `deferred:${draft.id}`,
+                path: `sql/deferred/${segment(draft.id)}.json`,
+            });
+            if (draft.state === "waiting" || draft.state === "held")
+                holds.push({
+                    code: "closure_not_quiescent",
+                    subject: draft.id,
+                    message: `deferred message ${draft.id} is ${draft.state}`,
+                });
+        }
+        if (!row.run_id)
+            continue;
+        if (pendingFiles.get(row.run_id))
+            holds.push({
+                code: "closure_not_quiescent",
+                subject: row.run_id,
+                message: `run ${row.run_id} is terminal but its final files are not yet written`,
+            });
+        const decision = decisions.get(row.run_id);
+        if (decision) {
+            note("decision", row.run_id, bytesHex(decision.body));
+            documents.push({
+                key: `decision:${row.run_id}`,
+                path: `sql/decisions/${segment(row.run_id)}.json`,
+            });
+        }
+        const terminal = terminals.get(row.run_id);
+        if (terminal) {
+            note("terminal", row.run_id, bytesHex(terminal.event));
+            documents.push({
+                key: `terminal:${row.run_id}`,
+                path: `sql/terminals/${segment(row.run_id)}.json`,
+            });
+        }
+        const asked = interactions.all(row.run_id);
+        for (const interaction of asked) {
+            const id = Buffer.from(interaction.id).toString("utf8");
+            note("interaction", id, interaction.state, bytesHex(interaction.request), bytesHex(interaction.resolution));
+            documents.push({
+                key: `interaction:${id}`,
+                path: `sql/interactions/${segment(id)}.json`,
+            });
+            if (interaction.state === "pending")
+                holds.push({
+                    code: "closure_not_quiescent",
+                    subject: row.run_id,
+                    message: `run ${row.run_id} has a pending interaction`,
+                });
+        }
+    }
+    return {
+        storeId: store.storeId ?? "",
+        thread,
+        headRevision: threadRow.head_revision,
+        digest: `sha256:${hash.digest("hex")}`,
+        turns: turnRows.map((row) => ({
+            turnId: row.id,
+            ordinal: row.ordinal,
+            runId: row.run_id,
+            promptSha256: row.prompt_sha,
+        })),
+        commands: ordered.map((row) => ({
+            jobId: row.id,
+            runId: row.run_id,
+            state: row.state,
+            kind: row.kind,
+            threadId: row.thread_id,
+            turnId: row.turn_id,
+            continueFrom: row.continue_from,
+            delegatedFrom: row.delegated_from,
+            runDir: row.run_dir,
+        })),
+        documents,
+        holds,
+    };
+}
+function rowDocument(store, blobs, threadId, key) {
+    const body = (sql, ...args) => {
+        const row = store.prepare(sql).get(...args);
+        return row ? decodeBody(row) : undefined;
+    };
+    const colon = key.indexOf(":");
+    const kind = colon < 0 ? key : key.slice(0, colon);
+    const id = colon < 0 ? "" : key.slice(colon + 1);
+    switch (kind) {
+        case "thread":
+            return body("SELECT body FROM thread WHERE id=?", threadId);
+        case "turn": {
+            const row = store.prepare("SELECT body,prompt_sha FROM turn WHERE id=?").get(id);
+            return row ? hydrateTurn(row, blobs) : undefined;
+        }
+        case "session":
+            return body("SELECT body FROM session WHERE id=?", id);
+        case "checkpoint": {
+            const [harness, profile] = id.split("\0");
+            return body("SELECT body FROM lane_checkpoint WHERE thread_id=? AND harness_id=? AND profile_id=?", threadId, harness, profile);
+        }
+        case "command": {
+            const row = commandRow(store, id);
+            return row ? hydrateCommand(row, blobs) : undefined;
+        }
+        case "decision":
+            return body("SELECT body FROM operator_decision WHERE run_id=?", id);
+        case "terminal": {
+            const row = store.prepare("SELECT event FROM run_terminal WHERE run_id=?").get(id);
+            return row ? JSON.parse(Buffer.from(row.event).toString("utf8")) : undefined;
+        }
+        case "interaction": {
+            const row = store
+                .prepare("SELECT state,request,resolution FROM interaction WHERE id=?")
+                .get(id);
+            if (!row)
+                return undefined;
+            const parse = (value) => JSON.parse(Buffer.from(value).toString("utf8"));
+            return {
+                state: row.state,
+                request: parse(row.request),
+                resolution: row.resolution ? parse(row.resolution) : null,
+            };
+        }
+        case "deferred": {
+            const row = store.prepare("SELECT * FROM deferred_message WHERE id=?").get(id);
+            return row ? deferredMessageDetail(store, blobs, row) : undefined;
+        }
+        default:
+            return undefined;
+    }
+}
+/** The exact bytes of one closure document; a vanished row is null, never empty. */
+export function readThreadClosureDocument(store, blobs, threadId, key) {
+    const value = rowDocument(store, blobs, threadId, key);
+    return value === undefined ? null : Buffer.from(`${JSON.stringify(value, null, 2)}\n`);
+}
+//# sourceMappingURL=thread-closure.js.map

package/dist/store/thread-closure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"thread-closure.js","sourceRoot":"","sources":["../../src/store/thread-closure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAmB,MAAM,mBAAmB,CAAC;AAEhF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAA2B,MAAM,4BAA4B,CAAC;AAiD5F,MAAM,OAAO,GAAG;;2GAE2F,CAAC;AAE5G,MAAM,QAAQ,GAAG,CAAC,KAAoC,EAAiB,EAAE,CACvE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClE,2EAA2E;AAC3E,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CACxC,kBAAkB,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;AAEjF,SAAS,MAAM,CAAC,MAAc,EAAE,KAAoD;IAClF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS;QAC3B,GAAG,MAAM,CAAC,OAAO;QACjB,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpD,CAAC,CAAC;IACH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,UAAU,CAA0B,IAAI,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,qBAAqB,EAAE,aAAa,CAAC,EAAE,CAAC;YAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK;gBAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AACnB,CAAC;AAED;4EAC4E;AAC5E,MAAM,UAAU,iBAAiB,CAC/B,KAAkB,EAClB,QAAgB;IAEhB,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAC1C,CAAC;IACnC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,MAAM,EAAE,UAAU,CAAS,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACxF,CAAC;AAOD,2EAA2E;AAC3E,MAAM,UAAU,iBAAiB,CAAC,KAAoB,EAAE,QAAgB;IACtE,MAAM,SAAS,GAAG,KAAK;SACpB,OAAO,CAAC,4DAA4D,CAAC;SACrE,GAAG,CAAC,QAAQ,CACsE,CAAC;IACtF,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAG,UAAU,CAAS,SAAS,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,KAAK;SACnB,OAAO,CACN,uFAAuF,CACxF;SACA,GAAG,CAAC,QAAQ,CAMZ,CAAC;IAEJ,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,IAAe,EAAQ,EAAE;QACpC,KAAK,MAAM,GAAG,IAAI,IAAoB;YACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC1B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,CAAC;IACL,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,OAAO,iCAAiC,CAAC,CAAC;IACnF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,OAAO,wCAAwC,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAC1B,UAAU,OAAO,2DAA2D,CAC7E,CAAC;IACF,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YACnB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,OAAO,GAAG,gEAAgE;aACpF,CAAC,CAAC;QACL,GAAG,CAAC,IAAI,CAAC,CAAC;IACZ,CAAC;IACD,KAAK,IAAI,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;QAC9D,KAAK,MAAM,OAAO,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,cAAc,CAAC;YAC1D,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;oBACnB,KAAK,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,6BAA6B;wBACnC,OAAO,EAAE,IAAI;wBACb,OAAO,EAAE,WAAW,IAAI,CAAC,EAAE,aAAa,IAAI,gCAAgC;qBAC7E,CAAC,CAAC;gBACL,GAAG,CAAC,IAAI,CAAC,CAAC;YACZ,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,GAAG,MAAiB,EAAQ,EAAE,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7F,MAAM,SAAS,GAA4B,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC;IACxF,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,aAAa,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACvF,SAAS,CAAC,IAAI,CAAC;YACb,GAAG,EAAE,QAAQ,IAAI,CAAC,EAAE,EAAE;YACtB,IAAI,EAAE,aAAa,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO;SACpF,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,UAAU,CAA0B,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,OAAO,EAAE,QAAQ,IAAI,CAAC,EAAE,iEAAiE;aAC1F,CAAC,CAAC;IACP,CAAC;IACD,MAAM,KAAK,GAAG,KAAK;SAChB,OAAO,CAAC,2DAA2D,CAAC;SACpE,GAAG,CAAC,QAAQ,CAAuC,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,WAAW,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,WAAW,GAAG,KAAK;SACtB,OAAO,CACN,iHAAiH,CAClH;SACA,GAAG,CAAC,QAAQ,CAKZ,CAAC;IACJ,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACpF,SAAS,CAAC,IAAI,CAAC;YACb,GAAG,EAAE,cAAc,GAAG,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU,EAAE;YACtD,IAAI,EAAE,mBAAmB,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,SAAS,CAAC,OAAO;SAChG,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;IACrF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC;IACjF,+DAA+D;IAC/D,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAChC,wFAAwF,CACzF,CAAC;IACF,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAC1B,mFAAmF,CACpF,CAAC;IACF,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAChC,2FAA2F,CAC5F,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CACF,SAAS,EACT,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,GAAG,EACP,GAAG,CAAC,SAAS,EACb,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,SAAS,EACb,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,aAAa,EACjB,GAAG,CAAC,cAAc,EAClB,GAAG,CAAC,WAAW,EACf,GAAG,CAAC,cAAc,EAClB,GAAG,CAAC,UAAU,EACd,GAAG,CAAC,UAAU,EACd,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EACrB,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CACpB,CAAC;QACF,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,WAAW,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3F,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YACnD,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,GAAG,GAAG,CAAC,IAAI,YAAY,KAAK,aAAa,GAAG,CAAC,KAAK,EAAE;aAC9D,CAAC,CAAC;QACL,IAAI,GAAG,CAAC,cAAc;YACpB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,OAAO,KAAK,sCAAsC;aAC5D,CAAC,CAAC;QACL,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,OAAO,KAAK,kDAAkD;aACxE,CAAC,CAAC;QACL,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAoC,EAAE,CAAC;YAC1E,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAAE,SAAS;YACvC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACzB,IAAI,CACF,UAAU,EACV,KAAK,CAAC,EAAE,EACR,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,gBAAgB,EACtB,KAAK,CAAC,mBAAmB,EACzB,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CACrB,CAAC;YACF,SAAS,CAAC,IAAI,CAAC;gBACb,GAAG,EAAE,YAAY,KAAK,CAAC,EAAE,EAAE;gBAC3B,IAAI,EAAE,gBAAgB,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO;aAC/C,CAAC,CAAC;YACH,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM;gBACrD,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,uBAAuB;oBAC7B,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,OAAO,EAAE,oBAAoB,KAAK,CAAC,EAAE,OAAO,KAAK,CAAC,KAAK,EAAE;iBAC1D,CAAC,CAAC;QACP,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM;YAAE,SAAS;QAC1B,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,GAAG,CAAC,MAAM;gBACnB,OAAO,EAAE,OAAO,GAAG,CAAC,MAAM,sDAAsD;aACjF,CAAC,CAAC;QACL,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAqC,CAAC;QAC/E,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YACtD,SAAS,CAAC,IAAI,CAAC;gBACb,GAAG,EAAE,YAAY,GAAG,CAAC,MAAM,EAAE;gBAC7B,IAAI,EAAE,iBAAiB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO;aAClD,CAAC,CAAC;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAsC,CAAC;QAChF,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YACvD,SAAS,CAAC,IAAI,CAAC;gBACb,GAAG,EAAE,YAAY,GAAG,CAAC,MAAM,EAAE;gBAC7B,IAAI,EAAE,iBAAiB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO;aAClD,CAAC,CAAC;QACL,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAKtC,CAAC;QACJ,KAAK,MAAM,WAAW,IAAI,KAAK,EAAE,CAAC;YAChC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACxD,IAAI,CACF,aAAa,EACb,EAAE,EACF,WAAW,CAAC,KAAK,EACjB,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,EAC7B,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,CACjC,CAAC;YACF,SAAS,CAAC,IAAI,CAAC;gBACb,GAAG,EAAE,eAAe,EAAE,EAAE;gBACxB,IAAI,EAAE,oBAAoB,OAAO,CAAC,EAAE,CAAC,OAAO;aAC7C,CAAC,CAAC;YACH,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS;gBACjC,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,uBAAuB;oBAC7B,OAAO,EAAE,GAAG,CAAC,MAAM;oBACnB,OAAO,EAAE,OAAO,GAAG,CAAC,MAAM,4BAA4B;iBACvD,CAAC,CAAC;QACP,CAAC;IACH,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE;QAC5B,MAAM;QACN,YAAY,EAAE,SAAS,CAAC,aAAa;QACrC,MAAM,EAAE,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;QACtC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,EAAE;YACd,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,KAAK,EAAE,GAAG,CAAC,MAAM;YACjB,YAAY,EAAE,GAAG,CAAC,UAAU;SAC7B,CAAC,CAAC;QACH,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC9B,KAAK,EAAE,GAAG,CAAC,EAAE;YACb,KAAK,EAAE,GAAG,CAAC,MAAM;YACjB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,QAAQ,EAAE,GAAG,CAAC,SAAS;YACvB,MAAM,EAAE,GAAG,CAAC,OAAO;YACnB,YAAY,EAAE,GAAG,CAAC,aAAa;YAC/B,aAAa,EAAE,GAAG,CAAC,cAAc;YACjC,MAAM,EAAE,GAAG,CAAC,OAAO;SACpB,CAAC,CAAC;QACH,SAAS;QACT,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAkB,EAAE,KAAgB,EAAE,QAAgB,EAAE,GAAW;IACtF,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,GAAG,IAAc,EAAW,EAAE;QACvD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAqC,CAAC;QAChF,OAAO,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3C,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACnD,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACjD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,oCAAoC,EAAE,QAAQ,CAAC,CAAC;QAC9D,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC,GAAG,CAAC,EAAE,CACzB,CAAC;YACvD,OAAO,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnD,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,qCAAqC,EAAE,EAAE,CAAC,CAAC;QACzD,KAAK,YAAY,EAAE,CAAC;YAClB,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAqB,CAAC;YAC9D,OAAO,IAAI,CACT,sFAAsF,EACtF,QAAQ,EACR,OAAO,EACP,OAAO,CACR,CAAC;QACJ,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAClC,OAAO,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtD,CAAC;QACD,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,mDAAmD,EAAE,EAAE,CAAC,CAAC;QACvE,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC,GAAG,CAAC,EAAE,CAC9C,CAAC;YACpC,OAAO,GAAG,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAa,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACnB,MAAM,GAAG,GAAG,KAAK;iBACd,OAAO,CAAC,6DAA6D,CAAC;iBACtE,GAAG,CAAC,EAAE,CAC0E,CAAC;YACpF,IAAI,CAAC,GAAG;gBAAE,OAAO,SAAS,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,KAAiB,EAAE,EAAE,CAClC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAY,CAAC;YAC7D,OAAO;gBACL,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;gBAC3B,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;aAC1D,CAAC;QACJ,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC,GAAG,CAAC,EAAE,CAC7C,CAAC;YACjC,OAAO,GAAG,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,yBAAyB,CACvC,KAAkB,EAClB,KAAgB,EAChB,QAAgB,EAChB,GAAW;IAEX,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IACvD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AACzF,CAAC"}

package/dist/store/thread-retirement.d.ts

@@ -0,0 +1,29 @@
+import { ThreadRetirementOperation, type Thread, type ThreadExportDigestEntry, type ThreadRetireRequest } from "@claudexor/schema";
+import { type MutationContext, type SqlWriteContext } from "./mutation.js";
+import type { Obligations } from "./obligations.js";
+import type { SqlThreadStore } from "./threads.js";
+/** A definite answer: bound to its operation, so it can never later accept. */
+export interface RetirementRefusal {
+    code: string;
+    message: string;
+    error(): Error;
+}
+export declare function retirementRefusal(code: string, message: string): RetirementRefusal;
+export declare function retirementOutcome(sql: Pick<SqlWriteContext, "prepare">, pid: number, threadId: string, operationId: string): ThreadRetirementOperation | null;
+/** First writer wins, in the transaction of its decision; a replay keeps it. */
+export declare function bindRetirementOutcome(tx: MutationContext, pid: number, threadId: string, operationId: string, refusal: RetirementRefusal | null, outcome?: "accepted" | "abandoned"): ThreadRetirementOperation;
+/** An open purge obligation is open cleanup; its reason names the last failure. */
+export declare function readThreadCleanup(obligations: Pick<Obligations, "get">, threadId: string): {
+    reason: string | null;
+} | null;
+/**
+ * The one conditional acceptance: active, closed or trashed goes straight to
+ * purged, atomically with its cleanup obligation and the operation's bound
+ * outcome, only while the exact closure is finished and still the one the caller
+ * exported. The check runs inside the same transaction as the decision, so any
+ * admission that committed first is seen and any later one finds a purged thread.
+ * Nothing here deletes bytes: the purge owner does, under the obligation this
+ * writes, and deletes only lane entries whose bytes these accepted entries hold.
+ */
+export declare function acceptRetirement(threads: Pick<SqlThreadStore, "store" | "generation" | "getThread" | "prepare" | "applyInTx">, obligations: Pick<Obligations, "create">, id: string, request: ThreadRetireRequest, acceptedLane: readonly ThreadExportDigestEntry[]): Thread;
+//# sourceMappingURL=thread-retirement.d.ts.map

package/dist/store/thread-retirement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"thread-retirement.d.ts","sourceRoot":"","sources":["../../src/store/thread-retirement.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,yBAAyB,EACzB,KAAK,MAAM,EACX,KAAK,uBAAuB,EAC5B,KAAK,mBAAmB,EACzB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,eAAe,EACrB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAGpD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,+EAA+E;AAC/E,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,IAAI,KAAK,CAAC;CAChB;AAWD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,iBAAiB,CAalF;AAED,wBAAgB,iBAAiB,CAC/B,GAAG,EAAE,IAAI,CAAC,eAAe,EAAE,SAAS,CAAC,EACrC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,GAClB,yBAAyB,GAAG,IAAI,CAGlC;AAED,gFAAgF;AAChF,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,eAAe,EACnB,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,iBAAiB,GAAG,IAAI,EACjC,OAAO,GAAE,UAAU,GAAG,WAAyB,GAC9C,yBAAyB,CAmB3B;AAED,mFAAmF;AACnF,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,EACrC,QAAQ,EAAE,MAAM,GACf;IAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GAAG,IAAI,CAIlC;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,OAAO,GAAG,YAAY,GAAG,WAAW,GAAG,SAAS,GAAG,WAAW,CAAC,EAC7F,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,EACxC,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,mBAAmB,EAC5B,YAAY,EAAE,SAAS,uBAAuB,EAAE,GAC/C,MAAM,CAwDR"}

package/dist/store/thread-retirement.js

@@ -0,0 +1,123 @@
+import { hashJson, safeProblemMessage } from "@claudexor/util";
+import { Thread as ThreadSchema, ThreadRetirementOperation, } from "@claudexor/schema";
+import { reduceThreadLifecycle } from "../thread-lifecycle.js";
+import { bindIdempotencyInTx, lookupIdempotency } from "./idempotency.js";
+import { requireTransaction, runMutation, } from "./mutation.js";
+import { readThreadClosure } from "./thread-closure.js";
+const OPERATION = "thread.retire";
+/** The key names the operation alone: abandon and retire share its one outcome. */
+const keyOf = (pid, threadId, operationId) => ({
+    owner: "thread_retire",
+    pid,
+    keyDigest: hashJson({ threadId, operationId }),
+});
+const REQUEST_DIGEST = hashJson({ operation: OPERATION });
+export function retirementRefusal(code, message) {
+    const safe = safeProblemMessage(message);
+    return {
+        code,
+        message: safe,
+        error: () => Object.assign(new Error(safe), {
+            code,
+            status: code === "thread_purged" ? 410 : 409,
+            retryable: false,
+            context: { settled: true },
+        }),
+    };
+}
+export function retirementOutcome(sql, pid, threadId, operationId) {
+    const binding = lookupIdempotency(sql, keyOf(pid, threadId, operationId), REQUEST_DIGEST);
+    return binding ? ThreadRetirementOperation.parse(binding.result) : null;
+}
+/** First writer wins, in the transaction of its decision; a replay keeps it. */
+export function bindRetirementOutcome(tx, pid, threadId, operationId, refusal, outcome = "abandoned") {
+    requireTransaction(tx);
+    const settledAt = tx.now().toISOString();
+    const result = ThreadRetirementOperation.parse({
+        operationId,
+        outcome: refusal ? "refused" : outcome,
+        code: refusal?.code ?? null,
+        message: refusal?.message ?? null,
+        settledAt,
+    });
+    const bound = bindIdempotencyInTx(tx, {
+        ...keyOf(pid, threadId, operationId),
+        operation: OPERATION,
+        requestDigest: REQUEST_DIGEST,
+        targetId: threadId,
+        createdAt: settledAt,
+        result,
+    });
+    return ThreadRetirementOperation.parse(bound.result);
+}
+/** An open purge obligation is open cleanup; its reason names the last failure. */
+export function readThreadCleanup(obligations, threadId) {
+    const row = obligations.get("purge_fs", threadId);
+    if (!row)
+        return null;
+    return { reason: row.payload.lastError ?? null };
+}
+/**
+ * The one conditional acceptance: active, closed or trashed goes straight to
+ * purged, atomically with its cleanup obligation and the operation's bound
+ * outcome, only while the exact closure is finished and still the one the caller
+ * exported. The check runs inside the same transaction as the decision, so any
+ * admission that committed first is seen and any later one finds a purged thread.
+ * Nothing here deletes bytes: the purge owner does, under the obligation this
+ * writes, and deletes only lane entries whose bytes these accepted entries hold.
+ */
+export function acceptRetirement(threads, obligations, id, request, acceptedLane) {
+    const { store, generation } = threads;
+    const thread = threads.getThread(id);
+    if (!thread)
+        throw Object.assign(new Error(`no such thread: ${id}`), { status: 404 });
+    if (thread.state === "purged")
+        throw new Error(`thread ${id} is already purged`);
+    const next = ThreadSchema.parse({
+        ...reduceThreadLifecycle(thread, "retire"),
+        retirement: {
+            operationId: request.operationId,
+            exportId: request.exportId,
+            closureDigest: request.closureDigest,
+            contentDigest: request.contentDigest,
+            laneDigest: request.laneDigest,
+            acceptedAt: store.now().toISOString(),
+        },
+    });
+    const prepared = threads.prepare({ threads: [next] });
+    const refusal = runMutation(store, (tx) => {
+        // First writer wins here too: an operation already refused or abandoned keeps
+        // that outcome, and this request is answered by it without evaluating anything.
+        const bound = retirementOutcome(tx, generation.pid, id, request.operationId);
+        if (bound)
+            return retirementRefusal(bound.outcome === "abandoned"
+                ? "thread_retirement_abandoned"
+                : (bound.code ?? "thread_retirement_conflict"), bound.message ?? `operation ${request.operationId} was already ${bound.outcome}`);
+        const closure = readThreadClosure(store, id);
+        const blocked = closure?.holds[0];
+        const refused = blocked
+            ? retirementRefusal(blocked.code === "closure_not_quiescent" || blocked.code === "closure_awaiting_decision"
+                ? "thread_busy"
+                : "thread_export_incomplete", blocked.message)
+            : closure?.digest !== request.closureDigest
+                ? retirementRefusal("thread_export_stale", "the closure changed since this export")
+                : null;
+        if (refused) {
+            bindRetirementOutcome(tx, generation.pid, id, request.operationId, refused);
+            return refused;
+        }
+        // The shared reducer also ends the retired history's managed attachment holds.
+        threads.applyInTx(tx, prepared);
+        bindRetirementOutcome(tx, generation.pid, id, request.operationId, null, "accepted");
+        obligations.create("purge_fs", id, generation.pid, {
+            thread,
+            retirement: next.retirement,
+            acceptedLane,
+        });
+        return null;
+    });
+    if (refusal)
+        throw refusal.error();
+    return next;
+}
+//# sourceMappingURL=thread-retirement.js.map

package/dist/store/thread-retirement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"thread-retirement.js","sourceRoot":"","sources":["../../src/store/thread-retirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EACL,MAAM,IAAI,YAAY,EACtB,yBAAyB,GAI1B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EACL,kBAAkB,EAClB,WAAW,GAGZ,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAUxD,MAAM,SAAS,GAAG,eAAe,CAAC;AAClC,mFAAmF;AACnF,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,QAAgB,EAAE,WAAmB,EAAE,EAAE,CAAC,CAAC;IACrE,KAAK,EAAE,eAAwB;IAC/B,GAAG;IACH,SAAS,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;CAC/C,CAAC,CAAC;AACH,MAAM,cAAc,GAAG,QAAQ,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;AAE1D,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,OAAe;IAC7D,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO;QACL,IAAI;QACJ,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,GAAG,EAAE,CACV,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE;YAC7B,IAAI;YACJ,MAAM,EAAE,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;YAC5C,SAAS,EAAE,KAAK;YAChB,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;SAC3B,CAAC;KACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,GAAqC,EACrC,GAAW,EACX,QAAgB,EAChB,WAAmB;IAEnB,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,cAAc,CAAC,CAAC;IAC1F,OAAO,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,qBAAqB,CACnC,EAAmB,EACnB,GAAW,EACX,QAAgB,EAChB,WAAmB,EACnB,OAAiC,EACjC,OAAO,GAA6B,WAAW;IAE/C,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACvB,MAAM,SAAS,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,CAAC;QAC7C,WAAW;QACX,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;QACtC,IAAI,EAAE,OAAO,EAAE,IAAI,IAAI,IAAI;QAC3B,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI;QACjC,SAAS;KACV,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,mBAAmB,CAAC,EAAE,EAAE;QACpC,GAAG,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,CAAC;QACpC,SAAS,EAAE,SAAS;QACpB,aAAa,EAAE,cAAc;QAC7B,QAAQ,EAAE,QAAQ;QAClB,SAAS,EAAE,SAAS;QACpB,MAAM;KACP,CAAC,CAAC;IACH,OAAO,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AACvD,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,iBAAiB,CAC/B,WAAqC,EACrC,QAAgB;IAEhB,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAClD,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,OAAO,EAAE,MAAM,EAAG,GAAG,CAAC,OAA6B,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC;AAC1E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAA6F,EAC7F,WAAwC,EACxC,EAAU,EACV,OAA4B,EAC5B,YAAgD;IAEhD,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACtC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM;QAAE,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,mBAAmB,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IACtF,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;QAC9B,GAAG,qBAAqB,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC1C,UAAU,EAAE;YACV,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,UAAU,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;SACtC;KACF,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE;QACxC,8EAA8E;QAC9E,gFAAgF;QAChF,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;QAC7E,IAAI,KAAK;YACP,OAAO,iBAAiB,CACtB,KAAK,CAAC,OAAO,KAAK,WAAW;gBAC3B,CAAC,CAAC,6BAA6B;gBAC/B,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,4BAA4B,CAAC,EAChD,KAAK,CAAC,OAAO,IAAI,aAAa,OAAO,CAAC,WAAW,gBAAgB,KAAK,CAAC,OAAO,EAAE,CACjF,CAAC;QACJ,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,OAAO;YACrB,CAAC,CAAC,iBAAiB,CACf,OAAO,CAAC,IAAI,KAAK,uBAAuB,IAAI,OAAO,CAAC,IAAI,KAAK,2BAA2B;gBACtF,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,0BAA0B,EAC9B,OAAO,CAAC,OAAO,CAChB;YACH,CAAC,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,aAAa;gBACzC,CAAC,CAAC,iBAAiB,CAAC,qBAAqB,EAAE,uCAAuC,CAAC;gBACnF,CAAC,CAAC,IAAI,CAAC;QACX,IAAI,OAAO,EAAE,CAAC;YACZ,qBAAqB,CAAC,EAAE,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAC5E,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,+EAA+E;QAC/E,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAChC,qBAAqB,CAAC,EAAE,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QACrF,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,EAAE,UAAU,CAAC,GAAG,EAAE;YACjD,MAAM;YACN,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,YAAY;SACe,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,IAAI,OAAO;QAAE,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC;IACnC,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/store/threads.d.ts

@@ -55,6 +55,8 @@ export declare class SqlThreadStore {
         sessionId: string;
         profileId: string | null;
     }>;
+    /** Off the request thread, before `createTurn`: write a large prompt body it will own. */
+    stageTurnPrompt(prompt: string): Promise<void>;
     createTurn(threadId: string, prompt: string, input?: CreateTurnInput): ThreadTurn;
     findTurnByIdempotency(threadId: string, input: NonNullable<CreateTurnInput["idempotency"]>): ThreadTurn | undefined;
     /** Bind a started run to its turn and advance the thread head (runner-owned). */

package/dist/store/threads.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"threads.d.ts","sourceRoot":"","sources":["../../src/store/threads.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,EACpB,cAAc,EACd,OAAO,EACP,MAAM,EACN,UAAU,EACV,kBAAkB,EACnB,MAAM,mBAAmB,CAAC;AAuB3B,OAAO,EAIL,KAAK,cAAc,EAGpB,MAAM,4BAA4B,CAAC;AAGpC,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAC3F,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAI5C,OAAO,EAAe,KAAK,eAAe,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAE3D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,OAAO,EAOL,KAAK,sBAAsB,EAC5B,MAAM,kBAAkB,CAAC;AAE1B,iFAAiF;AACjF,qBAAa,cAAc;IAEvB,QAAQ,CAAC,KAAK,EAAE,WAAW;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS;IACzB,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,mBAAmB,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;IACxE,QAAQ,CAAC,WAAW,EAAE,WAAW;IAJnC,YACW,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,SAAS,EAChB,UAAU,EAAE,IAAI,CAAC,mBAAmB,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC,EAC/D,WAAW,EAAE,WAAW,EAC/B;IAEJ,OAAO,CAAC,UAAU;IAMlB,OAAO,CAAC,WAAW;IAMnB,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,QAAQ,EAAE,cAAc,GAAG,sBAAsB,CAGxD;IAED,oFAAoF;IACpF,SAAS,CAAC,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,sBAAsB,GAAG,IAAI,CAarE;IAED,OAAO,CAAC,MAAM;IASd,YAAY,CAAC,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAoBxD;IAED,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAG/B;IACD,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAQjC;IACD,YAAY,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAQ7C;IAED,gFAAgF;IAChF,kBAAkB,CAChB,KAAK,EAAE,iBAAiB,CAAC,aAAa,CAAC,EACvC,gBAAgB,UAAQ,GACvB,MAAM,GAAG,SAAS,CAGpB;IAED,mDAAmD;IACnD,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAYzD;IAED,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAE9B;IAED,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAEhC;IAED,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAY9B;IAED,OAAO,CAAC,eAAe;IAQvB,2EAA2E;IAC3E,iBAAiB,CACf,EAAE,EAAE,MAAM,EACV,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,EACf,qBAAqB,CAAC,EAAE,MAAM,GAC7B,IAAI,CAYN;IAED,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,MAAM,EAAE,CAQrC;IACD,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAIxC;IACD,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,EAAE,CAMvC;IACD,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAI1C;IAED;;;;;OAKG;IACH,cAAc,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,GAAG;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CA2B/F;IAED,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,EAAE,CAM7C;IAED,2FAA2F;IAC3F,SAAS,CACP,QAAQ,EAAE,MAAM,EAChB,SAAS,GAAE,MAAM,GAAG,IAAW,GAC9B,MAAM,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAEjE;IAED,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,GAAE,eAAoB,GAAG,UAAU,CAoDpF;IAED,qBAAqB,CACnB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,WAAW,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,GACjD,UAAU,GAAG,SAAS,CAYxB;IAED,iFAAiF;IACjF,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAmB/C;IAED;;;;;;;OAOG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,GAAG,IAAI,CAgBrE;IAED,oFAAoF;IACpF,aAAa,CACX,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,eAAe,EAAE,MAAM,EACvB,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,EAC7B,SAAS,GAAE,MAAM,GAAG,IAAW,GAC9B,IAAI,CAoBN;IAED;;sEAEkE;IAClE,oBAAoB,CAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,MAAM,EAAE,MAAM,GACb,IAAI,CAEN;IAED,sEAAsE;IACtE,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,CAO3F;IAED,iFAAiF;IACjF,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,EAAE,CAQ3D;IAED,yEAAyE;IACzE,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,oBAAoB,GAAG,IAAI,CAIxE;IAED,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAWpC;IAED;kEAC8D;IAC9D,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAMxD;IAED,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAE/F;IAED,4BAA4B,CAC1B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAS3C;IAED,yBAAyB,CACvB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAS3C;IAED,OAAO,CAAC,uBAAuB;IAW/B,2BAA2B,CACzB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,GAChB;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,mBAAmB,EAAE,MAAM,CAAA;KAAE,CAYzD;CACF"}
+{"version":3,"file":"threads.d.ts","sourceRoot":"","sources":["../../src/store/threads.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,EACpB,cAAc,EACd,OAAO,EACP,MAAM,EACN,UAAU,EACV,kBAAkB,EACnB,MAAM,mBAAmB,CAAC;AAuB3B,OAAO,EAIL,KAAK,cAAc,EAGpB,MAAM,4BAA4B,CAAC;AAIpC,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAC3F,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAI5C,OAAO,EAAe,KAAK,eAAe,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAE3D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,OAAO,EAOL,KAAK,sBAAsB,EAC5B,MAAM,kBAAkB,CAAC;AAE1B,iFAAiF;AACjF,qBAAa,cAAc;IAEvB,QAAQ,CAAC,KAAK,EAAE,WAAW;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS;IACzB,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,mBAAmB,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;IACxE,QAAQ,CAAC,WAAW,EAAE,WAAW;IAJnC,YACW,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,SAAS,EAChB,UAAU,EAAE,IAAI,CAAC,mBAAmB,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC,EAC/D,WAAW,EAAE,WAAW,EAC/B;IAEJ,OAAO,CAAC,UAAU;IAMlB,OAAO,CAAC,WAAW;IAMnB,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,QAAQ,EAAE,cAAc,GAAG,sBAAsB,CAGxD;IAED,oFAAoF;IACpF,SAAS,CAAC,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,sBAAsB,GAAG,IAAI,CAcrE;IAED,OAAO,CAAC,MAAM;IASd,YAAY,CAAC,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAoBxD;IAED,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAG/B;IACD,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAQjC;IACD,YAAY,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAQ7C;IAED,gFAAgF;IAChF,kBAAkB,CAChB,KAAK,EAAE,iBAAiB,CAAC,aAAa,CAAC,EACvC,gBAAgB,UAAQ,GACvB,MAAM,GAAG,SAAS,CAGpB;IAED,mDAAmD;IACnD,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAYzD;IAED,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAE9B;IAED,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAEhC;IAED,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAe9B;IAED,OAAO,CAAC,eAAe;IAQvB,2EAA2E;IAC3E,iBAAiB,CACf,EAAE,EAAE,MAAM,EACV,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,EACf,qBAAqB,CAAC,EAAE,MAAM,GAC7B,IAAI,CAYN;IAED,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,MAAM,EAAE,CAQrC;IACD,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAIxC;IACD,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,EAAE,CAMvC;IACD,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAI1C;IAED;;;;;OAKG;IACH,cAAc,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,GAAG;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CA2B/F;IAED,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,EAAE,CAM7C;IAED,2FAA2F;IAC3F,SAAS,CACP,QAAQ,EAAE,MAAM,EAChB,SAAS,GAAE,MAAM,GAAG,IAAW,GAC9B,MAAM,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAEjE;IAED,0FAA0F;IACpF,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAEnD;IAED,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,GAAE,eAAoB,GAAG,UAAU,CAoDpF;IAED,qBAAqB,CACnB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,WAAW,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,GACjD,UAAU,GAAG,SAAS,CAYxB;IAED,iFAAiF;IACjF,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAmB/C;IAED;;;;;;;OAOG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,GAAG,IAAI,CAgBrE;IAED,oFAAoF;IACpF,aAAa,CACX,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,eAAe,EAAE,MAAM,EACvB,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,EAC7B,SAAS,GAAE,MAAM,GAAG,IAAW,GAC9B,IAAI,CAoBN;IAED;;sEAEkE;IAClE,oBAAoB,CAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,MAAM,EAAE,MAAM,GACb,IAAI,CAEN;IAED,sEAAsE;IACtE,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,CAO3F;IAED,iFAAiF;IACjF,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,EAAE,CAQ3D;IAED,yEAAyE;IACzE,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,oBAAoB,GAAG,IAAI,CAIxE;IAED,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAWpC;IAED;kEAC8D;IAC9D,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAMxD;IAED,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAE/F;IAED,4BAA4B,CAC1B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAS3C;IAED,yBAAyB,CACvB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAS3C;IAED,OAAO,CAAC,uBAAuB;IAW/B,2BAA2B,CACzB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,GAChB;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,mBAAmB,EAAE,MAAM,CAAA;KAAE,CAYzD;CACF"}

package/dist/store/threads.js

@@ -5,6 +5,7 @@ import { reduceThreadLifecycle } from "../thread-lifecycle.js";
 import { deriveThreadTitle } from "../thread-title.js";
 import { threadCreationIdempotency, turnRunConflict, turnIdempotency, buildNewThread, mergeThreadPatch, } from "../thread-store-support.js";
 import { threadWorktreeMutation } from "../thread-worktree-state.js";
+import { syncThreadResourceUsesInTx } from "./resource-uses.js";
 import { appendPreparedEventInTx, prepareEvent } from "./event-store.js";
 import { globalGeneration, isServedPid, requireServedGeneration } from "./generations.js";
 import { lookupIdempotency } from "./idempotency.js";
@@ -61,6 +62,7 @@ export class SqlThreadStore {
         ]);
         for (const id of touched)
             this.pingHeadInTx(tx, id);
+        syncThreadResourceUsesInTx(tx, prepared.mutation, this);
     }
     commit(mutation, purge) {
         const prepared = this.prepare(mutation);
@@ -142,7 +144,10 @@ export class SqlThreadStore {
         // An imported purged conversation may still have filesystem leftovers.
         // Repeating purge preserves its revision and accepted creation bindings.
         if (!this.store.prepare("SELECT 1 FROM effect_obligation WHERE kind='purge_fs' AND key=?").get(id)) {
-            runMutation(this.store, () => this.obligations.create("purge_fs", id, this.generation.pid, { thread }));
+            // A retired thread's accepted inventory cleared with its cleanup, so nothing
+            // that reappeared since was exported: this cleanup holds every such byte.
+            const held = thread.retirement ? { retirement: thread.retirement, acceptedLane: [] } : {};
+            runMutation(this.store, () => this.obligations.create("purge_fs", id, this.generation.pid, { thread, ...held }));
         }
         return thread;
     }
@@ -231,6 +236,10 @@ export class SqlThreadStore {
     resumeMap(threadId, profileId = null) {
         return resumeMapFrom(this.sessionsForThread(threadId), threadId, profileId);
     }
+    /** Off the request thread, before `createTurn`: write a large prompt body it will own. */
+    async stageTurnPrompt(prompt) {
+        await this.blobs.stageBody(Buffer.from(prompt));
+    }
     createTurn(threadId, prompt, input = {}) {
         const idempotency = turnIdempotency(this.generation.name, threadId, input.idempotency);
         if (idempotency) {