@plurnk/plurnk-service 1.18.0 → 1.19.0

package/dist/core/TurnDispositionHandler.js

@@ -1,206 +1,48 @@
-var _a;
-import { TurnDisposition } from "@plurnk/plurnk-contracts";
 import TerminalResult from "./TerminalResult.js";
-import Results from "./results.js";
-import ErrorDetail from "./ErrorDetail.js";
-import { promptLoopPrefix } from "./plurnk-uri.js";
-const observedResultsGuidance = "If your final response has already been sent and these results require no further work or response revision, submit only TASK.";
-class TurnDispositionHandler {
+export default class TurnDispositionHandler {
     #db;
-    #cancelDescendants;
     #lifecycle;
-    #nextPacketBoundaries;
     #unobservedFailureCount;
     #pendingSet;
     #hasLiveWork;
-    #failure;
-    #statusResult;
-    constructor({ db, cancelDescendants, lifecycle, nextPacketBoundaries, unobservedFailureCount, pendingSet, hasLiveWork, failure, statusResult }) {
+    constructor({ db, lifecycle, unobservedFailureCount, pendingSet, hasLiveWork }) {
         this.#db = db;
-        this.#cancelDescendants = cancelDescendants;
         this.#lifecycle = lifecycle;
-        this.#nextPacketBoundaries = nextPacketBoundaries;
         this.#unobservedFailureCount = unobservedFailureCount;
         this.#pendingSet = pendingSet;
         this.#hasLiveWork = hasLiveWork;
-        this.#failure = failure;
-        this.#statusResult = statusResult;
     }
-    async handle(statement, ctx) {
-        const { workerId, loopId, turnId } = ctx;
-        const intent = TurnDisposition.intent(statement.body);
-        const status = TurnDisposition.status(statement);
-        const timingDetail = intent !== "wait" && statement.lineMarker !== null
-            ? "Wait timing was not applied because no waiting intent was selected." : null;
-        const withTimingDetail = (result) => timingDetail === null
-            ? result : { ...result, detail: [result.detail, timingDetail].filter(Boolean).join(" ") };
-        if (intent === "missing") {
-            return withTimingDetail(this.#failure("task-inventory-missing", 409, "No tasks were supplied. Submit a nonempty TASK inventory."));
-        }
-        if (intent === "continue" || intent === "todo")
-            return withTimingDetail({ status: 102 });
-        // {§worker-wait-timing}: explicit timing is an obligation in its own
-        // right; otherwise {§wait-obligation-matrix} decides an untimed join.
-        if (intent === "wait") {
-            const marks = statement.lineMarker?.marks;
-            const timeout = marks?.[0] ?? -1;
-            const poll = marks?.[1];
-            if ((marks?.length ?? 0) > 2 || timeout < -1 || (poll !== undefined && poll < 0)
-                || [timeout, poll].some((value) => value !== undefined
-                    && (!Number.isSafeInteger(value) || value * 60_000 + Date.now() > 8.64e15))) {
-                return this.#failure("wait-timing-invalid", 400, "TASK wait timing accepts <timeout[,poll]> in whole minutes: timeout is -1 or nonnegative; poll is nonnegative.");
-            }
-            const seconds = timeout < 0 ? -1 : timeout * 60;
-            const timing = {
-                ...(timeout < 0 ? {} : { timeoutMs: timeout * 60_000 }),
-                ...(poll === undefined ? {} : { pollMs: poll * 60_000 }),
-            };
-            if (timeout >= 0 || (poll ?? 0) > 0 || await this.#hasLiveWork(workerId)) {
-                if (!await this.#lifecycle.park(loopId, timing)) {
-                    return this.#statusResult(await this.#lifecycle.status(loopId), "loop-already-terminal", "The loop was already terminal when TASK attempted to wait.");
-                }
-                return { status: 202, attrs: { waiting: seconds, ...(poll === undefined ? {} : { polling: poll * 60 }) } };
-            }
-            // Retrievals, fast stream conclusions, and child conclusions are
-            // all complete-but-unobserved. Their wake edge may already have
-            // fired, so do not park; continue directly to the packet that
-            // materializes them.
-            const boundaries = await this.#nextPacketBoundaries(workerId, turnId);
-            if (boundaries.operations.length > 0 || boundaries.streamTerminations.length > 0 || boundaries.childTerminations) {
-                return { status: 102 };
-            }
-            const failCount = await this.#unobservedFailureCount(turnId);
-            if (failCount > 0)
-                return { status: 102 };
-            return { status: 102, detail: "Nothing is in flight and no timed or polled wait is set. Continuing." };
-        }
-        // Both terminals cross the observation barrier ({§completion-defers-to-results}): a
-        // model's claim over prompts the loop has not published, failures this turn has not
-        // seen, or settled results the next packet carries is deferred one packet and never
-        // struck. A completion over live work is the join a scope's exit implies: the loop parks
-        // until the work settles ({§completion-joins-live-work}); an abandonment cancels it. A
-        // `_plurnk` maintenance program closes only its own administrative loop; it must not
-        // claim, consume, or be blocked by model work elsewhere in the same Worker.
-        if ((status === 200 || status === 499) && ctx.origin === "model") {
-            const deferred = await this.#barrier(ctx, status === 200 ? "Completion" : "Abandonment");
-            if (deferred !== null)
-                return withTimingDetail(deferred);
-        }
-        // [200] — terminate. A refused attempt is recorded faithfully (status_rx=409, never
-        // erased); the loop stays a continue; the strike couples in runTurn. [499] abandons and
-        // cancels the descendant scope.
-        if (status === 200) {
-            const finished = await this.#lifecycle.finish(loopId, TerminalResult.success(null));
-            return withTimingDetail(this.#statusResult(finished !== null ? 200 : await this.#lifecycle.status(loopId), "loop-already-terminal", "The loop was already terminal when TASK attempted to conclude it."));
-        }
-        if (status === 499) {
-            const reason = ErrorDetail.preview(statement.body.filter(({ status: state }) => state === "failed").map(({ content }) => content).join("\n"));
-            const failure = withTimingDetail(this.#failure("scope-abandoned", 499, "All tasks in the final inventory failed.", {}, {
-                ...(reason.length === 0 ? {} : { reason }),
-                retryable: false,
-            }));
-            const seqs = await this.#db.engine_loop_turn_seqs.get({
-                loop_id: loopId,
-                turn_id: turnId,
-            });
-            if (seqs === undefined) {
-                throw new Error(`TASK: no coordinate for loop=${loopId} turn=${turnId}`);
-            }
-            Results.attachInstance(failure, `log:///${seqs.loop_seq}/${seqs.turn_seq}/${ctx.sequence}/TASK`);
-            const finished = await this.#lifecycle.finish(loopId, failure);
-            if (finished === null)
-                return this.#statusResult(await this.#lifecycle.status(loopId), "loop-already-terminal", "The loop was already terminal when TASK attempted to abandon it.");
-            await this.#cancelDescendants?.(workerId, reason || "all tasks in the parent inventory failed");
-            return failure;
-        }
-        return { status };
-    }
-    // {§completion-defers-to-prompts} Prompt frames this loop contains but has not published
-    // (the same rows the next turn boundary publishes, {§prompt-loop-containment}).
-    async #undeliveredPromptCount(workerId, loopId) {
-        const loopSeq = (await this.#db.engine_loop_sequence.get({ loop_id: loopId }))?.sequence ?? loopId;
-        const prefix = promptLoopPrefix(loopSeq);
-        const rows = await this.#db.drain_undelivered_prompts_for_loop.all({
-            worker_id: workerId, pattern: `${prefix}%`, prefix_len: prefix.length, loop_id: loopId,
-        });
-        return rows.filter((row) => typeof row.content === "string" && row.content.length > 0).length;
-    }
-    // {§completion-defers-to-results} — the observation barrier, in the order the graph demands:
-    // a prompt the loop has not published; then, for a completion, live work, which parks the
-    // loop as a join; then this turn's unseen failures; then the
-    // settled results the next packet carries. Every deferral is 102 with the read-time receipt
-    // and its pending facts in `attrs`; null means the claim may conclude now.
-    async #barrier({ workerId, loopId, turnId }, verb) {
-        const concludes = verb === "Completion" ? "complete" : "conclude";
-        // {§completion-defers-to-prompts} — a prompt that arrived during this turn is published
-        // by the next packet; concluding over it would answer a conversation the model has not
-        // seen. Not the model's fault, so a deferral, never a strike.
-        const undelivered = await this.#undeliveredPromptCount(workerId, loopId);
-        if (undelivered > 0) {
-            return {
-                status: 102,
-                detail: `${verb} deferred: ${undelivered} new prompt${undelivered === 1 ? "" : "s"} arrived during this turn. `
-                    + `${undelivered === 1 ? "It is" : "They are"} in this packet; a response and a TASK now ${concludes}.`,
-            };
-        }
-        const { pending, receipts } = await this.#pendingSet(workerId, turnId);
-        const live = pending.filter((kind) => kind === "streams" || kind === "workers");
-        if (verb === "Completion" && live.length > 0) {
-            // {§completion-joins-live-work} — a completion over live work is the join a scope's
-            // exit implies: the loop parks until the work settles, the wake carries what concluded,
-            // and the next TASK decides with it in the packet. Never a strike.
-            if (!await this.#lifecycle.park(loopId)) {
-                return this.#statusResult(await this.#lifecycle.status(loopId), "loop-already-terminal", "The loop was already terminal when TASK attempted to conclude it.");
-            }
-            return { status: 202, detail: _a.joinDetail(live), attrs: { waiting: -1, pending: [...pending] } };
-        }
-        // A failed operation is also an unobserved result: it does not enter the model's Log
-        // until the next packet.
-        const failCount = await this.#unobservedFailureCount(turnId);
-        if (failCount > 0) {
-            return {
-                status: 102,
-                detail: `${verb} deferred: ${failCount} operation${failCount === 1 ? "" : "s"} failed in the same turn. `
-                    + `The failure${failCount === 1 ? " is" : "s are"} in this packet. ${observedResultsGuidance}`,
-                attrs: { failures: failCount },
-            };
-        }
-        const settled = pending.filter((kind) => kind !== "streams" && kind !== "workers");
-        if (settled.length === 0)
-            return null;
-        // The receipt is read one packet later, beside the results it names, so it speaks from
-        // that moment. The model decides whether the results change its work or response.
-        const detail = settled.every((kind) => kind === "receipts")
-            ? _a.deferredReceiptsDetail(receipts, verb)
-            : _a.deferredWorkDetail(settled, verb);
-        return { status: 102, detail, attrs: { pending: settled } };
-    }
-    // {§completion-defers-to-results} Receipts-only deferral, worded at read time.
-    static deferredReceiptsDetail(receipts, verb = "Completion") {
-        const plural = receipts.length > 1;
-        return `${verb} deferred until ${ErrorDetail.preview(receipts.join(", "))} reached a packet. ${plural ? "They are" : "It is"} in this packet. ${observedResultsGuidance}`;
-    }
-    // {§completion-joins-live-work} The join receipt, read when the wake lands.
-    static joinDetail(live) {
-        const parts = [];
-        if (live.includes("workers"))
-            parts.push("child workers were still running");
-        if (live.includes("streams"))
-            parts.push("an execution was still running");
-        return `Completion joined: ${parts.join(" and ")}. The loop waited, and what concluded is in this packet. ${observedResultsGuidance}`;
+    async handle(ctx) {
+        // {§wait-obligation-matrix}: record intent now; settle the complete program before parking.
+        return await this.#hasLiveWork(ctx.loopId)
+            ? { status: 202, attrs: { waiting: -1 } }
+            : { status: 102, detail: "Nothing is in flight. Continuing." };
     }
-    // {§completion-defers-to-results} Observed-now results name the packet.
-    static deferredWorkDetail(pending, verb = "Completion") {
-        const landed = [];
-        if (pending.includes("worker-results"))
-            landed.push("a child worker's result");
-        if (pending.includes("failed-stream-results"))
-            landed.push("a failed execution result");
-        if (pending.includes("receipts"))
-            landed.push("operation receipts");
-        return `${verb} deferred until ${landed.join(" and ")} reached a packet. ${landed.length > 1 ? "They are" : "It is"} in this packet. ${observedResultsGuidance}`;
+    async settle(ctx, wait) {
+        const { workerId, loopId, turnId, origin } = ctx;
+        const status = await this.#lifecycle.status(loopId);
+        if (![100, 102, 202].includes(status))
+            return status;
+        // Administrative programs do not conclude the worker's model loop (including turn0).
+        if (origin !== "model")
+            return 200;
+        const arrivals = await this.#db.drain_unpublished_messages_for_loop.all({ loop_id: loopId });
+        if (arrivals.length > 0)
+            return 102;
+        const unanswered = await this.#db.message_unanswered_count.get({ loop_id: loopId });
+        if (unanswered === undefined)
+            throw new Error("The loop has no message count.");
+        const { pending } = await this.#pendingSet(workerId, turnId, loopId);
+        const live = pending.some((kind) => kind === "streams" || kind === "workers" || kind === "events");
+        if (live && (wait || unanswered.count === 0)) {
+            // The obligation itself is the waker: a concluding stream, child or event requeues this loop.
+            return await this.#lifecycle.park(loopId, { wakenBy: "obligations" }) ? 202 : this.#lifecycle.status(loopId);
+        }
+        if (wait || unanswered.count > 0 || pending.length > 0 || await this.#unobservedFailureCount(turnId) > 0)
+            return 102;
+        // {§completion-defers-to-messages}: recheck unanswered arrivals atomically with conclusion.
+        const finished = await this.#lifecycle.finish(loopId, TerminalResult.success(null), { requireAnswered: true });
+        return finished === null ? this.#lifecycle.status(loopId) : 200;
     }
 }
-_a = TurnDispositionHandler;
-export default TurnDispositionHandler;
 //# sourceMappingURL=TurnDispositionHandler.js.map

package/dist/core/TurnDispositionHandler.js.map

@@ -1 +1 @@
-{"version":3,"file":"TurnDispositionHandler.js","sourceRoot":"","sources":["../../src/core/TurnDispositionHandler.ts"],"names":[],"mappings":";AAAA,OAAO,EAAE,eAAe,EAA6B,MAAM,0BAA0B,CAAC;AAKtF,OAAO,cAAc,MAAM,qBAAqB,CAAC;AACjD,OAAO,OAAO,MAAM,cAAc,CAAC;AACnC,OAAO,WAAW,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGnD,MAAM,uBAAuB,GAAG,gIAAgI,CAAC;AAajK,MAAqB,sBAAsB;IAC9B,GAAG,CAAK;IACR,kBAAkB,CAAsC;IACxD,UAAU,CAAgB;IAC1B,qBAAqB,CAAkE;IACvF,uBAAuB,CAAsC;IAC7D,WAAW,CAAoE;IAC/E,YAAY,CAAyC;IACrD,QAAQ,CAA+J;IACvK,aAAa,CAA+G;IAErI,YAAY,EAAE,EAAE,EAAE,iBAAiB,EAAE,SAAS,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAU3I;QACG,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;QACd,IAAI,CAAC,kBAAkB,GAAG,iBAAiB,CAAC;QAC5C,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,IAAI,CAAC,qBAAqB,GAAG,oBAAoB,CAAC;QAClD,IAAI,CAAC,uBAAuB,GAAG,sBAAsB,CAAC;QACtD,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,WAAW,CAAC;QAChC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,aAAa,GAAG,YAAY,CAAC;IACtC,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,SAA+B,EAAE,GAO7C;QACG,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;QACzC,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,MAAM,KAAK,MAAM,IAAI,SAAS,CAAC,UAAU,KAAK,IAAI;YACnE,CAAC,CAAC,qEAAqE,CAAC,CAAC,CAAC,IAAI,CAAC;QACnF,MAAM,gBAAgB,GAAG,CAAC,MAAsB,EAAkB,EAAE,CAAC,YAAY,KAAK,IAAI;YACtF,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9F,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAC/D,2DAA2D,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,gBAAgB,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAEzF,qEAAqE;QACrE,sEAAsE;QACtE,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACpB,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC;YAC1C,MAAM,OAAO,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACjC,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,GAAG,CAAC,CAAC;mBACzE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS;uBAC/C,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC;gBAClF,OAAO,IAAI,CAAC,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAC3C,gHAAgH,CAAC,CAAC;YAC1H,CAAC;YACD,MAAM,OAAO,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,CAAC;YAChD,MAAM,MAAM,GAAG;gBACX,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,GAAG,MAAM,EAAE,CAAC;gBACvD,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,GAAG,MAAM,EAAE,CAAC;aAC3D,CAAC;YACF,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvE,IAAI,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC9C,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,uBAAuB,EAAE,4DAA4D,CAAC,CAAC;gBAC3J,CAAC;gBACD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/G,CAAC;YACD,iEAAiE;YACjE,gEAAgE;YAChE,8DAA8D;YAC9D,qBAAqB;YACrB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACtE,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,iBAAiB,EAAE,CAAC;gBAC/G,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC3B,CAAC;YACD,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YAC7D,IAAI,SAAS,GAAG,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC1C,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,sEAAsE,EAAE,CAAC;QAC3G,CAAC;QAED,oFAAoF;QACpF,oFAAoF;QACpF,oFAAoF;QACpF,yFAAyF;QACzF,uFAAuF;QACvF,qFAAqF;QACrF,4EAA4E;QAC5E,IAAI,CAAC,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAC/D,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACzF,IAAI,QAAQ,KAAK,IAAI;gBAAE,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC7D,CAAC;QACD,oFAAoF;QACpF,wFAAwF;QACxF,gCAAgC;QAChC,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CACzC,MAAM,EACN,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,CAC/B,CAAC;YACF,OAAO,gBAAgB,CAAC,IAAI,CAAC,aAAa,CACtC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAC9D,uBAAuB,EACvB,mEAAmE,CACtE,CAAC,CAAC;QACP,CAAC;QACD,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9I,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAC1C,iBAAiB,EACjB,GAAG,EACH,0CAA0C,EAC1C,EAAE,EACF;gBACI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;gBAC1C,SAAS,EAAE,KAAK;aACnB,CACJ,CAAC,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAyC;gBAC1F,OAAO,EAAE,MAAM;gBACf,OAAO,EAAE,MAAM;aAClB,CAAC,CAAC;YACH,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CAAC,gCAAgC,MAAM,SAAS,MAAM,EAAE,CAAC,CAAC;YAC7E,CAAC;YACD,OAAO,CAAC,cAAc,CAClB,OAAO,EACP,UAAU,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAQ,OAAO,CAClE,CAAC;YACF,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAC/D,IAAI,QAAQ,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,uBAAuB,EAAE,kEAAkE,CAAC,CAAC;YACpL,MAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,0CAA0C,CAAC,CAAC;YAChG,OAAO,OAAO,CAAC;QACnB,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,CAAC;IACtB,CAAC;IAED,yFAAyF;IACzF,gFAAgF;IAChF,KAAK,CAAC,uBAAuB,CAAC,QAAgB,EAAE,MAAc;QAC1D,MAAM,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAuB,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,QAAQ,IAAI,MAAM,CAAC;QACzH,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,kCAAkC,CAAC,GAAG,CAAsB;YACpF,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,MAAM,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM;SACzF,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;IAClG,CAAC;IAED,6FAA6F;IAC7F,0FAA0F;IAC1F,6DAA6D;IAC7D,4FAA4F;IAC5F,2EAA2E;IAC3E,KAAK,CAAC,QAAQ,CACV,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAwD,EAClF,IAAkC;QAElC,MAAM,SAAS,GAAG,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QAClE,wFAAwF;QACxF,uFAAuF;QACvF,8DAA8D;QAC9D,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACzE,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO;gBACH,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,GAAG,IAAI,cAAc,WAAW,cAAc,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,6BAA6B;sBACzG,GAAG,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,8CAA8C,SAAS,GAAG;aAC9G,CAAC;QACN,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACvE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC;QAChF,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3C,oFAAoF;YACpF,wFAAwF;YACxF,mEAAmE;YACnE,IAAI,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,uBAAuB,EAAE,mEAAmE,CAAC,CAAC;YAClK,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAsB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;QAC3H,CAAC;QACD,qFAAqF;QACrF,yBAAyB;QACzB,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QAC7D,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;YAChB,OAAO;gBACH,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,GAAG,IAAI,cAAc,SAAS,aAAa,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,4BAA4B;sBACnG,cAAc,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,oBAAoB,uBAAuB,EAAE;gBAClG,KAAK,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE;aACjC,CAAC;QACN,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC;QACnF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACtC,uFAAuF;QACvF,kFAAkF;QAClF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC;YACvD,CAAC,CAAC,EAAsB,CAAC,sBAAsB,CAAC,QAAQ,EAAE,IAAI,CAAC;YAC/D,CAAC,CAAC,EAAsB,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/D,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC;IAChE,CAAC;IAED,+EAA+E;IAC/E,MAAM,CAAC,sBAAsB,CAAC,QAA2B,EAAE,IAAI,GAAiC,YAAY;QACxG,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACnC,OAAO,GAAG,IAAI,mBAAmB,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,sBAAsB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,oBAAoB,uBAAuB,EAAE,CAAC;IAC9K,CAAC;IAED,4EAA4E;IAC5E,MAAM,CAAC,UAAU,CAAC,IAAuB;QACrC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAC7E,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC3E,OAAO,sBAAsB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,4DAA4D,uBAAuB,EAAE,CAAC;IAC1I,CAAC;IAED,wEAAwE;IACxE,MAAM,CAAC,kBAAkB,CAAC,OAA0B,EAAE,IAAI,GAAiC,YAAY;QACnG,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAC/E,IAAI,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACxF,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACpE,OAAO,GAAG,IAAI,mBAAmB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,oBAAoB,uBAAuB,EAAE,CAAC;IACrK,CAAC;CAEJ"}
+{"version":3,"file":"TurnDispositionHandler.js","sourceRoot":"","sources":["../../src/core/TurnDispositionHandler.ts"],"names":[],"mappings":"AAGA,OAAO,cAAc,MAAM,qBAAqB,CAAC;AAgBjD,MAAM,CAAC,OAAO,OAAO,sBAAsB;IAC9B,GAAG,CAAK;IACR,UAAU,CAAgB;IAC1B,uBAAuB,CAAsC;IAC7D,WAAW,CAAoF;IAC/F,YAAY,CAAuC;IAE5D,YAAY,EAAE,EAAE,EAAE,SAAS,EAAE,sBAAsB,EAAE,UAAU,EAAE,WAAW,EAM3E;QACG,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;QACd,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,IAAI,CAAC,uBAAuB,GAAG,sBAAsB,CAAC;QACtD,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,WAAW,CAAC;IACpC,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,GAAgB;QACzB,4FAA4F;QAC5F,OAAO,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;YACtC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;YACzC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IACvE,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,GAAgB,EAAE,IAAa;QACxC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;QACjD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC;QACrD,qFAAqF;QACrF,IAAI,MAAM,KAAK,OAAO;YAAE,OAAO,GAAG,CAAC;QACnC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,mCAAmC,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7F,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,GAAG,CAAC;QACpC,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAoB,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QACvG,IAAI,UAAU,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QAChF,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC;QACnG,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YAC3C,8FAA8F;YAC9F,OAAO,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjH,CAAC;QACD,IAAI,IAAI,IAAI,UAAU,CAAC,KAAK,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,OAAO,GAAG,CAAC;QACrH,4FAA4F;QAC5F,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/G,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACpE,CAAC;CACJ"}

package/dist/core/TurnMaterialization.d.ts

@@ -1,12 +1,13 @@
-import type { UrlPath } from "@plurnk/plurnk-contracts";
 import type { Db } from "./Db.ts";
 import { type FsDivergence } from "./git-membership.ts";
 import { type GitStatusSnapshot } from "./git-state.ts";
+import type { Mimetypes } from "@plurnk/plurnk-mimetypes";
 export default class TurnMaterialization {
     #private;
-    constructor({ db, weighContent }: {
+    constructor({ db, weighContent, mimetypes }: {
         db: Db;
         weighContent: (text: string) => number;
+        mimetypes: Mimetypes;
     });
     materializeEnvironmentDeltas(args: {
         workspaceId: number;
@@ -14,23 +15,24 @@ export default class TurnMaterialization {
         loopId: number;
         turnId: number;
         fromSequence: number;
-    }): Promise<number>;
+    }): Promise<number[]>;
     materializeStreamDeltas(args: {
         workspaceId: number;
         workerId: number;
         loopId: number;
         turnId: number;
         fromSequence: number;
-    }): Promise<number>;
+    }): Promise<number[]>;
     logFsFictions(workspaceId: number, divergences: FsDivergence[], gitStatus: GitStatusSnapshot | null): Promise<void>;
-    writePromptLog({ workerId, loopId, turnId, sequence, target, content, source, }: {
+    writeArrivalLog({ workerId, loopId, turnId, sequence, body, source, resource, selfAddressed, }: {
         workerId: number;
         loopId: number;
         turnId: number;
         sequence: number;
-        target: UrlPath;
-        content: string;
+        body: string;
         source: string | null;
+        resource: string;
+        selfAddressed?: boolean;
     }): Promise<number>;
 }
 //# sourceMappingURL=TurnMaterialization.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"TurnMaterialization.d.ts","sourceRoot":"","sources":["../../src/core/TurnMaterialization.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAaxD,MAAM,CAAC,OAAO,OAAO,mBAAmB;;IAIpC,YAAY,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE;QAC9B,EAAE,EAAE,EAAE,CAAC;QACP,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;KAC1C,EAGA;IAEK,4BAA4B,CAAC,IAAI,EAAE;QACrC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;KAC/F,GAAG,OAAO,CAAC,MAAM,CAAC,CA4GlB;IAGK,uBAAuB,CAAC,IAAI,EAAE;QAChC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;KAC/F,GAAG,OAAO,CAAC,MAAM,CAAC,CAgGlB;IAKK,aAAa,CACf,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,YAAY,EAAE,EAC3B,SAAS,EAAE,iBAAiB,GAAG,IAAI,GACpC,OAAO,CAAC,IAAI,CAAC,CAiEf;IAIK,cAAc,CAAC,EACjB,QAAQ,EACR,MAAM,EACN,MAAM,EACN,QAAQ,EACR,MAAM,EACN,OAAO,EACP,MAAM,GACT,EAAE;QACC,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,OAAO,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;KACzB,GAAG,OAAO,CAAC,MAAM,CAAC,CAyClB;CAKJ"}
+{"version":3,"file":"TurnMaterialization.d.ts","sourceRoot":"","sources":["../../src/core/TurnMaterialization.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAgBxD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAE1D,MAAM,CAAC,OAAO,OAAO,mBAAmB;;IAKpC,YAAY,EAAE,EAAE,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE;QACzC,EAAE,EAAE,EAAE,CAAC;QACP,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;QACvC,SAAS,EAAE,SAAS,CAAC;KACxB,EAIA;IAEK,4BAA4B,CAAC,IAAI,EAAE;QACrC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;KAC/F,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAwHpB;IAGK,uBAAuB,CAAC,IAAI,EAAE;QAChC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;KAC/F,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAgGpB;IAKK,aAAa,CACf,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,YAAY,EAAE,EAC3B,SAAS,EAAE,iBAAiB,GAAG,IAAI,GACpC,OAAO,CAAC,IAAI,CAAC,CAgEf;IAQK,eAAe,CAAC,EAClB,QAAQ,EACR,MAAM,EACN,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,aAAqB,GACxB,EAAE;QACC,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,QAAQ,EAAE,MAAM,CAAC;QAGjB,aAAa,CAAC,EAAE,OAAO,CAAC;KAC3B,GAAG,OAAO,CAAC,MAAM,CAAC,CA0ClB;CAKJ"}

package/dist/core/TurnMaterialization.js

@@ -1,20 +1,26 @@
 import { editedSpan } from "../content/index.js";
 import ReadResolve from "../content/read-resolve.js";
+import ReadProjector from "../content/read-projector.js";
+import TurnSource from "../schemes/TurnSource.js";
+import { loopOutcome } from "./LoopOutcome.js";
 import { authorityParts } from "./plurnk-uri.js";
 import Results from "./results.js";
 import TerminalResult from "./TerminalResult.js";
 import LoopLifecycle from "./LoopLifecycle.js";
 import WorkerControlAddress from "./WorkerControlAddress.js";
 import Turn from "./Turn.js";
+import AdministrativeLoop from "./AdministrativeLoop.js";
 import RuntimeWorker from "./RuntimeWorker.js";
 import LogBody from "./LogBody.js";
 import LogVisibility from "./LogVisibility.js";
 export default class TurnMaterialization {
     #db;
     #weighContent;
-    constructor({ db, weighContent }) {
+    #mimetypes;
+    constructor({ db, weighContent, mimetypes }) {
         this.#db = db;
         this.#weighContent = weighContent;
+        this.#mimetypes = mimetypes;
     }
     async materializeEnvironmentDeltas(args) {
         const { workspaceId, workerId, loopId, turnId, fromSequence } = args;
@@ -22,7 +28,7 @@ export default class TurnMaterialization {
         const window = rows[0];
         if (window === undefined)
             throw new Error(`ambient pull: worker ${workerId} has no observation window`);
-        let written = 0;
+        const entryIds = [];
         for (const r of rows) {
             if (r.event_id === null || r.producer_worker_id === null || r.producer_worker_name === null || r.kind === null
                 || r.at === null || r.op === null || r.tx === null || r.mimetype_tx === null
@@ -36,6 +42,7 @@ export default class TurnMaterialization {
                 throw new Error(`ambient loop-termination event ${r.event_id} status ${r.status_rx} does not match its terminal result status ${terminal.status}`);
             }
             let attrs = r.attrs ?? "{}";
+            let rx = r.rx;
             if (terminal !== null) {
                 const inherited = JSON.parse(attrs);
                 if (inherited === null || typeof inherited !== "object" || Array.isArray(inherited)) {
@@ -46,9 +53,22 @@ export default class TurnMaterialization {
                     kind: "loop_termination",
                     ...(r.terminated_by === null ? {} : { terminatedBy: r.terminated_by }),
                 });
+                // {§loop-answer} the row IS what the child said, at the child's own loop address.
+                const sequence = Number(r.pathname?.slice(1) ?? "0");
+                const outcome = r.hostname === null || !Number.isSafeInteger(sequence)
+                    ? null
+                    : await loopOutcome(this.#db, workspaceId, r.hostname, sequence);
+                const resource = outcome?.resource ?? `ops://${r.hostname}${r.pathname}`;
+                rx = JSON.stringify(await ReadProjector.project({
+                    statement: { op: "READ", target: null, lineMarker: null, matcher: null, metadata: null,
+                        body: null, aside: null, position: { line: 1, column: 1 } },
+                    manifest: TurnSource.manifestFor("ops"), publishesLineAnchors: false,
+                    target: resource, identity: resource, mimetypes: this.#mimetypes,
+                    representation: TerminalResult.representation(outcome?.result ?? terminal, resource, r.terminated_by),
+                }));
             }
             const inserted = await this.#db.engine_insert_ambient_delta.get({
-                worker_id: workerId, loop_id: loopId, turn_id: turnId, sequence: fromSequence + written,
+                worker_id: workerId, loop_id: loopId, turn_id: turnId, sequence: fromSequence + entryIds.length,
                 at: r.at,
                 event_id: r.event_id,
                 source: WorkerControlAddress.render(r.producer_worker_name),
@@ -65,22 +85,20 @@ export default class TurnMaterialization {
                 line_marker: r.line_marker,
                 tx: r.tx,
                 mimetype_tx: r.mimetype_tx,
-                rx: r.rx,
+                rx,
                 mimetype_rx: r.mimetype_rx,
                 status: r.status_rx,
                 weight: LogBody.weight({
                     op: r.op,
                     attrs,
                     tx: r.tx,
-                    rx: r.rx,
+                    rx,
                     mimetypeTx: r.mimetype_tx,
                     mimetypeRx: r.mimetype_rx,
                 }, this.#weighContent),
                 state: r.state,
                 outcome: r.outcome,
-                // {§worker-scheme-collect} — every conclusion is born visible, whatever its status;
-                // a child's activity rows fold.
-                folded: LogVisibility.serialize(terminal !== null ? LogVisibility.OPEN : LogVisibility.FOLDED),
+                folded: LogVisibility.serialize(terminal !== null || r.kind === "reply" ? LogVisibility.OPEN : LogVisibility.FOLDED),
                 attrs,
             });
             const materialized = inserted ?? await this.#db.engine_ambient_delta_id.get({
@@ -90,7 +108,7 @@ export default class TurnMaterialization {
             if (materialized === undefined)
                 throw new Error(`ambient event ${r.event_id} has no observer log row after materialization`);
             if (inserted !== undefined)
-                written++;
+                entryIds.push(inserted.id);
         }
         await this.#db.engine_advance_ambient_cursor.get({
             workspace_id: workspaceId,
@@ -98,12 +116,12 @@ export default class TurnMaterialization {
             cursor: window.cursor,
             boundary: window.boundary,
         });
-        return written;
+        return entryIds;
     }
     async materializeStreamDeltas(args) {
         const { workerId, loopId, turnId, fromSequence } = args;
         const channels = await this.#db.engine_worker_stream_channels.all({ worker_id: workerId });
-        let written = 0;
+        const entryIds = [];
         // {§exec-stream} — a concluded stream lands one row per channel that has content; an empty
         // sibling channel is a fact on that row (`channels`), never a row of its own, and only a
         // stream that printed nothing at all lands one bodyless row on its default channel
@@ -152,12 +170,12 @@ export default class TurnMaterialization {
             if (skipped.has(ch.publication_id))
                 continue;
             const terminal = Results.assert(JSON.parse(ch.producer_result ?? "null"));
-            const sequence = fromSequence + written;
-            const source = ch.source;
+            const sequence = fromSequence + entryIds.length;
             const page = await ReadResolve.resolve({ content: ch.content, mimetype: ch.mimetype, lineMarker: null });
             const emptySiblings = siblings.get(ch.publication_id) ?? {};
             const result = Results.assert({
                 ...terminal,
+                terminal: true,
                 ...(terminal.problem === undefined ? {} : { problem: { ...terminal.problem } }),
                 content: page.content ?? "",
                 mimetype: page.mimetype,
@@ -166,7 +184,7 @@ export default class TurnMaterialization {
                 ...(page.range === undefined ? {} : { range: page.range }),
                 ...(page.range !== undefined || page.region === undefined ? {} : { region: page.region }),
             });
-            if (result.problem !== undefined) {
+            if (result.problem !== undefined && result.problem.instance === undefined) {
                 const seqs = await this.#db.engine_loop_turn_seqs.get({
                     loop_id: loopId,
                     turn_id: turnId,
@@ -176,10 +194,9 @@ export default class TurnMaterialization {
                 Results.attachInstance(result, `log:///${seqs.loop_seq}/${seqs.turn_seq}/${sequence}/READ`);
             }
             const rx = JSON.stringify(result);
-            await this.#db.engine_insert_stream_delta.run({
+            const inserted = await this.#db.engine_insert_stream_delta.get({
                 worker_id: workerId, loop_id: loopId, turn_id: turnId, sequence,
                 subscription_publication_id: ch.publication_id,
-                source,
                 scheme: ch.runtime, hostname: targetParts.hostname, port: targetParts.port,
                 pathname: ch.coord, fragment: visibleFragment,
                 rx,
@@ -192,12 +209,14 @@ export default class TurnMaterialization {
                     mimetypeRx: "application/json",
                 }, this.#weighContent),
                 status: terminal.status,
-                attrs: JSON.stringify({ streamEnd: ch.content.length, terminal: true }),
+                attrs: JSON.stringify({ streamEnd: ch.content.length }),
                 folded: LogVisibility.serialize(LogVisibility.OPEN), // {§exec-stream} — the conclusion is initially visible
             });
-            written++;
+            if (inserted === undefined)
+                throw new Error(`stream publication ${ch.publication_id} produced no log row`);
+            entryIds.push(inserted.id);
         }
-        return written;
+        return entryIds;
     }
     // {§env-delta-filesystem-narration} {§membership-emi-divergence-signal}
     // — record project-file divergence once through the reserved actor.
@@ -206,9 +225,7 @@ export default class TurnMaterialization {
             return;
         const gitByPath = new Map(gitStatus?.files.map(({ path, status }) => [path, status]) ?? []);
         const workerId = await RuntimeWorker.ensure(this.#db, workspaceId);
-        const loop = await this.#db.envelope_insert_client_loop.get({ worker_id: workerId });
-        if (loop === undefined)
-            throw new Error("logFsFictions: loop insert returned no row");
+        const loop = await AdministrativeLoop.open(this.#db, workerId);
         const turn = await Turn.open(this.#db, { loopId: loop.id, producer: "_plurnk", kind: "operation" });
         let turnOpen = true;
         try {
@@ -272,8 +289,13 @@ export default class TurnMaterialization {
             throw cause;
         }
     }
-    async writePromptLog({ workerId, loopId, turnId, sequence, target, content, source, }) {
-        const rx = JSON.stringify({ content, mimetype: "text/markdown" });
+    // {§message-arrival} — an arrival is an inbound SEND row: the sender's statement as the row's
+    // sent side, published by the harness (origin `_plurnk`) with the causal `source` when another
+    // actor caused it ({§message-causal-source}). `attrs.kind = "message"` tells it from the
+    // engine's other harness-published SEND rows: observed activity and addressed replies.
+    async writeArrivalLog({ workerId, loopId, turnId, sequence, body, source, resource, selfAddressed = false, }) {
+        const tx = JSON.stringify({ op: "SEND", aside: null, target: null, metadata: null, lineMarker: null, matcher: null, body: { raw: body } });
+        const rx = JSON.stringify({ status: 200, resource });
         const row = await this.#db.engine_insert_log_entry.get({
             worker_id: workerId,
             loop_id: loopId,
@@ -282,37 +304,37 @@ export default class TurnMaterialization {
             origin: "_plurnk",
             source,
             model_call_id: null,
-            op: "prompt",
+            op: "SEND",
             signal: null,
-            scheme: target.scheme,
-            username: target.username,
-            password: target.password,
-            hostname: target.hostname,
-            port: target.port,
-            pathname: target.pathname,
-            query: target.query,
-            fragment: target.fragment,
+            scheme: null,
+            username: null,
+            password: null,
+            hostname: null,
+            port: null,
+            pathname: null,
+            query: null,
+            fragment: null,
             lineMarker: null,
-            tx: "",
-            mimetype_tx: "text/plain",
+            tx,
+            mimetype_tx: "application/json",
             rx,
             mimetype_rx: "application/json",
             status_rx: 200,
             weight: LogBody.weight({
-                op: "prompt",
-                attrs: {},
-                tx: "",
+                op: "SEND",
+                attrs: selfAddressed ? { kind: "message", selfAddressed: true } : { kind: "message" },
+                tx,
                 rx,
-                mimetypeTx: "text/plain",
+                mimetypeTx: "application/json",
                 mimetypeRx: "application/json",
             }, this.#weighContent),
             state: "resolved",
             outcome: null,
-            attrs: "{}",
+            attrs: JSON.stringify(selfAddressed ? { kind: "message", selfAddressed: true } : { kind: "message" }),
             initial_folded: LogVisibility.serialize(LogVisibility.OPEN),
         });
         if (row === undefined)
-            throw new Error("TurnRunner.#writePromptLog: INSERT ... RETURNING produced no row");
+            throw new Error("TurnMaterialization.writeArrivalLog: INSERT ... RETURNING produced no row");
         return row.id;
     }
 }