@plurnk/plurnk-service 1.3.12 → 1.4.0

package/dist/core/StoredPacket.js

@@ -0,0 +1,147 @@
+import { Validator } from "@plurnk/plurnk-contracts";
+const own = (value, key) => Object.hasOwn(value, key);
+// {§packet-stored-shape} — the one type and validation boundary for the
+// optional model-exchange record stored on a Turn.
+export default class StoredPacket {
+    static admit(request, assistant, assistantRaw) {
+        const packet = StoredPacket.assert({
+            ...request,
+            assistant,
+            assistantRaw: assistantRaw ?? null,
+        }, "admitted packet");
+        if (!StoredPacket.isAdmitted(packet))
+            throw new Error("admitted packet lost its response fields");
+        return packet;
+    }
+    static stringify(packet) {
+        const value = StoredPacket.assert(packet, "packet write");
+        const encoded = JSON.stringify(value);
+        if (encoded === undefined)
+            throw new TypeError("packet write is not JSON-serializable");
+        StoredPacket.parse(encoded, "packet write");
+        return encoded;
+    }
+    static parse(raw, subject = "stored packet") {
+        if (raw === null)
+            return null;
+        let value;
+        try {
+            value = JSON.parse(raw);
+        }
+        catch (cause) {
+            throw new Error(`${subject} contains invalid JSON`, { cause });
+        }
+        try {
+            return StoredPacket.assert(value, subject);
+        }
+        catch (cause) {
+            throw new Error(`${subject} has an invalid packet shape`, { cause });
+        }
+    }
+    static isAdmitted(packet) {
+        return own(packet, "assistant");
+    }
+    static assert(value, subject = "packet") {
+        const packet = StoredPacket.#record(value, subject);
+        StoredPacket.#keys(packet, ["tokens", "sections", "attributions"], ["tokens", "sections", "attributions", "assistant", "assistantRaw"], subject);
+        StoredPacket.#nonnegativeInteger(packet.tokens, `${subject}.tokens`);
+        if (!Array.isArray(packet.sections))
+            throw new TypeError(`${subject}.sections must be an array`);
+        const sections = packet.sections.map((section, index) => StoredPacket.#section(section, `${subject}.sections[${index}]`));
+        const attributions = StoredPacket.#attributions(packet.attributions, `${subject}.attributions`);
+        const hasAssistant = own(packet, "assistant");
+        const hasAssistantRaw = own(packet, "assistantRaw");
+        if (hasAssistant !== hasAssistantRaw) {
+            throw new TypeError(`${subject}.assistant and ${subject}.assistantRaw must be present together`);
+        }
+        if (!hasAssistant)
+            return { tokens: packet.tokens, sections, attributions };
+        if (packet.assistantRaw === undefined)
+            throw new TypeError(`${subject}.assistantRaw must be a JSON value`);
+        return {
+            tokens: packet.tokens,
+            sections,
+            attributions,
+            assistant: StoredPacket.#assistant(packet.assistant, `${subject}.assistant`),
+            assistantRaw: packet.assistantRaw,
+        };
+    }
+    static #assistant(value, subject) {
+        const assistant = StoredPacket.#record(value, subject);
+        StoredPacket.#keys(assistant, ["content", "ops", "reasoning"], ["content", "ops", "reasoning"], subject);
+        if (typeof assistant.content !== "string")
+            throw new TypeError(`${subject}.content must be a string`);
+        if (!Array.isArray(assistant.ops))
+            throw new TypeError(`${subject}.ops must be an array`);
+        if (assistant.reasoning !== null && typeof assistant.reasoning !== "string") {
+            throw new TypeError(`${subject}.reasoning must be a string or null`);
+        }
+        const ops = assistant.ops.map((op, index) => {
+            const result = Validator.validatePlurnkStatement(op);
+            if (!result.valid) {
+                throw new TypeError(`${subject}.ops[${index}] is not a PlurnkStatement: ${JSON.stringify(result.errors)}`);
+            }
+            return op;
+        });
+        return { content: assistant.content, ops, reasoning: assistant.reasoning };
+    }
+    static #section(value, subject) {
+        const section = StoredPacket.#record(value, subject);
+        StoredPacket.#keys(section, ["name", "slot", "header", "content", "tokens"], ["name", "slot", "header", "content", "tokens"], subject);
+        if (typeof section.name !== "string" || section.name.length === 0) {
+            throw new TypeError(`${subject}.name must be a non-empty string`);
+        }
+        if (section.slot !== "system" && section.slot !== "user") {
+            throw new TypeError(`${subject}.slot must be system or user`);
+        }
+        if (section.header !== null && typeof section.header !== "string") {
+            throw new TypeError(`${subject}.header must be a string or null`);
+        }
+        if (typeof section.content !== "string")
+            throw new TypeError(`${subject}.content must be a string`);
+        StoredPacket.#nonnegativeInteger(section.tokens, `${subject}.tokens`);
+        return {
+            name: section.name,
+            slot: section.slot,
+            header: section.header,
+            content: section.content,
+            tokens: section.tokens,
+        };
+    }
+    static #attributions(value, subject) {
+        if (!Array.isArray(value))
+            throw new TypeError(`${subject} must be an array`);
+        const tags = value.map((tag, index) => {
+            if (typeof tag !== "string" || tag.length === 0) {
+                throw new TypeError(`${subject}[${index}] must be a non-empty string`);
+            }
+            return tag;
+        });
+        const canonical = [...new Set(tags)].toSorted();
+        if (canonical.length !== tags.length || canonical.some((tag, index) => tag !== tags[index])) {
+            throw new TypeError(`${subject} must be deduplicated and sorted`);
+        }
+        return tags;
+    }
+    static #record(value, subject) {
+        if (value === null || typeof value !== "object" || Array.isArray(value)) {
+            throw new TypeError(`${subject} must be an object`);
+        }
+        return value;
+    }
+    static #keys(value, required, allowed, subject) {
+        for (const key of required) {
+            if (!own(value, key))
+                throw new TypeError(`${subject}.${key} is required`);
+        }
+        const extras = Object.keys(value).filter((key) => !allowed.includes(key));
+        if (extras.length > 0)
+            throw new TypeError(`${subject} has unknown fields: ${extras.join(", ")}`);
+    }
+    static #nonnegativeInteger(value, subject) {
+        if (!Number.isSafeInteger(value) || value < 0) {
+            throw new TypeError(`${subject} must be a non-negative safe integer`);
+        }
+    }
+}
+//# sourceMappingURL=StoredPacket.js.map

package/dist/core/StoredPacket.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"StoredPacket.js","sourceRoot":"","sources":["../../src/core/StoredPacket.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAwB,MAAM,0BAA0B,CAAC;AA0B3E,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,GAAW,EAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAE/E,wEAAwE;AACxE,mDAAmD;AACnD,MAAM,CAAC,OAAO,OAAO,YAAY;IAC7B,MAAM,CAAC,KAAK,CAAC,OAAsB,EAAE,SAA0B,EAAE,YAAqB;QAClF,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;YAC/B,GAAG,OAAO;YACV,SAAS;YACT,YAAY,EAAE,YAAY,IAAI,IAAI;SACrC,EAAE,iBAAiB,CAAC,CAAC;QACtB,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAClG,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,MAAM,CAAC,SAAS,CAAC,MAAqB;QAClC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;QACxF,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAC5C,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,GAAkB,EAAE,OAAO,GAAG,eAAe;QACtD,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,IAAI,KAAc,CAAC;QACnB,IAAI,CAAC;YACD,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,wBAAwB,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC;YACD,OAAO,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,8BAA8B,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;IACL,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,MAAqB;QACnC,OAAO,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,KAAc,EAAE,OAAO,GAAG,QAAQ;QAC5C,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACpD,YAAY,CAAC,KAAK,CACd,MAAM,EACN,CAAC,QAAQ,EAAE,UAAU,EAAE,cAAc,CAAC,EACtC,CAAC,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,WAAW,EAAE,cAAc,CAAC,EACnE,OAAO,CACV,CAAC;QACF,YAAY,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,CAAC,CAAC;QACrE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,4BAA4B,CAAC,CAAC;QAEjG,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,OAAO,aAAa,KAAK,GAAG,CAAC,CAAC,CAAC;QAC1H,MAAM,YAAY,GAAG,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,OAAO,eAAe,CAAC,CAAC;QAChG,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAC9C,MAAM,eAAe,GAAG,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACpD,IAAI,YAAY,KAAK,eAAe,EAAE,CAAC;YACnC,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,kBAAkB,OAAO,wCAAwC,CAAC,CAAC;QACrG,CAAC;QACD,IAAI,CAAC,YAAY;YAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;QACtF,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,oCAAoC,CAAC,CAAC;QAE3G,OAAO;YACH,MAAM,EAAE,MAAM,CAAC,MAAgB;YAC/B,QAAQ;YACR,YAAY;YACZ,SAAS,EAAE,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,OAAO,YAAY,CAAC;YAC5E,YAAY,EAAE,MAAM,CAAC,YAAY;SACpC,CAAC;IACN,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAc,EAAE,OAAe;QAC7C,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACvD,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;QACzG,IAAI,OAAO,SAAS,CAAC,OAAO,KAAK,QAAQ;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,2BAA2B,CAAC,CAAC;QACtG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,uBAAuB,CAAC,CAAC;QAC1F,IAAI,SAAS,CAAC,SAAS,KAAK,IAAI,IAAI,OAAO,SAAS,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC1E,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,qCAAqC,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YACxC,MAAM,MAAM,GAAG,SAAS,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;gBAChB,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,QAAQ,KAAK,+BAA+B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC/G,CAAC;YACD,OAAO,EAAqB,CAAC;QACjC,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC;IAC/E,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,KAAc,EAAE,OAAe;QAC3C,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACrD,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;QACvI,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,kCAAkC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACvD,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,8BAA8B,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAChE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,kCAAkC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,2BAA2B,CAAC,CAAC;QACpG,YAAY,CAAC,mBAAmB,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,CAAC,CAAC;QACtE,OAAO;YACH,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,MAAM,EAAE,OAAO,CAAC,MAAgB;SACnC,CAAC;IACN,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,KAAc,EAAE,OAAe;QAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,mBAAmB,CAAC,CAAC;QAC9E,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;YAClC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9C,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,IAAI,KAAK,8BAA8B,CAAC,CAAC;YAC3E,CAAC;YACD,OAAO,GAAG,CAAC;QACf,CAAC,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAChD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1F,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,kCAAkC,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,KAAc,EAAE,OAAe;QAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACtE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,oBAAoB,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,KAAgC,CAAC;IAC5C,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,KAA8B,EAAE,QAAkB,EAAE,OAAiB,EAAE,OAAe;QAC/F,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,IAAI,GAAG,cAAc,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,wBAAwB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtG,CAAC;IAED,MAAM,CAAC,mBAAmB,CAAC,KAAc,EAAE,OAAe;QACtD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,sCAAsC,CAAC,CAAC;QAC1E,CAAC;IACL,CAAC;CACJ"}

package/dist/core/StrikeRail.d.ts

@@ -1,4 +1,4 @@
-import type { PlurnkStatement } from "@plurnk/plurnk-grammar";
+import type { PlurnkStatement } from "@plurnk/plurnk-contracts";
 export default class StrikeRail {
     #private;
     static fingerprintTurn(ops: ReadonlyArray<PlurnkStatement>): string;
@@ -13,7 +13,6 @@ export default class StrikeRail {
     assess(loopId: number, turn: {
         fingerprint: string;
         statuses: ReadonlyArray<number>;
-        noOps: boolean;
         budgetStruck: boolean;
         steerStruck: boolean;
         minCycles: number;

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

@@ -1 +1 @@
-{"version":3,"file":"StrikeRail.d.ts","sourceRoot":"","sources":["../../src/core/StrikeRail.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAc,MAAM,wBAAwB,CAAC;AA8E1E,MAAM,CAAC,OAAO,OAAO,UAAU;;IAG3B,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,MAAM,CAElE;IAMD,MAAM,CAAC,WAAW,CACd,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,EAC9B,SAAS,EAAE,MAAM,EACjB,cAAc,EAAE,MAAM,GACvB;QAAE,QAAQ,EAAE,KAAK,CAAA;KAAE,GAAG;QAAE,QAAQ,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAe1E;IAYD,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE7B;IAUD,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE;QACzB,WAAW,EAAE,MAAM,CAAC;QACpB,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QAChC,KAAK,EAAE,OAAO,CAAC;QACf,YAAY,EAAE,OAAO,CAAC;QACtB,WAAW,EAAE,OAAO,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC;QAClB,cAAc,EAAE,MAAM,CAAC;QACvB,UAAU,EAAE,MAAM,CAAC;KACtB,GAAG;QAAE,aAAa,EAAE,OAAO,CAAC;QAAC,gBAAgB,EAAE,OAAO,CAAA;KAAE,CA4BxD;IAED,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAE3B;CACJ"}
+{"version":3,"file":"StrikeRail.d.ts","sourceRoot":"","sources":["../../src/core/StrikeRail.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAc,MAAM,0BAA0B,CAAC;AAqE5E,MAAM,CAAC,OAAO,OAAO,UAAU;;IAG3B,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,MAAM,CAElE;IAKD,MAAM,CAAC,WAAW,CACd,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,EAC9B,SAAS,EAAE,MAAM,EACjB,cAAc,EAAE,MAAM,GACvB;QAAE,QAAQ,EAAE,KAAK,CAAA;KAAE,GAAG;QAAE,QAAQ,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAe1E;IAWD,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE7B;IAID,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE;QACzB,WAAW,EAAE,MAAM,CAAC;QACpB,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QAChC,YAAY,EAAE,OAAO,CAAC;QACtB,WAAW,EAAE,OAAO,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC;QAClB,cAAc,EAAE,MAAM,CAAC;QACvB,UAAU,EAAE,MAAM,CAAC;KACtB,GAAG;QAAE,aAAa,EAAE,OAAO,CAAC;QAAC,gBAAgB,EAAE,OAAO,CAAA;KAAE,CAkBxD;IAED,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAE3B;CACJ"}

package/dist/core/StrikeRail.js

@@ -1,17 +1,13 @@
-// Rail #38: action-entry statuses that DON'T accumulate strikes. Model adapted
-// to a finding (not_found, op_not_supported); no penalty. Rummy parallel:
-// SOFT_FAILURE_OUTCOMES = {"not_found", "unparsed"}.
-// Exploratory misses are not failures: probing a path that doesn't exist (404), a line
+import { renderTarget } from "./plurnk-uri.js";
+// Action-entry statuses that do not accumulate strikes. Exploratory misses are
+// not failures: probing a path that doesn't exist (404), a line
 // range that doesn't exist (416), or a capability a scheme lacks (501) is how discovery
 // works — striking them prices caution into the motions we most want (range-reads ARE
 // the surgical behavior under budget pressure). One simple set, evenly applied.
-// 409 (premature-terminate refusal) is SOFT here: whether it strikes is decided by steerStruck
-// (Engine sets it true for a stream/child refusal — discarding live work IS serious — and false
-// for a retrievals-only refusal, which teaches without striking, §send-premature-terminate/#346).
-// Counting the raw 409 status ALSO would double-strike the stream/child case and WRONGLY strike
-// the retrieval-only case (a cloud atomic-turn model repeating read+conclude struck out 500 on
-// firefast despite the ruling). The cycle detector remains the backstop for a genuinely-spinning
-// model (508 loop-detected — the honest signal, not a 500 failure).
+// 409 is SOFT here because Engine accounts for a refused final disposition
+// through steerStruck ({§engine-rails}). Counting that raw status as well would
+// double-count one ruling; other 409 outcomes remain soft. The cycle detector
+// remains an independent backstop.
 const SOFT_FAILURE_STATUSES = new Set([404, 409, 416, 501]);
 // Per-op fingerprint: op verb + target URI, plus an op-specific discriminator
 // where the activity isn't fully captured by target alone:
@@ -58,31 +54,25 @@ const fingerprintOp = (stmt) => {
         return `${stmt.op}|(no-path)`;
     }
     const base = path.kind === "url"
-        ? `${stmt.op}|${path.scheme}://${path.pathname}`
+        ? `${stmt.op}|${renderTarget(path)}`
         : `${stmt.op}|local:${path.raw}`;
     if (stmt.op === "FIND" || stmt.op === "READ" || stmt.op === "OPEN" || stmt.op === "FOLD") {
         return `${base}${matcherDiscriminator()}`;
     }
     return base;
 };
-// Rails #38 (strikes) + #39 (cycle detection): the per-loop failure-streak
-// accounting that decides abandonment. Strike accounting is engine-internal
-// bookkeeping. Per rummy precedent (plugins/error/error.js#verdict) and SPEC
-// §telemetry policy: model sees errors that happened (parse_error,
-// action_failure), never the engine's accounting about them (strike counts,
-// cycle detection, sudden-death threshold). Surfacing internal state to the
-// model creates a gamification surface — model optimizes for engine metrics
-// rather than task progress.
+// {§engine-rails} — one per-loop rail owns the consecutive strike streak and
+// cycle history. The model sees admitted operation and engine-rail failures,
+// never this private accounting.
 export default class StrikeRail {
     // Per-turn fingerprint: sorted set of per-op fingerprints, joined. Order
     // within a turn doesn't matter — we want the SET of activities.
     static fingerprintTurn(ops) {
         return ops.map(fingerprintOp).toSorted().join(",");
     }
-    // Rail #39 cycle detector. For each candidate period k in [1, maxCyclePeriod],
+    // {§engine-rails} cycle detector. For each candidate period k in [1, maxCyclePeriod],
     // check whether the last k*minCycles entries form minCycles repetitions of the
-    // same length-k pattern. O(maxCyclePeriod × minCycles × max k) ≈ tiny. Rummy
-    // parallel: src/plugins/error/error.js detectCycle.
+    // same length-k pattern. O(maxCyclePeriod × minCycles × max k) ≈ tiny.
     static detectCycle(history, minCycles, maxCyclePeriod) {
         for (let k = 1; k <= maxCyclePeriod; k++) {
             const needed = k * minCycles;
@@ -104,47 +94,28 @@ export default class StrikeRail {
         }
         return { detected: false };
     }
-    // Rail #38 strike state per loop. `streak` = consecutive struck turns;
-    // resets on a clean turn. `turnErrors` is bumped by per-turn rails (cycle
-    // detection #39, grinder, steer) — read and reset at end of each turn.
-    // `history` holds per-turn fingerprints for rail #39 cycle detection.
+    // {§engine-rails} strike state per loop. `streak` resets on a clean turn;
+    // `history` holds consecutive turn fingerprints for cycle detection.
     #state = new Map();
     // The loop's CURRENT strike streak — the same figure the 500-threshold compares. Rides
-    // generate({strikes}) as first-party outbound metadata (Plurnk-Strikes, #313): the hosted
-    // router's escalation signal. NEVER model-facing (§engine-rails — a surfaced count is a
+    // generate({strikes}) as first-party outbound metadata (Plurnk-Strikes,
+    // {§strikes-first-party-metadata}): the hosted
+    // router's escalation signal. NEVER model-facing ({§engine-rails} — a surfaced count is a
     // metric to game); the packet does not carry it.
     streak(loopId) {
         return this.#state.get(loopId)?.streak ?? 0;
     }
-    // Per-turn strike accounting, run by runLoop after every turn. Three
-    // sources strike a turn:
-    //  1. recordedFailed — any action-entry at hard failure status
-    //     (>= 400 and not in SOFT_FAILURE_STATUSES).
-    //  2. noOps — the turn emitted no ops at all (per #41).
-    //  3. turnErrors — bumped by per-turn rails (#39 cycle, grinder, steer).
-    // Struck → streak++; clean → streak = 0. Threshold → thresholdCrossed,
-    // and runLoop owns the abandonment.
+    // Per-turn strike accounting, run by runLoop after every admitted turn.
+    // {§engine-rails} owns the complete source list and threshold semantics.
     assess(loopId, turn) {
-        // Rail #39: cycle detection. Push this turn's fingerprint to
-        // history, scan for repetition patterns. Detection bumps
-        // turnErrors so the strike system handles abandonment
-        // naturally — same internal-only role rummy gave it
-        // (plugins/error/error.js#verdict). Intentionally NOT a
-        // model-facing telemetry kind: model sees the strike pile-up
-        // (which IS the actionable signal); cycle is the engine's
-        // reason for treating the turn as a failure, not its own alert.
-        const state = this.#state.get(loopId) ?? { streak: 0, turnErrors: 0, history: [] };
+        // {§engine-rails}: cycle detection. Push this turn's fingerprint to
+        // history and scan for repetition patterns. Detection is intentionally
+        // not a model-facing notice; it is private engine accounting.
+        const state = this.#state.get(loopId) ?? { streak: 0, history: [] };
         state.history.push(turn.fingerprint);
         const cycle = StrikeRail.detectCycle(state.history, turn.minCycles, turn.maxCyclePeriod);
-        if (cycle.detected)
-            state.turnErrors++;
-        // SPEC §grinder: a non-soft grinder fire counts toward the strike streak.
-        if (turn.budgetStruck)
-            state.turnErrors++; // a grinder fire bumps the strike streak — §grinder-strike-coupling
-        if (turn.steerStruck)
-            state.turnErrors++; // idle / premature-terminate steer struck — §send the terminal contract
         const recordedFailed = turn.statuses.some((s) => s >= 400 && !SOFT_FAILURE_STATUSES.has(s));
-        const struck = turn.noOps || recordedFailed || state.turnErrors > 0;
+        const struck = recordedFailed || turn.budgetStruck || turn.steerStruck || cycle.detected;
         let thresholdCrossed = false;
         if (struck) {
             state.streak++;
@@ -154,7 +125,6 @@ export default class StrikeRail {
         else {
             state.streak = 0;
         }
-        state.turnErrors = 0;
         this.#state.set(loopId, state);
         return { cycleDetected: cycle.detected, thresholdCrossed };
     }

package/dist/core/StrikeRail.js.map

@@ -1 +1 @@
-{"version":3,"file":"StrikeRail.js","sourceRoot":"","sources":["../../src/core/StrikeRail.ts"],"names":[],"mappings":"AAEA,+EAA+E;AAC/E,0EAA0E;AAC1E,qDAAqD;AACrD,uFAAuF;AACvF,wFAAwF;AACxF,sFAAsF;AACtF,gFAAgF;AAChF,+FAA+F;AAC/F,gGAAgG;AAChG,kGAAkG;AAClG,gGAAgG;AAChG,+FAA+F;AAC/F,iGAAiG;AACjG,oEAAoE;AACpE,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAEjF,8EAA8E;AAC9E,2DAA2D;AAC3D,6EAA6E;AAC7E,2EAA2E;AAC3E,6CAA6C;AAC7C,wEAAwE;AACxE,yEAAyE;AACzE,uDAAuD;AACvD,MAAM,aAAa,GAAG,CAAC,IAAqB,EAAU,EAAE;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,MAAM,oBAAoB,GAAG,GAAW,EAAE;QACtC,kEAAkE;QAClE,mDAAmD;QACnD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAI,IAAqD,CAAC,IAAI,CAAC;QACzE,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5E,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,EAAE,GAAI,IAA2C,CAAC,UAAU,CAAC;QACnE,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3E,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,CAAC,CAAC;IACF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAChB,8DAA8D;QAC9D,8DAA8D;QAC9D,6BAA6B;QAC7B,6DAA6D;QAC7D,iEAAiE;QACjE,6DAA6D;QAC7D,iBAAiB;QACjB,gEAAgE;QAChE,0DAA0D;QAC1D,+DAA+D;QAC/D,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5D,OAAO,iBAAiB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAClF,CAAC;QACD,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACrB,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,yBAAyB,MAAM,EAAE,CAAC;QAC7C,CAAC;QACD,OAAO,GAAG,IAAI,CAAC,EAAE,YAAY,CAAC;IAClC,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK;QAC5B,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,MAAM,IAAI,CAAC,QAAQ,EAAE;QAChD,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,GAAG,EAAE,CAAC;IACrC,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QACvF,OAAO,GAAG,IAAI,GAAG,oBAAoB,EAAE,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,2EAA2E;AAC3E,4EAA4E;AAC5E,6EAA6E;AAC7E,mEAAmE;AACnE,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAC5E,6BAA6B;AAC7B,MAAM,CAAC,OAAO,OAAO,UAAU;IAC3B,yEAAyE;IACzE,gEAAgE;IAChE,MAAM,CAAC,eAAe,CAAC,GAAmC;QACtD,OAAO,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC;IAED,+EAA+E;IAC/E,+EAA+E;IAC/E,6EAA6E;IAC7E,oDAAoD;IACpD,MAAM,CAAC,WAAW,CACd,OAA8B,EAC9B,SAAiB,EACjB,cAAsB;QAEtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,cAAc,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC;YAC7B,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM;gBAAE,SAAS;YACtC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;YACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/B,IAAI,KAAK,GAAG,IAAI,CAAC;YACjB,KAAK,EAAE,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC;gBAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzB,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;wBAAC,KAAK,GAAG,KAAK,CAAC;wBAAC,MAAM,KAAK,CAAC;oBAAC,CAAC;gBACvE,CAAC;YACL,CAAC;YACD,IAAI,KAAK;gBAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACvE,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC/B,CAAC;IAED,uEAAuE;IACvE,0EAA0E;IAC1E,uEAAuE;IACvE,sEAAsE;IACtE,MAAM,GAAG,IAAI,GAAG,EAAqE,CAAC;IAEtF,uFAAuF;IACvF,0FAA0F;IAC1F,wFAAwF;IACxF,iDAAiD;IACjD,MAAM,CAAC,MAAc;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,qEAAqE;IACrE,yBAAyB;IACzB,+DAA+D;IAC/D,iDAAiD;IACjD,wDAAwD;IACxD,yEAAyE;IACzE,uEAAuE;IACvE,oCAAoC;IACpC,MAAM,CAAC,MAAc,EAAE,IAStB;QACG,6DAA6D;QAC7D,yDAAyD;QACzD,sDAAsD;QACtD,oDAAoD;QACpD,wDAAwD;QACxD,6DAA6D;QAC7D,0DAA0D;QAC1D,gEAAgE;QAChE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACnF,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QACzF,IAAI,KAAK,CAAC,QAAQ;YAAE,KAAK,CAAC,UAAU,EAAE,CAAC;QACvC,0EAA0E;QAC1E,IAAI,IAAI,CAAC,YAAY;YAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,oEAAoE;QAC/G,IAAI,IAAI,CAAC,WAAW;YAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,wEAAwE;QAClH,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,IAAI,cAAc,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC;QACpE,IAAI,gBAAgB,GAAG,KAAK,CAAC;QAC7B,IAAI,MAAM,EAAE,CAAC;YACT,KAAK,CAAC,MAAM,EAAE,CAAC;YACf,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU;gBAAE,gBAAgB,GAAG,IAAI,CAAC;QACjE,CAAC;aAAM,CAAC;YACJ,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC;QACD,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC/B,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC/D,CAAC;IAED,MAAM,CAAC,MAAc;QACjB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;CACJ"}
+{"version":3,"file":"StrikeRail.js","sourceRoot":"","sources":["../../src/core/StrikeRail.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,+EAA+E;AAC/E,gEAAgE;AAChE,wFAAwF;AACxF,sFAAsF;AACtF,gFAAgF;AAChF,2EAA2E;AAC3E,gFAAgF;AAChF,8EAA8E;AAC9E,mCAAmC;AACnC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAEjF,8EAA8E;AAC9E,2DAA2D;AAC3D,6EAA6E;AAC7E,2EAA2E;AAC3E,6CAA6C;AAC7C,wEAAwE;AACxE,yEAAyE;AACzE,uDAAuD;AACvD,MAAM,aAAa,GAAG,CAAC,IAAqB,EAAU,EAAE;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,MAAM,oBAAoB,GAAG,GAAW,EAAE;QACtC,kEAAkE;QAClE,mDAAmD;QACnD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAI,IAAqD,CAAC,IAAI,CAAC;QACzE,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5E,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,EAAE,GAAI,IAA2C,CAAC,UAAU,CAAC;QACnE,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3E,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,CAAC,CAAC;IACF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAChB,8DAA8D;QAC9D,8DAA8D;QAC9D,6BAA6B;QAC7B,6DAA6D;QAC7D,iEAAiE;QACjE,6DAA6D;QAC7D,iBAAiB;QACjB,gEAAgE;QAChE,0DAA0D;QAC1D,+DAA+D;QAC/D,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5D,OAAO,iBAAiB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAClF,CAAC;QACD,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACrB,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,yBAAyB,MAAM,EAAE,CAAC;QAC7C,CAAC;QACD,OAAO,GAAG,IAAI,CAAC,EAAE,YAAY,CAAC;IAClC,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK;QAC5B,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE;QACpC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,GAAG,EAAE,CAAC;IACrC,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QACvF,OAAO,GAAG,IAAI,GAAG,oBAAoB,EAAE,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,6EAA6E;AAC7E,6EAA6E;AAC7E,iCAAiC;AACjC,MAAM,CAAC,OAAO,OAAO,UAAU;IAC3B,yEAAyE;IACzE,gEAAgE;IAChE,MAAM,CAAC,eAAe,CAAC,GAAmC;QACtD,OAAO,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC;IAED,sFAAsF;IACtF,+EAA+E;IAC/E,uEAAuE;IACvE,MAAM,CAAC,WAAW,CACd,OAA8B,EAC9B,SAAiB,EACjB,cAAsB;QAEtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,cAAc,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC;YAC7B,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM;gBAAE,SAAS;YACtC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;YACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/B,IAAI,KAAK,GAAG,IAAI,CAAC;YACjB,KAAK,EAAE,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC;gBAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzB,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;wBAAC,KAAK,GAAG,KAAK,CAAC;wBAAC,MAAM,KAAK,CAAC;oBAAC,CAAC;gBACvE,CAAC;YACL,CAAC;YACD,IAAI,KAAK;gBAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACvE,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC/B,CAAC;IAED,0EAA0E;IAC1E,qEAAqE;IACrE,MAAM,GAAG,IAAI,GAAG,EAAiD,CAAC;IAElE,uFAAuF;IACvF,wEAAwE;IACxE,+CAA+C;IAC/C,0FAA0F;IAC1F,iDAAiD;IACjD,MAAM,CAAC,MAAc;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,wEAAwE;IACxE,yEAAyE;IACzE,MAAM,CAAC,MAAc,EAAE,IAQtB;QACG,oEAAoE;QACpE,uEAAuE;QACvE,8DAA8D;QAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACpE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QACzF,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,cAAc,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC,QAAQ,CAAC;QACzF,IAAI,gBAAgB,GAAG,KAAK,CAAC;QAC7B,IAAI,MAAM,EAAE,CAAC;YACT,KAAK,CAAC,MAAM,EAAE,CAAC;YACf,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU;gBAAE,gBAAgB,GAAG,IAAI,CAAC;QACjE,CAAC;aAAM,CAAC;YACJ,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC/B,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC/D,CAAC;IAED,MAAM,CAAC,MAAc;QACjB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;CACJ"}

package/dist/core/WorkerControlAddress.d.ts

@@ -0,0 +1,17 @@
+import type { ParsedPath } from "@plurnk/plurnk-contracts";
+import type { SchemeResultBase } from "@plurnk/plurnk-schemes";
+type WorkerControlOperation = "WORK" | "FORK" | "SEND" | "READ" | "KILL";
+type WorkerControlAddressResolution = {
+    readonly ok: true;
+    readonly authority: string;
+} | {
+    readonly ok: false;
+    readonly result: SchemeResultBase;
+};
+export default class WorkerControlAddress {
+    #private;
+    static render(authority: string): string;
+    static resolve(target: ParsedPath | null, operation: WorkerControlOperation): WorkerControlAddressResolution;
+}
+export {};
+//# sourceMappingURL=WorkerControlAddress.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"WorkerControlAddress.d.ts","sourceRoot":"","sources":["../../src/core/WorkerControlAddress.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG/D,KAAK,sBAAsB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAEzE,KAAK,8BAA8B,GAC7B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAIhE,MAAM,CAAC,OAAO,OAAO,oBAAoB;;IACrC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAEvC;IAED,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,EAAE,SAAS,EAAE,sBAAsB,GAAG,8BAA8B,CAkB3G;CAuBJ"}

package/dist/core/WorkerControlAddress.js

@@ -0,0 +1,44 @@
+import Results from "./results.js";
+// {§worker-control-addressing} Generic URI parsing remains permissive, but a
+// worker-as-actor address is exactly an authority with no other URI component.
+export default class WorkerControlAddress {
+    static render(authority) {
+        return `worker://${authority}`;
+    }
+    static resolve(target, operation) {
+        const authority = WorkerControlAddress.#authorityOf(target);
+        if (authority !== null)
+            return { ok: true, authority };
+        return {
+            ok: false,
+            result: Results.failure("scheme:worker", "control-address-invalid", 400, `${operation} requires an authority-only worker:// control address.`, {}, {
+                operation,
+                recovery: "Provide one worker authority and remove every other URI component.",
+                retryable: false,
+            }),
+        };
+    }
+    static #authorityOf(target) {
+        if (target === null || target.kind !== "url" || target.scheme !== "worker")
+            return null;
+        const authority = target.hostname;
+        if (authority === null || authority.length === 0)
+            return null;
+        if (target.username !== null
+            || target.password !== null
+            || target.port !== null
+            || target.pathname !== ""
+            || target.query !== null
+            || target.fragment !== null
+            || target.headers !== undefined)
+            return null;
+        // Parsed fields cannot distinguish an absent empty fragment from `#`,
+        // and WHATWG may normalize dot paths. The preserved spelling closes
+        // both gaps without constraining the generic parser.
+        const delimiter = target.raw.indexOf("://");
+        if (delimiter === -1 || target.raw.slice(0, delimiter).toLowerCase() !== "worker")
+            return null;
+        return target.raw.slice(delimiter + 3) === authority ? authority : null;
+    }
+}
+//# sourceMappingURL=WorkerControlAddress.js.map

package/dist/core/WorkerControlAddress.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"WorkerControlAddress.js","sourceRoot":"","sources":["../../src/core/WorkerControlAddress.ts"],"names":[],"mappings":"AAEA,OAAO,OAAO,MAAM,cAAc,CAAC;AAQnC,6EAA6E;AAC7E,+EAA+E;AAC/E,MAAM,CAAC,OAAO,OAAO,oBAAoB;IACrC,MAAM,CAAC,MAAM,CAAC,SAAiB;QAC3B,OAAO,YAAY,SAAS,EAAE,CAAC;IACnC,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,MAAyB,EAAE,SAAiC;QACvE,MAAM,SAAS,GAAG,oBAAoB,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC5D,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACvD,OAAO;YACH,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,OAAO,CAAC,OAAO,CACnB,eAAe,EACf,yBAAyB,EACzB,GAAG,EACH,GAAG,SAAS,wDAAwD,EACpE,EAAE,EACF;gBACI,SAAS;gBACT,QAAQ,EAAE,oEAAoE;gBAC9E,SAAS,EAAE,KAAK;aACnB,CACJ;SACJ,CAAC;IACN,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,MAAyB;QACzC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACxF,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;QAClC,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9D,IACI,MAAM,CAAC,QAAQ,KAAK,IAAI;eACrB,MAAM,CAAC,QAAQ,KAAK,IAAI;eACxB,MAAM,CAAC,IAAI,KAAK,IAAI;eACpB,MAAM,CAAC,QAAQ,KAAK,EAAE;eACtB,MAAM,CAAC,KAAK,KAAK,IAAI;eACrB,MAAM,CAAC,QAAQ,KAAK,IAAI;eACxB,MAAM,CAAC,OAAO,KAAK,SAAS;YACjC,OAAO,IAAI,CAAC;QAEd,sEAAsE;QACtE,oEAAoE;QACpE,qDAAqD;QACrD,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,SAAS,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,WAAW,EAAE,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC/F,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,CAAC;CACJ"}

package/dist/core/WorkerName.d.ts

@@ -0,0 +1,31 @@
+import type { Db } from "./Db.ts";
+export type WorkerNameRejection = "invalid" | "reserved";
+export type WorkerOrigin = "model" | "client" | "plurnk";
+export interface WorkerNameClaim {
+    id: number;
+    name: string;
+}
+interface AutoWorkerOptions {
+    workspaceId: number;
+    prefix: string;
+    qualifier?: string;
+    parentWorkerId?: number;
+    origin: WorkerOrigin;
+}
+export declare class WorkerNameError extends Error {
+    readonly workerName: string;
+    readonly rejection: WorkerNameRejection;
+    readonly code: "name-invalid" | "name-reserved";
+    readonly recovery: string;
+    constructor(workerName: string, rejection: WorkerNameRejection);
+}
+export default class WorkerName {
+    #private;
+    static rejection(workerName: string): WorkerNameRejection | null;
+    static assert(workerName: string): string;
+    static ordinal(prefix: string, ordinal: number, qualifier?: string): string;
+    static claimAuto(db: Db, options: AutoWorkerOptions): Promise<WorkerNameClaim>;
+    static ensureDefaultConversation(db: Db, options: Omit<AutoWorkerOptions, "parentWorkerId" | "qualifier" | "origin">): Promise<WorkerNameClaim>;
+}
+export {};
+//# sourceMappingURL=WorkerName.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"WorkerName.d.ts","sourceRoot":"","sources":["../../src/core/WorkerName.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAElC,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,UAAU,CAAC;AACzD,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAEzD,MAAM,WAAW,eAAe;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,iBAAiB;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,YAAY,CAAC;CACxB;AAED,qBAAa,eAAgB,SAAQ,KAAK;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,cAAc,GAAG,eAAe,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B,YAAY,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,mBAAmB,EAY7D;CACJ;AAID,MAAM,CAAC,OAAO,OAAO,UAAU;;IAG3B,MAAM,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,mBAAmB,GAAG,IAAI,CAG/D;IAED,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAIxC;IAID,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,MAAM,CAU1E;IA4CD,OAAa,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,eAAe,CAAC,CAEnF;IAID,OAAa,yBAAyB,CAClC,EAAE,EAAE,EAAE,EACN,OAAO,EAAE,IAAI,CAAC,iBAAiB,EAAE,gBAAgB,GAAG,WAAW,GAAG,QAAQ,CAAC,GAC5E,OAAO,CAAC,eAAe,CAAC,CAI1B;CACJ"}

package/dist/core/WorkerName.js

@@ -0,0 +1,95 @@
+import { RESERVED_AUTHORITIES, WORKER_NAME } from "@plurnk/plurnk-contracts";
+export class WorkerNameError extends Error {
+    workerName;
+    rejection;
+    code;
+    recovery;
+    constructor(workerName, rejection) {
+        const reserved = rejection === "reserved";
+        super(reserved
+            ? `Worker name '${workerName}' is reserved.`
+            : `Worker name '${workerName}' must match the lowercase DNS-label contract.`);
+        this.name = "WorkerNameError";
+        this.workerName = workerName;
+        this.rejection = rejection;
+        this.code = reserved ? "name-reserved" : "name-invalid";
+        this.recovery = reserved
+            ? "Choose another worker name."
+            : "Choose a lowercase DNS-label worker name.";
+    }
+}
+// {§worker-name-minting} Model/client minting only; internal reserved actors and
+// generic URI ingestion have their own contracts.
+export default class WorkerName {
+    static #RESERVED = new Set([...RESERVED_AUTHORITIES, "~"]);
+    static rejection(workerName) {
+        if (WorkerName.#RESERVED.has(workerName.toLowerCase()))
+            return "reserved";
+        return WORKER_NAME.test(workerName) ? null : "invalid";
+    }
+    static assert(workerName) {
+        const rejection = WorkerName.rejection(workerName);
+        if (rejection !== null)
+            throw new WorkerNameError(workerName, rejection);
+        return workerName;
+    }
+    // Preserve the semantic suffix and shorten only the inherited prefix until
+    // the contracts predicate admits the generated ordinal. {§worker-auto-name}
+    static ordinal(prefix, ordinal, qualifier) {
+        if (!Number.isSafeInteger(ordinal) || ordinal < 1) {
+            throw new Error(`Worker ordinal must be a positive safe integer; received ${ordinal}.`);
+        }
+        const suffix = `${qualifier === undefined ? "" : `-${qualifier}`}-${ordinal}`;
+        for (let length = prefix.length; length > 0; length--) {
+            const candidate = `${prefix.slice(0, length)}${suffix}`;
+            if (WorkerName.rejection(candidate) === null)
+                return candidate;
+        }
+        throw new Error(`Worker ordinal suffix '${suffix}' leaves no mintable name prefix.`);
+    }
+    static async #defaultConversation(db, workspaceId) {
+        return await db.worker_name_get_default_conversation.get({
+            workspace_id: workspaceId,
+        });
+    }
+    static async #claimAuto(db, options, defaultConversation) {
+        const { workspaceId, prefix, qualifier, parentWorkerId, origin } = options;
+        const namePrefix = `${prefix}${qualifier === undefined ? "" : `-${qualifier}`}-%`;
+        const count = await db.worker_name_count.get({
+            workspace_id: workspaceId,
+            name_prefix: namePrefix,
+        });
+        let ordinal = (count?.n ?? 0) + 1;
+        while (true) {
+            const claimed = await db.worker_name_claim.get({
+                workspace_id: workspaceId,
+                name: WorkerName.ordinal(prefix, ordinal, qualifier),
+                parent_worker_id: parentWorkerId ?? null,
+                origin,
+                default_conversation: defaultConversation ? 1 : 0,
+            });
+            if (claimed !== undefined)
+                return claimed;
+            if (defaultConversation) {
+                const existing = await WorkerName.#defaultConversation(db, workspaceId);
+                if (existing !== undefined)
+                    return existing;
+            }
+            ordinal++;
+        }
+    }
+    // A generated name is not minted until this atomic claim creates its worker.
+    // Competing allocators retry only after losing the claim. {§worker-auto-name}
+    static async claimAuto(db, options) {
+        return await WorkerName.#claimAuto(db, options, false);
+    }
+    // The stable default conversation is both an auto-name allocation and the
+    // workspace's one durable default role; both predicates share one write.
+    static async ensureDefaultConversation(db, options) {
+        const existing = await WorkerName.#defaultConversation(db, options.workspaceId);
+        if (existing !== undefined)
+            return existing;
+        return await WorkerName.#claimAuto(db, { ...options, origin: "model" }, true);
+    }
+}
+//# sourceMappingURL=WorkerName.js.map

package/dist/core/WorkerName.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"WorkerName.js","sourceRoot":"","sources":["../../src/core/WorkerName.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAmB7E,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAC7B,UAAU,CAAS;IACnB,SAAS,CAAsB;IAC/B,IAAI,CAAmC;IACvC,QAAQ,CAAS;IAE1B,YAAY,UAAkB,EAAE,SAA8B;QAC1D,MAAM,QAAQ,GAAG,SAAS,KAAK,UAAU,CAAC;QAC1C,KAAK,CAAC,QAAQ;YACV,CAAC,CAAC,gBAAgB,UAAU,gBAAgB;YAC5C,CAAC,CAAC,gBAAgB,UAAU,gDAAgD,CAAC,CAAC;QAClF,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;QAC9B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC;QACxD,IAAI,CAAC,QAAQ,GAAG,QAAQ;YACpB,CAAC,CAAC,6BAA6B;YAC/B,CAAC,CAAC,2CAA2C,CAAC;IACtD,CAAC;CACJ;AAED,iFAAiF;AACjF,kDAAkD;AAClD,MAAM,CAAC,OAAO,OAAO,UAAU;IAC3B,MAAM,CAAU,SAAS,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,oBAAoB,EAAE,GAAG,CAAC,CAAC,CAAC;IAE5E,MAAM,CAAC,SAAS,CAAC,UAAkB;QAC/B,IAAI,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAAE,OAAO,UAAU,CAAC;QAC1E,OAAO,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,UAAkB;QAC5B,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,SAAS,KAAK,IAAI;YAAE,MAAM,IAAI,eAAe,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACzE,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,CAAC,OAAO,CAAC,MAAc,EAAE,OAAe,EAAE,SAAkB;QAC9D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,4DAA4D,OAAO,GAAG,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,SAAS,EAAE,IAAI,OAAO,EAAE,CAAC;QAC9E,KAAK,IAAI,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;YACpD,MAAM,SAAS,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;YACxD,IAAI,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,IAAI;gBAAE,OAAO,SAAS,CAAC;QACnE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,mCAAmC,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAC7B,EAAM,EACN,WAAmB;QAEnB,OAAO,MAAM,EAAE,CAAC,oCAAoC,CAAC,GAAG,CAAkB;YACtE,YAAY,EAAE,WAAW;SAC5B,CAAC,CAAC;IACP,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,UAAU,CACnB,EAAM,EACN,OAA0B,EAC1B,mBAA4B;QAE5B,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAC3E,MAAM,UAAU,GAAG,GAAG,MAAM,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,SAAS,EAAE,IAAI,CAAC;QAClF,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAgB;YACxD,YAAY,EAAE,WAAW;YACzB,WAAW,EAAE,UAAU;SAC1B,CAAC,CAAC;QACH,IAAI,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAElC,OAAO,IAAI,EAAE,CAAC;YACV,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAkB;gBAC5D,YAAY,EAAE,WAAW;gBACzB,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC;gBACpD,gBAAgB,EAAE,cAAc,IAAI,IAAI;gBACxC,MAAM;gBACN,oBAAoB,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACpD,CAAC,CAAC;YACH,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;YAE1C,IAAI,mBAAmB,EAAE,CAAC;gBACtB,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,oBAAoB,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;gBACxE,IAAI,QAAQ,KAAK,SAAS;oBAAE,OAAO,QAAQ,CAAC;YAChD,CAAC;YACD,OAAO,EAAE,CAAC;QACd,CAAC;IACL,CAAC;IAED,6EAA6E;IAC7E,8EAA8E;IAC9E,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAM,EAAE,OAA0B;QACrD,OAAO,MAAM,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC3D,CAAC;IAED,0EAA0E;IAC1E,yEAAyE;IACzE,MAAM,CAAC,KAAK,CAAC,yBAAyB,CAClC,EAAM,EACN,OAA2E;QAE3E,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,oBAAoB,CAAC,EAAE,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;QAChF,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,OAAO,MAAM,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;IAClF,CAAC;CACJ"}

package/dist/core/WorkerName.sql

@@ -0,0 +1,36 @@
+-- Automatic worker allocation. SPEC {§worker-auto-name}.
+
+-- PREP: worker_name_count
+-- A starting hint only. The atomic claim below remains authoritative because
+-- explicit names and concurrent allocators can occupy any candidate.
+SELECT COUNT(*) AS n
+FROM workers
+WHERE workspace_id = $workspace_id AND name LIKE $name_prefix;
+
+-- PREP: worker_name_claim
+-- Claiming the literal and creating its worker are one SQLite write statement.
+-- The default-conversation predicate is enabled only by
+-- ensureDefaultConversation; ordinary allocation passes 0 and competes solely
+-- on the generated literal.
+INSERT INTO workers (workspace_id, name, parent_worker_id, origin, default_conversation)
+SELECT $workspace_id, $name, $parent_worker_id, $origin, $default_conversation
+WHERE NOT EXISTS (
+    SELECT 1
+    FROM workers
+    WHERE workspace_id = $workspace_id AND name = $name
+)
+AND (
+    $default_conversation = 0 OR NOT EXISTS (
+        SELECT 1
+        FROM workers
+        WHERE workspace_id = $workspace_id
+          AND default_conversation = 1
+    )
+)
+RETURNING id, name;
+
+-- PREP: worker_name_get_default_conversation
+SELECT id, name
+FROM workers
+WHERE workspace_id = $workspace_id
+  AND default_conversation = 1;

package/dist/core/WorkspaceGate.d.ts

@@ -0,0 +1,14 @@
+type Release = () => void;
+export interface WorkspaceExclusive {
+    readonly acquired: Promise<void>;
+    setRoot(workerId: number | null): void;
+    release(): void;
+}
+export default class WorkspaceGate {
+    #private;
+    constructor(isDescendant: (workerId: number, rootWorkerId: number) => Promise<boolean>);
+    acquireTurn(workspaceId: number, workerId: number): Promise<Release>;
+    requestExclusive(workspaceId: number): WorkspaceExclusive;
+}
+export {};
+//# sourceMappingURL=WorkspaceGate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"WorkspaceGate.d.ts","sourceRoot":"","sources":["../../src/core/WorkspaceGate.ts"],"names":[],"mappings":"AAAA,KAAK,OAAO,GAAG,MAAM,IAAI,CAAC;AAuB1B,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;IACvC,OAAO,IAAI,IAAI,CAAC;CACnB;AAMD,MAAM,CAAC,OAAO,OAAO,aAAa;;IAI9B,YAAY,YAAY,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,EAErF;IAED,WAAW,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAMnE;IAED,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,kBAAkB,CA8CxD;CAqFJ"}