@elaraai/east 1.0.79 → 1.0.81

package/dist/src/serialization/beast2/v5/canonical.js

@@ -0,0 +1,436 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Stepping over a value's v5 encoding without decoding it, and proving on the
+ * way that the bytes are the ones the Writer writes for the value they hold.
+ *
+ * Decoding a value and encoding it again gives its canonical bytes, but builds
+ * the value to do it. A reader that needs only where a value ends, and that its
+ * bytes are the Writer's, can step over them instead, holding each to what the
+ * encoder writes:
+ *
+ * - varints are minimal, and a length is a safe integer;
+ * - an Integer fits 64 bits, and a DateTime is a date a `Date` holds;
+ * - a Boolean is 0 or 1, and a NaN is the one NaN the encoder writes;
+ * - a String is well-formed UTF-8;
+ * - a Variant's case is one its type has;
+ * - a container's content is one run, and an alias names an earlier container
+ *   of the same type within the root element;
+ * - a Set's elements and a Dict's keys strictly ascend.
+ *
+ * Whatever decodes but would encode otherwise — what decoding and encoding
+ * again would change — is refused. Only a Set's elements and a Dict's keys are
+ * decoded, to be ordered; they are of immutable types, so each decodes on its
+ * own. A function value is refused: its captures' types are known only once
+ * its IR is decoded.
+ *
+ * A lenient skipper holds bytes to what the decoder reads instead, where that
+ * is looser than what the Writer writes: a varint need not be minimal, a NaN
+ * may be the negative one, a container's content may come in several runs, and
+ * an alias may name a container of an earlier root element, when the caller
+ * shares one `defs` list across them. Bytes that pass it decode, and encoding
+ * what they decode to gives the Writer's bytes; everything else it refuses as
+ * the strict one does.
+ */
+import { isTypeValueEqual } from "../../../type_of_type.js";
+import { compareFor } from "../../../comparison.js";
+import { asTypeValue } from "./type-section.js";
+import { TAG_NEW, TAG_REF } from "./codec.js";
+import { decodeBeast2FenceFor } from "./boundary.js";
+/** Thrown where bytes are not the encoding the Writer writes — or, for a
+ *  lenient skipper, not an encoding the decoder reads. */
+export class Beast2NotCanonicalError extends Error {
+    /** What is wrong with the bytes, as a refusal names it. */
+    reason;
+    /**
+     * @param reason - what the Writer would not have written
+     */
+    constructor(reason) {
+        super(`beast2 v5: ${reason}`);
+        this.name = "Beast2NotCanonicalError";
+        this.reason = reason;
+    }
+}
+/** The largest zigzag form of a date a `Date` holds: 8.64e15 ms either side of
+ *  the epoch. */
+const DATE_ZIGZAG_MAX = 2n * 8640000000000000n;
+/** The most elements a container of zero-width elements holds, as every
+ *  decoder bounds it: a Null costs no bytes, so the bytes left bound nothing. */
+const ZERO_WIDTH_MAX = 2 ** 28;
+/** The most elements a container of zero-width elements holds, as every
+ *  decoder bounds it. */
+export const BEAST2_ZERO_WIDTH_MAX = ZERO_WIDTH_MAX;
+/** Whether a value of `type` encodes to no bytes: Null, Never, and structs of
+ *  them.
+ *  @internal */
+export function zeroWidth(type) {
+    if (type.type === "Null" || type.type === "Never")
+        return true;
+    return type.type === "Struct" && type.value.every((field) => zeroWidth(field.type));
+}
+function refuse(reason) {
+    throw new Beast2NotCanonicalError(reason);
+}
+/**
+ * Reads a varint the Writer writes: minimal, and no larger than a safe integer.
+ *
+ * @param reader - positioned at the varint
+ * @param what - what the varint is, for the refusal
+ * @param lenient - whether a varint that is not minimal reads
+ * @returns its value
+ * @throws {Beast2NotCanonicalError} When it is not minimal, too large, or
+ *   runs past the bytes.
+ */
+export function canonicalVarint(reader, what, lenient = false) {
+    const buf = reader.buffer;
+    let off = reader.offset;
+    let value = 0;
+    let scale = 1;
+    for (let i = 0;; i++) {
+        if (off >= buf.length)
+            refuse(`${what} runs past the end of its bytes`);
+        const byte = buf[off++];
+        value += (byte & 0x7f) * scale;
+        if ((byte & 0x80) === 0) {
+            if (byte === 0 && i > 0 && !lenient)
+                refuse(`${what} is not a minimal varint`);
+            break;
+        }
+        if (i === 7)
+            refuse(`${what} is larger than a safe integer`);
+        scale *= 128;
+    }
+    if (value > Number.MAX_SAFE_INTEGER)
+        refuse(`${what} is larger than a safe integer`);
+    reader.offset = off;
+    return value;
+}
+/** Steps over `length` bytes. */
+function bytes(reader, length, what) {
+    if (reader.offset + length > reader.buffer.length)
+        refuse(`${what} runs past the end of its bytes`);
+    reader.offset += length;
+}
+/** An Integer: a minimal zigzag varint of 64 bits at most. Ten bytes carry
+ *  bits 63 and up in the last, which 64 bits leave 1 — or, lenient, 0 too,
+ *  when the varint is padded. */
+function integer(reader, lenient) {
+    const buf = reader.buffer;
+    let off = reader.offset;
+    for (let i = 0;; i++) {
+        if (off >= buf.length)
+            refuse("an Integer runs past the end of its bytes");
+        const byte = buf[off++];
+        if ((byte & 0x80) === 0) {
+            if (byte === 0 && i > 0 && !lenient)
+                refuse("an Integer is not a minimal varint");
+            if (i === 9 && byte > 1)
+                refuse("an Integer is larger than 64 bits");
+            break;
+        }
+        if (i === 9)
+            refuse("an Integer is larger than 64 bits");
+    }
+    reader.offset = off;
+}
+/** A DateTime: a zigzag varint of the milliseconds of a date a `Date` holds.
+ *  Seven bytes or fewer always are one; more are measured. */
+function dateTime(reader, lenient) {
+    const start = reader.offset;
+    integer(reader, lenient);
+    const length = reader.offset - start;
+    if (length < 8)
+        return;
+    let zigzag = 0n;
+    for (let i = length - 1; i >= 0; i--)
+        zigzag = (zigzag << 7n) | BigInt(reader.buffer[start + i] & 0x7f);
+    if (zigzag > DATE_ZIGZAG_MAX)
+        refuse("a DateTime is outside the dates a Date holds");
+}
+/** A Float: any 64 bits but a NaN other than the encoder's,
+ *  `0x7FF8000000000000` — or, lenient, the negative one the decoder also
+ *  reads, `0xFFF8000000000000`. */
+function float(reader, lenient) {
+    const buf = reader.buffer;
+    const off = reader.offset;
+    if (off + 8 > buf.length)
+        refuse("a Float runs past the end of its bytes");
+    const top = buf[off + 7];
+    const next = buf[off + 6];
+    if ((top & 0x7f) === 0x7f && (next & 0xf0) === 0xf0) {
+        const low = (buf[off] | buf[off + 1] | buf[off + 2] | buf[off + 3] | buf[off + 4] | buf[off + 5]) === 0;
+        const infinite = low && (next & 0x0f) === 0;
+        const writers = low && next === 0xf8 && (top === 0x7f || (lenient && top === 0xff));
+        if (!infinite && !writers)
+            refuse("a Float is a NaN other than the one the Writer writes");
+    }
+    reader.offset = off + 8;
+}
+/** A String: a length, then that many bytes of well-formed UTF-8 — no overlong
+ *  form, surrogate or code point past U+10FFFF, each of which a decode
+ *  replaces and an encode then writes otherwise. */
+function string(reader, lenient) {
+    const length = canonicalVarint(reader, "a String's length", lenient);
+    const buf = reader.buffer;
+    let off = reader.offset;
+    const end = off + length;
+    if (end > buf.length)
+        refuse("a String runs past the end of its bytes");
+    while (off < end) {
+        const lead = buf[off];
+        if (lead < 0x80) {
+            off++;
+            continue;
+        }
+        // The well-formed sequences: the second byte's range turns on the lead.
+        let follow;
+        let low = 0x80;
+        let high = 0xbf;
+        if (lead >= 0xc2 && lead <= 0xdf)
+            follow = 1;
+        else if (lead === 0xe0) {
+            follow = 2;
+            low = 0xa0;
+        }
+        else if ((lead >= 0xe1 && lead <= 0xec) || lead === 0xee || lead === 0xef)
+            follow = 2;
+        else if (lead === 0xed) {
+            follow = 2;
+            high = 0x9f;
+        }
+        else if (lead === 0xf0) {
+            follow = 3;
+            low = 0x90;
+        }
+        else if (lead >= 0xf1 && lead <= 0xf3)
+            follow = 3;
+        else if (lead === 0xf4) {
+            follow = 3;
+            high = 0x8f;
+        }
+        else
+            refuse("a String is not well-formed UTF-8");
+        if (off + follow >= end)
+            refuse("a String is not well-formed UTF-8");
+        const second = buf[off + 1];
+        if (second < low || second > high)
+            refuse("a String is not well-formed UTF-8");
+        for (let k = 2; k <= follow; k++) {
+            const byte = buf[off + k];
+            if (byte < 0x80 || byte > 0xbf)
+                refuse("a String is not well-formed UTF-8");
+        }
+        off += follow + 1;
+    }
+    reader.offset = end;
+}
+/**
+ * A mutable container's tag: `NEW`, whose content follows, recorded as a
+ * definition of `type`; or `REF` to an earlier definition of the same type in
+ * `defs`.
+ *
+ * @returns whether the container's content follows
+ */
+function container(reader, defs, type, lenient) {
+    const buf = reader.buffer;
+    if (reader.offset >= buf.length)
+        refuse("a container runs past the end of its bytes");
+    const tag = buf[reader.offset++];
+    if (tag === TAG_NEW) {
+        defs.push(type);
+        return true;
+    }
+    if (tag !== TAG_REF)
+        refuse(`a container's tag is 0x${tag.toString(16)}, neither NEW nor REF`);
+    const delta = canonicalVarint(reader, "a container alias", lenient);
+    if (delta < 1 || delta > defs.length) {
+        refuse(lenient ? "a container alias reaches outside its segment" : "a container alias reaches outside its root element");
+    }
+    const target = defs[defs.length - delta];
+    if (target !== type && !isTypeValueEqual(target, type))
+        refuse("a container alias names a container of another type");
+    return false;
+}
+/** A container's content: `varint(0)` when empty, else `varint(n)`, the n
+ *  elements, and `varint(0)` — one run, as the encoder writes it; lenient,
+ *  any number of runs before the `varint(0)`. Each element is given its index
+ *  in the content. `zero` says the elements encode to no bytes, whose count
+ *  is bounded as every decoder bounds it. */
+function run(reader, what, lenient, zero, element) {
+    let index = 0;
+    for (;;) {
+        const n = canonicalVarint(reader, index === 0 ? `${what}'s length` : `${what}'s end`, lenient);
+        if (n === 0)
+            return;
+        if (index > 0 && !lenient)
+            refuse(`${what}'s elements are not written in one run`);
+        if (zero && index + n > ZERO_WIDTH_MAX)
+            refuse(`${what} holds more elements than a reader takes`);
+        for (let i = 0; i < n; i++)
+            element(index++);
+    }
+}
+/**
+ * Builds the {@link CanonicalSkipper} for a type.
+ *
+ * @param type - the type of the values to step over
+ * @param options - whether the skipper is lenient
+ * @returns the skipper
+ *
+ * @example
+ * ```ts
+ * const bytes = encodeBeast2FenceFor(StringType)("key");
+ * const reader = new BufferReader(bytes, 0);
+ * canonicalSkipperFor(StringType)(reader, []);
+ * // reader.offset === bytes.length
+ * ```
+ */
+export function canonicalSkipperFor(type, options) {
+    return build(asTypeValue(type), new Map(), options?.lenient ?? false);
+}
+function build(type, recursive, lenient) {
+    switch (type.type) {
+        case "Never":
+            return () => refuse("a value of type Never");
+        case "Null":
+            return () => { };
+        case "Boolean":
+            return (reader) => {
+                if (reader.offset >= reader.buffer.length)
+                    refuse("a Boolean runs past the end of its bytes");
+                if (reader.buffer[reader.offset++] > 1)
+                    refuse("a Boolean is neither 0 nor 1");
+            };
+        case "Integer":
+            return (reader) => integer(reader, lenient);
+        case "Float":
+            return (reader) => float(reader, lenient);
+        case "String":
+            return (reader) => string(reader, lenient);
+        case "DateTime":
+            return (reader) => dateTime(reader, lenient);
+        case "Blob":
+            return (reader) => bytes(reader, canonicalVarint(reader, "a Blob's length", lenient), "a Blob");
+        case "Vector": {
+            const width = type.value.type === "Boolean" ? 1 : 8;
+            return (reader) => {
+                const length = canonicalVarint(reader, "a Vector's length", lenient);
+                if (length > (reader.buffer.length - reader.offset) / width)
+                    refuse("a Vector runs past the end of its bytes");
+                bytes(reader, length * width, "a Vector");
+            };
+        }
+        case "Matrix": {
+            const width = type.value.type === "Boolean" ? 1 : 8;
+            return (reader) => {
+                const rows = canonicalVarint(reader, "a Matrix's rows", lenient);
+                const cols = canonicalVarint(reader, "a Matrix's columns", lenient);
+                if (rows > 0 && cols > (reader.buffer.length - reader.offset) / width / rows)
+                    refuse("a Matrix runs past the end of its bytes");
+                bytes(reader, rows * cols * width, "a Matrix");
+            };
+        }
+        case "Array": {
+            let element;
+            const zero = zeroWidth(type.value);
+            const skip = (reader, defs) => {
+                if (container(reader, defs, type, lenient))
+                    run(reader, "an Array", lenient, zero, () => element(reader, defs));
+            };
+            element = build(type.value, recursive, lenient);
+            return skip;
+        }
+        case "Set": {
+            let element;
+            const decode = decodeBeast2FenceFor(type.value);
+            const cmp = compareFor(type.value);
+            const zero = zeroWidth(type.value);
+            const skip = (reader, defs) => {
+                if (!container(reader, defs, type, lenient))
+                    return;
+                let previous;
+                run(reader, "a Set", lenient, zero, (index) => {
+                    const start = reader.offset;
+                    element(reader, defs);
+                    const value = decode(reader.buffer.subarray(start, reader.offset));
+                    if (index > 0 && cmp(previous, value) >= 0)
+                        refuse("a Set's elements do not strictly ascend");
+                    previous = value;
+                });
+            };
+            element = build(type.value, recursive, lenient);
+            return skip;
+        }
+        case "Dict": {
+            let key;
+            let value;
+            const decode = decodeBeast2FenceFor(type.value.key);
+            const cmp = compareFor(type.value.key);
+            const zero = zeroWidth(type.value.key) && zeroWidth(type.value.value);
+            const skip = (reader, defs) => {
+                if (!container(reader, defs, type, lenient))
+                    return;
+                let previous;
+                run(reader, "a Dict", lenient, zero, (index) => {
+                    const start = reader.offset;
+                    key(reader, defs);
+                    const k = decode(reader.buffer.subarray(start, reader.offset));
+                    if (index > 0 && cmp(previous, k) >= 0)
+                        refuse("a Dict's keys do not strictly ascend");
+                    previous = k;
+                    value(reader, defs);
+                });
+            };
+            key = build(type.value.key, recursive, lenient);
+            value = build(type.value.value, recursive, lenient);
+            return skip;
+        }
+        case "Ref": {
+            let inner;
+            const skip = (reader, defs) => {
+                if (container(reader, defs, type, lenient))
+                    inner(reader, defs);
+            };
+            inner = build(type.value, recursive, lenient);
+            return skip;
+        }
+        case "Struct": {
+            const fields = type.value.map((field) => build(field.type, recursive, lenient));
+            return (reader, defs) => {
+                for (const field of fields)
+                    field(reader, defs);
+            };
+        }
+        case "Variant": {
+            const cases = type.value.map((c) => build(c.type, recursive, lenient));
+            return (reader, defs) => {
+                const tag = canonicalVarint(reader, "a Variant's case", lenient);
+                if (tag >= cases.length)
+                    refuse(`a Variant's case ${tag} is not one of its ${cases.length}`);
+                cases[tag](reader, defs);
+            };
+        }
+        case "Recursive": {
+            const node = type.value;
+            if (node.type === "wrapper") {
+                let inner;
+                const skip = (reader, defs) => inner(reader, defs);
+                recursive.set(node.value.id, skip);
+                inner = build(node.value.inner, recursive, lenient);
+                return skip;
+            }
+            const target = recursive.get(node.value);
+            if (target === undefined)
+                throw new Error("beast2 v5: a recursive type refers to one not being built");
+            return target;
+        }
+        case "Function":
+        case "AsyncFunction":
+            return () => refuse("a function value, whose captures' types only its decoded IR says");
+        default:
+            throw new Error(`beast2 v5: unknown type ${type.type}`);
+    }
+}
+//# sourceMappingURL=canonical.js.map

package/dist/src/serialization/beast2/v5/canonical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../../../../src/serialization/beast2/v5/canonical.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EAAsB,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAErD;0DAC0D;AAC1D,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAChD,2DAA2D;IAClD,MAAM,CAAS;IAExB;;OAEG;IACH,YAAY,MAAc;QACxB,KAAK,CAAC,cAAc,MAAM,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;QACtC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAqBD;iBACiB;AACjB,MAAM,eAAe,GAAG,EAAE,GAAG,iBAAsB,CAAC;AAEpD;iFACiF;AACjF,MAAM,cAAc,GAAG,CAAC,IAAI,EAAE,CAAC;AAE/B;yBACyB;AACzB,MAAM,CAAC,MAAM,qBAAqB,GAAG,cAAc,CAAC;AAEpD;;gBAEgB;AAChB,MAAM,UAAU,SAAS,CAAC,IAAmB;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,MAAM,CAAC,MAAc;IAC5B,MAAM,IAAI,uBAAuB,CAAC,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,MAAoB,EAAE,IAAY,EAAE,OAAO,GAAG,KAAK;IACjF,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,GAAI,CAAC,EAAE,EAAE,CAAC;QACtB,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM;YAAE,MAAM,CAAC,GAAG,IAAI,iCAAiC,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,CAAE,CAAC;QACzB,KAAK,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;QAC/B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO;gBAAE,MAAM,CAAC,GAAG,IAAI,0BAA0B,CAAC,CAAC;YAC/E,MAAM;QACR,CAAC;QACD,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,GAAG,IAAI,gCAAgC,CAAC,CAAC;QAC7D,KAAK,IAAI,GAAG,CAAC;IACf,CAAC;IACD,IAAI,KAAK,GAAG,MAAM,CAAC,gBAAgB;QAAE,MAAM,CAAC,GAAG,IAAI,gCAAgC,CAAC,CAAC;IACrF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC;IACpB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iCAAiC;AACjC,SAAS,KAAK,CAAC,MAAoB,EAAE,MAAc,EAAE,IAAY;IAC/D,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,CAAC,GAAG,IAAI,iCAAiC,CAAC,CAAC;IACpG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC;AAC1B,CAAC;AAED;;iCAEiC;AACjC,SAAS,OAAO,CAAC,MAAoB,EAAE,OAAgB;IACrD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,GAAI,CAAC,EAAE,EAAE,CAAC;QACtB,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM;YAAE,MAAM,CAAC,2CAA2C,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,CAAE,CAAC;QACzB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO;gBAAE,MAAM,CAAC,oCAAoC,CAAC,CAAC;YAClF,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC;gBAAE,MAAM,CAAC,mCAAmC,CAAC,CAAC;YACrE,MAAM;QACR,CAAC;QACD,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,mCAAmC,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC;AACtB,CAAC;AAED;8DAC8D;AAC9D,SAAS,QAAQ,CAAC,MAAoB,EAAE,OAAgB;IACtD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5B,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;IACrC,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO;IACvB,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,MAAM,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,GAAG,IAAI,CAAC,CAAC;IACzG,IAAI,MAAM,GAAG,eAAe;QAAE,MAAM,CAAC,8CAA8C,CAAC,CAAC;AACvF,CAAC;AAED;;mCAEmC;AACnC,SAAS,KAAK,CAAC,MAAoB,EAAE,OAAgB;IACnD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,IAAI,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM;QAAE,MAAM,CAAC,wCAAwC,CAAC,CAAC;IAC3E,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC;IAC3B,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAE,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAE,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAE,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAE,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAE,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC;QAC9G,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,GAAG,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,OAAO,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC;QACpF,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO;YAAE,MAAM,CAAC,uDAAuD,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,CAAC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED;;oDAEoD;AACpD,SAAS,MAAM,CAAC,MAAoB,EAAE,OAAgB;IACpD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,mBAAmB,EAAE,OAAO,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,MAAM,GAAG,GAAG,GAAG,GAAG,MAAM,CAAC;IACzB,IAAI,GAAG,GAAG,GAAG,CAAC,MAAM;QAAE,MAAM,CAAC,yCAAyC,CAAC,CAAC;IACxE,OAAO,GAAG,GAAG,GAAG,EAAE,CAAC;QACjB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAE,CAAC;QACvB,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;YAChB,GAAG,EAAE,CAAC;YACN,SAAS;QACX,CAAC;QACD,wEAAwE;QACxE,IAAI,MAAc,CAAC;QACnB,IAAI,GAAG,GAAG,IAAI,CAAC;QACf,IAAI,IAAI,GAAG,IAAI,CAAC;QAChB,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI;YAAE,MAAM,GAAG,CAAC,CAAC;aACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAAC,MAAM,GAAG,CAAC,CAAC;YAAC,GAAG,GAAG,IAAI,CAAC;QAAC,CAAC;aAC9C,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;YAAE,MAAM,GAAG,CAAC,CAAC;aACjF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAAC,MAAM,GAAG,CAAC,CAAC;YAAC,IAAI,GAAG,IAAI,CAAC;QAAC,CAAC;aAC/C,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAAC,MAAM,GAAG,CAAC,CAAC;YAAC,GAAG,GAAG,IAAI,CAAC;QAAC,CAAC;aAC9C,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI;YAAE,MAAM,GAAG,CAAC,CAAC;aAC7C,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAAC,MAAM,GAAG,CAAC,CAAC;YAAC,IAAI,GAAG,IAAI,CAAC;QAAC,CAAC;;YAC/C,MAAM,CAAC,mCAAmC,CAAC,CAAC;QACjD,IAAI,GAAG,GAAG,MAAM,IAAI,GAAG;YAAE,MAAM,CAAC,mCAAmC,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC;QAC7B,IAAI,MAAM,GAAG,GAAG,IAAI,MAAM,GAAG,IAAI;YAAE,MAAM,CAAC,mCAAmC,CAAC,CAAC;QAC/E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC;YAC3B,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,IAAI;gBAAE,MAAM,CAAC,mCAAmC,CAAC,CAAC;QAC9E,CAAC;QACD,GAAG,IAAI,MAAM,GAAG,CAAC,CAAC;IACpB,CAAC;IACD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC;AACtB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,MAAoB,EAAE,IAAqB,EAAE,IAAmB,EAAE,OAAgB;IACnG,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,IAAI,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM;QAAE,MAAM,CAAC,4CAA4C,CAAC,CAAC;IACtF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAE,CAAC;IAClC,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,GAAG,KAAK,OAAO;QAAE,MAAM,CAAC,0BAA0B,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC;IAC/F,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,mBAAmB,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,+CAA+C,CAAC,CAAC,CAAC,oDAAoD,CAAC,CAAC;IAC3H,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAE,CAAC;IAC1C,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC;QAAE,MAAM,CAAC,qDAAqD,CAAC,CAAC;IACtH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;6CAI6C;AAC7C,SAAS,GAAG,CAAC,MAAoB,EAAE,IAAY,EAAE,OAAgB,EAAE,IAAa,EAAE,OAAgC;IAChH,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,SAAS,CAAC;QACR,MAAM,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC/F,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO;QACpB,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,OAAO;YAAE,MAAM,CAAC,GAAG,IAAI,wCAAwC,CAAC,CAAC;QACnF,IAAI,IAAI,IAAI,KAAK,GAAG,CAAC,GAAG,cAAc;YAAE,MAAM,CAAC,GAAG,IAAI,0CAA0C,CAAC,CAAC;QAClG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAA8B,EAAE,OAAiC;IACnG,OAAO,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,OAAO,IAAI,KAAK,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,KAAK,CAAC,IAAmB,EAAE,SAAwC,EAAE,OAAgB;IAC5F,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC;QAC/C,KAAK,MAAM;YACT,OAAO,GAAG,EAAE,GAAE,CAAC,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,CAAC,MAAM,EAAE,EAAE;gBAChB,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM;oBAAE,MAAM,CAAC,0CAA0C,CAAC,CAAC;gBAC9F,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAE,GAAG,CAAC;oBAAE,MAAM,CAAC,8BAA8B,CAAC,CAAC;YAClF,CAAC,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9C,KAAK,OAAO;YACV,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC5C,KAAK,QAAQ;YACX,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC7C,KAAK,UAAU;YACb,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC/C,KAAK,MAAM;YACT,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,eAAe,CAAC,MAAM,EAAE,iBAAiB,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;QAClG,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,OAAO,CAAC,MAAM,EAAE,EAAE;gBAChB,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,mBAAmB,EAAE,OAAO,CAAC,CAAC;gBACrE,IAAI,MAAM,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK;oBAAE,MAAM,CAAC,yCAAyC,CAAC,CAAC;gBAC/G,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,EAAE,UAAU,CAAC,CAAC;YAC5C,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,OAAO,CAAC,MAAM,EAAE,EAAE;gBAChB,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;gBACjE,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,oBAAoB,EAAE,OAAO,CAAC,CAAC;gBACpE,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,GAAG,IAAI;oBAAE,MAAM,CAAC,yCAAyC,CAAC,CAAC;gBAChI,KAAK,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,GAAG,KAAK,EAAE,UAAU,CAAC,CAAC;YACjD,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,OAAyB,CAAC;YAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,IAAI,GAAqB,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;gBAC9C,IAAI,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC;oBAAE,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YAClH,CAAC,CAAC;YACF,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAChD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,OAAyB,CAAC;YAC9B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAuC,CAAC;YACzE,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,IAAI,GAAqB,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;gBAC9C,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC;oBAAE,OAAO;gBACpD,IAAI,QAAiB,CAAC;gBACtB,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;oBAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;oBAC5B,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBACtB,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;oBACnE,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC;wBAAE,MAAM,CAAC,yCAAyC,CAAC,CAAC;oBAC9F,QAAQ,GAAG,KAAK,CAAC;gBACnB,CAAC,CAAC,CAAC;YACL,CAAC,CAAC;YACF,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAChD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,GAAqB,CAAC;YAC1B,IAAI,KAAuB,CAAC;YAC5B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACpD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAuC,CAAC;YAC7E,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtE,MAAM,IAAI,GAAqB,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;gBAC9C,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC;oBAAE,OAAO;gBACpD,IAAI,QAAiB,CAAC;gBACtB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;oBAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;oBAC5B,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBAClB,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;oBAC/D,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC;wBAAE,MAAM,CAAC,sCAAsC,CAAC,CAAC;oBACvF,QAAQ,GAAG,CAAC,CAAC;oBACb,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACtB,CAAC,CAAC,CAAC;YACL,CAAC,CAAC;YACF,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAChD,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YACpD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,KAAuB,CAAC;YAC5B,MAAM,IAAI,GAAqB,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;gBAC9C,IAAI,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC;oBAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAClE,CAAC,CAAC;YACF,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAC9C,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YAChF,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;gBACtB,KAAK,MAAM,KAAK,IAAI,MAAM;oBAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAClD,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YACvE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;gBACtB,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,EAAE,kBAAkB,EAAE,OAAO,CAAC,CAAC;gBACjE,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM;oBAAE,MAAM,CAAC,oBAAoB,GAAG,sBAAsB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC7F,KAAK,CAAC,GAAG,CAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC5B,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,IAAI,CAAC,KAA0G,CAAC;YAC7H,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,IAAI,KAAuB,CAAC;gBAC5B,MAAM,IAAI,GAAqB,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACrE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBACnC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;gBACpD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;YACvG,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,KAAK,UAAU,CAAC;QAChB,KAAK,eAAe;YAClB,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,kEAAkE,CAAC,CAAC;QAC1F;YACE,MAAM,IAAI,KAAK,CAAC,2BAA4B,IAAyB,CAAC,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC;AACH,CAAC"}

package/dist/src/serialization/beast2/v5/canonical.spec.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+export {};
+//# sourceMappingURL=canonical.spec.d.ts.map

package/dist/src/serialization/beast2/v5/canonical.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.spec.d.ts","sourceRoot":"","sources":["../../../../../src/serialization/beast2/v5/canonical.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/src/serialization/beast2/v5/canonical.spec.js

@@ -0,0 +1,124 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The canonical skipper, held to the encoder: it steps over exactly what the
+ * encoder writes for any value, aliasing among its containers included, and
+ * refuses what a decoder reads but the encoder would never write. The lenient
+ * one steps over what the decoder reads, too.
+ */
+import { describe, test } from "node:test";
+import assert from "node:assert/strict";
+import { ArrayType, BooleanType, DateTimeType, DictType, FloatType, FunctionType, IntegerType, NullType, RefType, SetType, StringType, StructType, VariantType, } from "../../../types.js";
+import { ref } from "../../../containers/ref.js";
+import { generateFuzzValues } from "../../../fuzz.js";
+import { BufferReader, BufferWriter } from "../../binary-utils.js";
+import { encodeBeast2FenceFor } from "./boundary.js";
+import { Beast2NotCanonicalError, canonicalSkipperFor, canonicalVarint } from "./canonical.js";
+/** Where the skipper leaves a reader over `bytes`, or its refusal. */
+function skip(type, bytes) {
+    const reader = new BufferReader(bytes, 0);
+    canonicalSkipperFor(type)(reader, []);
+    return reader.offset;
+}
+/** Bytes written with a writer's own calls. */
+function bytesOf(write) {
+    const writer = new BufferWriter();
+    write(writer);
+    return writer.toUint8Array().slice();
+}
+describe("canonicalSkipperFor", () => {
+    test("steps over exactly what the encoder writes, for every random type", () => {
+        const cases = generateFuzzValues({ numTypes: 120, numSamples: 6, seed: 0xca70, includeFunctions: false, nestedRecursive: true, includeTypeValues: true });
+        assert.ok(cases.length >= 100, `the fuzz made ${cases.length} types`);
+        for (const c of cases) {
+            const encode = encodeBeast2FenceFor(c.type);
+            for (const value of c.values) {
+                const bytes = encode(value);
+                assert.equal(skip(c.type, bytes), bytes.length, `${c.typeName}: every byte of the value, and no more`);
+            }
+        }
+    });
+    test("steps over a value whose containers alias one another, as the encoder writes them", () => {
+        const Pair = StructType({ left: ArrayType(IntegerType), right: ArrayType(IntegerType) });
+        const shared = [1n, 2n];
+        const pair = encodeBeast2FenceFor(Pair)({ left: shared, right: shared });
+        assert.equal(skip(Pair, pair), pair.length);
+        const Cells = StructType({ x: RefType(IntegerType), y: RefType(IntegerType) });
+        const cell = ref(7n);
+        const cells = encodeBeast2FenceFor(Cells)({ x: cell, y: cell });
+        assert.equal(skip(Cells, cells), cells.length);
+    });
+    test("refuses what a decoder reads but the encoder would never write", () => {
+        const refused = (type, bytes, message) => {
+            assert.throws(() => skip(type, bytes), (err) => err instanceof Beast2NotCanonicalError && message.test(err.message));
+        };
+        // 5 is zigzag 10: one byte, 0x0A — not 0x8A 0x00.
+        refused(IntegerType, new Uint8Array([0x8a, 0x00]), /an Integer is not a minimal varint/);
+        refused(IntegerType, new Uint8Array([0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x02]), /an Integer is larger than 64 bits/);
+        refused(BooleanType, new Uint8Array([0x02]), /a Boolean is neither 0 nor 1/);
+        // U+0000 as two bytes, a surrogate, a code point past U+10FFFF, a lone continuation.
+        refused(StringType, new Uint8Array([0x02, 0xc0, 0x80]), /a String is not well-formed UTF-8/);
+        refused(StringType, new Uint8Array([0x03, 0xed, 0xa0, 0x80]), /a String is not well-formed UTF-8/);
+        refused(StringType, new Uint8Array([0x04, 0xf4, 0x90, 0x80, 0x80]), /a String is not well-formed UTF-8/);
+        refused(StringType, new Uint8Array([0x01, 0x80]), /a String is not well-formed UTF-8/);
+        // The encoder writes 0x7FF8000000000000 for every NaN.
+        refused(FloatType, new Uint8Array([0, 0, 0, 0, 0, 0, 0xf8, 0xff]), /a NaN other than the one the Writer writes/);
+        refused(FloatType, new Uint8Array([1, 0, 0, 0, 0, 0, 0xf0, 0x7f]), /a NaN other than the one the Writer writes/);
+        // 8.64e15 ms is the last date a Date holds.
+        refused(DateTimeType, bytesOf((w) => w.writeZigzag(8640000000000001n)), /a DateTime is outside the dates a Date holds/);
+        // [1, 2] as two runs, where the encoder writes one.
+        refused(ArrayType(IntegerType), new Uint8Array([0x00, 0x01, 0x02, 0x01, 0x04, 0x00]), /an Array's elements are not written in one run/);
+        refused(SetType(StringType), bytesOf((w) => { w.writeUint8(0); w.writeVarint(2); w.writeStringUtf8Varint("b"); w.writeStringUtf8Varint("a"); w.writeVarint(0); }), /a Set's elements do not strictly ascend/);
+        refused(DictType(StringType, IntegerType), bytesOf((w) => { w.writeUint8(0); w.writeVarint(2); w.writeStringUtf8Varint("a"); w.writeZigzag(1n); w.writeStringUtf8Varint("a"); w.writeZigzag(2n); w.writeVarint(0); }), /a Dict's keys do not strictly ascend/);
+        // `right` aliases `left`, an Array of another type.
+        refused(StructType({ left: ArrayType(IntegerType), right: ArrayType(StringType) }), new Uint8Array([0x00, 0x01, 0x02, 0x00, 0x01, 0x01]), /a container alias names a container of another type/);
+        // An alias to a container before the value's own.
+        refused(ArrayType(IntegerType), new Uint8Array([0x01, 0x01]), /a container alias reaches outside its root element/);
+        refused(ArrayType(IntegerType), new Uint8Array([0x02]), /a container's tag is 0x2, neither NEW nor REF/);
+        // Nulls cost no bytes, so their count is bounded as every decoder bounds it.
+        refused(ArrayType(NullType), bytesOf((w) => { w.writeUint8(0); w.writeVarint(2 ** 28 + 1); w.writeVarint(0); }), /an Array holds more elements than a reader takes/);
+        refused(VariantType({ a: IntegerType, b: StringType }), new Uint8Array([0x02]), /a Variant's case 2 is not one of its 2/);
+        refused(FunctionType([], IntegerType), new Uint8Array([0x00]), /a function value/);
+    });
+    test("a lenient skipper reads what the decoder reads, and refuses the rest as the strict one does", () => {
+        const lenient = (type, bytes, defs = []) => {
+            const reader = new BufferReader(bytes, 0);
+            canonicalSkipperFor(type, { lenient: true })(reader, defs);
+            return reader.offset;
+        };
+        const refused = (type, bytes, message) => {
+            assert.throws(() => lenient(type, bytes), (err) => err instanceof Beast2NotCanonicalError && message.test(err.message));
+        };
+        // Varints that are not minimal, padded to ten bytes for an Integer.
+        assert.equal(lenient(IntegerType, new Uint8Array([0x8a, 0x00])), 2);
+        assert.equal(lenient(IntegerType, new Uint8Array([0x8a, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x00])), 10);
+        assert.equal(lenient(StringType, new Uint8Array([0x81, 0x00, 0x61])), 3);
+        // A DateTime padded past eight bytes is measured, not refused by length.
+        assert.equal(lenient(DateTimeType, new Uint8Array([0x82, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x00])), 9);
+        // The negative NaN, which the decoder reads as NaN.
+        assert.equal(lenient(FloatType, new Uint8Array([0, 0, 0, 0, 0, 0, 0xf8, 0xff])), 8);
+        // [1, 2] as two runs.
+        assert.equal(lenient(ArrayType(IntegerType), new Uint8Array([0x00, 0x01, 0x02, 0x01, 0x04, 0x00])), 6);
+        // An alias into an earlier row, when the rows share their definitions.
+        const shared = [];
+        assert.equal(lenient(ArrayType(IntegerType), new Uint8Array([0x00, 0x01, 0x02, 0x00]), shared), 4);
+        assert.equal(lenient(ArrayType(IntegerType), new Uint8Array([0x01, 0x01]), shared), 2);
+        refused(ArrayType(IntegerType), new Uint8Array([0x01, 0x01]), /a container alias reaches outside its segment/);
+        refused(FloatType, new Uint8Array([1, 0, 0, 0, 0, 0, 0xf0, 0x7f]), /a NaN other than the one the Writer writes/);
+        refused(BooleanType, new Uint8Array([0x02]), /a Boolean is neither 0 nor 1/);
+        refused(StringType, new Uint8Array([0x01, 0x80]), /a String is not well-formed UTF-8/);
+        refused(IntegerType, new Uint8Array([0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x02]), /an Integer is larger than 64 bits/);
+        refused(DateTimeType, bytesOf((w) => w.writeZigzag(8640000000000001n)), /a DateTime is outside the dates a Date holds/);
+        refused(SetType(StringType), bytesOf((w) => { w.writeUint8(0); w.writeVarint(1); w.writeStringUtf8Varint("b"); w.writeVarint(1); w.writeStringUtf8Varint("a"); w.writeVarint(0); }), /a Set's elements do not strictly ascend/);
+    });
+    test("reads a varint only as the encoder writes it", () => {
+        assert.equal(canonicalVarint(new BufferReader(new Uint8Array([0x7f]), 0), "a length"), 127);
+        assert.equal(canonicalVarint(new BufferReader(bytesOf((w) => w.writeVarint(Number.MAX_SAFE_INTEGER)), 0), "a length"), Number.MAX_SAFE_INTEGER);
+        assert.throws(() => canonicalVarint(new BufferReader(new Uint8Array([0xff, 0x00]), 0), "a length"), /a length is not a minimal varint/);
+        assert.throws(() => canonicalVarint(new BufferReader(new Uint8Array([0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x01]), 0), "a length"), /larger than a safe integer/);
+        assert.throws(() => canonicalVarint(new BufferReader(new Uint8Array([0x80]), 0), "a length"), /a length runs past the end of its bytes/);
+    });
+});
+//# sourceMappingURL=canonical.spec.js.map

package/dist/src/serialization/beast2/v5/canonical.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.spec.js","sourceRoot":"","sources":["../../../../../src/serialization/beast2/v5/canonical.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EACL,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAC5H,UAAU,EAAE,WAAW,GACxB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,GAAG,EAAE,MAAM,4BAA4B,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAE/F,sEAAsE;AACtE,SAAS,IAAI,CAAC,IAAc,EAAE,KAAiB;IAC7C,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1C,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED,+CAA+C;AAC/C,SAAS,OAAO,CAAC,KAAqC;IACpD,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,MAAM,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC7E,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1J,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG,EAAE,iBAAiB,KAAK,CAAC,MAAM,QAAQ,CAAC,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC5B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,wCAAwC,CAAC,CAAC;YACzG,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC7F,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACzF,MAAM,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAE5C,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAChE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAG,CAAC,IAAc,EAAE,KAAiB,EAAE,OAAe,EAAQ,EAAE;YAC3E,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,GAAY,EAAE,EAAE,CAAC,GAAG,YAAY,uBAAuB,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QAChI,CAAC,CAAC;QACF,kDAAkD;QAClD,OAAO,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,oCAAoC,CAAC,CAAC;QACzF,OAAO,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACxI,OAAO,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC;QAC7E,qFAAqF;QACrF,OAAO,CAAC,UAAU,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,mCAAmC,CAAC,CAAC;QAC7F,OAAO,CAAC,UAAU,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACnG,OAAO,CAAC,UAAU,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACzG,OAAO,CAAC,UAAU,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACvF,uDAAuD;QACvD,OAAO,CAAC,SAAS,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,4CAA4C,CAAC,CAAC;QACjH,OAAO,CAAC,SAAS,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,4CAA4C,CAAC,CAAC;QACjH,4CAA4C;QAC5C,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,iBAAsB,CAAC,CAAC,EAAE,8CAA8C,CAAC,CAAC;QAC7H,oDAAoD;QACpD,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,gDAAgD,CAAC,CAAC;QACxI,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAC/J,yCAAyC,CAAC,CAAC;QAC7C,OAAO,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACnN,sCAAsC,CAAC,CAAC;QAC1C,oDAAoD;QACpD,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EACtI,qDAAqD,CAAC,CAAC;QACzD,kDAAkD;QAClD,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,oDAAoD,CAAC,CAAC;QACpH,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,+CAA+C,CAAC,CAAC;QACzG,6EAA6E;QAC7E,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,kDAAkD,CAAC,CAAC;QACrK,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,wCAAwC,CAAC,CAAC;QAC1H,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACvG,MAAM,OAAO,GAAG,CAAC,IAAc,EAAE,KAAiB,EAAE,OAAwB,EAAE,EAAU,EAAE;YACxF,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC1C,mBAAmB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3D,OAAO,MAAM,CAAC,MAAM,CAAC;QACvB,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,IAAc,EAAE,KAAiB,EAAE,OAAe,EAAQ,EAAE;YAC3E,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,GAAY,EAAE,EAAE,CAAC,GAAG,YAAY,uBAAuB,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACnI,CAAC,CAAC;QACF,oEAAoE;QACpE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrH,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,yEAAyE;QACzE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/G,oDAAoD;QACpD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpF,sBAAsB;QACtB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvG,uEAAuE;QACvE,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACnG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAEvF,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,+CAA+C,CAAC,CAAC;QAC/G,OAAO,CAAC,SAAS,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,4CAA4C,CAAC,CAAC;QACjH,OAAO,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC;QAC7E,OAAO,CAAC,UAAU,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACvF,OAAO,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACxI,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,iBAAsB,CAAC,CAAC,EAAE,8CAA8C,CAAC,CAAC;QAC7H,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACjL,yCAAyC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,YAAY,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;QAChJ,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,YAAY,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,kCAAkC,CAAC,CAAC;QACxI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,YAAY,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,4BAA4B,CAAC,CAAC;QAC5K,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,YAAY,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,yCAAyC,CAAC,CAAC;IAC3I,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/src/serialization/beast2/v5/codec.d.ts

@@ -52,13 +52,13 @@ export declare const TAG_NEW = 0;
 export declare const TAG_REF = 1;
 /** Mutable state threaded through a v5 encode pass. */
 export interface V5EncodeContext {
-    /** Identity map: container object → definition index. Cleared per root
-     *  segment by self-contained writers. */
+    /** Identity map: container object → definition index. Cleared at every root
+     *  element of a segmented collection, so no REF reaches past its element. */
     containerIndex: Map<any, number>;
     /** Count of container definitions so far (the definition counter). */
     containerCount: number;
-    /** Definition count at the start of the current root segment — REFs
-     *  reaching below this mark are cross-segment aliases. */
+    /** Definition count at the start of the current root element — REFs
+     *  reaching below this mark would alias across elements. */
     segmentBaseDef: number;
     /** Whether any REF crossed a root-segment boundary. */
     crossSegmentRef: boolean;
@@ -75,7 +75,8 @@ export interface V5EncodeContext {
 /** Creates a fresh v5 encode context.
  *
  * @param sourceMap - the pre-resolved header source map, if any
- * @param selfContained - whether the writer scopes aliasing per segment
+ * @param selfContained - whether the writer's segments must decode on their
+ *   own, which forbids inline source-map growth
  * @returns the initialized context
  */
 export declare function createV5EncodeContext(sourceMap: SourceMap | null, selfContained: boolean): V5EncodeContext;