@earendil-works/chord 1.4.0 → 1.5.0

package/dist/next/link/part.js

@@ -0,0 +1,164 @@
+// Parts on links (R1, R2, Q2, §22): a value as it crosses a link (JSON text at its origin, its bytes once received, or
+// deflated by its origin), the size limits per part, compression at the origin, and opening a part where it is owned:
+// its size checked before anything is parsed or inflated, a deflated part inflated within the decoded limit.
+import { ChordError } from "../data/index.js";
+/**
+ * A JSON part deflated (raw deflate) by its origin. A host without a synchronous compressor inflates it before its
+ * owner handles the message (`inflateAsync`) and keeps the outcome here for the owner to open.
+ */
+export class DeflatedPart {
+    bytes;
+    /** The asynchronous inflate's outcome; `undefined` until one ran. */
+    inflated;
+    constructor(bytes) {
+        this.bytes = bytes;
+    }
+}
+const MiB = 1024 * 1024;
+/** The limits of untrusted links unless set (Q2); trusted links (IPC) have none. */
+const UNTRUSTED = { part: 16 * MiB, decoded: 64 * MiB };
+const NONE = { part: Number.POSITIVE_INFINITY, decoded: Number.POSITIVE_INFINITY };
+/** The limits of a link: the ones set, the defaults of its trust for the others. */
+export function linkLimits(trusted, limits = {}) {
+    const defaults = trusted ? NONE : UNTRUSTED;
+    return { part: limits.part ?? defaults.part, decoded: limits.decoded ?? defaults.decoded };
+}
+/** JSON parts above this many UTF-8 bytes are compressed at their origin (a protocol constant). */
+export const COMPRESS_ABOVE = 16 * 1024;
+const UTF8 = new TextEncoder();
+/**
+ * A JSON part at its origin: deflated when the host compresses, its UTF-8 bytes are above `COMPRESS_ABOVE` and
+ * deflating made it smaller; otherwise the text, or its bytes once they were encoded (never encoded twice). Counts one
+ * deflate (`chord.link.deflates`).
+ */
+export function originPart(json, compression, context) {
+    // A UTF-16 unit is at most three UTF-8 bytes: a text this short is within the threshold without encoding it.
+    if (compression === undefined || json.length * 3 <= COMPRESS_ABOVE)
+        return json;
+    const bytes = UTF8.encode(json);
+    if (bytes.byteLength <= COMPRESS_ABOVE)
+        return bytes;
+    context.telemetry.metrics?.counter("chord.link.deflates").add(1);
+    const deflated = compression.deflate(bytes);
+    return deflated.byteLength < bytes.byteLength ? new DeflatedPart(deflated) : bytes;
+}
+/**
+ * The `too_large/part` error of a part whose size on the wire (its UTF-8 bytes; a deflated part's deflated bytes) is
+ * above `limit`; `undefined` within it. Nothing is parsed or inflated.
+ */
+export function oversized(part, limit) {
+    if (limit === Number.POSITIVE_INFINITY)
+        return undefined;
+    const size = sizeOf(part);
+    return size > limit ? tooLarge(size, limit, "wire") : undefined;
+}
+/**
+ * The JSON of a part its owner is about to parse: its size checked against `limits.part` first, then its decoded size
+ * against `limits.decoded`, a deflated part inflated within it (synchronously with `compression`, or by the
+ * asynchronous inflate that ran ahead of its owner). Throws `too_large/part` past a limit; throws a plain error for a
+ * deflated part nothing inflated or that is no raw deflate stream (a protocol error). Counts one synchronous inflate
+ * (`chord.link.inflates`).
+ */
+export function openPart(part, limits, compression, context) {
+    const wire = oversized(part, limits.part);
+    if (wire !== undefined)
+        throw wire;
+    if (!(part instanceof DeflatedPart)) {
+        // Not deflated: its decoded size is its size.
+        const size = limits.decoded === Number.POSITIVE_INFINITY ? 0 : sizeOf(part);
+        if (size > limits.decoded)
+            throw tooLarge(size, limits.decoded, "decoded");
+        return part;
+    }
+    let inflated = part.inflated;
+    if (inflated === undefined) {
+        if (compression === undefined)
+            throw new Error("part: a deflated part this host did not inflate");
+        context.telemetry.metrics?.counter("chord.link.inflates").add(1);
+        inflated = compression.inflate(part.bytes, limits.decoded);
+    }
+    switch (inflated.kind) {
+        case "bytes":
+            return inflated.bytes;
+        case "too_large":
+            throw tooLarge(undefined, limits.decoded, "decoded");
+        case "corrupt":
+            throw new Error("part: no raw deflate stream", { cause: inflated.error });
+    }
+}
+/**
+ * Inflates `part` with the web `DecompressionStream` (a host without a synchronous compressor), counting output bytes
+ * and stopping past `limit`; the outcome is kept on the part. `signal` (the link's close) cancels the stream at once,
+ * leaving no outcome. Counts one inflate (`chord.link.inflates`).
+ */
+export async function inflateAsync(part, limit, signal, context) {
+    context.telemetry.metrics?.counter("chord.link.inflates").add(1);
+    const reader = new Blob([part.bytes])
+        .stream()
+        .pipeThrough(new DecompressionStream("deflate-raw"))
+        .getReader();
+    // A pending read settles once cancelled: nothing of the stream outlives the link.
+    const cancel = () => void reader.cancel().catch(() => { });
+    signal.addEventListener("abort", cancel, { once: true });
+    const chunks = [];
+    let length = 0;
+    try {
+        for (;;) {
+            const { done, value } = await reader.read();
+            if (done || signal.aborted)
+                break;
+            length += value.byteLength;
+            if (length > limit) {
+                cancel();
+                part.inflated = { kind: "too_large" };
+                return;
+            }
+            chunks.push(value);
+        }
+    }
+    catch (error) {
+        if (!signal.aborted)
+            part.inflated = { kind: "corrupt", error };
+        return;
+    }
+    finally {
+        signal.removeEventListener("abort", cancel);
+    }
+    if (signal.aborted)
+        return;
+    const bytes = new Uint8Array(length);
+    let offset = 0;
+    for (const chunk of chunks) {
+        bytes.set(chunk, offset);
+        offset += chunk.byteLength;
+    }
+    part.inflated = { kind: "bytes", bytes };
+}
+/** A part's size on the wire: its UTF-8 bytes (counted for text, without encoding it). */
+function sizeOf(part) {
+    if (typeof part !== "string")
+        return part instanceof DeflatedPart ? part.bytes.byteLength : part.byteLength;
+    let size = part.length;
+    for (let index = 0; index < part.length; index++) {
+        const unit = part.charCodeAt(index);
+        if (unit < 0x80)
+            continue;
+        if (unit < 0x800)
+            size += 1;
+        else if (unit >= 0xd800 && unit < 0xdc00 && (part.charCodeAt(index + 1) & 0xfc00) === 0xdc00) {
+            // A surrogate pair: four bytes for two units.
+            size += 2;
+            index++;
+        }
+        else
+            size += 2;
+    }
+    return size;
+}
+/** The error of a part past a limit (`size` unknown while inflating). */
+function tooLarge(size, limit, measure) {
+    const what = size === undefined ? "a part" : `a part of ${size} bytes`;
+    const message = `${what} is over the ${measure} limit of ${limit} bytes`;
+    return new ChordError({ code: "too_large", reason: "part", message });
+}
+//# sourceMappingURL=part.js.map

package/dist/next/link/part.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"part.js","sourceRoot":"","sources":["../../../src/next/link/part.ts"],"names":[],"mappings":"AAAA,uHAAuH;AACvH,sHAAsH;AACtH,6GAA6G;AAG7G,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAgB9C;;;GAGG;AACH,MAAM,OAAO,YAAY;IACf,KAAK,CAAa;IAC3B,qEAAqE;IACrE,QAAQ,CAAuB;IAE/B,YAAY,KAAiB;QAC5B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACpB,CAAC;CACD;AAuBD,MAAM,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;AAExB,oFAAoF;AACpF,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,EAAE,GAAG,GAAG,EAAE,CAAC;AAEhE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,CAAC,iBAAiB,EAAE,OAAO,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC;AAE3F,oFAAoF;AACpF,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,MAAM,GAAe,EAAE;IACnE,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;AAC5F,CAAC;AAED,mGAAmG;AACnG,MAAM,CAAC,MAAM,cAAc,GAAG,EAAE,GAAG,IAAI,CAAC;AAExC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC;AAE/B;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,WAAoC,EAAE,OAAgB;IAC9F,6GAA6G;IAC7G,IAAI,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,KAAK,CAAC,UAAU,IAAI,cAAc;QAAE,OAAO,KAAK,CAAC;IACrD,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO,QAAQ,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACpF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,IAAU,EAAE,KAAa;IAClD,IAAI,KAAK,KAAK,MAAM,CAAC,iBAAiB;QAAE,OAAO,SAAS,CAAC;IACzD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACjE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CACvB,IAAU,EACV,MAAc,EACd,WAAoC,EACpC,OAAgB;IAEhB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,CAAC;IACnC,IAAI,CAAC,CAAC,IAAI,YAAY,YAAY,CAAC,EAAE,CAAC;QACrC,8CAA8C;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5E,IAAI,IAAI,GAAG,MAAM,CAAC,OAAO;YAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC3E,OAAO,IAAI,CAAC;IACb,CAAC;IACD,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,WAAW,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAClG,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5D,CAAC;IACD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,OAAO;YACX,OAAO,QAAQ,CAAC,KAAK,CAAC;QACvB,KAAK,WAAW;YACf,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACtD,KAAK,SAAS;YACb,MAAM,IAAI,KAAK,CAAC,6BAA6B,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAC5E,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CACjC,IAAkB,EAClB,KAAa,EACb,MAAmB,EACnB,OAAgB;IAEhB,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,KAAgC,CAAC,CAAC;SAC9D,MAAM,EAAE;SACR,WAAW,CAAC,IAAI,mBAAmB,CAAC,aAAa,CAAC,CAAC;SACnD,SAAS,EAAE,CAAC;IACd,kFAAkF;IAClF,MAAM,MAAM,GAAG,GAAS,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,CAAC;QACJ,SAAS,CAAC;YACT,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,IAAI,IAAI,MAAM,CAAC,OAAO;gBAAE,MAAM;YAClC,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC;YAC3B,IAAI,MAAM,GAAG,KAAK,EAAE,CAAC;gBACpB,MAAM,EAAE,CAAC;gBACT,IAAI,CAAC,QAAQ,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;gBACtC,OAAO;YACR,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,IAAI,CAAC,QAAQ,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QAChE,OAAO;IACR,CAAC;YAAS,CAAC;QACV,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO;IAC3B,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC;IAC5B,CAAC;IACD,IAAI,CAAC,QAAQ,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,0FAA0F;AAC1F,SAAS,MAAM,CAAC,IAAU;IACzB,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,YAAY,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;IAC5G,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACvB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,IAAI,GAAG,IAAI;YAAE,SAAS;QAC1B,IAAI,IAAI,GAAG,KAAK;YAAE,IAAI,IAAI,CAAC,CAAC;aACvB,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,MAAM,EAAE,CAAC;YAC9F,8CAA8C;YAC9C,IAAI,IAAI,CAAC,CAAC;YACV,KAAK,EAAE,CAAC;QACT,CAAC;;YAAM,IAAI,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,yEAAyE;AACzE,SAAS,QAAQ,CAAC,IAAwB,EAAE,KAAa,EAAE,OAA2B;IACrF,MAAM,IAAI,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,IAAI,QAAQ,CAAC;IACvE,MAAM,OAAO,GAAG,GAAG,IAAI,gBAAgB,OAAO,aAAa,KAAK,QAAQ,CAAC;IACzE,OAAO,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;AACvE,CAAC","sourcesContent":["// Parts on links (R1, R2, Q2, §22): a value as it crosses a link (JSON text at its origin, its bytes once received, or\n// deflated by its origin), the size limits per part, compression at the origin, and opening a part where it is owned:\n// its size checked before anything is parsed or inflated, a deflated part inflated within the decoded limit.\n\nimport type { Context } from \"../../context/index.ts\";\nimport { ChordError } from \"../data/index.ts\";\n\n/**\n * A part (R1): a value as JSON text at its origin (and after a text decode), its UTF-8 bytes once a binary codec\n * received it (or at an origin that encoded it already), or those bytes deflated by an origin that compresses. Opaque\n * on the way: only the end that owns it opens and parses it, while handling its message (a malformed part is a protocol\n * error then), so a relay forwards it unparsed and still deflated.\n */\nexport type Part = string | Uint8Array | DeflatedPart;\n\n/** What inflating a deflated part gave: its JSON bytes, more than the decoded limit, or data that is no raw deflate. */\nexport type Inflated =\n\t| { readonly kind: \"bytes\"; readonly bytes: Uint8Array }\n\t| { readonly kind: \"too_large\" }\n\t| { readonly kind: \"corrupt\"; readonly error: unknown };\n\n/**\n * A JSON part deflated (raw deflate) by its origin. A host without a synchronous compressor inflates it before its\n * owner handles the message (`inflateAsync`) and keeps the outcome here for the owner to open.\n */\nexport class DeflatedPart {\n\treadonly bytes: Uint8Array;\n\t/** The asynchronous inflate's outcome; `undefined` until one ran. */\n\tinflated: Inflated | undefined;\n\n\tconstructor(bytes: Uint8Array) {\n\t\tthis.bytes = bytes;\n\t}\n}\n\n/**\n * A synchronous compressor (`createHost({ compression })`; `nodeCompression` for Node). `deflate` is raw deflate at\n * level 1. `inflate` gives at most `limit` bytes (`Infinity`: no limit; 0 allowed), `too_large` when the output would\n * be larger, `corrupt` for data that is no raw deflate stream.\n */\nexport interface Compression {\n\tdeflate(bytes: Uint8Array): Uint8Array;\n\tinflate(bytes: Uint8Array, limit: number): Inflated;\n}\n\n/** A link's limits per part as `accept`, `connect` and `resolve` take them, in bytes. */\nexport type PartLimits = {\n\t/** A part's size on the wire. */\n\treadonly part?: number;\n\t/** A part's size after inflating it. */\n\treadonly decoded?: number;\n};\n\n/** A link's limits in force; `Infinity` for none. */\nexport type Limits = { readonly part: number; readonly decoded: number };\n\nconst MiB = 1024 * 1024;\n\n/** The limits of untrusted links unless set (Q2); trusted links (IPC) have none. */\nconst UNTRUSTED: Limits = { part: 16 * MiB, decoded: 64 * MiB };\n\nconst NONE: Limits = { part: Number.POSITIVE_INFINITY, decoded: Number.POSITIVE_INFINITY };\n\n/** The limits of a link: the ones set, the defaults of its trust for the others. */\nexport function linkLimits(trusted: boolean, limits: PartLimits = {}): Limits {\n\tconst defaults = trusted ? NONE : UNTRUSTED;\n\treturn { part: limits.part ?? defaults.part, decoded: limits.decoded ?? defaults.decoded };\n}\n\n/** JSON parts above this many UTF-8 bytes are compressed at their origin (a protocol constant). */\nexport const COMPRESS_ABOVE = 16 * 1024;\n\nconst UTF8 = new TextEncoder();\n\n/**\n * A JSON part at its origin: deflated when the host compresses, its UTF-8 bytes are above `COMPRESS_ABOVE` and\n * deflating made it smaller; otherwise the text, or its bytes once they were encoded (never encoded twice). Counts one\n * deflate (`chord.link.deflates`).\n */\nexport function originPart(json: string, compression: Compression | undefined, context: Context): Part {\n\t// A UTF-16 unit is at most three UTF-8 bytes: a text this short is within the threshold without encoding it.\n\tif (compression === undefined || json.length * 3 <= COMPRESS_ABOVE) return json;\n\tconst bytes = UTF8.encode(json);\n\tif (bytes.byteLength <= COMPRESS_ABOVE) return bytes;\n\tcontext.telemetry.metrics?.counter(\"chord.link.deflates\").add(1);\n\tconst deflated = compression.deflate(bytes);\n\treturn deflated.byteLength < bytes.byteLength ? new DeflatedPart(deflated) : bytes;\n}\n\n/**\n * The `too_large/part` error of a part whose size on the wire (its UTF-8 bytes; a deflated part's deflated bytes) is\n * above `limit`; `undefined` within it. Nothing is parsed or inflated.\n */\nexport function oversized(part: Part, limit: number): ChordError | undefined {\n\tif (limit === Number.POSITIVE_INFINITY) return undefined;\n\tconst size = sizeOf(part);\n\treturn size > limit ? tooLarge(size, limit, \"wire\") : undefined;\n}\n\n/**\n * The JSON of a part its owner is about to parse: its size checked against `limits.part` first, then its decoded size\n * against `limits.decoded`, a deflated part inflated within it (synchronously with `compression`, or by the\n * asynchronous inflate that ran ahead of its owner). Throws `too_large/part` past a limit; throws a plain error for a\n * deflated part nothing inflated or that is no raw deflate stream (a protocol error). Counts one synchronous inflate\n * (`chord.link.inflates`).\n */\nexport function openPart(\n\tpart: Part,\n\tlimits: Limits,\n\tcompression: Compression | undefined,\n\tcontext: Context,\n): string | Uint8Array {\n\tconst wire = oversized(part, limits.part);\n\tif (wire !== undefined) throw wire;\n\tif (!(part instanceof DeflatedPart)) {\n\t\t// Not deflated: its decoded size is its size.\n\t\tconst size = limits.decoded === Number.POSITIVE_INFINITY ? 0 : sizeOf(part);\n\t\tif (size > limits.decoded) throw tooLarge(size, limits.decoded, \"decoded\");\n\t\treturn part;\n\t}\n\tlet inflated = part.inflated;\n\tif (inflated === undefined) {\n\t\tif (compression === undefined) throw new Error(\"part: a deflated part this host did not inflate\");\n\t\tcontext.telemetry.metrics?.counter(\"chord.link.inflates\").add(1);\n\t\tinflated = compression.inflate(part.bytes, limits.decoded);\n\t}\n\tswitch (inflated.kind) {\n\t\tcase \"bytes\":\n\t\t\treturn inflated.bytes;\n\t\tcase \"too_large\":\n\t\t\tthrow tooLarge(undefined, limits.decoded, \"decoded\");\n\t\tcase \"corrupt\":\n\t\t\tthrow new Error(\"part: no raw deflate stream\", { cause: inflated.error });\n\t}\n}\n\n/**\n * Inflates `part` with the web `DecompressionStream` (a host without a synchronous compressor), counting output bytes\n * and stopping past `limit`; the outcome is kept on the part. `signal` (the link's close) cancels the stream at once,\n * leaving no outcome. Counts one inflate (`chord.link.inflates`).\n */\nexport async function inflateAsync(\n\tpart: DeflatedPart,\n\tlimit: number,\n\tsignal: AbortSignal,\n\tcontext: Context,\n): Promise<void> {\n\tcontext.telemetry.metrics?.counter(\"chord.link.inflates\").add(1);\n\tconst reader = new Blob([part.bytes as Uint8Array<ArrayBuffer>])\n\t\t.stream()\n\t\t.pipeThrough(new DecompressionStream(\"deflate-raw\"))\n\t\t.getReader();\n\t// A pending read settles once cancelled: nothing of the stream outlives the link.\n\tconst cancel = (): void => void reader.cancel().catch(() => {});\n\tsignal.addEventListener(\"abort\", cancel, { once: true });\n\tconst chunks: Uint8Array[] = [];\n\tlet length = 0;\n\ttry {\n\t\tfor (;;) {\n\t\t\tconst { done, value } = await reader.read();\n\t\t\tif (done || signal.aborted) break;\n\t\t\tlength += value.byteLength;\n\t\t\tif (length > limit) {\n\t\t\t\tcancel();\n\t\t\t\tpart.inflated = { kind: \"too_large\" };\n\t\t\t\treturn;\n\t\t\t}\n\t\t\tchunks.push(value);\n\t\t}\n\t} catch (error) {\n\t\tif (!signal.aborted) part.inflated = { kind: \"corrupt\", error };\n\t\treturn;\n\t} finally {\n\t\tsignal.removeEventListener(\"abort\", cancel);\n\t}\n\tif (signal.aborted) return;\n\tconst bytes = new Uint8Array(length);\n\tlet offset = 0;\n\tfor (const chunk of chunks) {\n\t\tbytes.set(chunk, offset);\n\t\toffset += chunk.byteLength;\n\t}\n\tpart.inflated = { kind: \"bytes\", bytes };\n}\n\n/** A part's size on the wire: its UTF-8 bytes (counted for text, without encoding it). */\nfunction sizeOf(part: Part): number {\n\tif (typeof part !== \"string\") return part instanceof DeflatedPart ? part.bytes.byteLength : part.byteLength;\n\tlet size = part.length;\n\tfor (let index = 0; index < part.length; index++) {\n\t\tconst unit = part.charCodeAt(index);\n\t\tif (unit < 0x80) continue;\n\t\tif (unit < 0x800) size += 1;\n\t\telse if (unit >= 0xd800 && unit < 0xdc00 && (part.charCodeAt(index + 1) & 0xfc00) === 0xdc00) {\n\t\t\t// A surrogate pair: four bytes for two units.\n\t\t\tsize += 2;\n\t\t\tindex++;\n\t\t} else size += 2;\n\t}\n\treturn size;\n}\n\n/** The error of a part past a limit (`size` unknown while inflating). */\nfunction tooLarge(size: number | undefined, limit: number, measure: \"wire\" | \"decoded\"): ChordError {\n\tconst what = size === undefined ? \"a part\" : `a part of ${size} bytes`;\n\tconst message = `${what} is over the ${measure} limit of ${limit} bytes`;\n\treturn new ChordError({ code: \"too_large\", reason: \"part\", message });\n}\n"]}

package/dist/next/link/text.d.ts

@@ -0,0 +1,6 @@
+import { type Codec, type Message } from "./message.ts";
+/** Messages as JSON tuples: readable on the wire, for debugging links. */
+export declare const textCodec: Codec;
+/** A message in the text codec's tuple form, for logs and tests (byte segments show as `{"$bytes": i}`). */
+export declare function describeMessage(message: Message): string;
+//# sourceMappingURL=text.d.ts.map

package/dist/next/link/text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../../src/next/link/text.ts"],"names":[],"mappings":"AAQA,OAAO,EAGN,KAAK,KAAK,EAEV,KAAK,OAAO,EAGZ,MAAM,cAAc,CAAC;AAMtB,0EAA0E;AAC1E,eAAO,MAAM,SAAS,EAAE,KA0BvB,CAAC;AAEF,4GAA4G;AAC5G,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAExD"}

package/dist/next/link/text.js

@@ -0,0 +1,335 @@
+// The text codec (2b): one JSON tuple per message, Delta style (a short kind tag, positional fields, no field names),
+// and `describeMessage`, which prints any message in that form. A part's JSON text is spliced into the tuple as it is;
+// decoding parses the tuple and writes each part back as text (one parse per part per hop: a debugging codec). Byte
+// segments of a payload marked as carrying bytes follow the tuple after a newline (JSON text never contains a raw
+// one), their lengths the tuple's last field. A message with an origin is wrapped: `["@", origin, tuple]`. Every part
+// is tagged with its codec, so no JSON value is reserved: `[0, json]`, or `[1, base64]` for a part its origin deflated
+// (the text codec itself never compresses).
+import { CAUSE_KINDS, NO_RETIRED, } from "./message.js";
+import { parseJson, partText, textPart } from "./values.js";
+const UTF8 = new TextEncoder();
+/** Messages as JSON tuples: readable on the wire, for debugging links. */
+export const textCodec = {
+    name: "text",
+    encode(message) {
+        const json = UTF8.encode(tuple(message));
+        const segments = segmentsOf(message);
+        if (segments === undefined)
+            return json;
+        let length = json.byteLength + 1;
+        for (const segment of segments)
+            length += segment.byteLength;
+        const bytes = new Uint8Array(length);
+        bytes.set(json, 0);
+        bytes[json.byteLength] = NEWLINE;
+        let offset = json.byteLength + 1;
+        for (const segment of segments) {
+            bytes.set(segment, offset);
+            offset += segment.byteLength;
+        }
+        return bytes;
+    },
+    decode(bytes) {
+        const newline = bytes.indexOf(NEWLINE);
+        const json = newline === -1 ? bytes : bytes.subarray(0, newline);
+        const rest = newline === -1 ? bytes.subarray(bytes.byteLength) : bytes.subarray(newline + 1);
+        const fields = parseJson(json);
+        if (!Array.isArray(fields))
+            throw new Error("text: a message is a tuple");
+        return fromTuple(fields, rest);
+    },
+};
+/** A message in the text codec's tuple form, for logs and tests (byte segments show as `{"$bytes": i}`). */
+export function describeMessage(message) {
+    return tuple(message);
+}
+const NEWLINE = 0x0a;
+/** The segments following a payload's tuple; `undefined` without a payload marked as carrying bytes. */
+function segmentsOf(message) {
+    return message.kind === "call" || message.kind === "result" ? message.segments : undefined;
+}
+/** The tuple's JSON text, parts spliced in; wrapped with its origin when it has one. */
+function tuple(message) {
+    const origin = "origin" in message ? message.origin : undefined;
+    return origin === undefined ? ownTuple(message) : `["@",${origin},${ownTuple(message)}]`;
+}
+/** The tuple of a message's own fields. */
+function ownTuple(message) {
+    switch (message.kind) {
+        case "hello":
+            return json(["h", message.protocol, message.incarnation, message.calls]);
+        case "hold": {
+            const { address, principal, incarnation, chain, limit } = message;
+            const head = json(["H", message.hold, message.type, message.version, message.fingerprint]).slice(0, -1);
+            // Optional trailing fields: an absent one in the middle is null, absent ones at the end are left out.
+            const optional = [principal ?? null, incarnation ?? null, chain ?? null, limit ?? null];
+            while (optional.length > 0 && optional.at(-1) === null)
+                optional.pop();
+            const rest = optional.map((field) => `,${json(field)}`).join("");
+            return `${head},${partText(message.params)},${json([address.kind, address.params])}${rest}]`;
+        }
+        case "release":
+            return json(["R", message.hold]);
+        case "call":
+            return withPayload(json(["c", message.call, message.hold, message.method]), message.args, message.segments);
+        case "abort":
+            return json(["x", message.call]);
+        case "bound":
+            return `["b",[${message.holds.map(boundEntry).join(",")}]]`;
+        case "state":
+            return `["s",[${message.holds.map(stateEntry).join(",")}]]`;
+        case "failed": {
+            const kind = message.cause.kind[0];
+            const retryIn = message.retryIn === undefined ? [] : [message.retryIn];
+            return json(["f", message.hold, kind, message.cause.error, ...retryIn]);
+        }
+        case "result":
+            return withPayload(json(["r", message.call]), message.value, message.segments);
+        case "error":
+            return json(["e", message.call, message.error]);
+        case "gone":
+            return json(["g", message.hold, message.error]);
+        case "revoke":
+            return json(["V", message.revocation]);
+        case "retry":
+            return json(["T", message.hold, message.hops]);
+        case "loading":
+            return json(["l", message.hold]);
+        case "ack":
+            return json(["a"]);
+        case "closed":
+            return json(["C"]);
+        case "ping":
+            return json(["p"]);
+        case "pong":
+            return json(["P"]);
+    }
+}
+function json(value) {
+    return JSON.stringify(value);
+}
+/** `[hold, variant, [[member, value]…], failed?]`. */
+function boundEntry({ hold, variant, members, failed }) {
+    const pairs = members.map(({ member, value }) => `[${member},${partText(value)}]`).join(",");
+    return `[${hold},${variant},[${pairs}]${failedField(failed)}]`;
+}
+/** `[hold, [[member, ops]…], failed?, retired?]`; `failed` is `[]` when only `retired` follows. */
+function stateEntry({ hold, members, failed, retired }) {
+    const pairs = members.map(({ member, ops }) => `[${member},${partText(ops)}]`).join(",");
+    if (retired.length === 0)
+        return `[${hold},[${pairs}]${failedField(failed)}]`;
+    return `[${hold},[${pairs}],${json(failed.map(({ member, error }) => [member, error]))},${json(retired)}]`;
+}
+/** The failures as an entry's optional last field: left out when there are none. */
+function failedField(failed) {
+    return failed.length === 0 ? "" : `,${json(failed.map(({ member, error }) => [member, error]))}`;
+}
+/**
+ * A tuple (its closed JSON `head`) ending in a payload part; one marked as carrying bytes adds the segments' lengths
+ * as the last field.
+ */
+function withPayload(head, part, segments) {
+    if (part === undefined)
+        return head;
+    const prefix = `${head.slice(0, -1)},${partText(part)}`;
+    if (segments === undefined)
+        return `${prefix}]`;
+    return `${prefix},${json(segments.map((segment) => segment.byteLength))}]`;
+}
+/**
+ * A message from its tuple: the tag and arity checked, lists of pairs checked as lists, parts written back as text;
+ * the field types are the message schema's to check. `rest` holds the segments, which only a payload marked as
+ * carrying bytes may have.
+ */
+function fromTuple(fields, rest) {
+    if (fields[0] !== "@")
+        return fromFields(fields, rest);
+    const inner = fields.length === 3 ? list(fields[2]) : [];
+    if (inner[0] === "@" || inner.length === 0)
+        throw new Error("text: an origin wraps one message");
+    const message = fromFields(inner, rest);
+    // A fresh object; the message schema checks the origin and refuses one on a kind without it.
+    message.origin = fields[1];
+    return message;
+}
+/** A message from its own fields' tuple (see `fromTuple`). */
+function fromFields(fields, rest) {
+    const [tag, ...f] = fields;
+    const arity = (...allowed) => {
+        if (!allowed.includes(f.length))
+            throw new Error(`text: a "${String(tag)}" message with ${f.length} fields`);
+    };
+    if (tag !== "c" && tag !== "r" && rest.byteLength > 0) {
+        throw new Error("text: byte segments without a payload that carries them");
+    }
+    // The message schema establishes the types of the fields taken here.
+    const field = (index) => f[index];
+    switch (tag) {
+        case "h":
+            arity(3);
+            return { kind: "hello", protocol: field(0), incarnation: field(1), calls: field(2) };
+        case "H": {
+            arity(6, 7, 8, 9, 10);
+            const address = list(f[5]);
+            if (address.length !== 2)
+                throw new Error("text: an address is a pair");
+            const [principal, incarnation, chain, limit] = [6, 7, 8, 9].map((index) => f[index] ?? null);
+            return {
+                kind: "hold",
+                hold: field(0),
+                type: field(1),
+                version: field(2),
+                fingerprint: field(3),
+                params: textPart(f[4]),
+                address: { kind: address[0], params: address[1] },
+                ...(principal === null ? {} : { principal: principal }),
+                ...(incarnation === null ? {} : { incarnation: incarnation }),
+                ...(chain === null ? {} : { chain: chain }),
+                ...(limit === null ? {} : { limit: limit }),
+            };
+        }
+        case "R":
+            arity(1);
+            return { kind: "release", hold: field(0) };
+        case "c":
+            arity(3, 4, 5);
+            return {
+                kind: "call",
+                call: field(0),
+                hold: field(1),
+                method: field(2),
+                ...payload("args", f.slice(3), rest),
+            };
+        case "x":
+            arity(1);
+            return { kind: "abort", call: field(0) };
+        case "b":
+            arity(1);
+            return {
+                kind: "bound",
+                holds: list(f[0]).map((entry) => {
+                    const fields = list(entry);
+                    if (fields.length !== 3 && fields.length !== 4) {
+                        throw new Error(`text: a bound entry with ${fields.length} fields`);
+                    }
+                    const [hold, variant, members, failed] = fields;
+                    return {
+                        hold: hold,
+                        variant: variant,
+                        members: pairs(members).map(([member, value]) => ({
+                            member: member,
+                            value: textPart(value),
+                        })),
+                        failed: failures(failed),
+                    };
+                }),
+            };
+        case "s":
+            arity(1);
+            return {
+                kind: "state",
+                holds: list(f[0]).map((entry) => {
+                    const fields = list(entry);
+                    if (fields.length < 2 || fields.length > 4) {
+                        throw new Error(`text: a state entry with ${fields.length} fields`);
+                    }
+                    const [hold, members, failed, retired] = fields;
+                    return {
+                        hold: hold,
+                        members: pairs(members).map(([member, ops]) => ({ member: member, ops: textPart(ops) })),
+                        failed: failures(failed),
+                        // The message schema checks each index.
+                        retired: retired === undefined ? NO_RETIRED : list(retired),
+                    };
+                }),
+            };
+        case "f": {
+            arity(3, 4);
+            const causeKind = CAUSE_KINDS.find((each) => each[0] === f[1]);
+            if (causeKind === undefined)
+                throw new Error("text: an unknown failure kind");
+            // The schema check after decoding establishes the wire error.
+            const error = f[2];
+            const cause = { kind: causeKind, error };
+            return { kind: "failed", hold: field(0), cause, ...(f.length === 4 ? { retryIn: field(3) } : {}) };
+        }
+        case "r":
+            arity(1, 2, 3);
+            return { kind: "result", call: field(0), ...payload("value", f.slice(1), rest) };
+        case "e":
+            arity(2);
+            return { kind: "error", call: field(0), error: field(1) };
+        case "g":
+            arity(2);
+            return { kind: "gone", hold: field(0), error: field(1) };
+        case "V":
+            arity(1);
+            return { kind: "revoke", revocation: f[0] };
+        case "T":
+            arity(2);
+            return { kind: "retry", hold: field(0), hops: field(1) };
+        case "l":
+            arity(1);
+            return { kind: "loading", hold: field(0) };
+        case "a":
+            arity(0);
+            return { kind: "ack" };
+        case "C":
+            arity(0);
+            // Its origin is the wrapper's; 0 without one, which the message schema refuses.
+            return { kind: "closed", origin: 0 };
+        case "p":
+            arity(0);
+            return { kind: "ping" };
+        case "P":
+            arity(0);
+            return { kind: "pong" };
+        default:
+            throw new Error("text: an unknown kind");
+    }
+}
+/**
+ * A payload part from its fields: none, the value, or the value and its segments' lengths (marked as carrying bytes,
+ * the segments views of `rest`).
+ */
+function payload(key, fields, rest) {
+    if (fields.length < 2) {
+        if (rest.byteLength > 0)
+            throw new Error("text: byte segments without a payload that carries them");
+        return (fields.length === 0 ? {} : { [key]: textPart(fields[0]) });
+    }
+    const lengths = list(fields[1]);
+    let offset = 0;
+    const segments = lengths.map((length) => {
+        if (!Number.isSafeInteger(length) || length < 0)
+            throw new Error("text: a segment length");
+        const segment = rest.subarray(offset, offset + length);
+        offset += length;
+        return segment;
+    });
+    if (offset !== rest.byteLength)
+        throw new Error("text: the segments do not fill the message");
+    return { [key]: textPart(fields[0]), segments };
+}
+function list(value) {
+    if (!Array.isArray(value))
+        throw new Error("text: expected a list");
+    return value;
+}
+/** A list of `[index, value]` pairs. */
+function pairs(value) {
+    return list(value).map((pair) => {
+        const entry = list(pair);
+        if (entry.length !== 2)
+            throw new Error("text: expected a pair");
+        return entry;
+    });
+}
+/** The optional failures field; absent means none. */
+function failures(value) {
+    if (value === undefined)
+        return [];
+    // The message schema checks each error's shape.
+    return pairs(value).map(([member, error]) => ({ member, error }));
+}
+//# sourceMappingURL=text.js.map

package/dist/next/link/text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.js","sourceRoot":"","sources":["../../../src/next/link/text.ts"],"names":[],"mappings":"AAAA,sHAAsH;AACtH,uHAAuH;AACvH,oHAAoH;AACpH,kHAAkH;AAClH,sHAAsH;AACtH,uHAAuH;AACvH,4CAA4C;AAE5C,OAAO,EAEN,WAAW,EAIX,UAAU,GAEV,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5D,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC;AAE/B,0EAA0E;AAC1E,MAAM,CAAC,MAAM,SAAS,GAAU;IAC/B,IAAI,EAAE,MAAM;IACZ,MAAM,CAAC,OAAO;QACb,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACxC,IAAI,MAAM,GAAG,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,OAAO,IAAI,QAAQ;YAAE,MAAM,IAAI,OAAO,CAAC,UAAU,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;QACrC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC;QACjC,IAAI,MAAM,GAAG,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAChC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC3B,MAAM,IAAI,OAAO,CAAC,UAAU,CAAC;QAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,MAAM,CAAC,KAAK;QACX,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAC1E,OAAO,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;CACD,CAAC;AAEF,4GAA4G;AAC5G,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC;AACvB,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,CAAC;AAErB,wGAAwG;AACxG,SAAS,UAAU,CAAC,OAAgB;IACnC,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5F,CAAC;AAED,wFAAwF;AACxF,SAAS,KAAK,CAAC,OAAgB;IAC9B,MAAM,MAAM,GAAG,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAChE,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,MAAM,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC;AAC1F,CAAC;AAED,2CAA2C;AAC3C,SAAS,QAAQ,CAAC,OAAgB;IACjC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,OAAO;YACX,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1E,KAAK,MAAM,EAAE,CAAC;YACb,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;YAClE,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACxG,sGAAsG;YACtG,MAAM,QAAQ,GAAG,CAAC,SAAS,IAAI,IAAI,EAAE,WAAW,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC;YACxF,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;YACvE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjE,OAAO,GAAG,IAAI,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC;QAC9F,CAAC;QACD,KAAK,SAAS;YACb,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAClC,KAAK,MAAM;YACV,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC7G,KAAK,OAAO;YACX,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAClC,KAAK,OAAO;YACX,OAAO,SAAS,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAC7D,KAAK,OAAO;YACX,OAAO,SAAS,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAC7D,KAAK,QAAQ,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACvE,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,KAAK,QAAQ;YACZ,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAChF,KAAK,OAAO;YACX,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,KAAK,QAAQ;YACZ,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QACxC,KAAK,OAAO;YACX,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAChD,KAAK,SAAS;YACb,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAClC,KAAK,KAAK;YACT,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpB,KAAK,QAAQ;YACZ,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpB,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpB,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,CAAC;AACF,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,sDAAsD;AACtD,SAAS,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAc;IACjE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,IAAI,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7F,OAAO,IAAI,IAAI,IAAI,OAAO,KAAK,KAAK,IAAI,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC;AAChE,CAAC;AAED,mGAAmG;AACnG,SAAS,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAc;IACjE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,IAAI,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,IAAI,KAAK,KAAK,IAAI,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC;IAC9E,OAAO,IAAI,IAAI,KAAK,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;AAC5G,CAAC;AAED,oFAAoF;AACpF,SAAS,WAAW,CAAC,MAA+B;IACnD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAClG,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAY,EAAE,IAAsB,EAAE,QAA2C;IACrG,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;IACxD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,GAAG,MAAM,GAAG,CAAC;IAChD,OAAO,GAAG,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC;AAC5E,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,MAAiB,EAAE,IAAgB;IACrD,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG;QAAE,OAAO,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxC,6FAA6F;IAC5F,OAAgC,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,8DAA8D;AAC9D,SAAS,UAAU,CAAC,MAAiB,EAAE,IAAgB;IACtD,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,GAAG,OAAiB,EAAQ,EAAE;QAC5C,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC;IAC9G,CAAC,CAAC;IACF,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC5E,CAAC;IACD,qEAAqE;IACrE,MAAM,KAAK,GAAG,CAAI,KAAa,EAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAM,CAAC;IACrD,QAAQ,GAAG,EAAE,CAAC;QACb,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,KAAK,GAAG,EAAE,CAAC;YACV,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACtB,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YACxE,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;YAC7F,OAAO;gBACN,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACd,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACd,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;gBACjB,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;gBACrB,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtB,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE;gBAC3D,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAA6B,EAAE,CAAC;gBAC3E,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,WAAqB,EAAE,CAAC;gBACvE,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAiB,EAAE,CAAC;gBACvD,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAe,EAAE,CAAC;aACrD,CAAC;QACH,CAAC;QACD,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACf,OAAO;gBACN,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACd,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACd,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;gBAChB,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;aACpC,CAAC;QACH,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO;gBACN,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAc,EAAE;oBAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC3B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAChD,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC;oBACrE,CAAC;oBACD,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC;oBAChD,OAAO;wBACN,IAAI,EAAE,IAAc;wBACpB,OAAO,EAAE,OAAiB;wBAC1B,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;4BACjD,MAAM,EAAE,MAAgB;4BACxB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC;yBACtB,CAAC,CAAC;wBACH,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC;qBACxB,CAAC;gBACH,CAAC,CAAC;aACF,CAAC;QACH,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO;gBACN,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAc,EAAE;oBAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC5C,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC;oBACrE,CAAC;oBACD,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC;oBAChD,OAAO;wBACN,IAAI,EAAE,IAAc;wBACpB,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAgB,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;wBAClG,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC;wBACxB,wCAAwC;wBACxC,OAAO,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,IAAI,CAAC,OAAO,CAAc;qBACzE,CAAC;gBACH,CAAC,CAAC;aACF,CAAC;QACH,KAAK,GAAG,EAAE,CAAC;YACV,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACZ,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,IAAI,SAAS,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YAC9E,8DAA8D;YAC9D,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAiD,CAAC;YACnE,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;YACzC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC5G,CAAC;QACD,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACf,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;QAClF,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACxB,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,gFAAgF;YAChF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACtC,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACzB,KAAK,GAAG;YACP,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACzB;YACC,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAC3C,CAAC;AACF,CAAC;AAED;;;GAGG;AACH,SAAS,OAAO,CACf,GAAM,EACN,MAAiB,EACjB,IAAgB;IAEhB,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QACpG,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAwB,CAAC;IAC3F,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACvC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAK,MAAiB,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACvG,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAI,MAAiB,CAAC,CAAC;QACnE,MAAM,IAAI,MAAgB,CAAC;QAC3B,OAAO,OAAO,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,IAAI,MAAM,KAAK,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAC9F,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAsD,CAAC;AACrG,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACpE,OAAO,KAAK,CAAC;AACd,CAAC;AAED,wCAAwC;AACxC,SAAS,KAAK,CAAC,KAAc;IAC5B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACjE,OAAO,KAA2B,CAAC;IACpC,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,sDAAsD;AACtD,SAAS,QAAQ,CAAC,KAAc;IAC/B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,gDAAgD;IAChD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAiB,CAAC,CAAC;AACnF,CAAC","sourcesContent":["// The text codec (2b): one JSON tuple per message, Delta style (a short kind tag, positional fields, no field names),\n// and `describeMessage`, which prints any message in that form. A part's JSON text is spliced into the tuple as it is;\n// decoding parses the tuple and writes each part back as text (one parse per part per hop: a debugging codec). Byte\n// segments of a payload marked as carrying bytes follow the tuple after a newline (JSON text never contains a raw\n// one), their lengths the tuple's last field. A message with an origin is wrapped: `[\"@\", origin, tuple]`. Every part\n// is tagged with its codec, so no JSON value is reserved: `[0, json]`, or `[1, base64]` for a part its origin deflated\n// (the text codec itself never compresses).\n\nimport {\n\ttype BoundEntry,\n\tCAUSE_KINDS,\n\ttype Codec,\n\ttype FailedMember,\n\ttype Message,\n\tNO_RETIRED,\n\ttype StateEntry,\n} from \"./message.ts\";\nimport type { Part } from \"./part.ts\";\nimport { parseJson, partText, textPart } from \"./values.ts\";\n\nconst UTF8 = new TextEncoder();\n\n/** Messages as JSON tuples: readable on the wire, for debugging links. */\nexport const textCodec: Codec = {\n\tname: \"text\",\n\tencode(message) {\n\t\tconst json = UTF8.encode(tuple(message));\n\t\tconst segments = segmentsOf(message);\n\t\tif (segments === undefined) return json;\n\t\tlet length = json.byteLength + 1;\n\t\tfor (const segment of segments) length += segment.byteLength;\n\t\tconst bytes = new Uint8Array(length);\n\t\tbytes.set(json, 0);\n\t\tbytes[json.byteLength] = NEWLINE;\n\t\tlet offset = json.byteLength + 1;\n\t\tfor (const segment of segments) {\n\t\t\tbytes.set(segment, offset);\n\t\t\toffset += segment.byteLength;\n\t\t}\n\t\treturn bytes;\n\t},\n\tdecode(bytes) {\n\t\tconst newline = bytes.indexOf(NEWLINE);\n\t\tconst json = newline === -1 ? bytes : bytes.subarray(0, newline);\n\t\tconst rest = newline === -1 ? bytes.subarray(bytes.byteLength) : bytes.subarray(newline + 1);\n\t\tconst fields = parseJson(json);\n\t\tif (!Array.isArray(fields)) throw new Error(\"text: a message is a tuple\");\n\t\treturn fromTuple(fields, rest);\n\t},\n};\n\n/** A message in the text codec's tuple form, for logs and tests (byte segments show as `{\"$bytes\": i}`). */\nexport function describeMessage(message: Message): string {\n\treturn tuple(message);\n}\n\nconst NEWLINE = 0x0a;\n\n/** The segments following a payload's tuple; `undefined` without a payload marked as carrying bytes. */\nfunction segmentsOf(message: Message): readonly Uint8Array[] | undefined {\n\treturn message.kind === \"call\" || message.kind === \"result\" ? message.segments : undefined;\n}\n\n/** The tuple's JSON text, parts spliced in; wrapped with its origin when it has one. */\nfunction tuple(message: Message): string {\n\tconst origin = \"origin\" in message ? message.origin : undefined;\n\treturn origin === undefined ? ownTuple(message) : `[\"@\",${origin},${ownTuple(message)}]`;\n}\n\n/** The tuple of a message's own fields. */\nfunction ownTuple(message: Message): string {\n\tswitch (message.kind) {\n\t\tcase \"hello\":\n\t\t\treturn json([\"h\", message.protocol, message.incarnation, message.calls]);\n\t\tcase \"hold\": {\n\t\t\tconst { address, principal, incarnation, chain, limit } = message;\n\t\t\tconst head = json([\"H\", message.hold, message.type, message.version, message.fingerprint]).slice(0, -1);\n\t\t\t// Optional trailing fields: an absent one in the middle is null, absent ones at the end are left out.\n\t\t\tconst optional = [principal ?? null, incarnation ?? null, chain ?? null, limit ?? null];\n\t\t\twhile (optional.length > 0 && optional.at(-1) === null) optional.pop();\n\t\t\tconst rest = optional.map((field) => `,${json(field)}`).join(\"\");\n\t\t\treturn `${head},${partText(message.params)},${json([address.kind, address.params])}${rest}]`;\n\t\t}\n\t\tcase \"release\":\n\t\t\treturn json([\"R\", message.hold]);\n\t\tcase \"call\":\n\t\t\treturn withPayload(json([\"c\", message.call, message.hold, message.method]), message.args, message.segments);\n\t\tcase \"abort\":\n\t\t\treturn json([\"x\", message.call]);\n\t\tcase \"bound\":\n\t\t\treturn `[\"b\",[${message.holds.map(boundEntry).join(\",\")}]]`;\n\t\tcase \"state\":\n\t\t\treturn `[\"s\",[${message.holds.map(stateEntry).join(\",\")}]]`;\n\t\tcase \"failed\": {\n\t\t\tconst kind = message.cause.kind[0];\n\t\t\tconst retryIn = message.retryIn === undefined ? [] : [message.retryIn];\n\t\t\treturn json([\"f\", message.hold, kind, message.cause.error, ...retryIn]);\n\t\t}\n\t\tcase \"result\":\n\t\t\treturn withPayload(json([\"r\", message.call]), message.value, message.segments);\n\t\tcase \"error\":\n\t\t\treturn json([\"e\", message.call, message.error]);\n\t\tcase \"gone\":\n\t\t\treturn json([\"g\", message.hold, message.error]);\n\t\tcase \"revoke\":\n\t\t\treturn json([\"V\", message.revocation]);\n\t\tcase \"retry\":\n\t\t\treturn json([\"T\", message.hold, message.hops]);\n\t\tcase \"loading\":\n\t\t\treturn json([\"l\", message.hold]);\n\t\tcase \"ack\":\n\t\t\treturn json([\"a\"]);\n\t\tcase \"closed\":\n\t\t\treturn json([\"C\"]);\n\t\tcase \"ping\":\n\t\t\treturn json([\"p\"]);\n\t\tcase \"pong\":\n\t\t\treturn json([\"P\"]);\n\t}\n}\n\nfunction json(value: unknown): string {\n\treturn JSON.stringify(value);\n}\n\n/** `[hold, variant, [[member, value]…], failed?]`. */\nfunction boundEntry({ hold, variant, members, failed }: BoundEntry): string {\n\tconst pairs = members.map(({ member, value }) => `[${member},${partText(value)}]`).join(\",\");\n\treturn `[${hold},${variant},[${pairs}]${failedField(failed)}]`;\n}\n\n/** `[hold, [[member, ops]…], failed?, retired?]`; `failed` is `[]` when only `retired` follows. */\nfunction stateEntry({ hold, members, failed, retired }: StateEntry): string {\n\tconst pairs = members.map(({ member, ops }) => `[${member},${partText(ops)}]`).join(\",\");\n\tif (retired.length === 0) return `[${hold},[${pairs}]${failedField(failed)}]`;\n\treturn `[${hold},[${pairs}],${json(failed.map(({ member, error }) => [member, error]))},${json(retired)}]`;\n}\n\n/** The failures as an entry's optional last field: left out when there are none. */\nfunction failedField(failed: readonly FailedMember[]): string {\n\treturn failed.length === 0 ? \"\" : `,${json(failed.map(({ member, error }) => [member, error]))}`;\n}\n\n/**\n * A tuple (its closed JSON `head`) ending in a payload part; one marked as carrying bytes adds the segments' lengths\n * as the last field.\n */\nfunction withPayload(head: string, part: Part | undefined, segments: readonly Uint8Array[] | undefined): string {\n\tif (part === undefined) return head;\n\tconst prefix = `${head.slice(0, -1)},${partText(part)}`;\n\tif (segments === undefined) return `${prefix}]`;\n\treturn `${prefix},${json(segments.map((segment) => segment.byteLength))}]`;\n}\n\n/**\n * A message from its tuple: the tag and arity checked, lists of pairs checked as lists, parts written back as text;\n * the field types are the message schema's to check. `rest` holds the segments, which only a payload marked as\n * carrying bytes may have.\n */\nfunction fromTuple(fields: unknown[], rest: Uint8Array): Message {\n\tif (fields[0] !== \"@\") return fromFields(fields, rest);\n\tconst inner = fields.length === 3 ? list(fields[2]) : [];\n\tif (inner[0] === \"@\" || inner.length === 0) throw new Error(\"text: an origin wraps one message\");\n\tconst message = fromFields(inner, rest);\n\t// A fresh object; the message schema checks the origin and refuses one on a kind without it.\n\t(message as { origin?: unknown }).origin = fields[1];\n\treturn message;\n}\n\n/** A message from its own fields' tuple (see `fromTuple`). */\nfunction fromFields(fields: unknown[], rest: Uint8Array): Message {\n\tconst [tag, ...f] = fields;\n\tconst arity = (...allowed: number[]): void => {\n\t\tif (!allowed.includes(f.length)) throw new Error(`text: a \"${String(tag)}\" message with ${f.length} fields`);\n\t};\n\tif (tag !== \"c\" && tag !== \"r\" && rest.byteLength > 0) {\n\t\tthrow new Error(\"text: byte segments without a payload that carries them\");\n\t}\n\t// The message schema establishes the types of the fields taken here.\n\tconst field = <T>(index: number): T => f[index] as T;\n\tswitch (tag) {\n\t\tcase \"h\":\n\t\t\tarity(3);\n\t\t\treturn { kind: \"hello\", protocol: field(0), incarnation: field(1), calls: field(2) };\n\t\tcase \"H\": {\n\t\t\tarity(6, 7, 8, 9, 10);\n\t\t\tconst address = list(f[5]);\n\t\t\tif (address.length !== 2) throw new Error(\"text: an address is a pair\");\n\t\t\tconst [principal, incarnation, chain, limit] = [6, 7, 8, 9].map((index) => f[index] ?? null);\n\t\t\treturn {\n\t\t\t\tkind: \"hold\",\n\t\t\t\thold: field(0),\n\t\t\t\ttype: field(1),\n\t\t\t\tversion: field(2),\n\t\t\t\tfingerprint: field(3),\n\t\t\t\tparams: textPart(f[4]),\n\t\t\t\taddress: { kind: address[0] as string, params: address[1] },\n\t\t\t\t...(principal === null ? {} : { principal: principal as { kind: string } }),\n\t\t\t\t...(incarnation === null ? {} : { incarnation: incarnation as string }),\n\t\t\t\t...(chain === null ? {} : { chain: chain as string[] }),\n\t\t\t\t...(limit === null ? {} : { limit: limit as number }),\n\t\t\t};\n\t\t}\n\t\tcase \"R\":\n\t\t\tarity(1);\n\t\t\treturn { kind: \"release\", hold: field(0) };\n\t\tcase \"c\":\n\t\t\tarity(3, 4, 5);\n\t\t\treturn {\n\t\t\t\tkind: \"call\",\n\t\t\t\tcall: field(0),\n\t\t\t\thold: field(1),\n\t\t\t\tmethod: field(2),\n\t\t\t\t...payload(\"args\", f.slice(3), rest),\n\t\t\t};\n\t\tcase \"x\":\n\t\t\tarity(1);\n\t\t\treturn { kind: \"abort\", call: field(0) };\n\t\tcase \"b\":\n\t\t\tarity(1);\n\t\t\treturn {\n\t\t\t\tkind: \"bound\",\n\t\t\t\tholds: list(f[0]).map((entry): BoundEntry => {\n\t\t\t\t\tconst fields = list(entry);\n\t\t\t\t\tif (fields.length !== 3 && fields.length !== 4) {\n\t\t\t\t\t\tthrow new Error(`text: a bound entry with ${fields.length} fields`);\n\t\t\t\t\t}\n\t\t\t\t\tconst [hold, variant, members, failed] = fields;\n\t\t\t\t\treturn {\n\t\t\t\t\t\thold: hold as number,\n\t\t\t\t\t\tvariant: variant as number,\n\t\t\t\t\t\tmembers: pairs(members).map(([member, value]) => ({\n\t\t\t\t\t\t\tmember: member as number,\n\t\t\t\t\t\t\tvalue: textPart(value),\n\t\t\t\t\t\t})),\n\t\t\t\t\t\tfailed: failures(failed),\n\t\t\t\t\t};\n\t\t\t\t}),\n\t\t\t};\n\t\tcase \"s\":\n\t\t\tarity(1);\n\t\t\treturn {\n\t\t\t\tkind: \"state\",\n\t\t\t\tholds: list(f[0]).map((entry): StateEntry => {\n\t\t\t\t\tconst fields = list(entry);\n\t\t\t\t\tif (fields.length < 2 || fields.length > 4) {\n\t\t\t\t\t\tthrow new Error(`text: a state entry with ${fields.length} fields`);\n\t\t\t\t\t}\n\t\t\t\t\tconst [hold, members, failed, retired] = fields;\n\t\t\t\t\treturn {\n\t\t\t\t\t\thold: hold as number,\n\t\t\t\t\t\tmembers: pairs(members).map(([member, ops]) => ({ member: member as number, ops: textPart(ops) })),\n\t\t\t\t\t\tfailed: failures(failed),\n\t\t\t\t\t\t// The message schema checks each index.\n\t\t\t\t\t\tretired: retired === undefined ? NO_RETIRED : (list(retired) as number[]),\n\t\t\t\t\t};\n\t\t\t\t}),\n\t\t\t};\n\t\tcase \"f\": {\n\t\t\tarity(3, 4);\n\t\t\tconst causeKind = CAUSE_KINDS.find((each) => each[0] === f[1]);\n\t\t\tif (causeKind === undefined) throw new Error(\"text: an unknown failure kind\");\n\t\t\t// The schema check after decoding establishes the wire error.\n\t\t\tconst error = f[2] as Extract<Message, { kind: \"error\" }>[\"error\"];\n\t\t\tconst cause = { kind: causeKind, error };\n\t\t\treturn { kind: \"failed\", hold: field(0), cause, ...(f.length === 4 ? { retryIn: field<number>(3) } : {}) };\n\t\t}\n\t\tcase \"r\":\n\t\t\tarity(1, 2, 3);\n\t\t\treturn { kind: \"result\", call: field(0), ...payload(\"value\", f.slice(1), rest) };\n\t\tcase \"e\":\n\t\t\tarity(2);\n\t\t\treturn { kind: \"error\", call: field(0), error: field(1) };\n\t\tcase \"g\":\n\t\t\tarity(2);\n\t\t\treturn { kind: \"gone\", hold: field(0), error: field(1) };\n\t\tcase \"V\":\n\t\t\tarity(1);\n\t\t\treturn { kind: \"revoke\", revocation: f[0] };\n\t\tcase \"T\":\n\t\t\tarity(2);\n\t\t\treturn { kind: \"retry\", hold: field(0), hops: field(1) };\n\t\tcase \"l\":\n\t\t\tarity(1);\n\t\t\treturn { kind: \"loading\", hold: field(0) };\n\t\tcase \"a\":\n\t\t\tarity(0);\n\t\t\treturn { kind: \"ack\" };\n\t\tcase \"C\":\n\t\t\tarity(0);\n\t\t\t// Its origin is the wrapper's; 0 without one, which the message schema refuses.\n\t\t\treturn { kind: \"closed\", origin: 0 };\n\t\tcase \"p\":\n\t\t\tarity(0);\n\t\t\treturn { kind: \"ping\" };\n\t\tcase \"P\":\n\t\t\tarity(0);\n\t\t\treturn { kind: \"pong\" };\n\t\tdefault:\n\t\t\tthrow new Error(\"text: an unknown kind\");\n\t}\n}\n\n/**\n * A payload part from its fields: none, the value, or the value and its segments' lengths (marked as carrying bytes,\n * the segments views of `rest`).\n */\nfunction payload<K extends string>(\n\tkey: K,\n\tfields: unknown[],\n\trest: Uint8Array,\n): { [P in K]?: Part } & { segments?: Uint8Array[] } {\n\tif (fields.length < 2) {\n\t\tif (rest.byteLength > 0) throw new Error(\"text: byte segments without a payload that carries them\");\n\t\treturn (fields.length === 0 ? {} : { [key]: textPart(fields[0]) }) as { [P in K]?: Part };\n\t}\n\tconst lengths = list(fields[1]);\n\tlet offset = 0;\n\tconst segments = lengths.map((length) => {\n\t\tif (!Number.isSafeInteger(length) || (length as number) < 0) throw new Error(\"text: a segment length\");\n\t\tconst segment = rest.subarray(offset, offset + (length as number));\n\t\toffset += length as number;\n\t\treturn segment;\n\t});\n\tif (offset !== rest.byteLength) throw new Error(\"text: the segments do not fill the message\");\n\treturn { [key]: textPart(fields[0]), segments } as { [P in K]?: Part } & { segments: Uint8Array[] };\n}\n\nfunction list(value: unknown): unknown[] {\n\tif (!Array.isArray(value)) throw new Error(\"text: expected a list\");\n\treturn value;\n}\n\n/** A list of `[index, value]` pairs. */\nfunction pairs(value: unknown): [unknown, unknown][] {\n\treturn list(value).map((pair) => {\n\t\tconst entry = list(pair);\n\t\tif (entry.length !== 2) throw new Error(\"text: expected a pair\");\n\t\treturn entry as [unknown, unknown];\n\t});\n}\n\n/** The optional failures field; absent means none. */\nfunction failures(value: unknown): FailedMember[] {\n\tif (value === undefined) return [];\n\t// The message schema checks each error's shape.\n\treturn pairs(value).map(([member, error]) => ({ member, error }) as FailedMember);\n}\n"]}

package/dist/next/link/values.d.ts

@@ -0,0 +1,40 @@
+import { type Part } from "./part.ts";
+/** A JSON part at its origin: the value's JSON text (state and params are JSON only). */
+export declare function jsonPart(value: unknown): string;
+/**
+ * A payload part at its origin (arguments, a result): its JSON and, when `bytes` (its method's schema has a `bytes()`
+ * leaf), its byte segments: each `Uint8Array` leaf becomes a segment, and an own key `$bytes`, reserved there, fails
+ * `invalid/args`; otherwise plain JSON, where `$bytes` is ordinary data. `undefined` (a handler returning nothing) is
+ * `null`.
+ */
+export declare function payloadPart(value: unknown, bytes: boolean): {
+    readonly json: string;
+    readonly segments: Uint8Array[] | undefined;
+};
+/**
+ * Parses a part's JSON where it is owned, once opened (`openPart`). Throws on a part that is no strict UTF-8 JSON (a
+ * protocol error).
+ */
+export declare function parsePart(json: string | Uint8Array): unknown;
+/**
+ * Parses a payload part's JSON where it is owned, once opened, its `{"$bytes": i}` references resolved to views of
+ * `segments` when it has them. Throws on a malformed part (a protocol error).
+ */
+export declare function parsePayload(json: string | Uint8Array, segments: readonly Uint8Array[] | undefined): unknown;
+/**
+ * A part as the text codec splices it into its tuple, tagged so that no JSON value is reserved: `[0, json]` for a plain
+ * part, `[1, base64]` for a deflated one. Throws on invalid UTF-8.
+ */
+export declare function partText(part: Part): string;
+/** A part from its place in a text tuple (`partText` reversed). Throws on anything else (a protocol error). */
+export declare function textPart(value: unknown): Part;
+/** Strict UTF-8 JSON. Throws on anything else (a protocol error). */
+export declare function parseJson(bytes: Uint8Array): unknown;
+/** Strict UTF-8 text. Throws on invalid UTF-8 (a protocol error). */
+export declare function readUtf8(bytes: Uint8Array): string;
+/**
+ * Replaces every `{"$bytes": i}` in a freshly decoded payload with segment `i`, in place. Throws on a malformed
+ * reference (a protocol error).
+ */
+export declare function resolveSegments(value: unknown, segments: readonly Uint8Array[]): unknown;
+//# sourceMappingURL=values.d.ts.map