@sig-net/midnight 0.19.0 → 0.20.0-rc.1

package/dist/signet-requests.d.ts

@@ -1,21 +1,18 @@
 import { type CompactType } from "@midnight-ntwrk/compact-runtime";
+import { type ContractAddress } from "./compact-descriptors.ts";
 import type { EvmType2TxParams } from "./signet-evtype2tx-requests.ts";
+export type { ContractAddress, Maybe } from "./compact-descriptors.ts";
 /**
  * 32-byte signet request id (Compact: `new type RequestId = Bytes<32>`).
- * Chain-agnostic: downstream consumers treat it as an opaque key. Ids are
- * minted by `calculateRequestId` in Signet.compact: the persistent hash of
- * the full {@link SignBidirectionalEvent} record (which includes the sender
- * contract address, scoping ids per contract).
+ * Chain-agnostic opaque key, minted by `calculateRequestId`.
  */
 export type RequestId = Uint8Array;
 /**
- * A Midnight contract address as the generated code represents it in struct
- * fields (Compact `ContractAddress`): a single-field wrapper around the raw
- * 32 address bytes.
+ * Descriptor of a request id ledger key (Compact `RequestId`, a nominal
+ * `Bytes<32>`): encodes a {@link RequestId} to the stored aligned form and
+ * back.
  */
-export interface ContractAddress {
-    bytes: Uint8Array;
-}
+export declare const requestIdType: CompactType<RequestId>;
 /**
  * Which transaction-param decomposition a request carries (Compact:
  * `enum TxParamType`), as the generated code represents enums: a `number`
@@ -26,9 +23,9 @@ export declare const TxParamType: {
     /** `EvmType2TxParams` (signet-evtype2tx-requests.ts): an EIP-1559 EVM transaction. */
     readonly evmType2: 0;
     /**
-     * Never emitted: mirrors the Compact-side padding variant that keeps the
-     * enum at >= 2 variants (a 1-variant enum is a zero-byte value the proof
-     * server cannot parse inside persistentHash preimages).
+     * Never emitted: the Compact-side padding variant that keeps the enum at
+     * >= 2 variants (a 1-variant enum is a zero-byte value the proof server
+     * cannot parse inside persistentHash preimages).
      */
     readonly reserved: 1;
 };
@@ -52,26 +49,13 @@ export declare const MPCDestination: {
     /** Never emitted: the >= 2 variants padding (see {@link TxParamType}). */
     readonly reserved: 1;
 };
-/**
- * Compact's standard-library `Maybe<T>` as the compiler generates it: a
- * plain struct. Even when `is_some` is false, `value` carries a full
- * default-valued `T` (so vector capacities remain inferable).
- */
-export interface Maybe<T> {
-    is_some: boolean;
-    value: T;
-}
 /**
  * Canonical signet request record (Compact:
  * `SignBidirectionalEvent<TxParams, #LenOutputDeserialization,
  * #LenRespondSerialization>`), stored per {@link RequestId} in a requesting
- * contract's `SignBidirectionalEventMap` (at whichever ledger field the
- * contract declares it: its notifications name the position). Generic over
- * the tx-params decomposition, exactly like the Compact struct. The default
- * instantiation is {@link EvmType2TxParams}, the only decomposition so far:
- * new tx kinds supply their own type argument alongside their Compact struct.
- * The schema fields carry their contract-declared byte widths in their array
- * lengths.
+ * contract's `SignBidirectionalEventMap`. Generic over the tx-params
+ * decomposition, {@link EvmType2TxParams} by default. The schema fields
+ * carry their contract-declared byte widths in their array lengths.
  */
 export interface SignBidirectionalEvent<TxParams = EvmType2TxParams> {
     /** Address of the client contract that stores this event (`kernel.self()`). */
@@ -86,7 +70,7 @@ export interface SignBidirectionalEvent<TxParams = EvmType2TxParams> {
     algo: number;
     /** An {@link MPCDestination} value. */
     dest: number;
-    /** Extra MPC parameters, reserved, 64 bytes. */
+    /** Extra MPC parameters: 64 opaque bytes, reserved, zero-filled. */
     params: Uint8Array;
     /** A {@link TxParamType} value tagging the txParams decomposition. */
     txParamType: number;
@@ -100,33 +84,10 @@ export interface SignBidirectionalEvent<TxParams = EvmType2TxParams> {
     respondSerializationSchema: Uint8Array;
 }
 /**
- * Build the runtime descriptor of a Compact struct from its per-field
- * descriptors: the generic form of the struct descriptor classes the
- * compiler generates (field-by-field concatenation of alignments and values).
- *
- * Field ORDER must match the Compact struct declaration order. Object
- * literals preserve insertion order for string keys, so pass fields in
- * declaration order.
- *
- * @param fields - One runtime descriptor per struct field, in declaration order.
- * @returns The composed struct descriptor.
- */
-export declare function compactStructDescriptor<T extends object>(fields: {
-    readonly [K in keyof T]-?: CompactType<T[K]>;
-}): CompactType<T>;
-/**
- * Descriptor of Compact's standard-library `Maybe<T>`: the compiler
- * generates it as the struct `{ is_some: Boolean, value: T }`.
- *
- * @param inner - Descriptor of the wrapped type.
- * @returns The Maybe struct descriptor.
- */
-export declare function compactMaybeDescriptor<T>(inner: CompactType<T>): CompactType<Maybe<T>>;
-/**
+ 
  * Descriptor of {@link SignBidirectionalEvent} over ANY tx-params
  * decomposition: the TS analogue of Compact's generic
- * `SignBidirectionalEvent<TxParams, #LenOutputDeserialization,
- * #LenRespondSerialization>`. Each decomposition wraps this with its own
+ * `SignBidirectionalEvent`. Each decomposition wraps this with its own
  * capacity-parameterised convenience (see `signBidirectionalEventDescriptor`
  * in signet-evtype2tx-requests.ts for the EVM Type-2 one).
  *
@@ -144,7 +105,10 @@ export declare function signBidirectionalEventDescriptorWith<TxParams>(txParams:
  * what a contract's `ledger(state).signetRequestsIndex` provides. Structural,
  * so any contract exposing the index satisfies it.
  */
-export interface SignBidirectionalEventLedgerMap extends Iterable<[RequestId, SignBidirectionalEvent]> {
+export interface SignBidirectionalEventLedgerMap extends Iterable<[
+    RequestId,
+    SignBidirectionalEvent
+]> {
     /** @returns `true` when the index holds no requests. */
     isEmpty(): boolean;
     /** @returns Number of requests in the index. */
@@ -164,11 +128,9 @@ export interface SignBidirectionalEventLedgerMap extends Iterable<[RequestId, Si
 declare const requestIdHexBrand: unique symbol;
 /**
  * 64-char lowercase hex rendering of a {@link RequestId}: THE
- * representation of a request id everywhere in TypeScript. Raw
- * {@link RequestId} bytes appear only at the Compact boundary (state
- * readers, compiled-circuit calls). The moment an id crosses that boundary it
- * becomes this type. Branded (the TS analogue of Compact's `new type`) so an
- * arbitrary string cannot pose as a request id: mint one with
+ * representation of a request id everywhere in TypeScript, with raw
+ * {@link RequestId} bytes appearing only at the Compact boundary. Branded
+ * so an arbitrary string cannot pose as a request id: mint one with
  * {@link requestIdHex} (from ledger bytes) or {@link parseRequestIdHex}
  * (from user input), and go back to bytes with {@link requestIdBytes}.
  */
@@ -178,30 +140,7 @@ export type RequestIdHex = string & {
 /** Plain-JS index parsed out of the ledger, keyed by hex request id. */
 export type SignBidirectionalEventIndex = Map<RequestIdHex, SignBidirectionalEvent>;
 /**
- * Render bytes as a lowercase hex string, no `0x` prefix.
- *
- * @param bytes - The bytes to render.
- * @returns Lowercase hex, two chars per byte.
- */
-export declare function bytesToHex(bytes: Uint8Array): string;
-/**
- * Strip an optional `0x`/`0X` prefix from a hex string.
- *
- * @param hex - A hex string, with or without a `0x` prefix.
- * @returns The bare hex digits.
- */
-export declare function stripHexPrefix(hex: string): string;
-/**
- * Decode a hex string into bytes: the inverse of {@link bytesToHex}.
- *
- * @param hex - Hex digits, with or without a `0x` prefix.
- * @returns The decoded bytes.
- */
-export declare function hexToBytes(hex: string): Uint8Array;
-/**
- * Render a request id in its canonical TS form (see
- * {@link RequestIdHex}), also usable as a JS `Map` key, which raw
- * `Uint8Array` ids are not (they compare by reference).
+ * Render a request id in its canonical TS form (see {@link RequestIdHex}).
  *
  * @param requestId - 32-byte request id.
  * @returns The branded 64-char lowercase hex string, no `0x` prefix.
@@ -209,12 +148,12 @@ export declare function hexToBytes(hex: string): Uint8Array;
 export declare function requestIdHex(requestId: RequestId): RequestIdHex;
 /**
  * Validate and normalise an untrusted string (CLI argument, config value)
- * into a {@link RequestIdHex}: an optional `0x` prefix is stripped and
- * the digits lowercased before validation.
+ * into a {@link RequestIdHex}: strips an optional `0x` prefix and
+ * lowercases.
  *
  * @param value - The candidate request id string.
  * @returns The branded, normalised request id hex.
- * @throws Error if the value is not 64 hex chars after normalisation.
+ * @throws {Error} If the value is not 64 hex chars after normalisation.
  */
 export declare function parseRequestIdHex(value: string): RequestIdHex;
 /**
@@ -227,9 +166,7 @@ export declare function parseRequestIdHex(value: string): RequestIdHex;
 export declare function requestIdBytes(id: RequestIdHex): RequestId;
 /**
  * Byte width of the path field (Compact `Bytes<32>`): 32 opaque bytes of the
- * client contract's choosing. Keys the MPC signs with are derived from
- * (contract address, path), so a contract can only ever reach keys scoped to
- * itself.
+ * client contract's choosing.
  */
 export declare const PATH_BYTES = 32;
 /**
@@ -242,5 +179,4 @@ export declare const PATH_BYTES = 32;
  * @returns A new `Map` from {@link requestIdHex} key to request record.
  */
 export declare function toSignBidirectionalEventIndex(ledgerIndex: Iterable<[RequestId, SignBidirectionalEvent]>): SignBidirectionalEventIndex;
-export {};
 //# sourceMappingURL=signet-requests.d.ts.map

package/dist/signet-requests.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"signet-requests.d.ts","sourceRoot":"","sources":["../src/signet-requests.ts"],"names":[],"mappings":"AAqBA,OAAO,EAKL,KAAK,WAAW,EACjB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAEvE;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,UAAU,CAAC;AAEnC;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,UAAU,CAAC;CACnB;AAED;;;;;GAKG;AACH,eAAO,MAAM,WAAW;IACtB,sFAAsF;;IAEtF;;;;OAIG;;CAEK,CAAC;AAEX;;;GAGG;AACH,eAAO,MAAM,qBAAqB;IAChC,4BAA4B;;IAE5B,0EAA0E;;CAElE,CAAC;AAEX;;;GAGG;AACH,eAAO,MAAM,cAAc;IACzB,sCAAsC;;IAEtC,0EAA0E;;CAElE,CAAC;AAEX;;;;GAIG;AACH,MAAM,WAAW,KAAK,CAAC,CAAC;IACtB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,CAAC,CAAC;CACV;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,sBAAsB,CAAC,QAAQ,GAAG,gBAAgB;IACjE,+EAA+E;IAC/E,MAAM,EAAE,eAAe,CAAC;IACxB,kEAAkE;IAClE,YAAY,EAAE,MAAM,CAAC;IACrB,kDAAkD;IAClD,UAAU,EAAE,MAAM,CAAC;IACnB,8EAA8E;IAC9E,IAAI,EAAE,UAAU,CAAC;IACjB,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,MAAM,EAAE,UAAU,CAAC;IACnB,sEAAsE;IACtE,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,QAAQ,EAAE,QAAQ,CAAC;IACnB,mGAAmG;IACnG,OAAO,EAAE,UAAU,CAAC;IACpB,6FAA6F;IAC7F,2BAA2B,EAAE,UAAU,CAAC;IACxC,mFAAmF;IACnF,0BAA0B,EAAE,UAAU,CAAC;CACxC;AA+CD;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE;IAChE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC7C,GAAG,WAAW,CAAC,CAAC,CAAC,CAiBjB;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAKtF;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,oCAAoC,CAAC,QAAQ,EAC3D,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,EAC/B,wBAAwB,EAAE,MAAM,EAChC,uBAAuB,EAAE,MAAM,GAC9B,WAAW,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAe/C;AAED;;;;GAIG;AACH,MAAM,WAAW,+BACf,SAAQ,QAAQ,CAAC,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;IACrD,wDAAwD;IACxD,OAAO,IAAI,OAAO,CAAC;IACnB,gDAAgD;IAChD,IAAI,IAAI,MAAM,CAAC;IACf;;;OAGG;IACH,MAAM,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC;IACtC;;;;OAIG;IACH,MAAM,CAAC,SAAS,EAAE,SAAS,GAAG,sBAAsB,CAAC;CACtD;AAED,OAAO,CAAC,MAAM,iBAAiB,EAAE,OAAO,MAAM,CAAC;AAE/C;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG;IAClC,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;CACpC,CAAC;AAEF,wEAAwE;AACxE,MAAM,MAAM,2BAA2B,GAAG,GAAG,CAC3C,YAAY,EACZ,sBAAsB,CACvB,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEpD;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAElD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAOlD;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY,CAE/D;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAM7D;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,YAAY,GAAG,SAAS,CAM1D;AAED;;;;;GAKG;AACH,eAAO,MAAM,UAAU,KAAK,CAAC;AAE7B;;;;;;;;GAQG;AACH,wBAAgB,6BAA6B,CAC3C,WAAW,EAAE,QAAQ,CAAC,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC,GACzD,2BAA2B,CAM7B"}
+{"version":3,"file":"signet-requests.d.ts","sourceRoot":"","sources":["../src/signet-requests.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,KAAK,WAAW,EAGjB,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAKL,KAAK,eAAe,EAGrB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAGvE,YAAY,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAEvE;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG,UAAU,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,SAAS,CAAY,CAAC;AAE9D;;;;;GAKG;AACH,eAAO,MAAM,WAAW;IACtB,sFAAsF;aACtF,QAAQ,EAAE,CAAC;IACX;;;;OAIG;aACH,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,eAAO,MAAM,qBAAqB;IAChC,4BAA4B;aAC5B,KAAK,EAAE,CAAC;IACR,0EAA0E;aAC1E,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,eAAO,MAAM,cAAc;IACzB,sCAAsC;aACtC,MAAM,EAAE,CAAC;IACT,0EAA0E;aAC1E,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;;;;;GAOG;AACH,MAAM,WAAW,sBAAsB,CAAC,QAAQ,GAAG,gBAAgB;IACjE,+EAA+E;IAC/E,MAAM,EAAE,eAAe,CAAC;IACxB,kEAAkE;IAClE,YAAY,EAAE,MAAM,CAAC;IACrB,kDAAkD;IAClD,UAAU,EAAE,MAAM,CAAC;IACnB,8EAA8E;IAC9E,IAAI,EAAE,UAAU,CAAC;IACjB,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,MAAM,EAAE,UAAU,CAAC;IACnB,sEAAsE;IACtE,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,QAAQ,EAAE,QAAQ,CAAC;IACnB,mGAAmG;IACnG,OAAO,EAAE,UAAU,CAAC;IACpB,6FAA6F;IAC7F,2BAA2B,EAAE,UAAU,CAAC;IACxC,mFAAmF;IACnF,0BAA0B,EAAE,UAAU,CAAC;CACxC;AAyBD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,oCAAoC,CAAC,QAAQ,EAC3D,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,EAC/B,wBAAwB,EAAE,MAAM,EAChC,uBAAuB,EAAE,MAAM,GAC9B,WAAW,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAe/C;AAED;;;;GAIG;AACH,MAAM,WAAW,+BAAgC,SAAQ,QAAQ,CAC/D;IAAC,SAAS;IAAE,sBAAsB;CAAC,CACpC;IACC,wDAAwD;IACxD,OAAO,IAAI,OAAO,CAAC;IACnB,gDAAgD;IAChD,IAAI,IAAI,MAAM,CAAC;IACf;;;OAGG;IACH,MAAM,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC;IACtC;;;;OAIG;IACH,MAAM,CAAC,SAAS,EAAE,SAAS,GAAG,sBAAsB,CAAC;CACtD;AAED,OAAO,CAAC,MAAM,iBAAiB,EAAE,OAAO,MAAM,CAAC;AAE/C;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG;IAClC,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;CACpC,CAAC;AAEF,wEAAwE;AACxE,MAAM,MAAM,2BAA2B,GAAG,GAAG,CAAC,YAAY,EAAE,sBAAsB,CAAC,CAAC;AAEpF;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY,CAE/D;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAM7D;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,YAAY,GAAG,SAAS,CAE1D;AAED;;;GAGG;AACH,eAAO,MAAM,UAAU,KAAK,CAAC;AAE7B;;;;;;;;GAQG;AACH,wBAAgB,6BAA6B,CAC3C,WAAW,EAAE,QAAQ,CAAC,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC,GACzD,2BAA2B,CAM7B"}

package/dist/signet-requests.js

@@ -1,24 +1,22 @@
 // TypeScript twins of the CHAIN-AGNOSTIC request-side structs in the Compact
 // library `Signet.compact` (same directory): the request record, its enums,
 // request ids, and the runtime-descriptor toolkit shared by every tx-params
-// decomposition. Everything specific to the EVM Type-2 decomposition (the
-// only decomposition so far) lives in `signet-evtype2tx-requests.ts`.
+// decomposition. Everything specific to the EVM Type-2 decomposition lives
+// in `signet-evtype2tx-requests.ts`.
 //
-// The shapes MUST stay in lockstep with the Compact structs: the
-// compiler inlines struct types anonymously into each contract's generated
-// managed/contract/index.d.ts, and these named types match them structurally,
-// so ledger reads assign to them without casts.
-//
-// The lockstep is enforced by each consuming contract's simulator tests: the
-// "test-caller-contract ledger shape" test in packages/test-caller-contract/tests/
-// contract.test.ts assigns the generated `ledger().signBidirectionalEventMap`
-// to the named SignBidirectionalEventLedgerMap type: the assignment itself is
-// the assertion, so any structural drift between the generated managed types
-// and these twins fails that package's `yarn build` / `yarn test`.
-//
-// Read more: the module header in Signet.compact (key derivation, event
-// flow) and this package's README ("Sign bidirectional flow").
-import { CompactTypeBoolean, CompactTypeBytes, CompactTypeEnum, CompactTypeUnsignedInteger, } from "@midnight-ntwrk/compact-runtime";
+// The shapes MUST stay structurally in lockstep with the Compact structs,
+// field by field in declaration order. Enforced by each consuming contract's
+// simulator tests (the "ledger shape" test in
+// packages/test-caller-contract/tests/contract.test.ts).
+import { CompactTypeBytes, CompactTypeEnum, } from "@midnight-ntwrk/compact-runtime";
+import { bytesToHex, hexToBytes } from "./byte-codecs.js";
+import { BYTES_32, BYTES_64, compactStructDescriptor, CONTRACT_ADDRESS, UINT_8, UINT_64, } from "./compact-descriptors.js";
+/**
+ * Descriptor of a request id ledger key (Compact `RequestId`, a nominal
+ * `Bytes<32>`): encodes a {@link RequestId} to the stored aligned form and
+ * back.
+ */
+export const requestIdType = BYTES_32;
 /**
  * Which transaction-param decomposition a request carries (Compact:
  * `enum TxParamType`), as the generated code represents enums: a `number`
@@ -29,9 +27,9 @@ export const TxParamType = {
     /** `EvmType2TxParams` (signet-evtype2tx-requests.ts): an EIP-1559 EVM transaction. */
     evmType2: 0,
     /**
-     * Never emitted: mirrors the Compact-side padding variant that keeps the
-     * enum at >= 2 variants (a 1-variant enum is a zero-byte value the proof
-     * server cannot parse inside persistentHash preimages).
+     * Never emitted: the Compact-side padding variant that keeps the enum at
+     * >= 2 variants (a 1-variant enum is a zero-byte value the proof server
+     * cannot parse inside persistentHash preimages).
      */
     reserved: 1,
 };
@@ -59,88 +57,28 @@ export const MPCDestination = {
 //
 // DEVIATION from the "pure circuits are compiled, never re-written in TS"
 // rule (see circuits.compact): the request-id circuit is generic over the
-// tx-params type and schema lengths, the Compact compiler cannot export
-// type-parameterised circuits from the top level, and a compiled copy would
-// have to be monomorphised at ONE capacity instantiation: a client
-// contract's choice that never belongs in this client-agnostic package. So
-// the record descriptor (and the per-decomposition `calculateRequestId`
-// built on it, see signet-evtype2tx-requests.ts) alone gets a TS twin here.
-//
-// Ids still come from the very `persistentHash` runtime builtin that
-// compiled circuits call, over runtime type descriptors mirroring the ones
-// the compiler generates (compare `_calculateRequestId_0` in any consuming
-// contract's managed/contract/index.js). What must stay in lockstep with
-// Signet.compact is exactly what this file already keeps in lockstep: the
-// struct shapes, field by field, in declaration order. Enforced by test-caller-contract's
+// tx-params type and schema lengths, and the Compact compiler cannot export
+// type-parameterised circuits from the top level, so the record descriptor
+// (and `calculateRequestId` built on it, see signet-request-id.ts) gets a TS
+// twin here. Ids come from the same
+// `keccak256` runtime builtin compiled circuits call. Lockstep with
+// Signet.compact is enforced by test-caller-contract's
 // "submitSignatureRequest round-trip" test, which asserts the id computed
-// here equals the ledger map key minted by the REAL compiled contract.
-// Runtime descriptors of the Compact base types the generic record fields
-// use. CompactTypeUnsignedInteger takes (maxValue, byte length), the same
-// literals the compiler emits for Uint<8/64>. CompactTypeEnum takes
-// (variantCount - 1, byte length). NOTE: a 1-variant enum would compile to
-// `CompactTypeEnum(0, 0)`, zero bytes, which the proof server cannot parse
-// inside persistentHash preimages. Every enum therefore carries a padding
-// `reserved` variant so it stays at (1, 1).
-const BYTES_32 = new CompactTypeBytes(32);
-const BYTES_64 = new CompactTypeBytes(64);
-const UINT_8 = new CompactTypeUnsignedInteger(2n ** 8n - 1n, 1);
-const UINT_64 = new CompactTypeUnsignedInteger(2n ** 64n - 1n, 8);
+// here equals the ledger map key minted by the compiled contract.
+// Runtime descriptors of the signet enums, at the literals the compiler
+// emits. NOTE: a 1-variant enum would compile to `CompactTypeEnum(0, 0)`,
+// zero bytes, which the proof server cannot parse inside persistentHash
+// preimages. Every enum therefore carries a padding `reserved` variant so it
+// stays at (1, 1). The Compact-generic base descriptors live in
+// compact-descriptors.ts.
 const TX_PARAM_TYPE = new CompactTypeEnum(1, 1);
 const MPC_SIGNATURE_ALGORITHM = new CompactTypeEnum(1, 1);
 const MPC_DESTINATION = new CompactTypeEnum(1, 1);
 /**
- * Descriptor of a Compact `ContractAddress` struct field, exactly as the
- * compiler generates it: a single-field `{ bytes: Bytes<32> }` wrapper.
- */
-const CONTRACT_ADDRESS = {
-    alignment: () => BYTES_32.alignment(),
-    fromValue: (value) => ({ bytes: BYTES_32.fromValue(value) }),
-    toValue: (value) => BYTES_32.toValue(value.bytes),
-};
-/**
- * Build the runtime descriptor of a Compact struct from its per-field
- * descriptors: the generic form of the struct descriptor classes the
- * compiler generates (field-by-field concatenation of alignments and values).
- *
- * Field ORDER must match the Compact struct declaration order. Object
- * literals preserve insertion order for string keys, so pass fields in
- * declaration order.
- *
- * @param fields - One runtime descriptor per struct field, in declaration order.
- * @returns The composed struct descriptor.
- */
-export function compactStructDescriptor(fields) {
-    const entries = Object.entries(fields);
-    return {
-        alignment: () => entries.flatMap(([, type]) => type.alignment()),
-        toValue: (value) => entries.flatMap(([key, type]) => type.toValue(value[key])),
-        fromValue: (value) => {
-            const result = {};
-            for (const [key, type] of entries) {
-                result[key] = type.fromValue(value);
-            }
-            return result;
-        },
-    };
-}
-/**
- * Descriptor of Compact's standard-library `Maybe<T>`: the compiler
- * generates it as the struct `{ is_some: Boolean, value: T }`.
- *
- * @param inner - Descriptor of the wrapped type.
- * @returns The Maybe struct descriptor.
- */
-export function compactMaybeDescriptor(inner) {
-    return compactStructDescriptor({
-        is_some: CompactTypeBoolean,
-        value: inner,
-    });
-}
-/**
+ 
  * Descriptor of {@link SignBidirectionalEvent} over ANY tx-params
  * decomposition: the TS analogue of Compact's generic
- * `SignBidirectionalEvent<TxParams, #LenOutputDeserialization,
- * #LenRespondSerialization>`. Each decomposition wraps this with its own
+ * `SignBidirectionalEvent`. Each decomposition wraps this with its own
  * capacity-parameterised convenience (see `signBidirectionalEventDescriptor`
  * in signet-evtype2tx-requests.ts for the EVM Type-2 one).
  *
@@ -169,41 +107,7 @@ export function signBidirectionalEventDescriptorWith(txParams, lenOutputDeserial
     });
 }
 /**
- * Render bytes as a lowercase hex string, no `0x` prefix.
- *
- * @param bytes - The bytes to render.
- * @returns Lowercase hex, two chars per byte.
- */
-export function bytesToHex(bytes) {
-    return Array.from(bytes, (b) => b.toString(16).padStart(2, "0")).join("");
-}
-/**
- * Strip an optional `0x`/`0X` prefix from a hex string.
- *
- * @param hex - A hex string, with or without a `0x` prefix.
- * @returns The bare hex digits.
- */
-export function stripHexPrefix(hex) {
-    return hex.startsWith("0x") || hex.startsWith("0X") ? hex.slice(2) : hex;
-}
-/**
- * Decode a hex string into bytes: the inverse of {@link bytesToHex}.
- *
- * @param hex - Hex digits, with or without a `0x` prefix.
- * @returns The decoded bytes.
- */
-export function hexToBytes(hex) {
-    const digits = stripHexPrefix(hex);
-    const out = new Uint8Array(digits.length >> 1);
-    for (let i = 0; i < out.length; i++) {
-        out[i] = Number.parseInt(digits.slice(2 * i, 2 * i + 2), 16);
-    }
-    return out;
-}
-/**
- * Render a request id in its canonical TS form (see
- * {@link RequestIdHex}), also usable as a JS `Map` key, which raw
- * `Uint8Array` ids are not (they compare by reference).
+ * Render a request id in its canonical TS form (see {@link RequestIdHex}).
  *
  * @param requestId - 32-byte request id.
  * @returns The branded 64-char lowercase hex string, no `0x` prefix.
@@ -213,12 +117,12 @@ export function requestIdHex(requestId) {
 }
 /**
  * Validate and normalise an untrusted string (CLI argument, config value)
- * into a {@link RequestIdHex}: an optional `0x` prefix is stripped and
- * the digits lowercased before validation.
+ * into a {@link RequestIdHex}: strips an optional `0x` prefix and
+ * lowercases.
  *
  * @param value - The candidate request id string.
  * @returns The branded, normalised request id hex.
- * @throws Error if the value is not 64 hex chars after normalisation.
+ * @throws {Error} If the value is not 64 hex chars after normalisation.
  */
 export function parseRequestIdHex(value) {
     const hex = value.replace(/^0x/i, "").toLowerCase();
@@ -235,17 +139,11 @@ export function parseRequestIdHex(value) {
  * @returns The 32-byte request id.
  */
 export function requestIdBytes(id) {
-    const bytes = new Uint8Array(32);
-    for (let i = 0; i < 32; i++) {
-        bytes[i] = Number.parseInt(id.slice(2 * i, 2 * i + 2), 16);
-    }
-    return bytes;
+    return hexToBytes(id);
 }
 /**
  * Byte width of the path field (Compact `Bytes<32>`): 32 opaque bytes of the
- * client contract's choosing. Keys the MPC signs with are derived from
- * (contract address, path), so a contract can only ever reach keys scoped to
- * itself.
+ * client contract's choosing.
  */
 export const PATH_BYTES = 32;
 /**

package/dist/signet-requests.js.map

@@ -1 +1 @@
-{"version":3,"file":"signet-requests.js","sourceRoot":"","sources":["../src/signet-requests.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,4EAA4E;AAC5E,4EAA4E;AAC5E,0EAA0E;AAC1E,sEAAsE;AACtE,EAAE;AACF,iEAAiE;AACjE,2EAA2E;AAC3E,8EAA8E;AAC9E,gDAAgD;AAChD,EAAE;AACF,6EAA6E;AAC7E,mFAAmF;AACnF,8EAA8E;AAC9E,8EAA8E;AAC9E,6EAA6E;AAC7E,mEAAmE;AACnE,EAAE;AACF,wEAAwE;AACxE,+DAA+D;AAE/D,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,0BAA0B,GAE3B,MAAM,iCAAiC,CAAC;AAsBzC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,sFAAsF;IACtF,QAAQ,EAAE,CAAC;IACX;;;;OAIG;IACH,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,4BAA4B;IAC5B,KAAK,EAAE,CAAC;IACR,0EAA0E;IAC1E,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,sCAAsC;IACtC,MAAM,EAAE,CAAC;IACT,0EAA0E;IAC1E,QAAQ,EAAE,CAAC;CACH,CAAC;AAmDX,+EAA+E;AAC/E,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,wEAAwE;AACxE,4EAA4E;AAC5E,mEAAmE;AACnE,2EAA2E;AAC3E,wEAAwE;AACxE,4EAA4E;AAC5E,EAAE;AACF,qEAAqE;AACrE,2EAA2E;AAC3E,2EAA2E;AAC3E,yEAAyE;AACzE,0EAA0E;AAC1E,0FAA0F;AAC1F,0EAA0E;AAC1E,uEAAuE;AAEvE,0EAA0E;AAC1E,0EAA0E;AAC1E,oEAAoE;AACpE,2EAA2E;AAC3E,2EAA2E;AAC3E,0EAA0E;AAC1E,4CAA4C;AAC5C,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;AAC1C,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;AAC1C,MAAM,MAAM,GAAG,IAAI,0BAA0B,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;AAChE,MAAM,OAAO,GAAG,IAAI,0BAA0B,CAAC,EAAE,IAAI,GAAG,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;AAClE,MAAM,aAAa,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChD,MAAM,uBAAuB,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,MAAM,eAAe,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAElD;;;GAGG;AACH,MAAM,gBAAgB,GAAiC;IACrD,SAAS,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE;IACrC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5D,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;CAClD,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CAAmB,MAEzD;IACC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAEpC,CAAC;IACF,OAAO;QACL,SAAS,EAAE,GAAG,EAAE,CACd,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;QACjD,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;YACnB,MAAM,MAAM,GAAG,EAAuC,CAAC;YACvD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACtC,CAAC;YACD,OAAO,MAAW,CAAC;QACrB,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAI,KAAqB;IAC7D,OAAO,uBAAuB,CAAW;QACvC,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,KAAK;KACb,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,oCAAoC,CAClD,QAA+B,EAC/B,wBAAgC,EAChC,uBAA+B;IAE/B,OAAO,uBAAuB,CAAmC;QAC/D,MAAM,EAAE,gBAAgB;QACxB,YAAY,EAAE,OAAO;QACrB,UAAU,EAAE,MAAM;QAClB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,uBAAuB;QAC7B,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,aAAa;QAC1B,QAAQ;QACR,OAAO,EAAE,QAAQ;QACjB,2BAA2B,EAAE,IAAI,gBAAgB,CAAC,wBAAwB,CAAC;QAC3E,0BAA0B,EAAE,IAAI,gBAAgB,CAAC,uBAAuB,CAAC;KAC1E,CAAC,CAAC;AACL,CAAC;AAgDD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAiB;IAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,OAAO,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,SAAoB;IAC/C,OAAO,UAAU,CAAC,SAAS,CAAiB,CAAC;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACpD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,GAAG,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAmB,CAAC;AAC7B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,EAAgB;IAC7C,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,CAAC;AAE7B;;;;;;;;GAQG;AACH,MAAM,UAAU,6BAA6B,CAC3C,WAA0D;IAE1D,MAAM,KAAK,GAAgC,IAAI,GAAG,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,WAAW,EAAE,CAAC;QAC/C,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"signet-requests.js","sourceRoot":"","sources":["../src/signet-requests.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,4EAA4E;AAC5E,4EAA4E;AAC5E,2EAA2E;AAC3E,qCAAqC;AACrC,EAAE;AACF,0EAA0E;AAC1E,6EAA6E;AAC7E,8CAA8C;AAC9C,yDAAyD;AAEzD,OAAO,EAEL,gBAAgB,EAChB,eAAe,GAChB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,uBAAuB,EACvB,gBAAgB,EAEhB,MAAM,EACN,OAAO,GACR,MAAM,0BAA0B,CAAC;AAYlC;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAA2B,QAAQ,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,sFAAsF;IACtF,QAAQ,EAAE,CAAC;IACX;;;;OAIG;IACH,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,4BAA4B;IAC5B,KAAK,EAAE,CAAC;IACR,0EAA0E;IAC1E,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,sCAAsC;IACtC,MAAM,EAAE,CAAC;IACT,0EAA0E;IAC1E,QAAQ,EAAE,CAAC;CACH,CAAC;AAqCX,+EAA+E;AAC/E,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,4EAA4E;AAC5E,2EAA2E;AAC3E,6EAA6E;AAC7E,oCAAoC;AACpC,oEAAoE;AACpE,uDAAuD;AACvD,0EAA0E;AAC1E,kEAAkE;AAElE,wEAAwE;AACxE,0EAA0E;AAC1E,wEAAwE;AACxE,6EAA6E;AAC7E,gEAAgE;AAChE,0BAA0B;AAC1B,MAAM,aAAa,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChD,MAAM,uBAAuB,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,MAAM,eAAe,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAElD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,oCAAoC,CAClD,QAA+B,EAC/B,wBAAgC,EAChC,uBAA+B;IAE/B,OAAO,uBAAuB,CAAmC;QAC/D,MAAM,EAAE,gBAAgB;QACxB,YAAY,EAAE,OAAO;QACrB,UAAU,EAAE,MAAM;QAClB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,uBAAuB;QAC7B,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,aAAa;QAC1B,QAAQ;QACR,OAAO,EAAE,QAAQ;QACjB,2BAA2B,EAAE,IAAI,gBAAgB,CAAC,wBAAwB,CAAC;QAC3E,0BAA0B,EAAE,IAAI,gBAAgB,CAAC,uBAAuB,CAAC;KAC1E,CAAC,CAAC;AACL,CAAC;AA4CD;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,SAAoB;IAC/C,OAAO,UAAU,CAAC,SAAS,CAAiB,CAAC;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACpD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,GAAG,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAmB,CAAC;AAC7B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,EAAgB;IAC7C,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,CAAC;AAE7B;;;;;;;;GAQG;AACH,MAAM,UAAU,6BAA6B,CAC3C,WAA0D;IAE1D,MAAM,KAAK,GAAgC,IAAI,GAAG,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,WAAW,EAAE,CAAC;QAC/C,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/testing.d.ts

@@ -0,0 +1,3 @@
+export { calculateSignetAttestationDigest, type EcdsaSignature, ecdsaSignatureToMpcSignature, secp256k1PublicKeyOf, signAttestationDigest, signatureToSignatureRespondedEvent, } from "./ecdsa-attestation.ts";
+export { deriveMidnightResponseSecretKey } from "./epsilon-derivation.ts";
+//# sourceMappingURL=testing.d.ts.map

package/dist/testing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAkBA,OAAO,EACL,gCAAgC,EAChC,KAAK,cAAc,EACnB,4BAA4B,EAC5B,oBAAoB,EACpB,qBAAqB,EACrB,kCAAkC,GACnC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,+BAA+B,EAAE,MAAM,yBAAyB,CAAC"}

package/dist/testing.js

@@ -0,0 +1,20 @@
+// Test-fixture surface of @sig-net/midnight (the `@sig-net/midnight/testing`
+// entry point): mint a REAL respond-bidirectional attestation with a
+// throwaway secret key, so a claim circuit can be unit tested in-process
+// against the same record shape the MPC posts. Runtime integrations verify
+// posts (root entry: `verifyRespondBidirectionalSignature`,
+// `SignetRequestResponseReader`) and never sign. The fakenet responder, the
+// MPC's test double, posts through these same helpers, which keeps its bytes
+// pinned to this package's decoders.
+//
+// The canonical fixture chain:
+//   ecdsaSignatureToMpcSignature(
+//     signAttestationDigest(
+//       calculateSignetAttestationDigest(requestId, serializedOutput),
+//       secretKey,
+//     ),
+//   )
+// verifies in-circuit against secp256k1PublicKeyOf(secretKey).
+export { calculateSignetAttestationDigest, ecdsaSignatureToMpcSignature, secp256k1PublicKeyOf, signAttestationDigest, signatureToSignatureRespondedEvent, } from "./ecdsa-attestation.js";
+export { deriveMidnightResponseSecretKey } from "./epsilon-derivation.js";
+//# sourceMappingURL=testing.js.map

package/dist/testing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"testing.js","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,qEAAqE;AACrE,yEAAyE;AACzE,2EAA2E;AAC3E,4DAA4D;AAC5D,4EAA4E;AAC5E,6EAA6E;AAC7E,qCAAqC;AACrC,EAAE;AACF,+BAA+B;AAC/B,kCAAkC;AAClC,6BAA6B;AAC7B,uEAAuE;AACvE,mBAAmB;AACnB,SAAS;AACT,MAAM;AACN,+DAA+D;AAE/D,OAAO,EACL,gCAAgC,EAEhC,4BAA4B,EAC5B,oBAAoB,EACpB,qBAAqB,EACrB,kCAAkC,GACnC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,+BAA+B,EAAE,MAAM,yBAAyB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sig-net/midnight",
-  "version": "0.19.0",
+  "version": "0.20.0-rc.1",
   "repository": {
     "type": "git",
     "url": "https://github.com/sig-net/midnight-integration",
@@ -13,6 +13,10 @@
     ".": {
       "types": "./dist/index.d.ts",
       "default": "./dist/index.js"
+    },
+    "./testing": {
+      "types": "./dist/testing.d.ts",
+      "default": "./dist/testing.js"
     }
   },
   "files": [
@@ -33,6 +37,10 @@
       ".": {
         "types": "./dist/index.d.ts",
         "default": "./dist/index.js"
+      },
+      "./testing": {
+        "types": "./dist/testing.d.ts",
+        "default": "./dist/testing.js"
       }
     }
   },
@@ -40,12 +48,13 @@
     "@midnight-ntwrk/compact-runtime": "0.18.0-rc.1",
     "@midnight-ntwrk/midnight-js-types": "5.0.0-beta.6",
     "@noble/curves": "^2.2.0",
-    "@sig-net/midnight-serde": "^0.19.0",
+    "@sig-net/midnight-serde": "^0.20.0-rc.1",
     "ethers": "^6.17.0"
   },
   "devDependencies": {
     "@types/node": "^26.1.0",
-    "typescript": "^6.0.3",
+    "@vitest/coverage-v8": "^4.1.10",
+    "typescript": "^7.0.2",
     "vitest": "^4.1.9"
   },
   "main": "./dist/index.js",