@plurnk/plurnk-service 1.3.12 → 1.5.0

package/dist/core/LogBody.js

@@ -0,0 +1,180 @@
+import { assertEditReceipt, assertResourceEffects, } from "../content/index.js";
+import TerminalResult from "./TerminalResult.js";
+const EMPTY_BODY = Object.freeze({
+    content: "",
+    mimetype: "text/plain",
+    startLine: 1,
+});
+// The durable log row has one canonical body regardless of how it is consumed.
+// Packet rendering projects this body, while READ(log://), FIND(log://), and
+// search derivation consume it complete. Storage envelopes and tx/rx placement
+// are persistence details and must not change what the row means.
+export default class LogBody {
+    static #decode(value, mimetype) {
+        if (typeof value !== "string" || mimetype !== "application/json")
+            return value;
+        try {
+            return JSON.parse(value);
+        }
+        catch {
+            return value;
+        }
+    }
+    static #contentBody(value, fallbackMimetype) {
+        if (value === null || typeof value !== "object")
+            return null;
+        const body = value;
+        if (typeof body.content !== "string")
+            return null;
+        return {
+            content: body.content,
+            mimetype: typeof body.mimetype === "string" ? body.mimetype : (fallbackMimetype ?? "text/plain"),
+            startLine: body.startLine === null ? null : (typeof body.startLine === "number" ? body.startLine : 1),
+        };
+    }
+    static #receiptBody(receipts) {
+        // {§edit-result-receipt-projection} — the canonical row body is the
+        // bounded landed context, not the authored mutation text.
+        if (receipts.length === 0)
+            return EMPTY_BODY;
+        return {
+            content: receipts
+                .map((receipt) => "effect" in receipt
+                ? receipt.effect.context
+                : receipt.replacement?.context ?? "")
+                .filter((context) => context.length > 0)
+                .join("\n\n"),
+            mimetype: "text/plain",
+            startLine: null,
+        };
+    }
+    static resolve(row) {
+        const attrs = typeof row.attrs === "string"
+            ? LogBody.#decode(row.attrs, "application/json")
+            : row.attrs;
+        const tx = LogBody.#decode(row.tx, row.mimetypeTx);
+        const rx = LogBody.#decode(row.rx, row.mimetypeRx);
+        const contentBody = LogBody.#contentBody(rx, row.mimetypeRx);
+        if (row.op === null) {
+            if (attrs === null || typeof attrs !== "object" || attrs.kind !== "model_emission") {
+                throw new TypeError("An actionless log body must carry attrs.kind=model_emission.");
+            }
+            return contentBody ?? EMPTY_BODY;
+        }
+        if (row.op === "READ" || row.op === "FIND" || row.op === "prompt") {
+            return contentBody ?? EMPTY_BODY;
+        }
+        if (row.op === "EDIT") {
+            if (rx !== null && typeof rx === "object") {
+                const result = rx;
+                if (Object.hasOwn(result, "receipt")) {
+                    return LogBody.#receiptBody([
+                        assertEditReceipt(result.receipt),
+                    ]);
+                }
+                if (typeof result.span === "string") {
+                    return {
+                        content: result.span,
+                        mimetype: "text/plain",
+                        startLine: null,
+                    };
+                }
+            }
+            return EMPTY_BODY;
+        }
+        if (row.op === "COPY" || row.op === "MOVE") {
+            if (rx !== null && typeof rx === "object") {
+                const result = rx;
+                if (Object.hasOwn(result, "effects")) {
+                    const receipts = assertResourceEffects(result.effects)
+                        .flatMap(({ receipt }) => receipt === undefined ? [] : [receipt]);
+                    return LogBody.#receiptBody(receipts);
+                }
+            }
+            return EMPTY_BODY;
+        }
+        if (row.op === "EXEC" && tx !== null && typeof tx === "object") {
+            const body = tx.body;
+            if (typeof body === "string") {
+                return {
+                    content: body,
+                    mimetype: "text/plain",
+                    startLine: 1,
+                };
+            }
+        }
+        if (row.op === "SEND"
+            && attrs !== null
+            && typeof attrs === "object"
+            && !Array.isArray(attrs)
+            && attrs.kind === "loop_termination") {
+            const context = attrs;
+            if (context.terminatedBy !== undefined && context.terminatedBy !== "cancel") {
+                throw new TypeError("A loop-termination log body carries malformed terminal authorship.");
+            }
+            if (context.receipt !== undefined && typeof context.receipt !== "string") {
+                throw new TypeError("A loop-termination log body carries a malformed branch receipt.");
+            }
+            const exact = TerminalResult.assert(rx, "loop-termination log body");
+            const presentation = TerminalResult.present(exact, {
+                terminatedBy: context.terminatedBy,
+                receipt: context.receipt,
+                fallback: `[ worker concluded with no deliverable (status ${exact.status}) ]`,
+            });
+            if (presentation === null)
+                return EMPTY_BODY;
+            return { ...presentation, startLine: 1 };
+        }
+        if (row.op === "PLAN" || row.op === "SEND" || row.op === "WORK" || row.op === "FORK") {
+            if (tx !== null && typeof tx === "object") {
+                const body = tx.body;
+                const content = typeof body === "string"
+                    ? body
+                    : body !== null && typeof body === "object" && typeof body.raw === "string"
+                        ? body.raw
+                        : "";
+                if (content.length > 0) {
+                    return {
+                        content,
+                        mimetype: "text/plain",
+                        startLine: 1,
+                    };
+                }
+            }
+            if (row.op === "SEND" && typeof rx === "string" && rx.length > 0) {
+                return {
+                    content: rx,
+                    mimetype: row.mimetypeRx ?? "text/plain",
+                    startLine: 1,
+                };
+            }
+        }
+        if (row.op === "error" && rx !== null && typeof rx === "object") {
+            const message = rx.message;
+            if (typeof message === "string" && message.length > 0) {
+                return {
+                    content: message,
+                    mimetype: "text/plain",
+                    startLine: 1,
+                };
+            }
+        }
+        // Extension rows use the same durable result/statement envelopes as
+        // built-in operations. Keep the fallback structural so a new producer
+        // cannot require a packet-renderer branch merely to expose its body.
+        if (contentBody !== null)
+            return contentBody;
+        if (tx !== null && typeof tx === "object") {
+            const body = tx.body;
+            if (typeof body === "string" && body.length > 0) {
+                return {
+                    content: body,
+                    mimetype: row.mimetypeTx ?? "text/plain",
+                    startLine: 1,
+                };
+            }
+        }
+        return EMPTY_BODY;
+    }
+}
+//# sourceMappingURL=LogBody.js.map

package/dist/core/LogBody.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LogBody.js","sourceRoot":"","sources":["../../src/core/LogBody.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,iBAAiB,EACjB,qBAAqB,GAExB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,cAAc,MAAM,qBAAqB,CAAC;AAiBjD,MAAM,UAAU,GAAoB,MAAM,CAAC,MAAM,CAAC;IAC9C,OAAO,EAAE,EAAE;IACX,QAAQ,EAAE,YAAY;IACtB,SAAS,EAAE,CAAC;CACf,CAAC,CAAC;AAEH,+EAA+E;AAC/E,6EAA6E;AAC7E,+EAA+E;AAC/E,kEAAkE;AAClE,MAAM,CAAC,OAAO,OAAO,OAAO;IACxB,MAAM,CAAC,OAAO,CAAC,KAAc,EAAE,QAA4B;QACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,KAAK,kBAAkB;YAAE,OAAO,KAAK,CAAC;QAC/E,IAAI,CAAC;YACD,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAY,CAAC;QACxC,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,KAAc,EAAE,gBAAoC;QACpE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC7D,MAAM,IAAI,GAAG,KAAuE,CAAC;QACrF,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAClD,OAAO;YACH,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ,EAAE,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,gBAAgB,IAAI,YAAY,CAAC;YAChG,SAAS,EAAE,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;SACxG,CAAC;IACN,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,QAAgC;QAChD,oEAAoE;QACpE,0DAA0D;QAC1D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;QAC7C,OAAO;YACH,OAAO,EAAE,QAAQ;iBACZ,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,IAAI,OAAO;gBACjC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO;gBACxB,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE,CAAC;iBACxC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;iBACvC,IAAI,CAAC,MAAM,CAAC;YACjB,QAAQ,EAAE,YAAY;YACtB,SAAS,EAAE,IAAI;SAClB,CAAC;IACN,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,GAAe;QAC1B,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ;YACvC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,kBAAkB,CAAC;YAChD,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;QAChB,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAE7D,IAAI,GAAG,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAK,KAA4B,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACzG,MAAM,IAAI,SAAS,CAAC,8DAA8D,CAAC,CAAC;YACxF,CAAC;YACD,OAAO,WAAW,IAAI,UAAU,CAAC;QACrC,CAAC;QAED,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,IAAI,GAAG,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YAChE,OAAO,WAAW,IAAI,UAAU,CAAC;QACrC,CAAC;QAED,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACpB,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACxC,MAAM,MAAM,GAAG,EAA6B,CAAC;gBAC7C,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;oBACnC,OAAO,OAAO,CAAC,YAAY,CAAC;wBACxB,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC;qBACpC,CAAC,CAAC;gBACP,CAAC;gBACD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAClC,OAAO;wBACH,OAAO,EAAE,MAAM,CAAC,IAAI;wBACpB,QAAQ,EAAE,YAAY;wBACtB,SAAS,EAAE,IAAI;qBAClB,CAAC;gBACN,CAAC;YACL,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;QAED,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACzC,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACxC,MAAM,MAAM,GAAG,EAA6B,CAAC;gBAC7C,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;oBACnC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,OAAO,CAAC;yBACjD,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;oBACtE,OAAO,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;gBAC1C,CAAC;YACL,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;QAED,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAI,EAAyB,CAAC,IAAI,CAAC;YAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC3B,OAAO;oBACH,OAAO,EAAE,IAAI;oBACb,QAAQ,EAAE,YAAY;oBACtB,SAAS,EAAE,CAAC;iBACf,CAAC;YACN,CAAC;QACL,CAAC;QAED,IACI,GAAG,CAAC,EAAE,KAAK,MAAM;eACd,KAAK,KAAK,IAAI;eACd,OAAO,KAAK,KAAK,QAAQ;eACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;eACpB,KAA4B,CAAC,IAAI,KAAK,kBAAkB,EAC9D,CAAC;YACC,MAAM,OAAO,GAAG,KAAsD,CAAC;YACvE,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;gBAC1E,MAAM,IAAI,SAAS,CAAC,oEAAoE,CAAC,CAAC;YAC9F,CAAC;YACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACvE,MAAM,IAAI,SAAS,CAAC,iEAAiE,CAAC,CAAC;YAC3F,CAAC;YACD,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE,2BAA2B,CAAC,CAAC;YACrE,MAAM,YAAY,GAAG,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE;gBAC/C,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,QAAQ,EAAE,kDAAkD,KAAK,CAAC,MAAM,KAAK;aAChF,CAAC,CAAC;YACH,IAAI,YAAY,KAAK,IAAI;gBAAE,OAAO,UAAU,CAAC;YAC7C,OAAO,EAAE,GAAG,YAAY,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QAC7C,CAAC;QAED,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACnF,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACxC,MAAM,IAAI,GAAI,EAAyB,CAAC,IAAI,CAAC;gBAC7C,MAAM,OAAO,GAAG,OAAO,IAAI,KAAK,QAAQ;oBACpC,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAQ,IAA0B,CAAC,GAAG,KAAK,QAAQ;wBAC9F,CAAC,CAAE,IAAwB,CAAC,GAAG;wBAC/B,CAAC,CAAC,EAAE,CAAC;gBACb,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACrB,OAAO;wBACH,OAAO;wBACP,QAAQ,EAAE,YAAY;wBACtB,SAAS,EAAE,CAAC;qBACf,CAAC;gBACN,CAAC;YACL,CAAC;YACD,IAAI,GAAG,CAAC,EAAE,KAAK,MAAM,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC/D,OAAO;oBACH,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,GAAG,CAAC,UAAU,IAAI,YAAY;oBACxC,SAAS,EAAE,CAAC;iBACf,CAAC;YACN,CAAC;QACL,CAAC;QAED,IAAI,GAAG,CAAC,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YAC9D,MAAM,OAAO,GAAI,EAA4B,CAAC,OAAO,CAAC;YACtD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpD,OAAO;oBACH,OAAO,EAAE,OAAO;oBAChB,QAAQ,EAAE,YAAY;oBACtB,SAAS,EAAE,CAAC;iBACf,CAAC;YACN,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,sEAAsE;QACtE,qEAAqE;QACrE,IAAI,WAAW,KAAK,IAAI;YAAE,OAAO,WAAW,CAAC;QAC7C,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YACxC,MAAM,IAAI,GAAI,EAAyB,CAAC,IAAI,CAAC;YAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9C,OAAO;oBACH,OAAO,EAAE,IAAI;oBACb,QAAQ,EAAE,GAAG,CAAC,UAAU,IAAI,YAAY;oBACxC,SAAS,EAAE,CAAC;iBACf,CAAC;YACN,CAAC;QACL,CAAC;QAED,OAAO,UAAU,CAAC;IACtB,CAAC;CACJ"}

package/dist/core/LoopFlagsReader.d.ts

@@ -0,0 +1,7 @@
+import { type LoopFlags } from "@plurnk/plurnk-contracts";
+import type { Db } from "./Db.ts";
+export default class LoopFlagsReader {
+    static parse(raw: string, loopId: number): LoopFlags;
+    static read(db: Db, loopId: number): Promise<LoopFlags>;
+}
+//# sourceMappingURL=LoopFlagsReader.d.ts.map

package/dist/core/LoopFlagsReader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LoopFlagsReader.d.ts","sourceRoot":"","sources":["../../src/core/LoopFlagsReader.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,SAAS,EACjB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAIlC,MAAM,CAAC,OAAO,OAAO,eAAe;IAChC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAmBnD;IAED,OAAa,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAM5D;CACJ"}

package/dist/core/LoopFlagsReader.js

@@ -0,0 +1,33 @@
+import { DEFAULT_LOOP_FLAGS, Validator, } from "@plurnk/plurnk-contracts";
+// {§loop-flags-effective-read} — persistence may contain a partial object, but
+// runtime policy is always the complete contracts-owned shape.
+export default class LoopFlagsReader {
+    static parse(raw, loopId) {
+        let partial;
+        try {
+            partial = JSON.parse(raw);
+        }
+        catch (cause) {
+            throw new Error(`Loop ${loopId} has invalid persisted flags JSON.`, { cause });
+        }
+        if (partial === null || typeof partial !== "object" || Array.isArray(partial)) {
+            throw new Error(`Loop ${loopId} has invalid persisted flags.`, {
+                cause: new TypeError("Persisted loop flags must be a JSON object."),
+            });
+        }
+        try {
+            return Validator.assertLoopFlags({ ...DEFAULT_LOOP_FLAGS, ...partial });
+        }
+        catch (cause) {
+            throw new Error(`Loop ${loopId} has invalid persisted flags.`, { cause });
+        }
+    }
+    static async read(db, loopId) {
+        const row = await db.engine_get_loop_flags.get({ loop_id: loopId });
+        if (row === undefined) {
+            throw new Error(`Loop ${loopId} does not exist while reading its persisted flags.`);
+        }
+        return LoopFlagsReader.parse(row.flags, loopId);
+    }
+}
+//# sourceMappingURL=LoopFlagsReader.js.map

package/dist/core/LoopFlagsReader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LoopFlagsReader.js","sourceRoot":"","sources":["../../src/core/LoopFlagsReader.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,kBAAkB,EAClB,SAAS,GAEZ,MAAM,0BAA0B,CAAC;AAGlC,+EAA+E;AAC/E,+DAA+D;AAC/D,MAAM,CAAC,OAAO,OAAO,eAAe;IAChC,MAAM,CAAC,KAAK,CAAC,GAAW,EAAE,MAAc;QACpC,IAAI,OAAgB,CAAC;QACrB,IAAI,CAAC;YACD,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,oCAAoC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACnF,CAAC;QAED,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,+BAA+B,EAAE;gBAC3D,KAAK,EAAE,IAAI,SAAS,CAAC,6CAA6C,CAAC;aACtE,CAAC,CAAC;QACP,CAAC;QAED,IAAI,CAAC;YACD,OAAO,SAAS,CAAC,eAAe,CAAC,EAAE,GAAG,kBAAkB,EAAE,GAAG,OAAO,EAAe,CAAC,CAAC;QACzF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,+BAA+B,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9E,CAAC;IACL,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAM,EAAE,MAAc;QACpC,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAoB,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QACvF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,oDAAoD,CAAC,CAAC;QACxF,CAAC;QACD,OAAO,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACpD,CAAC;CACJ"}

package/dist/core/LoopLifecycle.d.ts

@@ -1,7 +1,9 @@
 import type { Db } from "./Db.ts";
+import { type SchemeResult } from "./results.ts";
 export interface CancelledLoop {
     loopId: number;
     workerId: number;
+    result: SchemeResult;
 }
 export interface CancelledTree {
     workerIds: number[];
@@ -10,10 +12,14 @@ export interface CancelledTree {
 export default class LoopLifecycle {
     #private;
     constructor(db: Db);
-    park(loopId: number, message: string): Promise<boolean>;
+    static projectStatus(status: number): number;
+    park(loopId: number): Promise<boolean>;
     wake(loopId: number): Promise<boolean>;
-    finish(loopId: number, status: 200 | 413 | 429 | 499 | 500 | 504 | 508, message: string | null, terminatedBy?: "cancel" | null): Promise<boolean>;
+    finish(loopId: number, result: SchemeResult, options?: {
+        terminatedBy?: "cancel" | null;
+    }): Promise<SchemeResult | null>;
     status(loopId: number): Promise<number>;
+    result(loopId: number): Promise<SchemeResult | null>;
     turnIds(loopId: number): Promise<number[]>;
     cancelTree(workerId: number, reason: string, includeRoot: boolean): Promise<CancelledTree>;
 }

package/dist/core/LoopLifecycle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"LoopLifecycle.d.ts","sourceRoot":"","sources":["../../src/core/LoopLifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAElC,MAAM,WAAW,aAAa;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,aAAa;IAC1B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,EAAE,aAAa,EAAE,CAAC;CAC1B;AAED,MAAM,CAAC,OAAO,OAAO,aAAa;;IAG9B,YAAY,EAAE,EAAE,EAAE,EAEjB;IAEK,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAK5D;IAEK,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAI3C;IAEK,MAAM,CACR,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,EAC/C,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,YAAY,GAAE,QAAQ,GAAG,IAAW,GACrC,OAAO,CAAC,OAAO,CAAC,CAOlB;IAEK,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAM5C;IAEK,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAK/C;IAEK,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,CAkB/F;CACJ"}
+{"version":3,"file":"LoopLifecycle.d.ts","sourceRoot":"","sources":["../../src/core/LoopLifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAgB,EAAE,KAAK,YAAY,EAAE,MAAM,cAAc,CAAC;AAG1D,MAAM,WAAW,aAAa;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,YAAY,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC1B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,EAAE,aAAa,EAAE,CAAC;CAC1B;AAED,MAAM,CAAC,OAAO,OAAO,aAAa;;IAG9B,YAAY,EAAE,EAAE,EAAE,EAEjB;IAMD,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAQ3C;IAEK,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAI3C;IAEK,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAI3C;IAEK,MAAM,CACR,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,YAAY,EACpB,OAAO,GAAE;QAAE,YAAY,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;KAAO,GACjD,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAa9B;IAEK,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAM5C;IAEK,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAQzD;IAEK,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAK/C;IAEK,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,CAmC/F;CACJ"}

package/dist/core/LoopLifecycle.js

@@ -1,12 +1,29 @@
+import Results from "./results.js";
+import ErrorDetail from "./ErrorDetail.js";
 export default class LoopLifecycle {
     #db;
     constructor(db) {
         this.#db = db;
     }
-    async park(loopId, message) {
+    // `loops.status` is the compact scheduler state inherited by the schema;
+    // terminal_result is the lossless product result. Preserve the established
+    // terminal classes relationally while retaining an exact uncommon status
+    // (for example a provider 502) in terminal_result.
+    static projectStatus(status) {
+        if (status === 202) {
+            throw new TypeError("loop terminal result cannot be 202; 202 is the parked lifecycle state");
+        }
+        if ([200, 413, 429, 499, 500, 504, 508].includes(status))
+            return status;
+        if (status >= 200 && status <= 399)
+            return 200;
+        if (status >= 400 && status <= 599)
+            return 500;
+        throw new TypeError(`loop terminal result must have status 200 through 599; got ${status}`);
+    }
+    async park(loopId) {
         return (await this.#db.lifecycle_park_loop.get({
             loop_id: loopId,
-            message,
         })) !== undefined;
     }
     async wake(loopId) {
@@ -14,13 +31,20 @@ export default class LoopLifecycle {
             loop_id: loopId,
         })) !== undefined;
     }
-    async finish(loopId, status, message, terminatedBy = null) {
-        return (await this.#db.lifecycle_finish_loop.get({
+    async finish(loopId, result, options = {}) {
+        const exact = structuredClone(Results.assert(result));
+        if (exact.problem !== undefined && exact.problem.instance === undefined) {
+            Results.attachInstance(exact, `loop:///${loopId}`);
+        }
+        const row = await this.#db.lifecycle_finish_loop.get({
             loop_id: loopId,
-            status,
-            message,
-            terminated_by: terminatedBy,
-        })) !== undefined;
+            status: LoopLifecycle.projectStatus(exact.status),
+            result: JSON.stringify(exact),
+            terminated_by: options.terminatedBy ?? null,
+        });
+        if (row === undefined)
+            return null;
+        return Results.assert(JSON.parse(row.terminal_result));
     }
     async status(loopId) {
         const row = await this.#db.lifecycle_loop_status.get({
@@ -30,6 +54,16 @@ export default class LoopLifecycle {
             throw new Error(`loop ${loopId} does not exist`);
         return row.status;
     }
+    async result(loopId) {
+        const row = await this.#db.lifecycle_loop_status.get({
+            loop_id: loopId,
+        });
+        if (row === undefined)
+            throw new Error(`loop ${loopId} does not exist`);
+        return row.terminal_result === null
+            ? null
+            : Results.assert(JSON.parse(row.terminal_result));
+    }
     async turnIds(loopId) {
         const rows = await this.#db.lifecycle_loop_turns.all({
             loop_id: loopId,
@@ -37,19 +71,28 @@ export default class LoopLifecycle {
         return rows.map(({ id }) => id);
     }
     async cancelTree(workerId, reason, includeRoot) {
+        const boundedReason = ErrorDetail.preview(reason) || "no reason was supplied";
         const params = {
             worker_id: workerId,
             include_root: includeRoot ? 1 : 0,
-            message: reason.slice(0, 500),
         };
         const workers = await this.#db.lifecycle_worker_tree.all({
             worker_id: params.worker_id,
             include_root: params.include_root,
         });
-        const loops = await this.#db.lifecycle_cancel_worker_tree.all(params);
+        const cancellation = Results.failure("lifecycle:cancel", "scope-cancelled", 499, `The worker scope was cancelled: ${boundedReason}.`, {}, {
+            reason: boundedReason,
+            stage: "loop",
+            retryable: false,
+        });
+        const loops = await this.#db.lifecycle_cancel_worker_tree.all({ ...params, result: JSON.stringify(cancellation) });
         return {
             workerIds: workers.map(({ worker_id }) => worker_id),
-            loops: loops.map(({ loop_id, worker_id }) => ({ loopId: loop_id, workerId: worker_id })),
+            loops: loops.map(({ loop_id, worker_id, terminal_result }) => ({
+                loopId: loop_id,
+                workerId: worker_id,
+                result: Results.assert(JSON.parse(terminal_result)),
+            })),
         };
     }
 }

package/dist/core/LoopLifecycle.js.map

@@ -1 +1 @@
-{"version":3,"file":"LoopLifecycle.js","sourceRoot":"","sources":["../../src/core/LoopLifecycle.ts"],"names":[],"mappings":"AAYA,MAAM,CAAC,OAAO,OAAO,aAAa;IAC9B,GAAG,CAAK;IAER,YAAY,EAAM;QACd,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,MAAc,EAAE,OAAe;QACtC,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAiB;YAC3D,OAAO,EAAE,MAAM;YACf,OAAO;SACV,CAAC,CAAC,KAAK,SAAS,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,MAAc;QACrB,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAiB;YAC3D,OAAO,EAAE,MAAM;SAClB,CAAC,CAAC,KAAK,SAAS,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,MAAM,CACR,MAAc,EACd,MAA+C,EAC/C,OAAsB,EACtB,YAAY,GAAoB,IAAI;QAEpC,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAiB;YAC7D,OAAO,EAAE,MAAM;YACf,MAAM;YACN,OAAO;YACP,aAAa,EAAE,YAAY;SAC9B,CAAC,CAAC,KAAK,SAAS,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,MAAc;QACvB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAqB;YACrE,OAAO,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,iBAAiB,CAAC,CAAC;QACxE,OAAO,GAAG,CAAC,MAAM,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,MAAc;QACxB,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAiB;YACjE,OAAO,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,QAAgB,EAAE,MAAc,EAAE,WAAoB;QACnE,MAAM,MAAM,GAAG;YACX,SAAS,EAAE,QAAQ;YACnB,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;SAChC,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAwB;YAC5E,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,YAAY,EAAE,MAAM,CAAC,YAAY;SACpC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,4BAA4B,CAAC,GAAG,CAG1D,MAAM,CAAC,CAAC;QACX,OAAO;YACH,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC;YACpD,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;SAC3F,CAAC;IACN,CAAC;CACJ"}
+{"version":3,"file":"LoopLifecycle.js","sourceRoot":"","sources":["../../src/core/LoopLifecycle.ts"],"names":[],"mappings":"AACA,OAAO,OAA8B,MAAM,cAAc,CAAC;AAC1D,OAAO,WAAW,MAAM,kBAAkB,CAAC;AAa3C,MAAM,CAAC,OAAO,OAAO,aAAa;IAC9B,GAAG,CAAK;IAER,YAAY,EAAM;QACd,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,yEAAyE;IACzE,2EAA2E;IAC3E,yEAAyE;IACzE,mDAAmD;IACnD,MAAM,CAAC,aAAa,CAAC,MAAc;QAC/B,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,IAAI,SAAS,CAAC,uEAAuE,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC;QACxE,IAAI,MAAM,IAAI,GAAG,IAAI,MAAM,IAAI,GAAG;YAAE,OAAO,GAAG,CAAC;QAC/C,IAAI,MAAM,IAAI,GAAG,IAAI,MAAM,IAAI,GAAG;YAAE,OAAO,GAAG,CAAC;QAC/C,MAAM,IAAI,SAAS,CAAC,8DAA8D,MAAM,EAAE,CAAC,CAAC;IAChG,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,MAAc;QACrB,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAiB;YAC3D,OAAO,EAAE,MAAM;SAClB,CAAC,CAAC,KAAK,SAAS,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,MAAc;QACrB,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAiB;YAC3D,OAAO,EAAE,MAAM;SAClB,CAAC,CAAC,KAAK,SAAS,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,MAAM,CACR,MAAc,EACd,MAAoB,EACpB,OAAO,GAAuC,EAAE;QAEhD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACtD,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACtE,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,MAAM,EAAE,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAA8B;YAC9E,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC;YACjD,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;YAC7B,aAAa,EAAE,OAAO,CAAC,YAAY,IAAI,IAAI;SAC9C,CAAC,CAAC;QACH,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACnC,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAiB,CAAC,CAAC;IAC3E,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,MAAc;QACvB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAqD;YACrG,OAAO,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,iBAAiB,CAAC,CAAC;QACxE,OAAO,GAAG,CAAC,MAAM,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,MAAc;QACvB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAqD;YACrG,OAAO,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,iBAAiB,CAAC,CAAC;QACxE,OAAO,GAAG,CAAC,eAAe,KAAK,IAAI;YAC/B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAiB,CAAC,CAAC;IAC1E,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,MAAc;QACxB,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAiB;YACjE,OAAO,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,QAAgB,EAAE,MAAc,EAAE,WAAoB;QACnE,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,wBAAwB,CAAC;QAC9E,MAAM,MAAM,GAAG;YACX,SAAS,EAAE,QAAQ;YACnB,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACpC,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAwB;YAC5E,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,YAAY,EAAE,MAAM,CAAC,YAAY;SACpC,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAChC,kBAAkB,EAClB,iBAAiB,EACjB,GAAG,EACH,mCAAmC,aAAa,GAAG,EACnD,EAAE,EACF;YACI,MAAM,EAAE,aAAa;YACrB,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,KAAK;SACnB,CACJ,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,4BAA4B,CAAC,GAAG,CAI1D,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACxD,OAAO;YACH,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC;YACpD,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC3D,MAAM,EAAE,OAAO;gBACf,QAAQ,EAAE,SAAS;gBACnB,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAiB,CAAC;aACtE,CAAC,CAAC;SACN,CAAC;IACN,CAAC;CACJ"}

package/dist/core/LoopLifecycle.sql

@@ -3,8 +3,7 @@
 
 -- PREP: lifecycle_park_loop
 UPDATE loops
-SET status = 202,
-    terminal_message = $message
+SET status = 202
 WHERE id = $loop_id AND status = 102
 RETURNING id;
 
@@ -17,13 +16,13 @@ RETURNING id;
 -- PREP: lifecycle_finish_loop
 UPDATE loops
 SET status = $status,
-    terminal_message = $message,
+    terminal_result = $result,
     terminated_by = $terminated_by
 WHERE id = $loop_id AND status IN (100, 102, 202)
-RETURNING id;
+RETURNING terminal_result;
 
 -- PREP: lifecycle_loop_status
-SELECT status FROM loops WHERE id = $loop_id;
+SELECT status, terminal_result FROM loops WHERE id = $loop_id;
 
 -- PREP: lifecycle_loop_turns
 SELECT id FROM turns WHERE loop_id = $loop_id ORDER BY sequence, id;
@@ -51,10 +50,14 @@ WITH RECURSIVE tree(id) AS (
 )
 UPDATE loops
 SET status = 499,
-    terminal_message = $message,
+    terminal_result = json_set(
+        $result,
+        '$.problem.instance',
+        'loop:///' || id
+    ),
     terminated_by = 'cancel'
 WHERE worker_id IN (
     SELECT id FROM tree WHERE $include_root = 1 OR id <> $worker_id
 )
   AND status IN (100, 102, 202)
-RETURNING id AS loop_id, worker_id;
+RETURNING id AS loop_id, worker_id, terminal_result;

package/dist/core/NoticeChannel.d.ts

@@ -0,0 +1,13 @@
+import { type Notice } from "@plurnk/plurnk-contracts";
+import type { NoticeNotify } from "./ChannelWrite.ts";
+export default class NoticeChannel {
+    #private;
+    constructor({ notify }?: {
+        notify?: NoticeNotify;
+    });
+    push(workspaceId: number, loopId: number, notice: Notice): void;
+    notify(workspaceId: number, loopId: number, notice: Notice): void;
+    drain(loopId: number): Notice[];
+    delete(loopId: number): void;
+}
+//# sourceMappingURL=NoticeChannel.d.ts.map

package/dist/core/NoticeChannel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"NoticeChannel.d.ts","sourceRoot":"","sources":["../../src/core/NoticeChannel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,KAAK,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAItD,MAAM,CAAC,OAAO,OAAO,aAAa;;IAI9B,YAAY,EAAE,MAAM,EAAE,GAAE;QAAE,MAAM,CAAC,EAAE,YAAY,CAAA;KAAO,EAErD;IAED,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAM9D;IAID,MAAM,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAGhE;IAGD,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAK9B;IAED,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAE3B;CAKJ"}

package/dist/core/NoticeChannel.js

@@ -0,0 +1,40 @@
+import { Validator } from "@plurnk/plurnk-contracts";
+// The transient notice channel. Durable operation failures live in log_entries as
+// RFC 9457 Problem Details; this buffer carries progress and diagnostic events only.
+export default class NoticeChannel {
+    #buffer = new Map();
+    #notify;
+    constructor({ notify } = {}) {
+        this.#notify = notify;
+    }
+    push(workspaceId, loopId, notice) {
+        NoticeChannel.#assert(notice);
+        const existing = this.#buffer.get(loopId);
+        if (existing === undefined)
+            this.#buffer.set(loopId, [notice]);
+        else
+            existing.push(notice);
+        this.#notify?.(workspaceId, { loopId, notice });
+    }
+    // Live fan-out ONLY, never buffered — for work with no loop to drain the
+    // buffer (e.g. workspace-scope derivation warming, loopId 0).
+    notify(workspaceId, loopId, notice) {
+        NoticeChannel.#assert(notice);
+        this.#notify?.(workspaceId, { loopId, notice });
+    }
+    // Each observation surfaces in one model packet.
+    drain(loopId) {
+        const buf = this.#buffer.get(loopId);
+        if (buf === undefined)
+            return [];
+        this.#buffer.delete(loopId);
+        return buf;
+    }
+    delete(loopId) {
+        this.#buffer.delete(loopId);
+    }
+    static #assert(notice) {
+        Validator.assertNotice(notice);
+    }
+}
+//# sourceMappingURL=NoticeChannel.js.map

package/dist/core/NoticeChannel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NoticeChannel.js","sourceRoot":"","sources":["../../src/core/NoticeChannel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAe,MAAM,0BAA0B,CAAC;AAGlE,kFAAkF;AAClF,qFAAqF;AACrF,MAAM,CAAC,OAAO,OAAO,aAAa;IAC9B,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IACtC,OAAO,CAA2B;IAElC,YAAY,EAAE,MAAM,EAAE,GAA8B,EAAE;QAClD,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;IAC1B,CAAC;IAED,IAAI,CAAC,WAAmB,EAAE,MAAc,EAAE,MAAc;QACpD,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;;YAC1D,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,yEAAyE;IACzE,8DAA8D;IAC9D,MAAM,CAAC,WAAmB,EAAE,MAAc,EAAE,MAAc;QACtD,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,iDAAiD;IACjD,KAAK,CAAC,MAAc;QAChB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5B,OAAO,GAAG,CAAC;IACf,CAAC;IAED,MAAM,CAAC,MAAc;QACjB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,MAAc;QACzB,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;CACJ"}

package/dist/core/Owner.d.ts

@@ -1,7 +1,6 @@
 import type { Db } from "./Db.ts";
 import type { PlurnkSchemeContext } from "./scheme-types.ts";
 export default class Owner {
-    static readonly RESERVED: Readonly<Set<string>>;
     static commonsId(db: Db, workspaceId: number): Promise<number>;
     static kernelId(db: Db, workspaceId: number): Promise<number>;
     static resolveStreamOwner(hostname: string | null | undefined, ctx: PlurnkSchemeContext): Promise<number | null>;

package/dist/core/Owner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Owner.d.ts","sourceRoot":"","sources":["../../src/core/Owner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAO7D,MAAM,CAAC,OAAO,OAAO,KAAK;IAGtB,MAAM,CAAC,QAAQ,CAAC,QAAQ,wBAA8D;IAKtF,OAAa,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAMnE;IAGD,OAAa,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAMlE;IAOD,OAAa,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EAAE,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAOrH;CACJ"}
+{"version":3,"file":"Owner.d.ts","sourceRoot":"","sources":["../../src/core/Owner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAO7D,MAAM,CAAC,OAAO,OAAO,KAAK;IAItB,OAAa,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAMnE;IAGD,OAAa,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAMlE;IAOD,OAAa,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EAAE,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAOrH;CACJ"}

package/dist/core/Owner.js

@@ -1,12 +1,9 @@
-// #527 {§entry-owner} — entry ownership. Every entry is owned by a worker row: the workspace's
+// {§entry-owner} — every entry is owned by a worker row: the workspace's
 // reserved 'commons' worker for shared content, the spawning worker for capability streams. The
 // owner id is a storage foreign key that NEVER renders into a URI or packet; the model addresses
 // owners by NAME in the authority slot, and an empty authority resolves to the ambient principal
 // (the caller on streams). 'plurnk' (the kernel) and 'commons' are the two reserved rows.
 export default class Owner {
-    // Names no client- or model-supplied worker may take: the two reserved rows plus the
-    // self-sigil the #527 wave gives worker:// (reserving it now keeps the namespace clean).
-    static RESERVED = Object.freeze(new Set(["commons", "plurnk", "~", "self"])); // 'self' joins per grammar's canon — a worker named self would impersonate the ~ idiom
     // The workspace's reserved commons worker — lazily ensured, one per workspace. A real row
     // (never a NULL owner: NULLs are distinct under UNIQUE, so a nullable owner_id would let
     // the shared-content identity fragment into duplicate colliding rows).
@@ -19,7 +16,7 @@ export default class Owner {
             throw new Error("Owner.commonsId: commons worker insert returned no row");
         return created.id;
     }
-    // The reserved kernel row — worker://plurnk/, the runtime's own actor (§actor-boundary).
+    // The reserved kernel row — worker://plurnk/, the runtime's own actor ({§actor-boundary}).
     static async kernelId(db, workspaceId) {
         const existing = await db.envelope_get_worker_by_name.get({ workspace_id: workspaceId, name: "plurnk" });
         if (existing !== undefined)

package/dist/core/Owner.js.map

@@ -1 +1 @@
-{"version":3,"file":"Owner.js","sourceRoot":"","sources":["../../src/core/Owner.ts"],"names":[],"mappings":"AAGA,+FAA+F;AAC/F,gGAAgG;AAChG,iGAAiG;AACjG,iGAAiG;AACjG,0FAA0F;AAC1F,MAAM,CAAC,OAAO,OAAO,KAAK;IACtB,qFAAqF;IACrF,yFAAyF;IACzF,MAAM,CAAU,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,uFAAuF;IAE9K,0FAA0F;IAC1F,yFAAyF;IACzF,uEAAuE;IACvE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAM,EAAE,WAAmB;QAC9C,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,2BAA2B,CAAC,GAAG,CAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1H,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QACtI,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QACrG,OAAO,OAAO,CAAC,EAAE,CAAC;IACtB,CAAC;IAED,yFAAyF;IACzF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAM,EAAE,WAAmB;QAC7C,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,2BAA2B,CAAC,GAAG,CAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzH,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QACrI,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QACnG,OAAO,OAAO,CAAC,EAAE,CAAC;IACtB,CAAC;IAED,yFAAyF;IACzF,2FAA2F;IAC3F,wFAAwF;IACxF,yFAAyF;IACzF,kCAAkC;IAClC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,QAAmC,EAAE,GAAwB;QACzF,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,EAAE;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC;QACxF,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAiB,EAAE,YAAY,EAAE,GAAG,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzH,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACrC,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAwB,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;QACrI,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IACrD,CAAC;CACJ"}
+{"version":3,"file":"Owner.js","sourceRoot":"","sources":["../../src/core/Owner.ts"],"names":[],"mappings":"AAGA,yEAAyE;AACzE,gGAAgG;AAChG,iGAAiG;AACjG,iGAAiG;AACjG,0FAA0F;AAC1F,MAAM,CAAC,OAAO,OAAO,KAAK;IACtB,0FAA0F;IAC1F,yFAAyF;IACzF,uEAAuE;IACvE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAM,EAAE,WAAmB;QAC9C,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,2BAA2B,CAAC,GAAG,CAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1H,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QACtI,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QACrG,OAAO,OAAO,CAAC,EAAE,CAAC;IACtB,CAAC;IAED,2FAA2F;IAC3F,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAM,EAAE,WAAmB;QAC7C,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,2BAA2B,CAAC,GAAG,CAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzH,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QACrI,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QACnG,OAAO,OAAO,CAAC,EAAE,CAAC;IACtB,CAAC;IAED,yFAAyF;IACzF,2FAA2F;IAC3F,wFAAwF;IACxF,yFAAyF;IACzF,kCAAkC;IAClC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,QAAmC,EAAE,GAAwB;QACzF,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,EAAE;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC;QACxF,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAiB,EAAE,YAAY,EAAE,GAAG,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzH,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACrC,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAwB,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;QACrI,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IACrD,CAAC;CACJ"}