@sig-net/midnight-serde 0.23.0 → 0.24.0-rc.10

package/dist/serialize.d.ts

@@ -1,48 +0,0 @@
-import type { CompactType, CompactUintType, CompactValueOf } from "./types.ts";
-/**
- * The EXCLUSIVE upper bound of a uint descriptor, whichever form it uses.
- *
- * @param type - The uint descriptor to read.
- * @returns One past the largest value the descriptor admits.
- */
-export declare function uintBound(type: CompactUintType): bigint;
-/**
- * Packed byte size of an ALREADY-VALIDATED descriptor. Package-internal: the
- * public {@link compactSerializedSize} validates first.
- *
- * @param type - A descriptor that has already passed validation.
- * @returns The packed byte size.
- */
-export declare function packedSize(type: CompactType): number;
-/**
- * Packed byte size of a type, before `serialize<T, N>`'s right zero-padding.
- *
- * @param type - The descriptor to size.
- * @returns The packed byte size.
- * @throws {Error} If the descriptor is not a well-formed Compact type.
- */
-export declare function compactSerializedSize(type: CompactType): number;
-/**
- * Byte-exact twin of `serialize<T, padTo>(value)`. With `padTo` omitted the
- * packed value is returned unpadded, matching `serialize<T, packedSize>`.
- *
- * The value parameter is typed from the descriptor (see `CompactValueOf`), so
- * a literal descriptor gets compile-time checking of the value shape, and the
- * same shape is enforced again at runtime.
- *
- * @param type - The descriptor the value conforms to.
- * @param value - The value to pack, shaped by the descriptor.
- * @param padTo - Total output length; omit to return the value unpadded.
- * @returns The packed bytes.
- * @throws {Error} If the descriptor or the value fails validation, or `padTo` is
- *   smaller than the packed size.
- */
-export declare function compactSerialize<const T extends CompactType>(type: T, value: CompactValueOf<T>, padTo?: number): Uint8Array;
-/**
- * Display name of a uint descriptor in its own declaration form.
- *
- * @param type - The uint descriptor to name.
- * @returns `Uint<bits>` for the sized form, `Uint<0..bound>` for the bounded one.
- */
-export declare function uintName(type: CompactUintType): string;
-//# sourceMappingURL=serialize.d.ts.map

package/dist/serialize.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../src/serialize.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAgB,cAAc,EAAE,MAAM,YAAY,CAAC;AA+B7F;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,CAKvD;AAmBD;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CA2BpD;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAG/D;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,CAAC,CAAC,SAAS,WAAW,EAC1D,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,KAAK,CAAC,EAAE,MAAM,GACb,UAAU,CAeZ;AA0ID;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,CAKtD"}

package/dist/serialize.js

@@ -1,292 +0,0 @@
-// Byte-exact twin of Compact's builtin `serialize<T, N>` from
-// CompactStandardLibrary, pinned against compiled circuits by tests/.
-//
-// Layout rules (compactc 0.33 / language 0.25):
-//   - struct fields and tuple elements are packed in declaration order, no
-//     alignment gaps
-//   - every value is little-endian at its NATURAL width (see src/types.ts);
-//     bounded uints and enums are as wide as their largest legal value, which
-//     makes `Uint<0..1>` and single-variant enums ZERO bytes wide
-//   - `serialize<T, N>` places the packed value at the START of `Bytes<N>` and
-//     zero-pads on the right; N below the packed size is a compile error, and
-//     this module throws on the same condition.
-//
-// Compact is a strict protocol, so this module is too: every public entry
-// point runs the full recursive descriptor validation (src/validate.ts)
-// before touching a byte, every value is range- and shape-checked at runtime,
-// and every switch has a throwing backstop for anything that slips past the
-// type system.
-import { FIELD_MODULUS } from "./types.js";
-import { assertCompactType, assertUnreachable, isUint8Array } from "./validate.js";
-/**
- * Byte length of the largest legal value, given the EXCLUSIVE bound. 0 for a bound of 1.
- *
- * @param bound - Exclusive upper bound of the value range.
- * @returns The byte width needed to hold any value below the bound.
- */
-function widthOfBound(bound) {
-    let max = bound - 1n;
-    let width = 0;
-    while (max > 0n) {
-        width++;
-        max >>= 8n;
-    }
-    return width;
-}
-/**
- * The sized-form bit width of a uint descriptor, or undefined for the bounded
- * form. Own-property read: `'bits' in type` would walk the prototype chain.
- *
- * @param type - The uint descriptor to inspect.
- * @returns The declared bit width, or undefined when the descriptor is bounded.
- */
-function sizedBits(type) {
-    return Object.hasOwn(type, "bits") ? type.bits : undefined;
-}
-/**
- * The EXCLUSIVE upper bound of a uint descriptor, whichever form it uses.
- *
- * @param type - The uint descriptor to read.
- * @returns One past the largest value the descriptor admits.
- */
-export function uintBound(type) {
-    const bits = sizedBits(type);
-    return bits !== undefined
-        ? 1n << BigInt(bits)
-        : BigInt(type.bound);
-}
-/**
- * Guard for the Number arithmetic below: element counts and widths are
- * individually safe integers (validated), but their products and sums can
- * still leave the safe range and silently round. Never produce a wrong size.
- *
- * @param size - The computed packed size to check.
- * @param label - Descriptor kind, used in the error message.
- * @returns The size unchanged, once proven safe.
- * @throws {Error} If the size is not a safe integer.
- */
-function assertSafeSize(size, label) {
-    if (!Number.isSafeInteger(size)) {
-        throw new Error(`${label}: packed size exceeds Number.MAX_SAFE_INTEGER`);
-    }
-    return size;
-}
-/**
- * Packed byte size of an ALREADY-VALIDATED descriptor. Package-internal: the
- * public {@link compactSerializedSize} validates first.
- *
- * @param type - A descriptor that has already passed validation.
- * @returns The packed byte size.
- */
-export function packedSize(type) {
-    switch (type.kind) {
-        case "boolean":
-            return 1;
-        case "uint":
-            return widthOfBound(uintBound(type));
-        case "field":
-            return 32;
-        case "bytes":
-            return type.length;
-        case "enum":
-            return widthOfBound(BigInt(type.variants));
-        case "vector":
-            return assertSafeSize(type.length * packedSize(type.element), "vector");
-        case "tuple":
-            return assertSafeSize(type.elements.reduce((sum, e) => sum + packedSize(e), 0), "tuple");
-        case "struct":
-            return assertSafeSize(type.fields.reduce((sum, f) => sum + packedSize(f.type), 0), "struct");
-        default:
-            return assertUnreachable(type, "packedSize");
-    }
-}
-/**
- * Packed byte size of a type, before `serialize<T, N>`'s right zero-padding.
- *
- * @param type - The descriptor to size.
- * @returns The packed byte size.
- * @throws {Error} If the descriptor is not a well-formed Compact type.
- */
-export function compactSerializedSize(type) {
-    assertCompactType(type);
-    return packedSize(type);
-}
-/**
- * Byte-exact twin of `serialize<T, padTo>(value)`. With `padTo` omitted the
- * packed value is returned unpadded, matching `serialize<T, packedSize>`.
- *
- * The value parameter is typed from the descriptor (see `CompactValueOf`), so
- * a literal descriptor gets compile-time checking of the value shape, and the
- * same shape is enforced again at runtime.
- *
- * @param type - The descriptor the value conforms to.
- * @param value - The value to pack, shaped by the descriptor.
- * @param padTo - Total output length; omit to return the value unpadded.
- * @returns The packed bytes.
- * @throws {Error} If the descriptor or the value fails validation, or `padTo` is
- *   smaller than the packed size.
- */
-export function compactSerialize(type, value, padTo) {
-    assertCompactType(type);
-    if (padTo !== undefined && (!Number.isInteger(padTo) || padTo < 0)) {
-        throw new Error(`padTo must be a non-negative integer, got ${String(padTo)}`);
-    }
-    const size = packedSize(type);
-    const total = padTo ?? size;
-    if (total < size) {
-        throw new Error(`padTo ${String(total)} is below the packed size ${String(size)} (a compile error in Compact too)`);
-    }
-    const out = new Uint8Array(total);
-    encodeInto(out, 0, type, value, "value");
-    return out;
-}
-/**
- * Whether a value is a plain object usable as a struct: not null, not an
- * array, not a Uint8Array. Takes `unknown` so each check is load-bearing
- * rather than narrowed away by the declared parameter type.
- *
- * @param value - The candidate struct value.
- * @returns Whether the value can carry named fields.
- */
-function isStructValue(value) {
-    return (typeof value === "object" && value !== null && !Array.isArray(value) && !isUint8Array(value));
-}
-function encodeInto(out, offset, type, value, label) {
-    switch (type.kind) {
-        case "boolean": {
-            if (typeof value !== "boolean")
-                throw new Error(`${label}: expected boolean`);
-            out[offset] = value ? 1 : 0;
-            return offset + 1;
-        }
-        case "uint": {
-            if (typeof value !== "bigint")
-                throw new Error(`${label}: expected bigint`);
-            const bound = uintBound(type);
-            const size = widthOfBound(bound);
-            if (value >= bound) {
-                throw new Error(`${label}: value ${String(value)} exceeds ${uintName(type)}`);
-            }
-            writeUintLE(out, offset, value, size, label);
-            return offset + size;
-        }
-        case "field": {
-            if (typeof value !== "bigint")
-                throw new Error(`${label}: expected bigint`);
-            if (value >= FIELD_MODULUS) {
-                throw new Error(`${label}: value ${String(value)} is not below the Field modulus`);
-            }
-            writeUintLE(out, offset, value, 32, label);
-            return offset + 32;
-        }
-        case "bytes": {
-            if (!isUint8Array(value))
-                throw new Error(`${label}: expected Uint8Array`);
-            if (value.length !== type.length) {
-                throw new Error(`${label}: expected exactly ${String(type.length)} bytes, got ${String(value.length)}`);
-            }
-            out.set(value, offset);
-            return offset + type.length;
-        }
-        case "enum": {
-            // Matches the generated bindings: enum values are numbers (the index).
-            if (typeof value !== "number" || !Number.isInteger(value)) {
-                throw new Error(`${label}: expected an integer number (enum variant index)`);
-            }
-            const size = widthOfBound(BigInt(type.variants));
-            if (value < 0 || value >= type.variants) {
-                throw new Error(`${label}: variant index ${String(value)} is outside 0..${String(type.variants - 1)}`);
-            }
-            writeUintLE(out, offset, BigInt(value), size, label);
-            return offset + size;
-        }
-        case "vector": {
-            if (!Array.isArray(value))
-                throw new Error(`${label}: expected array`);
-            if (value.length !== type.length) {
-                throw new Error(`${label}: expected exactly ${String(type.length)} elements, got ${String(value.length)}`);
-            }
-            let cursor = offset;
-            value.forEach((element, i) => {
-                cursor = encodeInto(out, cursor, type.element, element, `${label}[${String(i)}]`);
-            });
-            return cursor;
-        }
-        case "tuple": {
-            if (!Array.isArray(value))
-                throw new Error(`${label}: expected array (tuple)`);
-            if (value.length !== type.elements.length) {
-                throw new Error(`${label}: expected exactly ${String(type.elements.length)} elements, got ${String(value.length)}`);
-            }
-            let cursor = offset;
-            for (const [i, element] of type.elements.entries()) {
-                const item = value[i];
-                // The length check above proves this, but the index signature does not.
-                if (item === undefined) {
-                    throw new Error(`${label}[${String(i)}]: missing element`);
-                }
-                cursor = encodeInto(out, cursor, element, item, `${label}[${String(i)}]`);
-            }
-            return cursor;
-        }
-        case "struct": {
-            if (!isStructValue(value)) {
-                throw new Error(`${label}: expected an object`);
-            }
-            // Reject unknown keys, mirroring the strictness on descriptors: a
-            // typo'd extra property alongside the correctly-named ones would
-            // otherwise vanish silently.
-            const declared = new Set(type.fields.map((f) => f.name));
-            for (const key of Object.keys(value)) {
-                if (!declared.has(key)) {
-                    throw new Error(`${label}: unknown field '${key}' (not in the descriptor)`);
-                }
-            }
-            let cursor = offset;
-            for (const field of type.fields) {
-                // Own-property lookup: field names like 'toString' or '__proto__'
-                // are legal Compact identifiers and must not resolve through the
-                // JS prototype chain.
-                if (!Object.hasOwn(value, field.name)) {
-                    throw new Error(`${label}: missing field '${field.name}'`);
-                }
-                const fieldValue = value[field.name];
-                // hasOwn above proves the KEY exists; an explicit undefined VALUE is a
-                // separate case, and neither is serializable.
-                if (fieldValue === undefined) {
-                    throw new Error(`${label}: missing field '${field.name}'`);
-                }
-                cursor = encodeInto(out, cursor, field.type, fieldValue, `${label}.${field.name}`);
-            }
-            return cursor;
-        }
-        default:
-            return assertUnreachable(type, label);
-    }
-}
-/**
- * Display name of a uint descriptor in its own declaration form.
- *
- * @param type - The uint descriptor to name.
- * @returns `Uint<bits>` for the sized form, `Uint<0..bound>` for the bounded one.
- */
-export function uintName(type) {
-    const bits = sizedBits(type);
-    return bits !== undefined
-        ? `Uint<${String(bits)}>`
-        : `Uint<0..${String(type.bound)}>`;
-}
-function writeUintLE(out, offset, value, size, label) {
-    if (value < 0n) {
-        throw new Error(`${label}: negative values cannot be Compact-serialized (got ${String(value)})`);
-    }
-    if (value >> BigInt(size * 8) !== 0n) {
-        throw new Error(`${label}: value ${String(value)} does not fit in ${String(size)} bytes`);
-    }
-    let v = value;
-    for (let i = 0; i < size; i++) {
-        out[offset + i] = Number(v & 0xffn);
-        v >>= 8n;
-    }
-}
-//# sourceMappingURL=serialize.js.map

package/dist/serialize.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../src/serialize.ts"],"names":[],"mappings":"AAAA,8DAA8D;AAC9D,sEAAsE;AACtE,EAAE;AACF,gDAAgD;AAChD,2EAA2E;AAC3E,qBAAqB;AACrB,4EAA4E;AAC5E,8EAA8E;AAC9E,kEAAkE;AAClE,+EAA+E;AAC/E,8EAA8E;AAC9E,gDAAgD;AAChD,EAAE;AACF,0EAA0E;AAC1E,wEAAwE;AACxE,8EAA8E;AAC9E,4EAA4E;AAC5E,eAAe;AAGf,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAEnF;;;;;GAKG;AACH,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,GAAG,GAAG,KAAK,GAAG,EAAE,CAAC;IACrB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,GAAG,GAAG,EAAE,EAAE,CAAC;QAChB,KAAK,EAAE,CAAC;QACR,GAAG,KAAK,EAAE,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,IAAqB;IACtC,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAE,IAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACpF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,IAAqB;IAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,OAAO,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC;QACpB,CAAC,CAAC,MAAM,CAAE,IAAmC,CAAC,KAAK,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,cAAc,CAAC,IAAY,EAAE,KAAa;IACjD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,+CAA+C,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,IAAiB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC;QACX,KAAK,MAAM;YACT,OAAO,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACvC,KAAK,OAAO;YACV,OAAO,EAAE,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC7C,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC1E,KAAK,OAAO;YACV,OAAO,cAAc,CACnB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EACxD,OAAO,CACR,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,cAAc,CACnB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAC3D,QAAQ,CACT,CAAC;QACJ;YACE,OAAO,iBAAiB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACjD,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAiB;IACrD,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAO,EACP,KAAwB,EACxB,KAAc;IAEd,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,6CAA6C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,KAAK,IAAI,IAAI,CAAC;IAC5B,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CACb,SAAS,MAAM,CAAC,KAAK,CAAC,6BAA6B,MAAM,CAAC,IAAI,CAAC,mCAAmC,CACnG,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IAClC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACzC,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAC7F,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,GAAe,EACf,MAAc,EACd,IAAiB,EACjB,KAAmB,EACnB,KAAa;IAEb,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,EAAE,CAAC;YACf,IAAI,OAAO,KAAK,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;YAC9E,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,OAAO,MAAM,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;YAC5E,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACjC,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,WAAW,MAAM,CAAC,KAAK,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChF,CAAC;YACD,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7C,OAAO,MAAM,GAAG,IAAI,CAAC;QACvB,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;YAC5E,IAAI,KAAK,IAAI,aAAa,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,WAAW,MAAM,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;YACrF,CAAC;YACD,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;YAC3C,OAAO,MAAM,GAAG,EAAE,CAAC;QACrB,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC;YAC3E,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,sBAAsB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CACvF,CAAC;YACJ,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACvB,OAAO,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC9B,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,uEAAuE;YACvE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1D,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,mDAAmD,CAAC,CAAC;YAC/E,CAAC;YACD,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACjD,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,mBAAmB,MAAM,CAAC,KAAK,CAAC,kBAAkB,MAAM,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,CACtF,CAAC;YACJ,CAAC;YACD,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YACrD,OAAO,MAAM,GAAG,IAAI,CAAC;QACvB,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,kBAAkB,CAAC,CAAC;YACvE,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,sBAAsB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAC1F,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,GAAG,MAAM,CAAC;YACpB,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE;gBAC3B,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACpF,CAAC,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAC;YAC/E,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAC1C,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,sBAAsB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CACnG,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,GAAG,MAAM,CAAC;YACpB,KAAK,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;gBACnD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,wEAAwE;gBACxE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;gBAC7D,CAAC;gBACD,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5E,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,sBAAsB,CAAC,CAAC;YAClD,CAAC;YACD,kEAAkE;YAClE,iEAAiE;YACjE,6BAA6B;YAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACzD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACvB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,GAAG,2BAA2B,CAAC,CAAC;gBAC9E,CAAC;YACH,CAAC;YACD,IAAI,MAAM,GAAG,MAAM,CAAC;YACpB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,kEAAkE;gBAClE,iEAAiE;gBACjE,sBAAsB;gBACtB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC7D,CAAC;gBACD,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrC,uEAAuE;gBACvE,8CAA8C;gBAC9C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC7B,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC7D,CAAC;gBACD,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACrF,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD;YACE,OAAO,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAqB;IAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,OAAO,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,QAAQ,MAAM,CAAC,IAAI,CAAC,GAAG;QACzB,CAAC,CAAC,WAAW,MAAM,CAAE,IAAmC,CAAC,KAAK,CAAC,GAAG,CAAC;AACvE,CAAC;AAED,SAAS,WAAW,CAClB,GAAe,EACf,MAAc,EACd,KAAa,EACb,IAAY,EACZ,KAAa;IAEb,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,uDAAuD,MAAM,CAAC,KAAK,CAAC,GAAG,CAChF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,WAAW,MAAM,CAAC,KAAK,CAAC,oBAAoB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9B,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;QACpC,CAAC,KAAK,EAAE,CAAC;IACX,CAAC;AACH,CAAC"}

package/dist/types.d.ts

@@ -1,134 +0,0 @@
-/**
- * The BLS12-381 scalar field modulus. A Compact `Field` value must be below
- * it. Matches `maxField + 1n` exported by `@midnight-ntwrk/compact-runtime`.
- */
-export declare const FIELD_MODULUS = 52435875175126190479447740508185965837690552500527637822603658699938581184513n;
-/** Maximum `Uint` width accepted by compactc 0.33 (bits). */
-export declare const MAX_UINT_BITS = 248;
-/**
- * Maximum EXCLUSIVE bound of a Compact `Uint<0..n>`: 2^248, i.e. one above
- * the language reference's maximum Uint value 256^31 - 1.
- */
-export declare const MAX_UINT_BOUND: bigint;
-/** Compact `Boolean`: 1 byte, 0x00 or 0x01. */
-export interface CompactBooleanType {
-    readonly kind: "boolean";
-}
-/** Compact `Uint<bits>` (sized): ceil(bits / 8) bytes little-endian, bits 1..248. */
-export interface CompactSizedUintType {
-    readonly kind: "uint";
-    readonly bits: number;
-}
-/**
- * Compact `Uint<0..bound>` (bounded): values 0 (inclusive) to `bound`
- * EXCLUSIVE, per the language reference. Width is the byte length of
- * `bound - 1`, so `Uint<0..1000>` is 2 bytes and `Uint<0..1>` is ZERO bytes
- * (both circuit-pinned). A number `bound` must be a safe integer; use a
- * bigint beyond 2^53.
- */
-export interface CompactBoundedUintType {
-    readonly kind: "uint";
-    readonly bound: number | bigint;
-}
-/**
- * A Compact unsigned integer, in either declaration form. `Uint<w>` is the
- * same type as `Uint<0..2^w>`, so `{ bits: w }` and `{ bound: 1n << w }`
- * describe identical layouts and ranges.
- */
-export type CompactUintType = CompactSizedUintType | CompactBoundedUintType;
-/** Compact `Field`: 32 bytes little-endian, value below {@link FIELD_MODULUS}. */
-export interface CompactFieldType {
-    readonly kind: "field";
-}
-/** Compact `Bytes<length>`: raw bytes, copied verbatim. `Bytes<0>` is legal. */
-export interface CompactBytesType {
-    readonly kind: "bytes";
-    readonly length: number;
-}
-/**
- * A Compact enum: the variant INDEX packed exactly like
- * `Uint<0..variants>`, i.e. byte length of `variants - 1` (one byte up to
- * 256 variants, ZERO bytes for a single-variant enum; circuit-pinned).
- * Values are numbers, matching the generated contract bindings.
- */
-export interface CompactEnumType {
-    readonly kind: "enum";
-    readonly variants: number;
-}
-/**
- * Compact `Vector<length, element>`: elements back to back, no length
- * prefix. `Vector<0, T>` is legal and zero bytes wide.
- */
-export interface CompactVectorType {
-    readonly kind: "vector";
-    readonly length: number;
-    readonly element: CompactType;
-}
-/**
- * A Compact tuple `[T1, ..., Tn]`: elements packed in order, no gaps, no
- * prefix, exactly like a struct without field names. `Vector<n, T>` is the
- * homogeneous special case. Values are TypeScript arrays/tuples, matching
- * the generated contract bindings. The empty tuple `[]` is legal and zero
- * bytes wide.
- */
-export interface CompactTupleType {
-    readonly kind: "tuple";
-    readonly elements: readonly CompactType[];
-}
-/**
- * A Compact struct: fields packed in declaration order, no gaps, flattened.
- * A struct with no fields is legal and zero bytes wide.
- */
-export interface CompactStructType {
-    readonly kind: "struct";
-    readonly fields: readonly {
-        readonly name: string;
-        readonly type: CompactType;
-    }[];
-}
-/** Any Compact type descriptor: the union of every supported kind. */
-export type CompactType = CompactBooleanType | CompactUintType | CompactFieldType | CompactBytesType | CompactEnumType | CompactVectorType | CompactTupleType | CompactStructType;
-/**
- * The TypeScript value shapes descriptors map to, matching the generated
- * contract bindings: `Boolean` is boolean, `Uint`/`Field` are bigint, an
- * enum is a number (the variant index), `Bytes` is Uint8Array, `Vector` and
- * tuples are arrays, a struct is a plain object.
- */
-export type CompactValue = boolean | bigint | number | Uint8Array | CompactValue[] | {
-    [field: string]: CompactValue;
-};
-/**
- * The precise TypeScript value type of a descriptor. Declare descriptors
- * `as const satisfies CompactType` (or as a plain literal) and both
- * `compactSerialize` and `compactDeserialize` type their values exactly:
- *
- * ```ts
- * const RESULT = {
- *   kind: "struct",
- *   fields: [
- *     { name: "ok", type: { kind: "boolean" } },
- *     { name: "amount", type: { kind: "uint", bits: 128 } },
- *   ],
- * } as const satisfies CompactType;
- *
- * const value = compactDeserialize(RESULT, bytes);
- * //    ^? { ok: boolean; amount: bigint }
- * ```
- *
- * A descriptor WIDENED to `CompactType` degrades gracefully to
- * {@link CompactValue}.
- */
-/**
- * Maps a tuple of descriptors to the tuple of their value types. A separate
- * alias with its own type parameter so the mapped type is homomorphic (an
- * inline `keyof T['elements']` would map method keys too, not just indices).
- */
-type CompactTupleValueOf<E extends readonly CompactType[]> = number extends E["length"] ? CompactValue[] : {
-    -readonly [I in keyof E]: CompactValueOf<E[I]>;
-};
-/** The TypeScript value type a given Compact descriptor serializes. */
-export type CompactValueOf<T extends CompactType> = T extends CompactBooleanType ? boolean : T extends CompactUintType | CompactFieldType ? bigint : T extends CompactEnumType ? number : T extends CompactBytesType ? Uint8Array : T extends CompactVectorType ? CompactValueOf<T["element"]>[] : T extends CompactTupleType ? CompactTupleValueOf<T["elements"]> : T extends CompactStructType ? {
-    -readonly [F in T["fields"][number] as F["name"]]: CompactValueOf<F["type"]>;
-} : never;
-export {};
-//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAUA;;;GAGG;AACH,eAAO,MAAM,aAAa,iFAAsE,CAAC;AAEjG,6DAA6D;AAC7D,eAAO,MAAM,aAAa,MAAM,CAAC;AAEjC;;;GAGG;AACH,eAAO,MAAM,cAAc,QAAa,CAAC;AAEzC,+CAA+C;AAC/C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B;AAED,qFAAqF;AACrF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG,oBAAoB,GAAG,sBAAsB,CAAC;AAE5E,kFAAkF;AAClF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,gFAAgF;AAChF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;CAC/B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;CAC3C;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;KAAE,EAAE,CAAC;CACnF;AAED,sEAAsE;AACtE,MAAM,MAAM,WAAW,GACnB,kBAAkB,GAClB,eAAe,GACf,gBAAgB,GAChB,gBAAgB,GAChB,eAAe,GACf,iBAAiB,GACjB,gBAAgB,GAChB,iBAAiB,CAAC;AAEtB;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GACtB,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,UAAU,GAAG,YAAY,EAAE,GAAG;IAAE,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,CAAC;AAE9F;;;;;;;;;;;;;;;;;;;;GAoBG;AACH;;;;GAIG;AACH,KAAK,mBAAmB,CAAC,CAAC,SAAS,SAAS,WAAW,EAAE,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACnF,YAAY,EAAE,GACd;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEvD,uEAAuE;AACvE,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,kBAAkB,GAC5E,OAAO,GACP,CAAC,SAAS,eAAe,GAAG,gBAAgB,GAC1C,MAAM,GACN,CAAC,SAAS,eAAe,GACvB,MAAM,GACN,CAAC,SAAS,gBAAgB,GACxB,UAAU,GACV,CAAC,SAAS,iBAAiB,GACzB,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,GAC9B,CAAC,SAAS,gBAAgB,GACxB,mBAAmB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAClC,CAAC,SAAS,iBAAiB,GACzB;IACE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;CAC7E,GACD,KAAK,CAAC"}

package/dist/types.js

@@ -1,22 +0,0 @@
-// Type descriptors for Compact circuit types, the runtime mirror of what a
-// contract declares at compile time. A descriptor tree fully determines the
-// byte layout of Compact's builtin `serialize<T, N>` / `deserialize<T, N>`
-// pair, so off-chain code can produce or consume the exact bytes a circuit
-// reads or writes.
-//
-// Coverage: every serializable Compact type has a descriptor kind. The only
-// exclusion is `Opaque<...>`, which compactc itself rejects with
-// "Opaque<...> is not a serializable type".
-/**
- * The BLS12-381 scalar field modulus. A Compact `Field` value must be below
- * it. Matches `maxField + 1n` exported by `@midnight-ntwrk/compact-runtime`.
- */
-export const FIELD_MODULUS = 0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001n;
-/** Maximum `Uint` width accepted by compactc 0.33 (bits). */
-export const MAX_UINT_BITS = 248;
-/**
- * Maximum EXCLUSIVE bound of a Compact `Uint<0..n>`: 2^248, i.e. one above
- * the language reference's maximum Uint value 256^31 - 1.
- */
-export const MAX_UINT_BOUND = 1n << 248n;
-//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,4EAA4E;AAC5E,2EAA2E;AAC3E,2EAA2E;AAC3E,mBAAmB;AACnB,EAAE;AACF,4EAA4E;AAC5E,iEAAiE;AACjE,4CAA4C;AAE5C;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,mEAAmE,CAAC;AAEjG,6DAA6D;AAC7D,MAAM,CAAC,MAAM,aAAa,GAAG,GAAG,CAAC;AAEjC;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,EAAE,IAAI,IAAI,CAAC"}

package/dist/validate.d.ts

@@ -1,39 +0,0 @@
-import type { CompactType } from "./types.ts";
-/**
- * Cross-realm-safe Uint8Array check. `instanceof` fails for buffers created
- * in another realm (node:vm context, iframe), which are otherwise perfectly
- * valid inputs, so fall back to the brand check.
- *
- * @param value - The value to test.
- * @returns Whether the value is a Uint8Array from any realm.
- */
-export declare function isUint8Array(value: unknown): value is Uint8Array;
-/**
- * Assert that `type` is a structurally valid {@link CompactType}, recursively.
- * Rejects unknown kinds, unexpected extra keys (typo protection), out-of-range
- * widths and lengths, empty or duplicate struct field names, and any
- * non-object node. Error messages carry the path to the offending node.
- *
- * @param type - The candidate descriptor.
- * @param label - Path prefix for error messages.
- * @throws {Error} If the descriptor is malformed at any depth.
- */
-export declare function assertCompactType(type: unknown, label?: string): asserts type is CompactType;
-/**
- * Boolean form of {@link assertCompactType}.
- *
- * @param type - The candidate descriptor.
- * @returns Whether the descriptor is structurally valid.
- */
-export declare function isCompactType(type: unknown): type is CompactType;
-/**
- * Exhaustiveness backstop for descriptor switches. Statically `value` is
- * `never` (every kind handled); at runtime it still throws on anything that
- * slipped past validation instead of falling through to undefined behaviour.
- *
- * @param value - The descriptor every branch was meant to have handled.
- * @param label - Caller name, used in the error message.
- * @throws {Error} Always, naming the unhandled kind.
- */
-export declare function assertUnreachable(value: never, label: string): never;
-//# sourceMappingURL=validate.d.ts.map

package/dist/validate.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAuB9C;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAIhE;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,SAAS,GAAG,OAAO,CAAC,IAAI,IAAI,WAAW,CAkI5F;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,WAAW,CAOhE;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK,CAGpE"}