@sig-net/midnight 0.11.0 → 0.12.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 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, so it always agrees with what the contracts prove.
 - **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.
@@ -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,10 +268,10 @@ 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). The serialised output a settle circuit verifies (the explicit `serializedOutput` argument `verifyRespondBidirectionalEvent` binds to the event's attestation digest) is the remote call's serialised return data, so the circuit can decode an ERC20 `transfer`'s `bool` return from the first output word:
 
 ```compact
-const success = abiWordToBool(slice<32>(respondBidirectionalEvent.serializedOutput, 0));
+const success = abiWordToBool(slice<32>(serializedOutput, 0));
 assert(success, "Remote transfer failed");
 ```
 

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":"AAiDA,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,393 @@
+// 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  ceil(bits / 8) bytes LE   Uint<bits>
+//   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
+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("[]")) {
+            assertFixedType(type.slice(0, -2), name);
+            assertCapacity(maxItems, `'${name}' (${type}) maxItems`);
+            return { name, type: type, maxItems };
+        }
+        assertFixedType(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`);
+    }
+}
+function assertFixedType(type, fieldName) {
+    if (type === "bool" || type === "address" || type === "field")
+        return;
+    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 compactOk = (bits >= 1 && bits <= MAX_UINT_BITS) || bits === 256;
+        if (!compactOk) {
+            throw new Error(`schema: '${fieldName}' (${type}) has no Compact carrier: ` +
+                `Uint widths stop at ${MAX_UINT_BITS} bits (uint256 maps to Field)`);
+        }
+        return;
+    }
+    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;
+    }
+    throw new Error(`schema: '${fieldName}' has unsupported type '${type}'`);
+}
+// ---------------------------------------------------------------------------
+// Schema -> CompactType descriptor + value coercion
+// ---------------------------------------------------------------------------
+function fixedCompactType(type) {
+    if (type === "bool")
+        return { kind: "boolean" };
+    if (type === "field" || type === "uint256" || type === "address") {
+        return { kind: "field" };
+    }
+    const uintMatch = type.match(/^uint(\d+)$/);
+    if (uintMatch)
+        return { kind: "uint", bits: Number(uintMatch[1]) };
+    const bytesMatch = type.match(/^bytes(\d+)$/);
+    if (bytesMatch)
+        return { kind: "bytes", length: Number(bytesMatch[1]) };
+    throw new Error(`unsupported fixed type '${type}'`);
+}
+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: fixedCompactType(field.type.slice(0, -2)),
+                                },
+                            },
+                        ],
+                    },
+                };
+            }
+            return { name: field.name, type: fixedCompactType(field.type) };
+        }),
+    };
+}
+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,oDAAoD;AACpD,oDAAoD;AACpD,uDAAuD;AACvD,uEAAuE;AACvE,+FAA+F;AAC/F,qEAAqE;AACrE,oGAAoG;AACpG,6DAA6D;AAE7D,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,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACzC,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,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,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,SAAS,eAAe,CAAC,IAAY,EAAE,SAAiB;IACtD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO;IACtE,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,SAAS,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,aAAa,CAAC,IAAI,IAAI,KAAK,GAAG,CAAC;QACvE,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CACb,YAAY,SAAS,MAAM,IAAI,4BAA4B;gBACzD,uBAAuB,aAAa,+BAA+B,CACtE,CAAC;QACJ,CAAC;QACD,OAAO;IACT,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;IACT,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,YAAY,SAAS,2BAA2B,IAAI,GAAG,CAAC,CAAC;AAC3E,CAAC;AAED,8EAA8E;AAC9E,oDAAoD;AACpD,8EAA8E;AAE9E,SAAS,gBAAgB,CAAC,IAAkB;IAC1C,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,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC5C,IAAI,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC9C,IAAI,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,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,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAiB,CAAC;iCACnE;6BACF;yBACF;qBACoB;iBACxB,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,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"}

package/dist/constants.d.ts

@@ -2,42 +2,51 @@
 export declare const CAIP2_ID_BYTES = 32;
 /** Width of `SignBidirectionalEvent.params` (`Bytes<64>`). */
 export declare const MPC_PARAMS_BYTES = 64;
-/** Width of `EvmCalldata.selector` (`Bytes<4>`) — the literal first 4 calldata bytes. */
+/** Width of `EvmCalldata.selector` (`Bytes<4>`): the literal first 4 calldata bytes. */
 export declare const SELECTOR_BYTES = 4;
-/** Width of `RespondBidirectionalEvent.serializedOutput` (`Bytes<128>`). */
-export declare const SERIALIZED_OUTPUT_BYTES = 128;
 /**
- * The MPC's error sentinel: `serializedOutput` beginning with these four
+ * The MPC's error sentinel: a serialised output beginning with these four
  * bytes marks a failed/absent remote execution (mirrors the sig-net MPC's
  * MAGIC_ERROR_PREFIX).
  */
 export declare const MPC_ERROR_SENTINEL: Uint8Array<ArrayBuffer>;
 /**
- * Whether an attestation's serialized output reports a successful remote
- * execution: the first byte is 1 — the little-endian encoding of the
- * ABI-decoded success flag, matching the circuits'
- * `serializedOutput as Field == 1` check.
+ * The complete serialised output the MPC attests for a FAILED remote
+ * execution (reverted or replaced transaction): the error sentinel followed
+ * by one `0x01` byte. Schema-independent by design, mirroring the canonical
+ * MPC's Borsh-format failure payload (sig-net/mpc,
+ * node/src/respond_bidirectional.rs), so every respond schema shares one
+ * fixed 5-byte failure width. Clients recompute their failure candidate from
+ * this constant alone: no receipt or schema needed.
+ */
+export declare const MPC_FAILURE_OUTPUT: Uint8Array<ArrayBuffer>;
+/**
+ * Whether an attested serialised output reports a successful remote
+ * execution: the first byte is 1, the packed little-endian encoding of a
+ * leading boolean success flag. The output is the exact unpadded respond
+ * payload (see `serializeRespondOutput`), so its length follows from the
+ * request's respond schema.
  *
- * @param serializedOutput - The attestation's serialized output.
+ * @param serializedOutput - The attested serialised output.
  * @returns `true` when the remote call succeeded.
  */
 export declare function executionSucceeded(serializedOutput: Uint8Array): boolean;
 /**
- * Whether an attestation's serialized output is the MPC's error sentinel
- * (see {@link MPC_ERROR_SENTINEL}) rather than a call result.
+ * Whether an attested serialised output is the MPC's error sentinel
+ * (see {@link MPC_ERROR_SENTINEL}).
  *
- * @param serializedOutput - The attestation's serialized output.
+ * @param serializedOutput - The attested serialised output.
  * @returns `true` when the MPC reported an execution error.
  */
 export declare function isExecutionError(serializedOutput: Uint8Array): boolean;
 /**
  * Default MPC key version (`keyVersion` field value). Version 0 is the
- * unsupported legacy format — the canonical MPC (and
+ * unsupported legacy format: the canonical MPC (and
  * `constructSignBidirectionalEvent`) requires `keyVersion >= 1`.
  */
 export declare const SIGNET_DEFAULT_KEY_VERSION = 1n;
 /**
- * Encode text as zero-padded ASCII bytes — the Compact `pad(N, "text")`
+ * Encode text as zero-padded ASCII bytes, the Compact `pad(N, "text")`
  * convention every string-ish field of the request structs uses (consumers
  * NUL-trim on decode).
  *

package/dist/constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAUA,+DAA+D;AAC/D,eAAO,MAAM,cAAc,KAAK,CAAC;AAEjC,8DAA8D;AAC9D,eAAO,MAAM,gBAAgB,KAAK,CAAC;AAEnC,yFAAyF;AACzF,eAAO,MAAM,cAAc,IAAI,CAAC;AAEhC,4EAA4E;AAC5E,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAE3C;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,yBAA2C,CAAC;AAE3E;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,gBAAgB,EAAE,UAAU,GAAG,OAAO,CAExE;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,GAAG,OAAO,CAEtE;AAED;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,KAAK,CAAC;AAE7C;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAQpE"}
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AASA,+DAA+D;AAC/D,eAAO,MAAM,cAAc,KAAK,CAAC;AAEjC,8DAA8D;AAC9D,eAAO,MAAM,gBAAgB,KAAK,CAAC;AAEnC,wFAAwF;AACxF,eAAO,MAAM,cAAc,IAAI,CAAC;AAEhC;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,yBAA2C,CAAC;AAE3E;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB,yBAAiD,CAAC;AAEjF;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,gBAAgB,EAAE,UAAU,GAAG,OAAO,CAExE;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,GAAG,OAAO,CAEtE;AAED;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,KAAK,CAAC;AAE7C;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAQpE"}