@sig-net/midnight 0.11.0 → 0.13.0

package/README.md

@@ -13,7 +13,7 @@ The client-agnostic [Sig Network](https://sig.network) protocol library for the
   ```compact
   import "@sig-net/midnight/src/Signet";
   ```
-- **Compiled pure circuits** (`pureCircuits`): the executable reference implementation of the client-agnostic circuits (the attestation digest, response verification, the deploy-time key pin, the notification packer, the ABI word builders and readers). Off-chain code calls these compiled artefacts instead of re-porting the algorithms, so it always agrees with what the contracts prove.
+- **Compiled pure circuits** (`pureCircuits`): the executable reference implementation of the client-agnostic circuits (the deploy-time key pin, the notification packer, the ABI word builders and readers). Off-chain code calls these compiled artefacts, so it always agrees with what the contracts prove. The attestation digest and response verification are not among them: their compiled circuits are fixed-width oracles used only by this package's tests, and the sanctioned off-chain path is the TypeScript twin (`calculateSignetAttestationDigest` plus ordinary ECDSA verification against the expected MPC response key), which those tests pin byte-for-byte against the oracles.
 - **TypeScript twins of the wire structs** and signet request-id computation.
 - **State readers, request feed and resolver**: poll the signet contract for pending requests and their signature / remote-execution responses.
 - **Crypto helpers**: epsilon derivation and ECDSA attestation verification.
@@ -33,8 +33,8 @@ The flow comprises 5 steps:
 1. Client calls a contract on Midnight which requests a signature for a transaction destined for a foreign chain. The signature is made with a key derived for the requesting contract (see [Derived keys](#derived-keys)).
 2. The Sig Network MPC honours the request, generating the transaction signature and posting it back to Midnight.
 3. Client extracts the signature, using it to submit the signed transaction to the foreign chain.
-4. The Sig Network MPC observes the foreign transaction and posts the output of the execution (signed) back to Midnight.
-5. Client extracts the signed foreign execution output and submits it back to the Midnight contract, which verifies the MPC's signature over it in-circuit against the contract's own response key (see [Derived keys](#derived-keys)), completing the foreign transaction execution.
+4. The Sig Network MPC observes the foreign transaction and posts an attestation of the execution back to Midnight: the attestation digest `keccak256(requestId || serializedOutput)` plus its ECDSA signature over that digest. The output itself travels off chain.
+5. Client obtains the execution output off chain (it broadcast the transaction in step 3, so it can read the result), extracts the posted attestation and submits both back to the Midnight contract, which recomputes the digest from the output bytes and verifies the MPC's signature in-circuit against the contract's own response key (see [Derived keys](#derived-keys)), completing the foreign transaction execution.
 
 ## Derived keys
 
@@ -50,7 +50,7 @@ The path is 32 opaque bytes of the contract's choosing (e.g. a fixed literal for
 
 ### Response key
 
-The key the MPC signs foreign execution outputs with when posting them back to Midnight:
+The key the MPC signs remote execution attestations with when posting them back to Midnight:
 
 `responseKey = f(mpcRootKey[keyVersion], contractAddress, "midnight response key")`
 
@@ -95,7 +95,7 @@ Set up your contract for integration with the Sig Network MPC's sign bidirection
    sealed ledger signetSigner: SignetSigner;
 
    // Required: This contract's MPC response key, set in step 3.
-   // Used to verify RespondBidirectionalEvents containing the serialised output of foreign chain execution.
+   // Used to verify RespondBidirectionalEvents attesting the serialised output of foreign chain execution.
    export ledger mpcResponseKey: Secp256k1Point;
 
    // Recommended: contract-local source of request nonces, so identical
@@ -109,7 +109,7 @@ Set up your contract for integration with the Sig Network MPC's sign bidirection
    sealed ledger deployer: Bytes<32>;
 
    // Recommended: supplies the deployer's identity secret from private state
-   // off-chain; only its commitment (below) ever reaches the ledger.
+   // off-chain. Only its commitment (below) ever reaches the ledger.
    witness witnessDeployerSecretKey(): Bytes<32>;
 
    // Recommended: the deployer identity commitment scheme. Exported so deploy
@@ -172,7 +172,7 @@ const reader = new SignetRequestResponseReader({
 const expectedSigner = deriveEvmAddress(mpcRootPublicKey, myContractAddress, "my-path");
 ```
 
-1. Store a signature request and notify the MPC via cross contract call. Build (or overwrite) every part of the transaction your contract enforces in-circuit, calldata above all (see [EVM Type 2 transactions and ABI calldata words](#evm-type-2-transactions-and-abi-calldata-words)); never pass caller input through unchecked:
+1. Store a signature request and notify the MPC via cross contract call. Build (or overwrite) every part of the transaction your contract enforces in-circuit, calldata above all (see [EVM Type 2 transactions and ABI calldata words](#evm-type-2-transactions-and-abi-calldata-words)), and never pass caller input through unchecked:
 
    ```compact
    // Construct SignBidirectionalEvent signature request and calculate its RequestId
@@ -209,18 +209,18 @@ const expectedSigner = deriveEvmAddress(mpcRootPublicKey, myContractAddress, "my
    await new JsonRpcProvider(foreignChainRpcUrl).broadcastTransaction(signedTx.serialized);
    ```
 
-4. Poll the Signet singleton for the MPC's signed remote execution output (posted once the MPC observes the transaction execute on the foreign chain). Posts are stored unverified, so treat them as candidates: the authoritative check is your contract's verify circuit in step 5:
+4. Poll the Signet singleton for the MPC's attestation of the remote execution output (posted once the MPC observes the transaction execute on the foreign chain). The event carries only the attestation digest and the signature over it: the serialised output itself travels off chain (you broadcast the transaction in step 3, so you can read its result). Posts are stored unverified, so treat them as candidates: the authoritative check is your contract's verify circuit in step 5:
 
    ```ts
    const [respondBidirectionalEvent] = await reader.getRespondBidirectionalEvents(requestId);
    // Empty array: not posted yet, poll again.
    ```
 
-5. Deliver the response to your contract, which verifies it in-circuit against the response key pinned in Setup step 3 and consumes the request:
+5. Deliver the response and the serialised output to your contract, which recomputes the attestation digest, verifies the event in-circuit against the response key pinned in Setup step 3, and consumes the request. The width argument is the exact packed size of your respond serialisation schema (a single bool packs to 1 byte):
 
    ```compact
    assert(
-      verifyRespondBidirectionalEvent(requestId, respondBidirectionalEvent, mpcResponseKey),
+      verifyRespondBidirectionalEvent<1>(requestId, serializedOutput, respondBidirectionalEvent, mpcResponseKey),
       "Invalid attestation signature"
    );
    signBidirectionalEventMap.remove(requestId);
@@ -268,13 +268,19 @@ const calldata = EvmCalldata<2> {
 };
 ```
 
-The readers run the same rules in the other direction, rejecting any non-canonical word instead of silently truncating or coercing it. A `RespondBidirectionalEvent`'s `serializedOutput` is the ABI-encoded return data of the remote call, so a settle circuit can decode an ERC20 `transfer`'s `bool` return from the first output word:
+The readers run the same rules in the other direction, rejecting any non-canonical word outright (no silent truncation or coercion). Note that the builders and readers apply to CALLDATA words only. The serialised output a settle circuit verifies (the explicit `serializedOutput` argument `verifyRespondBidirectionalEvent` binds to the event's attestation digest) is NOT ABI words: it is the packed respond payload produced from the request's respond serialisation schema (a bool packs to 1 byte). The circuit reads it with a single stdlib `deserialize<T, N>` call, where `T` is a struct mirroring the schema and `N` is the schema's packed size. For an ERC20 `transfer`'s `bool` return under a one-field bool schema:
 
 ```compact
-const success = abiWordToBool(slice<32>(respondBidirectionalEvent.serializedOutput, 0));
-assert(success, "Remote transfer failed");
+struct TransferResult {
+  success: Boolean;
+}
+
+const result = deserialize<TransferResult, 1>(serializedOutput);
+assert(result.success, "Remote transfer failed");
 ```
 
+**Respond schema range trap:** the respond serialisation maps `uint256`, `address` and `field` to Compact `Field`, whose values must lie strictly below the BLS12-381 Fr modulus (just under 2^255). An EVM `uint256` at or above Fr (a max-uint256 allowance readback is the everyday case) cannot be respond-serialised, and `serializeRespondOutput` throws at respond time. When the full 256-bit range matters, declare the field as `bytes32` in the respond schema instead.
+
 The same builders and readers exist as TypeScript twins under identical names, for composing expected words off-chain (UIs, expected-record builders, tests). They are kept in lockstep with the compiled circuits by this package's test suite.
 
 ## More examples

package/dist/abi-serde.d.ts

@@ -0,0 +1,89 @@
+import { ethers } from "ethers";
+/** Fixed-width schema types: the byte size follows entirely from the type. */
+export type AbiFixedType = "bool" | "address" | "field" | `uint${number}` | `bytes${number}`;
+export interface AbiFixedField {
+    name: string;
+    type: AbiFixedType;
+}
+/**
+ * A dynamic string/bytes field. `maxBytes` is the fixed Compact buffer
+ * capacity (Compact types are fixed-size, so capacity is part of the type).
+ */
+export interface AbiDynamicField {
+    name: string;
+    type: "string" | "bytes";
+    maxBytes: number;
+}
+/** A dynamic array field. `maxItems` is the fixed Compact vector capacity. */
+export interface AbiArrayField {
+    name: string;
+    type: `${AbiFixedType}[]`;
+    maxItems: number;
+}
+export type AbiSchemaField = AbiFixedField | AbiDynamicField | AbiArrayField;
+/** An ABI-style schema exactly as carried on chain (JSON array of fields). */
+export type AbiSchema = AbiSchemaField[];
+/** Any form a respond schema arrives in: parsed, JSON text, or NUL-padded raw bytes. */
+export type AbiSchemaInput = AbiSchema | string | Uint8Array;
+/**
+ * A decode-side schema field: `type` is ANY type string the ABI library
+ * accepts (the canonical ABI grammar, so signed ints, tuples and unbounded
+ * arrays are all fine here). The restricted {@link AbiSchemaField} vocabulary
+ * is a respond-side concern only, and is assignable to this shape.
+ */
+export interface EvmSchemaField {
+    name: string;
+    type: string;
+}
+/** Any form a decode schema arrives in: parsed, JSON text, or NUL-padded raw bytes. */
+export type EvmSchemaInput = readonly EvmSchemaField[] | string | Uint8Array;
+/**
+ * Decoded output values, keyed by schema field name. Numerics are bigint,
+ * bools boolean, address/bytesN/bytes/string are the forms ethers produces
+ * (hex or text strings) or Uint8Array, arrays are plain arrays.
+ * `serializeRespondOutput` accepts all of these (plus plain numbers and
+ * numeric strings, the forms indexer JSON typically yields).
+ */
+export type AbiDecodedValue = bigint | boolean | number | string | Uint8Array | AbiDecodedValue[];
+export type AbiDecodedOutput = {
+    [field: string]: AbiDecodedValue;
+};
+/**
+ * Decode a raw EVM call result (eth_call return data / debug_trace output)
+ * into named values, driven by the request's outputDeserializationSchema.
+ *
+ * Type validation is FULLY delegated to ethers (the canonical ABI grammar,
+ * mirroring the MPC's delegation to alloy): this function only checks the
+ * schema's shape, then hands the type strings straight to the ABI coder.
+ *
+ * Returns a plain object keyed by field name (never an ethers `Result`, so it
+ * survives JSON round-trips and structural comparison), with nested ethers
+ * Results flattened to plain arrays.
+ *
+ * @param schema - The outputDeserializationSchema: parsed, JSON text, or the raw NUL-padded on-chain bytes.
+ * @param callResult - The ABI-encoded return data (hex string or bytes).
+ * @returns The decoded values keyed by schema field name.
+ */
+export declare function deserializeEvmOutput(schema: EvmSchemaInput, callResult: ethers.BytesLike): AbiDecodedOutput;
+/**
+ * Encode decoded output values into the respond payload, driven by the
+ * request's respondSerializationSchema. The bytes are exactly what a consumer
+ * contract reads with `deserialize<T, N>` and what the MPC attests, so
+ * clients can recompute and verify them independently.
+ *
+ * The result is the PACKED value, unpadded and unbounded: its length follows
+ * entirely from the schema. Padding to any fixed container width is the
+ * caller's concern.
+ *
+ * Strict: values are range-checked (Uint widths, the Field modulus, the
+ * 2^160 address bound), dynamic payloads must fit their capacity (no silent
+ * truncation), and signed integer types are rejected outright.
+ *
+ * @param schema - The respondSerializationSchema: parsed, JSON text, or the raw NUL-padded on-chain bytes.
+ * @param output - Decoded values keyed by field name (from {@link deserializeEvmOutput} or any source using the same forms).
+ * @returns The packed respond bytes.
+ */
+export declare function serializeRespondOutput(schema: AbiSchemaInput, output: AbiDecodedOutput): Uint8Array;
+export declare function isAbiDynamicField(field: AbiSchemaField): field is AbiDynamicField;
+export declare function isAbiArrayField(field: AbiSchemaField): field is AbiArrayField;
+//# sourceMappingURL=abi-serde.d.ts.map

package/dist/abi-serde.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"abi-serde.d.ts","sourceRoot":"","sources":["../src/abi-serde.ts"],"names":[],"mappings":"AA0DA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAYhC,8EAA8E;AAC9E,MAAM,MAAM,YAAY,GACpB,MAAM,GACN,SAAS,GACT,OAAO,GACP,OAAO,MAAM,EAAE,GACf,QAAQ,MAAM,EAAE,CAAC;AAErB,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,YAAY,CAAC;CACpB;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,8EAA8E;AAC9E,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,GAAG,YAAY,IAAI,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,cAAc,GAAG,aAAa,GAAG,eAAe,GAAG,aAAa,CAAC;AAE7E,8EAA8E;AAC9E,MAAM,MAAM,SAAS,GAAG,cAAc,EAAE,CAAC;AAEzC,wFAAwF;AACxF,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,uFAAuF;AACvF,MAAM,MAAM,cAAc,GAAG,SAAS,cAAc,EAAE,GAAG,MAAM,GAAG,UAAU,CAAC;AAM7E;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GACvB,MAAM,GACN,OAAO,GACP,MAAM,GACN,MAAM,GACN,UAAU,GACV,eAAe,EAAE,CAAC;AAEtB,MAAM,MAAM,gBAAgB,GAAG;IAAE,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,CAAC;AAMpE;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,cAAc,EACtB,UAAU,EAAE,MAAM,CAAC,SAAS,GAC3B,gBAAgB,CAWlB;AAMD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,gBAAgB,GACvB,UAAU,CAYZ;AAWD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,GAAG,KAAK,IAAI,eAAe,CAEjF;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,cAAc,GAAG,KAAK,IAAI,aAAa,CAE7E"}

package/dist/abi-serde.js

@@ -0,0 +1,400 @@
+// The two schema-driven conversions every signet participant performs on the
+// respond path, named after the protocol fields that drive them:
+//
+//   EVM call result --deserializeEvmOutput--> decoded values
+//                        (outputDeserializationSchema)
+//   decoded values --serializeRespondOutput--> RespondBidirectionalEvent bytes
+//                        (respondSerializationSchema)
+//
+// Who runs them:
+//   - fakenet (and eventually the real MPC): both, back to back, after the
+//     destination-chain transaction confirms.
+//   - signet clients: both, to independently recompute the exact respond
+//     bytes the MPC attested (read the EVM result off chain, re-encode, then
+//     hand the result to their Compact contract for claim/validation) or to
+//     display a decoded result.
+//
+// The respond output is UNBOUNDED: this module never pads or clamps it. The
+// protocol attests a hash of the bytes, clients fetch the full output off
+// chain and recompute; any fixed event-field width is the caller's concern.
+//
+// Schemas are the ABI-style JSON carried on chain (NUL-padded fixed-width
+// bytes). Both functions accept the schema in any form: already-parsed
+// fields, a JSON string, or the raw on-chain bytes.
+//
+// Validation is split exactly the way the MPC splits it:
+//   - decode side: the type grammar is left FULLY to the ABI library
+//     (ethers), the same way the MPC delegates to alloy's DynSolType parser.
+//     This module only checks the schema's shape (a non-empty array of
+//     uniquely, non-emptily named fields).
+//   - respond side: the restricted Compact-carrier vocabulary below is the
+//     law, strictly enforced: unknown types, missing capacities, duplicate
+//     names and malformed JSON all throw with the offending field named.
+//
+// The respond byte layout is Compact's builtin serialize<T, N> /
+// deserialize<T, N> (via @sig-net/midnight-serde, pinned against compiled
+// circuits), so a consumer contract reads the payload with ONE
+// deserialize<T, N> call. Per-type mapping (Compact struct field on the
+// right):
+//   bool            1 byte                    Boolean
+//   uint8..uint248  bits / 8 bytes LE         Uint<bits>
+//     (whole-byte widths only: multiples of 8, others are rejected)
+//   uint256, field  32 bytes LE, below Fr     Field
+//   address         32 bytes LE (numeric)     Field
+//   bytes1..bytes32 N raw bytes               Bytes<N>
+//   string, bytes   8-byte LE length + payload zero-padded to maxBytes
+//                                             struct { len: Uint<64>; data: Bytes<maxBytes>; }
+//   T[]             8-byte LE count + maxItems elements at T's width
+//                                             struct { len: Uint<64>; items: Vector<maxItems, T>; }
+//   intN            rejected: Compact has no signed integers
+//
+// RANGE TRAP: uint256, address and field all map to Compact `Field`, whose
+// values must lie strictly below the BLS12-381 Fr modulus (just under
+// 2^255). An EVM uint256 at or above Fr therefore cannot be
+// respond-serialised, and `serializeRespondOutput` throws at respond time.
+// The max-uint256 allowance readback is the everyday case that hits this.
+// Schema authors who need the full 256-bit range should carry the value as
+// bytes32 instead.
+import { ethers } from "ethers";
+import { compactSerialize, } from "@sig-net/midnight-serde";
+// ---------------------------------------------------------------------------
+// 1. EVM call result -> decoded values  (outputDeserializationSchema)
+// ---------------------------------------------------------------------------
+/**
+ * Decode a raw EVM call result (eth_call return data / debug_trace output)
+ * into named values, driven by the request's outputDeserializationSchema.
+ *
+ * Type validation is FULLY delegated to ethers (the canonical ABI grammar,
+ * mirroring the MPC's delegation to alloy): this function only checks the
+ * schema's shape, then hands the type strings straight to the ABI coder.
+ *
+ * Returns a plain object keyed by field name (never an ethers `Result`, so it
+ * survives JSON round-trips and structural comparison), with nested ethers
+ * Results flattened to plain arrays.
+ *
+ * @param schema - The outputDeserializationSchema: parsed, JSON text, or the raw NUL-padded on-chain bytes.
+ * @param callResult - The ABI-encoded return data (hex string or bytes).
+ * @returns The decoded values keyed by schema field name.
+ */
+export function deserializeEvmOutput(schema, callResult) {
+    const fields = parseSchemaShape(schema);
+    const decoded = ethers.AbiCoder.defaultAbiCoder().decode(fields.map((field) => field.type), callResult);
+    const output = {};
+    fields.forEach((field, i) => {
+        output[field.name] = toPlainValue(decoded[i], field.name);
+    });
+    return output;
+}
+// ---------------------------------------------------------------------------
+// 2. decoded values -> respond bytes  (respondSerializationSchema)
+// ---------------------------------------------------------------------------
+/**
+ * Encode decoded output values into the respond payload, driven by the
+ * request's respondSerializationSchema. The bytes are exactly what a consumer
+ * contract reads with `deserialize<T, N>` and what the MPC attests, so
+ * clients can recompute and verify them independently.
+ *
+ * The result is the PACKED value, unpadded and unbounded: its length follows
+ * entirely from the schema. Padding to any fixed container width is the
+ * caller's concern.
+ *
+ * Strict: values are range-checked (Uint widths, the Field modulus, the
+ * 2^160 address bound), dynamic payloads must fit their capacity (no silent
+ * truncation), and signed integer types are rejected outright.
+ *
+ * @param schema - The respondSerializationSchema: parsed, JSON text, or the raw NUL-padded on-chain bytes.
+ * @param output - Decoded values keyed by field name (from {@link deserializeEvmOutput} or any source using the same forms).
+ * @returns The packed respond bytes.
+ */
+export function serializeRespondOutput(schema, output) {
+    const fields = normalizeRespondSchema(schema);
+    const descriptor = respondSchemaToCompactType(fields);
+    const value = {};
+    for (const field of fields) {
+        const raw = output[field.name];
+        if (raw === undefined) {
+            throw new Error(`respond output: missing value for '${field.name}'`);
+        }
+        value[field.name] = toCompactValue(raw, field);
+    }
+    return compactSerialize(descriptor, value);
+}
+// ===========================================================================
+// Helpers from here down. The two functions above are the whole public
+// surface; everything below serves them.
+// ===========================================================================
+// ---------------------------------------------------------------------------
+// Field-kind guards
+// ---------------------------------------------------------------------------
+export function isAbiDynamicField(field) {
+    return field.type === "string" || field.type === "bytes";
+}
+export function isAbiArrayField(field) {
+    return field.type.endsWith("[]");
+}
+// ---------------------------------------------------------------------------
+// Decode-side value flattening
+// ---------------------------------------------------------------------------
+/** Flatten ethers `Result` arrays into plain arrays, pass scalars through. */
+function toPlainValue(value, label) {
+    if (value instanceof ethers.Result) {
+        return value.toArray().map((v, i) => toPlainValue(v, `${label}[${i}]`));
+    }
+    if (Array.isArray(value)) {
+        return value.map((v, i) => toPlainValue(v, `${label}[${i}]`));
+    }
+    if (typeof value === "bigint" ||
+        typeof value === "boolean" ||
+        typeof value === "number" ||
+        typeof value === "string" ||
+        value instanceof Uint8Array) {
+        return value;
+    }
+    throw new Error(`${label}: un-decodable ABI value of type ${typeof value}`);
+}
+// ---------------------------------------------------------------------------
+// Schema parsing + validation
+// ---------------------------------------------------------------------------
+const ADDRESS_BOUND = 1n << 160n;
+const MAX_UINT_BITS = 248;
+/** Length-prefix width of the dynamic string/bytes/array convention (Uint<64>). */
+const DYN_LEN_BYTES = 8;
+/**
+ * Parse a schema in any input form and check its SHAPE only: a non-empty
+ * array of fields with non-empty, unique names and non-empty type strings.
+ * The type grammar is deliberately not checked here: the decode side leaves
+ * it fully to the ABI library, the respond side runs
+ * {@link normalizeRespondSchema} on top.
+ */
+function parseSchemaShape(schema) {
+    const parsed = typeof schema === "string" || schema instanceof Uint8Array
+        ? JSON.parse(schemaText(schema))
+        : schema;
+    if (!Array.isArray(parsed) || parsed.length === 0) {
+        throw new Error("schema must be a non-empty JSON array of fields");
+    }
+    const seen = new Set();
+    return parsed.map((raw, i) => {
+        if (typeof raw !== "object" || raw === null || Array.isArray(raw)) {
+            throw new Error(`schema field ${i} is not an object`);
+        }
+        const { name, type, maxBytes, maxItems } = raw;
+        if (typeof name !== "string" || name.length === 0) {
+            throw new Error(`schema field ${i} needs a non-empty name`);
+        }
+        if (seen.has(name)) {
+            throw new Error(`schema: duplicate field name '${name}'`);
+        }
+        seen.add(name);
+        if (typeof type !== "string" || type.length === 0) {
+            throw new Error(`schema: '${name}' needs a type`);
+        }
+        return { name, type, maxBytes, maxItems };
+    });
+}
+/**
+ * Enforce the respond-side Compact-carrier vocabulary on a shape-checked
+ * schema: every type needs a Compact carrier (no signed ints, uint widths of
+ * at most 248 bits or exactly 256, bytesN at most 32) and every dynamic field
+ * needs its fixed capacity.
+ */
+function normalizeRespondSchema(schema) {
+    return parseSchemaShape(schema).map(({ name, type, maxBytes, maxItems }) => {
+        if (type === "string" || type === "bytes") {
+            assertCapacity(maxBytes, `'${name}' (${type}) maxBytes`);
+            return { name, type, maxBytes };
+        }
+        if (type.endsWith("[]")) {
+            classifyFixedType(type.slice(0, -2), name);
+            assertCapacity(maxItems, `'${name}' (${type}) maxItems`);
+            return { name, type: type, maxItems };
+        }
+        classifyFixedType(type, name);
+        return { name, type: type };
+    });
+}
+/** Cut a NUL-padded on-chain schema at the first NUL and decode to text. */
+function schemaText(schema) {
+    const raw = typeof schema === "string" ? schema : new TextDecoder().decode(schema);
+    const nul = raw.indexOf("\0");
+    return nul === -1 ? raw : raw.slice(0, nul);
+}
+function assertCapacity(value, label) {
+    if (value === undefined) {
+        throw new Error(`schema: ${label} is required: Compact types are fixed-size`);
+    }
+    if (typeof value !== "number" || !Number.isInteger(value) || value < 1) {
+        throw new Error(`schema: ${label} must be a positive integer`);
+    }
+}
+/**
+ * Classify a fixed-width respond type into its Compact carrier, validating
+ * the respond-side vocabulary in one place: both the schema check
+ * ({@link normalizeRespondSchema}) and the descriptor build
+ * ({@link respondSchemaToCompactType}) call this, so the grammar cannot
+ * drift between them. Respond-side uint widths are restricted to whole-byte
+ * widths (multiples of 8 from 8 to 248, packing to bits / 8 bytes), plus
+ * uint256 which maps to Field. Throws with the offending field named.
+ */
+function classifyFixedType(type, fieldName) {
+    if (type === "bool")
+        return { kind: "boolean" };
+    if (type === "field" || type === "uint256" || type === "address") {
+        return { kind: "field" };
+    }
+    if (/^int\d+$/.test(type)) {
+        throw new Error(`schema: '${fieldName}' (${type}) is unsupported: Compact has no signed integers`);
+    }
+    const uintMatch = type.match(/^uint(\d+)$/);
+    if (uintMatch) {
+        const bits = Number(uintMatch[1]);
+        const wholeByteWidth = bits >= 8 && bits <= MAX_UINT_BITS && bits % 8 === 0;
+        if (!wholeByteWidth) {
+            throw new Error(`schema: '${fieldName}' (${type}) has no respond carrier: uint widths ` +
+                `must be multiples of 8 from 8 to ${MAX_UINT_BITS}, or uint256 (maps to Field)`);
+        }
+        return { kind: "uint", bits };
+    }
+    const bytesMatch = type.match(/^bytes(\d+)$/);
+    if (bytesMatch) {
+        const n = Number(bytesMatch[1]);
+        if (n < 1 || n > 32) {
+            throw new Error(`schema: '${fieldName}' (${type}) is not a valid bytesN type`);
+        }
+        return { kind: "bytes", length: n };
+    }
+    throw new Error(`schema: '${fieldName}' has unsupported type '${type}'`);
+}
+// ---------------------------------------------------------------------------
+// Schema -> CompactType descriptor + value coercion
+// ---------------------------------------------------------------------------
+function respondSchemaToCompactType(fields) {
+    return {
+        kind: "struct",
+        fields: fields.map((field) => {
+            if (isAbiDynamicField(field)) {
+                return {
+                    name: field.name,
+                    type: {
+                        kind: "struct",
+                        fields: [
+                            { name: "len", type: { kind: "uint", bits: DYN_LEN_BYTES * 8 } },
+                            { name: "data", type: { kind: "bytes", length: field.maxBytes } },
+                        ],
+                    },
+                };
+            }
+            if (isAbiArrayField(field)) {
+                return {
+                    name: field.name,
+                    type: {
+                        kind: "struct",
+                        fields: [
+                            { name: "len", type: { kind: "uint", bits: DYN_LEN_BYTES * 8 } },
+                            {
+                                name: "items",
+                                type: {
+                                    kind: "vector",
+                                    length: field.maxItems,
+                                    element: classifyFixedType(field.type.slice(0, -2), field.name),
+                                },
+                            },
+                        ],
+                    },
+                };
+            }
+            return { name: field.name, type: classifyFixedType(field.type, field.name) };
+        }),
+    };
+}
+function toCompactValue(value, field) {
+    const { name } = field;
+    if (isAbiDynamicField(field)) {
+        const payload = field.type === "string"
+            ? new TextEncoder().encode(asString(value, name))
+            : asBytes(value, name);
+        if (payload.length > field.maxBytes) {
+            throw new Error(`'${name}': payload is ${payload.length} bytes, maxBytes is ${field.maxBytes}`);
+        }
+        const data = new Uint8Array(field.maxBytes);
+        data.set(payload);
+        return { len: BigInt(payload.length), data };
+    }
+    if (isAbiArrayField(field)) {
+        if (!Array.isArray(value)) {
+            throw new Error(`'${name}' (${field.type}) expects an array`);
+        }
+        if (value.length > field.maxItems) {
+            throw new Error(`'${name}': ${value.length} elements, maxItems is ${field.maxItems}`);
+        }
+        const elementType = field.type.slice(0, -2);
+        const items = value.map((element, i) => fixedCompactValue(element, elementType, `${name}[${i}]`));
+        // Unused capacity encodes as zero values of the element type.
+        while (items.length < field.maxItems)
+            items.push(zeroOf(elementType));
+        return { len: BigInt(value.length), items };
+    }
+    return fixedCompactValue(value, field.type, name);
+}
+function fixedCompactValue(value, type, label) {
+    if (type === "bool") {
+        if (typeof value !== "boolean") {
+            throw new Error(`'${label}' (bool) expects a boolean`);
+        }
+        return value;
+    }
+    if (/^bytes\d+$/.test(type)) {
+        const raw = asBytes(value, label);
+        const expected = Number(type.slice(5));
+        if (raw.length !== expected) {
+            throw new Error(`'${label}' (${type}) expects exactly ${expected} bytes, got ${raw.length}`);
+        }
+        return raw;
+    }
+    // Numeric carriers: uintN, uint256/field and address.
+    const n = asBigint(value, label);
+    if (type === "address" && n >= ADDRESS_BOUND) {
+        throw new Error(`'${label}': value ${n} exceeds an address`);
+    }
+    // Uint width and Field modulus bounds are enforced by @sig-net/midnight-serde.
+    return n;
+}
+function zeroOf(type) {
+    if (type === "bool")
+        return false;
+    if (/^bytes\d+$/.test(type))
+        return new Uint8Array(Number(type.slice(5)));
+    return 0n;
+}
+// ---------------------------------------------------------------------------
+// Value-form coercions
+// ---------------------------------------------------------------------------
+function asBigint(value, label) {
+    if (typeof value === "bigint")
+        return value;
+    if (typeof value === "number" && Number.isSafeInteger(value))
+        return BigInt(value);
+    if (typeof value === "string") {
+        try {
+            return BigInt(value);
+        }
+        catch {
+            throw new Error(`'${label}': cannot parse '${value}' as an integer`);
+        }
+    }
+    throw new Error(`'${label}': expected an integer-like value`);
+}
+function asBytes(value, label) {
+    if (value instanceof Uint8Array)
+        return value;
+    if (typeof value === "string")
+        return ethers.getBytes(value);
+    throw new Error(`'${label}': expected bytes (Uint8Array or hex string)`);
+}
+function asString(value, label) {
+    if (typeof value !== "string") {
+        throw new Error(`'${label}': expected a string`);
+    }
+    return value;
+}
+//# sourceMappingURL=abi-serde.js.map

package/dist/abi-serde.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"abi-serde.js","sourceRoot":"","sources":["../src/abi-serde.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,iEAAiE;AACjE,EAAE;AACF,6DAA6D;AAC7D,uDAAuD;AACvD,+EAA+E;AAC/E,sDAAsD;AACtD,EAAE;AACF,iBAAiB;AACjB,2EAA2E;AAC3E,8CAA8C;AAC9C,yEAAyE;AACzE,6EAA6E;AAC7E,4EAA4E;AAC5E,gCAAgC;AAChC,EAAE;AACF,4EAA4E;AAC5E,0EAA0E;AAC1E,4EAA4E;AAC5E,EAAE;AACF,0EAA0E;AAC1E,uEAAuE;AACvE,oDAAoD;AACpD,EAAE;AACF,yDAAyD;AACzD,qEAAqE;AACrE,6EAA6E;AAC7E,uEAAuE;AACvE,2CAA2C;AAC3C,2EAA2E;AAC3E,2EAA2E;AAC3E,yEAAyE;AACzE,EAAE;AACF,iEAAiE;AACjE,0EAA0E;AAC1E,+DAA+D;AAC/D,wEAAwE;AACxE,UAAU;AACV,sDAAsD;AACtD,yDAAyD;AACzD,oEAAoE;AACpE,oDAAoD;AACpD,oDAAoD;AACpD,uDAAuD;AACvD,uEAAuE;AACvE,+FAA+F;AAC/F,qEAAqE;AACrE,oGAAoG;AACpG,6DAA6D;AAC7D,EAAE;AACF,2EAA2E;AAC3E,sEAAsE;AACtE,4DAA4D;AAC5D,2EAA2E;AAC3E,0EAA0E;AAC1E,2EAA2E;AAC3E,mBAAmB;AAEnB,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,EACL,gBAAgB,GAGjB,MAAM,yBAAyB,CAAC;AA+EjC,8EAA8E;AAC9E,sEAAsE;AACtE,8EAA8E;AAE9E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAsB,EACtB,UAA4B;IAE5B,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC,MAAM,CACtD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EACjC,UAAU,CACX,CAAC;IACF,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,mEAAmE;AACnE,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAsB,EACtB,MAAwB;IAExB,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,KAAK,GAAsC,EAAE,CAAC;IACpD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,sCAAsC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AAC7C,CAAC;AAED,8EAA8E;AAC9E,uEAAuE;AACvE,yCAAyC;AACzC,8EAA8E;AAE9E,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E,MAAM,UAAU,iBAAiB,CAAC,KAAqB;IACrD,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAqB;IACnD,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E,8EAA8E;AAC9E,SAAS,YAAY,CAAC,KAAc,EAAE,KAAa;IACjD,IAAI,KAAK,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS;QAC1B,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,YAAY,UAAU,EAC3B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oCAAoC,OAAO,KAAK,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,8EAA8E;AAC9E,8BAA8B;AAC9B,8EAA8E;AAE9E,MAAM,aAAa,GAAG,EAAE,IAAI,IAAI,CAAC;AACjC,MAAM,aAAa,GAAG,GAAG,CAAC;AAC1B,mFAAmF;AACnF,MAAM,aAAa,GAAG,CAAC,CAAC;AAUxB;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,MAAuC;IAC/D,MAAM,MAAM,GACV,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,YAAY,UAAU;QACxD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,CAAC,CAAC,MAAM,CAAC;IACb,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,GAAY,EAAE,CAAC,EAAE,EAAE;QACpC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,GAA8B,CAAC;QAC1E,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,GAAG,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,YAAY,IAAI,gBAAgB,CAAC,CAAC;QACpD,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,MAAsB;IACpD,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE;QACzE,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1C,cAAc,CAAC,QAAQ,EAAE,IAAI,IAAI,MAAM,IAAI,YAAY,CAAC,CAAC;YACzD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAClC,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC3C,cAAc,CAAC,QAAQ,EAAE,IAAI,IAAI,MAAM,IAAI,YAAY,CAAC,CAAC;YACzD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAA6B,EAAE,QAAQ,EAAE,CAAC;QACjE,CAAC;QACD,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAoB,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4EAA4E;AAC5E,SAAS,UAAU,CAAC,MAA2B;IAC7C,MAAM,GAAG,GACP,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzE,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa;IACnD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,4CAA4C,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,6BAA6B,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,iBAAiB,CAAC,IAAY,EAAE,SAAiB;IACxD,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAChD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACjE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC3B,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,YAAY,SAAS,MAAM,IAAI,kDAAkD,CAClF,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC5C,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,cAAc,GAAG,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,aAAa,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5E,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CACb,YAAY,SAAS,MAAM,IAAI,wCAAwC;gBACrE,oCAAoC,aAAa,8BAA8B,CAClF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAChC,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC9C,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,YAAY,SAAS,MAAM,IAAI,8BAA8B,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACtC,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,YAAY,SAAS,2BAA2B,IAAI,GAAG,CAAC,CAAC;AAC3E,CAAC;AAED,8EAA8E;AAC9E,oDAAoD;AACpD,8EAA8E;AAE9E,SAAS,0BAA0B,CAAC,MAAiB;IACnD,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YAC3B,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,OAAO;oBACL,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE;wBACJ,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE;4BACN,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,GAAG,CAAC,EAAE,EAAE;4BAChE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE;yBAClE;qBACoB;iBACxB,CAAC;YACJ,CAAC;YACD,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3B,OAAO;oBACL,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE;wBACJ,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE;4BACN,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,GAAG,CAAC,EAAE,EAAE;4BAChE;gCACE,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE;oCACJ,IAAI,EAAE,QAAQ;oCACd,MAAM,EAAE,KAAK,CAAC,QAAQ;oCACtB,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC;iCAChE;6BACF;yBACF;qBACoB;iBACxB,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAAsB,EAAE,KAAqB;IACnE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IAEvB,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,OAAO,GACX,KAAK,CAAC,IAAI,KAAK,QAAQ;YACrB,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACjD,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC3B,IAAI,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CACb,IAAI,IAAI,iBAAiB,OAAO,CAAC,MAAM,uBAAuB,KAAK,CAAC,QAAQ,EAAE,CAC/E,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;IAC/C,CAAC;IAED,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,IAAI,IAAI,MAAM,KAAK,CAAC,IAAI,oBAAoB,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,IAAI,IAAI,MAAM,KAAK,CAAC,MAAM,0BAA0B,KAAK,CAAC,QAAQ,EAAE,CACrE,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAiB,CAAC;QAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CACrC,iBAAiB,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CACzD,CAAC;QACF,8DAA8D;QAC9D,OAAO,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;QACtE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IAC9C,CAAC;IAED,OAAO,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAsB,EACtB,IAAkB,EAClB,KAAa;IAEb,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,4BAA4B,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CACb,IAAI,KAAK,MAAM,IAAI,qBAAqB,QAAQ,eAAe,GAAG,CAAC,MAAM,EAAE,CAC5E,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,sDAAsD;IACtD,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,qBAAqB,CAAC,CAAC;IAC/D,CAAC;IACD,+EAA+E;IAC/E,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,MAAM,CAAC,IAAkB;IAChC,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAClC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,SAAS,QAAQ,CAAC,KAAsB,EAAE,KAAa;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACnF,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,KAAK,iBAAiB,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,mCAAmC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,OAAO,CAAC,KAAsB,EAAE,KAAa;IACpD,IAAI,KAAK,YAAY,UAAU;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7D,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,8CAA8C,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,QAAQ,CAAC,KAAsB,EAAE,KAAa;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}