@sig-net/midnight 0.0.9 → 0.11.0

package/dist/signet-request-response-reader.js

@@ -11,7 +11,7 @@
 import { lookupSignetRequestAt } from "./signature-requests-state-reader.js";
 import { readSignetContractLedgerFromState, signetMapEntryKey, } from "./signet-contract-state-reader.js";
 import { recoverSignatureResponseSigner } from "./signature-response-verification.js";
-import { signBidirectionalEventToSignedEVMTransaction, signBidirectionalEventToUnsignedEVMTransaction, } from "./signet-evtype2tx-requests.js";
+import { signBidirectionalEventToSignedEvmTransaction, signBidirectionalEventToUnsignedEvmTransaction, } from "./signet-evtype2tx-requests.js";
 /**
  * Reader over one requester contract / signet contract pair.
  * Construct once per pair and reuse: fetched request records are cached (they
@@ -79,11 +79,11 @@ export class SignetRequestResponseReader {
      */
     async getSignatureResponses(requestId) {
         const raw = await this.queryRawState(this.config.signetContractAddress, "signet contract");
-        const { signatureResponseCounterMap, signatureResponseMap } = readSignetContractLedgerFromState(raw);
-        const totalPosts = signatureResponseCounterMap.get(requestId) ?? 0n;
+        const { respondCounterMap, respondMap } = readSignetContractLedgerFromState(raw);
+        const totalPosts = respondCounterMap.get(requestId) ?? 0n;
         const responses = [];
         for (let count = 0n; count < totalPosts; count++) {
-            const response = signatureResponseMap.get(signetMapEntryKey(requestId, count));
+            const response = respondMap.get(signetMapEntryKey(requestId, count));
             if (response === undefined) {
                 throw new Error(`response log has no entry ${count} for request ${requestId} ` +
                     `despite its counter reading ${totalPosts} — ledger state is inconsistent`);
@@ -94,7 +94,7 @@ export class SignetRequestResponseReader {
     }
     /**
      * Fetch and verify the responses posted for `requestId`: each post's
-     * `{ bigR, s, recoveryId }` signature must recover to `expectedSigner`
+     * signature must recover to `expectedSigner`
      * (compared case-insensitively) over the signing hash of the transaction
      * the request record describes. The first valid post wins; every post gets
      * a verdict so callers can report the noise.
@@ -149,8 +149,8 @@ export class SignetRequestResponseReader {
      * @throws Error when the requester contract has no state or holds no
      *   request under `requestId`.
      */
-    async getUnsignedEVMTransaction(requestId) {
-        return signBidirectionalEventToUnsignedEVMTransaction(await this.getSignatureRequest(requestId));
+    async getUnsignedEvmTransaction(requestId) {
+        return signBidirectionalEventToUnsignedEvmTransaction(await this.getSignatureRequest(requestId));
     }
     /**
      * Assemble the broadcast-ready signed EIP-1559 transaction for `requestId`:
@@ -168,7 +168,7 @@ export class SignetRequestResponseReader {
      * @throws Error when either contract has no state, the request is not on the
      *   requester's ledger, or the responses ledger is inconsistent.
      */
-    async getSignedEVMTransaction(requestId, expectedSigner) {
+    async getSignedEvmTransaction(requestId, expectedSigner) {
         const { verified } = await this.getVerifiedSignatureRespondedEvent(requestId, expectedSigner);
         if (verified === undefined) {
             return undefined;
@@ -176,7 +176,7 @@ export class SignetRequestResponseReader {
         // getSignatureRequest is cached — getVerifiedSignatureRespondedEvent already
         // fetched it, so this is a free lookup, not a second query.
         const request = await this.getSignatureRequest(requestId);
-        return signBidirectionalEventToSignedEVMTransaction(request, verified);
+        return signBidirectionalEventToSignedEvmTransaction(request, verified);
     }
     /**
      * Fetch every respond-bidirectional response posted for `requestId`, in

package/dist/signet-request-response-reader.js.map

@@ -1 +1 @@
-{"version":3,"file":"signet-request-response-reader.js","sourceRoot":"","sources":["../src/signet-request-response-reader.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,8EAA8E;AAC9E,0EAA0E;AAC1E,uBAAuB;AACvB,yEAAyE;AACzE,4EAA4E;AAC5E,uEAAuE;AACvE,mEAAmE;AACnE,2EAA2E;AAC3E,6BAA6B;AAK7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EACL,iCAAiC,EACjC,iBAAiB,GAGlB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AAEtF,OAAO,EACL,4CAA4C,EAC5C,8CAA8C,GAC/C,MAAM,gCAAgC,CAAC;AAoExC;;;;;GAKG;AACH,MAAM,OAAO,2BAA2B;IACrB,MAAM,CAAoC;IAE3D,qEAAqE;IACpD,YAAY,GAAG,IAAI,GAAG,EAGpC,CAAC;IAEJ;;OAEG;IACH,YAAY,MAAyC;QACnD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,aAAa,CACzB,eAAuB,EACvB,IAAY;QAEZ,MAAM,KAAK,GACT,MAAM,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;QAC3E,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,2BAA2B,IAAI,cAAc,eAAe,qBAAqB,CAClF,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC;IACpB,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,mBAAmB,CACvB,SAAuB;QAEvB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,aAAa,CAClC,IAAI,CAAC,MAAM,CAAC,wBAAwB,EACpC,WAAW,CACZ,CAAC;QACF,MAAM,OAAO,GAAG,qBAAqB,CACnC,GAAG,EACH,IAAI,CAAC,MAAM,CAAC,2BAA2B,EACvC,SAAS,CACV,CAAC;QACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,WAAW,SAAS,6CAA6C;gBAC/D,2BAA2B,IAAI,CAAC,MAAM,CAAC,2BAA2B,uBAAuB,CAC5F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,qBAAqB,CACzB,SAAuB;QAEvB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,aAAa,CAClC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EACjC,iBAAiB,CAClB,CAAC;QACF,MAAM,EAAE,2BAA2B,EAAE,oBAAoB,EAAE,GACzD,iCAAiC,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,2BAA2B,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACpE,MAAM,SAAS,GAA8B,EAAE,CAAC;QAChD,KAAK,IAAI,KAAK,GAAG,EAAE,EAAE,KAAK,GAAG,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,GAAG,CACvC,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CACpC,CAAC;YACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,6BAA6B,KAAK,gBAAgB,SAAS,GAAG;oBAC5D,+BAA+B,UAAU,iCAAiC,CAC7E,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,KAAK,CAAC,kCAAkC,CACtC,SAAuB,EACvB,cAAsB;QAEtB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAC5B,CAAC,QAAQ,EAAE,KAAK,EAA4B,EAAE;YAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAc,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,GAAG,8BAA8B,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC7D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO;oBACL,KAAK;oBACL,QAAQ;oBACR,cAAc,EAAE,8BAA8B,MAAM,CAAC,KAAK,CAAC,GAAG;iBAC/D,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,WAAW,EAAE,KAAK,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC1D,OAAO;oBACL,KAAK;oBACL,QAAQ;oBACR,MAAM;oBACN,cAAc,EAAE,aAAa,MAAM,cAAc,cAAc,EAAE;iBAClE,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QACrC,CAAC,CACF,CAAC;QACF,OAAO;YACL,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,EAAE,QAAQ;YACxE,QAAQ;SACT,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;OAWG;IACH,KAAK,CAAC,yBAAyB,CAC7B,SAAuB;QAEvB,OAAO,8CAA8C,CACnD,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAC1C,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,KAAK,CAAC,uBAAuB,CAC3B,SAAuB,EACvB,cAAsB;QAEtB,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,IAAI,CAAC,kCAAkC,CAChE,SAAS,EACT,cAAc,CACf,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,6EAA6E;QAC7E,4DAA4D;QAC5D,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC1D,OAAO,4CAA4C,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,KAAK,CAAC,6BAA6B,CACjC,SAAuB;QAEvB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,aAAa,CAClC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EACjC,iBAAiB,CAClB,CAAC;QACF,MAAM,EAAE,8BAA8B,EAAE,uBAAuB,EAAE,GAC/D,iCAAiC,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,8BAA8B,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACvE,MAAM,SAAS,GAAgC,EAAE,CAAC;QAClD,KAAK,IAAI,KAAK,GAAG,EAAE,EAAE,KAAK,GAAG,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAC1C,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CACpC,CAAC;YACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,0CAA0C,KAAK,gBAAgB,SAAS,GAAG;oBACzE,+BAA+B,UAAU,iCAAiC,CAC7E,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF"}
+{"version":3,"file":"signet-request-response-reader.js","sourceRoot":"","sources":["../src/signet-request-response-reader.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,8EAA8E;AAC9E,0EAA0E;AAC1E,uBAAuB;AACvB,yEAAyE;AACzE,4EAA4E;AAC5E,uEAAuE;AACvE,mEAAmE;AACnE,2EAA2E;AAC3E,6BAA6B;AAK7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EACL,iCAAiC,EACjC,iBAAiB,GAGlB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AAEtF,OAAO,EACL,4CAA4C,EAC5C,8CAA8C,GAC/C,MAAM,gCAAgC,CAAC;AAoExC;;;;;GAKG;AACH,MAAM,OAAO,2BAA2B;IACrB,MAAM,CAAoC;IAE3D,qEAAqE;IACpD,YAAY,GAAG,IAAI,GAAG,EAGpC,CAAC;IAEJ;;OAEG;IACH,YAAY,MAAyC;QACnD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,aAAa,CACzB,eAAuB,EACvB,IAAY;QAEZ,MAAM,KAAK,GACT,MAAM,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;QAC3E,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,2BAA2B,IAAI,cAAc,eAAe,qBAAqB,CAClF,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC;IACpB,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,mBAAmB,CACvB,SAAuB;QAEvB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,aAAa,CAClC,IAAI,CAAC,MAAM,CAAC,wBAAwB,EACpC,WAAW,CACZ,CAAC;QACF,MAAM,OAAO,GAAG,qBAAqB,CACnC,GAAG,EACH,IAAI,CAAC,MAAM,CAAC,2BAA2B,EACvC,SAAS,CACV,CAAC;QACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,WAAW,SAAS,6CAA6C;gBAC/D,2BAA2B,IAAI,CAAC,MAAM,CAAC,2BAA2B,uBAAuB,CAC5F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,qBAAqB,CACzB,SAAuB;QAEvB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,aAAa,CAClC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EACjC,iBAAiB,CAClB,CAAC;QACF,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,GACrC,iCAAiC,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAC1D,MAAM,SAAS,GAA8B,EAAE,CAAC;QAChD,KAAK,IAAI,KAAK,GAAG,EAAE,EAAE,KAAK,GAAG,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAC7B,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CACpC,CAAC;YACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,6BAA6B,KAAK,gBAAgB,SAAS,GAAG;oBAC5D,+BAA+B,UAAU,iCAAiC,CAC7E,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,KAAK,CAAC,kCAAkC,CACtC,SAAuB,EACvB,cAAsB;QAEtB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAC5B,CAAC,QAAQ,EAAE,KAAK,EAA4B,EAAE;YAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAc,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,GAAG,8BAA8B,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC7D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO;oBACL,KAAK;oBACL,QAAQ;oBACR,cAAc,EAAE,8BAA8B,MAAM,CAAC,KAAK,CAAC,GAAG;iBAC/D,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,WAAW,EAAE,KAAK,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC1D,OAAO;oBACL,KAAK;oBACL,QAAQ;oBACR,MAAM;oBACN,cAAc,EAAE,aAAa,MAAM,cAAc,cAAc,EAAE;iBAClE,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QACrC,CAAC,CACF,CAAC;QACF,OAAO;YACL,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,EAAE,QAAQ;YACxE,QAAQ;SACT,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;OAWG;IACH,KAAK,CAAC,yBAAyB,CAC7B,SAAuB;QAEvB,OAAO,8CAA8C,CACnD,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAC1C,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,KAAK,CAAC,uBAAuB,CAC3B,SAAuB,EACvB,cAAsB;QAEtB,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,IAAI,CAAC,kCAAkC,CAChE,SAAS,EACT,cAAc,CACf,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,6EAA6E;QAC7E,4DAA4D;QAC5D,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC1D,OAAO,4CAA4C,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,KAAK,CAAC,6BAA6B,CACjC,SAAuB;QAEvB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,aAAa,CAClC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EACjC,iBAAiB,CAClB,CAAC;QACF,MAAM,EAAE,8BAA8B,EAAE,uBAAuB,EAAE,GAC/D,iCAAiC,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,8BAA8B,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACvE,MAAM,SAAS,GAAgC,EAAE,CAAC;QAClD,KAAK,IAAI,KAAK,GAAG,EAAE,EAAE,KAAK,GAAG,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAC1C,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CACpC,CAAC;YACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,0CAA0C,KAAK,gBAAgB,SAAS,GAAG;oBACzE,+BAA+B,UAAU,iCAAiC,CAC7E,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF"}

package/dist/signet-requests.d.ts

@@ -1,5 +1,5 @@
 import { type CompactType } from "@midnight-ntwrk/compact-runtime";
-import type { EVMType2TxParams } from "./signet-evtype2tx-requests.ts";
+import type { EvmType2TxParams } from "./signet-evtype2tx-requests.ts";
 /**
  * 32-byte signet request id (Compact: `new type RequestId = Bytes<32>`).
  * Chain-agnostic: downstream consumers treat it as an opaque key. Ids are
@@ -23,7 +23,7 @@ export interface ContractAddress {
  * `enum`) so the values stay structurally `number`.
  */
 export declare const TxParamType: {
-    /** `EVMType2TxParams` (signet-evtype2tx-requests.ts): an EIP-1559 EVM transaction. */
+    /** `EvmType2TxParams` (signet-evtype2tx-requests.ts): an EIP-1559 EVM transaction. */
     readonly evmType2: 0;
     /**
      * Never emitted — mirrors the Compact-side padding variant that keeps the
@@ -68,12 +68,12 @@ export interface Maybe<T> {
  * 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;
+ * 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.
  */
-export interface SignBidirectionalEvent<TxParams = EVMType2TxParams> {
+export interface SignBidirectionalEvent<TxParams = EvmType2TxParams> {
     /** Address of the client contract that stores this event (`kernel.self()`). */
     sender: ContractAddress;
     /** Contract-local nonce captured when the request was created. */

package/dist/signet-requests.js

@@ -10,7 +10,7 @@
 // so ledger reads assign to them without casts.
 //
 // The lockstep is enforced by each consuming contract's simulator tests: the
-// "signet-caller ledger shape" test in packages/caller-contract/tests/
+// "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
@@ -26,7 +26,7 @@ import { CompactTypeBoolean, CompactTypeBytes, CompactTypeEnum, CompactTypeUnsig
  * `enum`) so the values stay structurally `number`.
  */
 export const TxParamType = {
-    /** `EVMType2TxParams` (signet-evtype2tx-requests.ts): an EIP-1559 EVM transaction. */
+    /** `EvmType2TxParams` (signet-evtype2tx-requests.ts): an EIP-1559 EVM transaction. */
     evmType2: 0,
     /**
      * Never emitted — mirrors the Compact-side padding variant that keeps the
@@ -72,7 +72,7 @@ export const MPCDestination = {
 // `_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 caller-contract's
+// field by field, in declaration order. 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

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,uEAAuE;AACvE,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,mEAAmE;AACnE,EAAE;AACF,wEAAwE;AACxE,yDAAyD;AAEzD,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,2EAA2E;IAC3E,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,sCAAsC;IACtC,MAAM,EAAE,CAAC;IACT,2EAA2E;IAC3E,QAAQ,EAAE,CAAC;CACH,CAAC;AAmDX,+EAA+E;AAC/E,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,wEAAwE;AACxE,4EAA4E;AAC5E,oEAAoE;AACpE,2EAA2E;AAC3E,wEAAwE;AACxE,4EAA4E;AAC5E,EAAE;AACF,sEAAsE;AACtE,6EAA6E;AAC7E,sEAAsE;AACtE,sDAAsD;AACtD,6EAA6E;AAC7E,2EAA2E;AAC3E,sEAAsE;AACtE,0EAA0E;AAC1E,uEAAuE;AAEvE,0EAA0E;AAC1E,uEAAuE;AACvE,oEAAoE;AACpE,0EAA0E;AAC1E,4EAA4E;AAC5E,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,0EAA0E;AAC1E,sEAAsE;AACtE,EAAE;AACF,iEAAiE;AACjE,2EAA2E;AAC3E,8EAA8E;AAC9E,gDAAgD;AAChD,EAAE;AACF,6EAA6E;AAC7E,mFAAmF;AACnF,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,mEAAmE;AACnE,EAAE;AACF,wEAAwE;AACxE,yDAAyD;AAEzD,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,2EAA2E;IAC3E,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,sCAAsC;IACtC,MAAM,EAAE,CAAC;IACT,2EAA2E;IAC3E,QAAQ,EAAE,CAAC;CACH,CAAC;AAmDX,+EAA+E;AAC/E,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,wEAAwE;AACxE,4EAA4E;AAC5E,oEAAoE;AACpE,2EAA2E;AAC3E,wEAAwE;AACxE,4EAA4E;AAC5E,EAAE;AACF,sEAAsE;AACtE,6EAA6E;AAC7E,sEAAsE;AACtE,sDAAsD;AACtD,6EAA6E;AAC7E,2EAA2E;AAC3E,2EAA2E;AAC3E,0EAA0E;AAC1E,uEAAuE;AAEvE,0EAA0E;AAC1E,uEAAuE;AACvE,oEAAoE;AACpE,0EAA0E;AAC1E,4EAA4E;AAC5E,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"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sig-net/midnight",
-  "version": "0.0.9",
+  "version": "0.11.0",
   "repository": {
     "type": "git",
     "url": "https://github.com/sig-net/midnight-integration",

package/src/Signet.compact

@@ -97,7 +97,9 @@ module Signet {
     // outputDeserializationSchema tells the MPC how to deserialise the destination chain's
     // execution output (destination chain -> MPC). respondSerializationSchema tells the MPC
     // how to serialise that output into the RespondBidirectionalEvent it posts back
-    // (MPC -> Midnight). Both are ABI-style JSON schema strings, sized per client contract.
+    // (MPC -> Midnight).
+    // Both are ABI-style JSON schema strings, sized per client contract
+    // (see: https://docs.soliditylang.org/en/v0.8.30/abi-spec.html#json)
     outputDeserializationSchema: Bytes<LenOutputDeserialization>;
     respondSerializationSchema: Bytes<LenRespondSerialization>;
   }
@@ -119,7 +121,7 @@ module Signet {
   // TxParamType indicates which transaction-param decomposition a request
   // contains so an off-chain consumer (e.g. the MPC) knows how to re-assemble it.
   export enum TxParamType {
-    evmType2, // EVMType2TxParams: an EIP-1559 EVM transaction (envelope + calldata)
+    evmType2, // EvmType2TxParams: an EIP-1559 EVM transaction (envelope + calldata)
     reserved, // Reserved for future use. Exists to keep enum >= 2 (proof server bug).
   }
 
@@ -164,14 +166,16 @@ module Signet {
   // (see calculateRequestId).
   export new type RequestId = Bytes<32>;
 
-  // RequestId calculation helper: the persistent hash of the full event record, so the id
-  // commits to every field, including the sender address (which scopes ids per contract).
-  // There is deliberately no extra domain-separation tag. Off-chain consumers (the MPC,
-  // clients) must compute this exact hash to locate and authenticate requests.
+  // keccak256 of the whole record, so the id commits to every field including sender
+  // (which scopes ids per contract). No domain-separation tag, deliberately.
+  //
+  // Hashes the field-aligned binary representation (each field re-padded to its declared
+  // width), NOT an ABI/EIP-712 field encoding, so off-chain consumers must reproduce that
+  // layout exactly. Type argument is the INPUT type; the return is always Bytes<32>.
   export pure circuit calculateRequestId<TxParams, #LenOutputDeserialization, #LenRespondSerialization>(
     request: SignBidirectionalEvent<TxParams, LenOutputDeserialization, LenRespondSerialization>
   ): RequestId {
-    return persistentHash<SignBidirectionalEvent<TxParams, LenOutputDeserialization, LenRespondSerialization>>(request) as RequestId;
+    return keccak256<SignBidirectionalEvent<TxParams, LenOutputDeserialization, LenRespondSerialization>>(request) as RequestId;
   }
 
   // ---- Client Contract: SignBidirectionalEvent Map ---------------------------------------------------
@@ -188,7 +192,7 @@ module Signet {
   // Signet singleton to notify the MPC of a SignBidirectionalEvent.
   export contract SignetSigner {
     // Called by client contracts to notify the MPC of a SignBidirectionalEvent.
-    circuit signBidirectionalEvent(
+    circuit signBidirectional(
       // Canonical id of the SignBidirectionalEvent (calculate with calculateRequestId).
       requestId: RequestId,
       // Versioned notification of the SignBidirectionalEvent
@@ -219,13 +223,35 @@ module Signet {
     };
   }
 
+  // A curve point in affine coordinates, SEC1 big-endian. Field-for-field the
+  // AffinePoint of the sig-net EVM and Solana signer contracts.
+  export struct AffinePoint {
+    x: Bytes<32>;
+    y: Bytes<32>;
+  }
+
+  // The MPC's canonical ECDSA signature: bigR the full nonce point (so consumers
+  // never decompress), s big-endian, recoveryId the parity of R.y (0 or 1).
+  // Deliberately identical to the Signature struct every other sig-net signer
+  // contract exposes (EVM ChainSignatures.sol, the Solana signet program) and to
+  // the MPC's own Signature { big_r, s, recovery_id } — one vocabulary across
+  // chains. No algorithm tag is stored: the scheme is fixed by the request's own
+  // MPCSignatureAlgorithm.
+  //
+  // Stored bytes are BIG-endian throughout, the canonical SEC1 order. The scalar
+  // casts read little-endian, so verifyRespondBidirectionalEvent reverses on the
+  // way in rather than making the stored record non-canonical.
+  export struct Signature {
+    bigR: AffinePoint;
+    s: Bytes<32>;
+    recoveryId: Uint<8>;
+  }
+
   // Counterpart to SignBidirectionalEvent containing MPC generated signature requested by a SignBidirectionalEvent.
   // Posted by MPC back to Signet singleton for clients to extract to build a signed transaction.
   export struct SignatureRespondedEvent {
-    bigRx: Bytes<32>;    // signature R.x
-    bigRy: Bytes<32>;    // signature R.y
-    s: Bytes<32>;        // signature s
-    recoveryId: Uint<8>; // parity of R.y for public-key recovery
+    // The requested signature over the transaction the request describes.
+    signature: Signature;
   }
 
   // Structure containing the output of a transaction executed on a foreign blockchain,
@@ -238,7 +264,7 @@ module Signet {
   // Posted by MPC back to Signet singleton for clients to extract, verify and deliver
   // back to the client contract. The singleton stores posts UNVERIFIED: client contracts
   // must verify the signature themselves against their MPC response key, via
-  // verifyRespondBidirectionalEvent (see verifyResponse in the caller-contract example).
+  // verifyRespondBidirectionalEvent.
   export struct RespondBidirectionalEvent {
     // ABI-encoded return data of the remote call (canonical
     // serialized_output), zero-padded. First 32-byte word == 1 signals
@@ -249,16 +275,9 @@ module Signet {
     // Meaningful byte count of serializedOutput.
     outputLen: Uint<8>;
 
-    // ECDSA signature scalars as LITTLE-ENDIAN 32-byte values (the byte order the
-    // `Secp256k1Scalar as Bytes<32>` cast produces). Stored as bytes because
-    // Secp256k1Scalar values cannot live in ledger state (compiler limitation).
-    // r is the MPC signature's big_r.x reduced mod the curve order.
-    r: Bytes<32>;
-    s: Bytes<32>;
-
-    // Recovery id (parity of R.y), for off-chain public key recovery only.
-    // Unused in-circuit: verification takes the public key as an explicit input.
-    recoveryId: Uint<8>;
+    // Signs signetAttestationDigest(requestId, serializedOutput) — outputLen above is
+    // NOT covered. The verify circuit's r is this signature's bigR.x mod the curve order.
+    signature: Signature;
   }
 
   // SignetMapKey used to locate SignBidirectionalEventNotifications, SignatureRespondedEvent and
@@ -268,45 +287,59 @@ module Signet {
     requestId: RequestId;
   };
 
-  // The 32-byte digest the MPC ECDSA-signs to attest a remote execution:
-  // the persistent hash of the request id together with hash(serializedOutput, outputLen).
-  // The inner hash binds the output together with its length so neither can be swapped
-  // under a reused signature. secp256k1EcdsaVerify interprets the digest as a BIG-ENDIAN
-  // integer reduced mod the curve order (RFC 6979 convention). ONE implementation for
-  // everyone: client contracts verify against it in-circuit, and off-chain signers (the
-  // MPC, tests) call the compiled copy via circuits.compact, never a TS re-implementation.
+  // The 32-byte digest the MPC ECDSA-signs to attest a remote execution: keccak256 over
+  // requestId (32) ++ serializedOutput (128). The output is hashed as the full zero-padded
+  // Bytes<128>, not at its meaningful length, because Compact cannot hash a runtime-length
+  // prefix — an off-chain signer must pad to exactly 128 before hashing.
+  //
+  // outputLen is NOT covered. A consumer that treats it as attested must pin it itself.
+  //
+  // secp256k1EcdsaVerify reads the digest as a BIG-ENDIAN integer mod the curve order
+  // (RFC 6979). ONE implementation for everyone: off-chain signers call the compiled copy
+  // via circuits.compact, never a TS re-implementation.
   export pure circuit signetAttestationDigest(
     requestId: RequestId,
-    serializedOutput: Bytes<128>,
-    outputLen: Uint<8>
+    serializedOutput: Bytes<128>
   ): Bytes<32> {
-    const outHash = persistentHash<Vector<2, Bytes<32>>>([
-      persistentHash<Bytes<128>>(serializedOutput),
-      outputLen as Field as Bytes<32>
-    ]);
-    return persistentHash<Vector<2, Bytes<32>>>([requestId as Bytes<32>, outHash]);
+    const requestIdBytes = requestId as Bytes<32>;
+    return keccak256<Bytes<160>>(Bytes[...requestIdBytes, ...serializedOutput]);
+  }
+
+  // Same Bytes -> Vector<Uint<8>> idiom numericAbiWord uses. Pulls in a byte-decomposition
+  // lookup table, a fixed cost the calling circuit pays once and shares with any other
+  // byte-level work it does, so reverse at the boundary and never per element.
+  pure circuit reverseBytes32(b: Bytes<32>): Bytes<32> {
+    const v = b as Vector<32, Uint<8>>;
+    return Bytes[v[31], v[30], v[29], v[28], v[27], v[26], v[25], v[24],
+                 v[23], v[22], v[21], v[20], v[19], v[18], v[17], v[16],
+                 v[15], v[14], v[13], v[12], v[11], v[10], v[9],  v[8],
+                 v[7],  v[6],  v[5],  v[4],  v[3],  v[2],  v[1],  v[0]];
   }
 
-  // Verify a RespondBidirectionalEvent against a secp256k1 public key: the event's
+  // Verify a respond-bidirectional attestation against a secp256k1 public key: the
   // ECDSA signature must sign the attestation digest of (requestId, output). This is
   // the check client contracts run before accepting a response (the Signet singleton
   // stores posts unverified); pass the contract's MPC RESPONSE key (derived off-chain
   // from the contract's address + the fixed path "midnight response key", typically
   // hash-pinned in the contract's ledger at deploy time).
+  //
+  // Takes the event as stored: the caller hands over the record it read, and the
+  // big-endian-to-little-endian re-encoding happens here instead of in every
+  // integrator.
+  //
+  // ECDSA's r is bigR.x reduced mod the curve order; bigR.x is taken as-is because it
+  // is already below the order for all but a ~2^-128 fraction of signatures, and one
+  // that is not simply fails to verify.
   export pure circuit verifyRespondBidirectionalEvent(
     requestId: RequestId,
     respondBidirectionalEvent: RespondBidirectionalEvent,
     mpcResponseKey: Secp256k1Point
   ): Boolean {
     return secp256k1EcdsaVerify(
-      signetAttestationDigest(
-        requestId,
-        respondBidirectionalEvent.serializedOutput,
-        respondBidirectionalEvent.outputLen
-      ),
+      signetAttestationDigest(requestId, respondBidirectionalEvent.serializedOutput),
       Secp256k1EcdsaSignature {
-        r: respondBidirectionalEvent.r as Secp256k1Scalar,
-        s: respondBidirectionalEvent.s as Secp256k1Scalar,
+        r: reverseBytes32(respondBidirectionalEvent.signature.bigR.x) as Secp256k1Scalar,
+        s: reverseBytes32(respondBidirectionalEvent.signature.s) as Secp256k1Scalar,
       },
       mpcResponseKey
     );
@@ -335,57 +368,59 @@ module Signet {
   // count that says how many leading slots are real. Off-chain consumers use
   // the counts; unused capacity is hashed as part of the record (zero-fill by
   // convention) but never reaches the assembled transaction.
-  export struct EVMType2TxParams<#maxCalldataWords, #maxAccessListEntries, #maxStorageKeysPerEntry> {
-    to: Bytes<20>;                   // call target (e.g. the ERC20 contract)
+  // Canonical EIP-1559 payload order, which is the RLP order the MPC re-assembles into.
+  // Each count sits directly before the slot it bounds. This order is also the
+  // request-id hash order, so it is part of the wire contract.
+  export struct EvmType2TxParams<#maxCalldataWords, #maxAccessListEntries, #maxStorageKeysPerEntry> {
     chainId: Uint<64>;               // EVM chain id (also expressed in caip2Id)
     nonce: Uint<64>;                 // account nonce of the derived sender
-    gasLimit: Uint<64>;              // gas ceiling for the call
-    maxFeePerGas: Uint<128>;         // wei
     maxPriorityFeePerGas: Uint<128>; // wei
+    maxFeePerGas: Uint<128>;         // wei
+    gasLimit: Uint<64>;              // gas ceiling for the call
+    to: Bytes<20>;                   // call target (e.g. the ERC20 contract)
     value: Uint<128>;                // ETH sent with the call, in wei
+    calldata: Maybe<EvmCalldata<maxCalldataWords>>; // none = plain ETH transfer ("0x" data)
     accessListEntryCount: Uint<8>;   // how many leading accessList entries are real
-    accessList: Vector<maxAccessListEntries, EVMAccessListEntry<maxStorageKeysPerEntry>>;
-    calldata: Maybe<EVMCalldata<maxCalldataWords>>; // none = plain ETH transfer ("0x" data)
+    accessList: Vector<maxAccessListEntries, EvmAccessListEntry<maxStorageKeysPerEntry>>;
   }
 
   // One EIP-2930 access-list entry (https://eips.ethereum.org/EIPS/eip-2930):
   // an address plus the storage keys the transaction pre-declares. Keys are
   // raw 32-byte values, copied verbatim into the RLP encoding.
-  export struct EVMAccessListEntry<#maxStorageKeys> {
+  export struct EvmAccessListEntry<#maxStorageKeys> {
     address: Bytes<20>;
     storageKeyCount: Uint<8>; // how many leading storageKeys are real
     storageKeys: Vector<maxStorageKeys, Bytes<32>>;
   }
 
   // ABI calldata for the EVM call: 4-byte selector + 32-byte slots
-  // (https://docs.soliditylang.org/en/latest/abi-spec.html). Every stored
-  // byte is ABI-READY: the signer broadcasts selector || words[0..noWords]
-  // VERBATIM, so what the contract stores is exactly what the MPC signs.
-  export struct EVMCalldata<#maxWords> {
-    selector: Bytes<4>;  // the literal first 4 calldata bytes (as broadcast)
+  // (https://docs.soliditylang.org/en/latest/abi-spec.html).
+  // CRITICAL: every ABI word here must be stored in canonical ABI form, as
+  // the MPC signs a transaction composed of exactly these words. See the
+  // ABI Calldata Word Construction Utilities below for help constructing
+  // canonical ABI words for common types.
+  export struct EvmCalldata<#maxWords> {
+    selector: Bytes<4>;  // the literal first 4 calldata bytes
     noWords: Uint<16>;   // No. of used words in the words list
-    words: Vector<maxWords, Bytes<32>>; // ABI-ready big-endian words (as broadcast)
+    words: Vector<maxWords, Bytes<32>>; // canonical ABI words (big-endian)
   }
 
-  // ---- ABI calldata word construction -----------------------------------------------------
-  // The protocol's canonical word builders and reader. Words are stored in
-  // broadcast form (big-endian, per the ABI spec above): no off-chain step
-  // may reorder or reinterpret them, so the byte order must be produced HERE,
-  // in-circuit. Compact's integer<->bytes casts are little-endian, hence the
-  // explicit reversal in numericAbiWord and the explicit fold in
-  // abiWordToUint128. TS mirrors of the same names live in signet-requests.ts
-  // and are kept honest by lockstep tests against these compiled circuits.
-
-  // The ABI word for an EVM address: 12 zero bytes, then the 20 display-order
-  // address bytes, exactly as they appear in the broadcast calldata.
+  // ---- ABI Calldata Word Construction Utilities ------------------------------------------------------
+  // Canonical ABI word builders and readers. Words MUST be stored in canonical
+  // ABI form (big-endian, per the ABI spec). These utilities help construct
+  // canonical ABI words for common types.
+
+  // Construct the canonical ABI word for a 20-byte EVM address.
+  // Output format: 12 zero bytes, then the 20 display-order address bytes.
   export pure circuit evmAddressAbiWord(addr: Bytes<20>): Bytes<32> {
     return Bytes[...default<Bytes<12>>, ...addr];
   }
 
-  // The ABI word for a numeric value (e.g. an ERC20 amount): the value as a
-  // 32-byte big-endian integer. Compact's Uint->Bytes cast is little-endian,
-  // so cast to 16 LE bytes and emit them reversed into the low half.
+  // Construct the canonical ABI word for a Uint<128> value (e.g. an ERC20 amount).
+  // Output format: the value as a 32-byte big-endian integer.
   export pure circuit numericAbiWord(value: Uint<128>): Bytes<32> {
+    // Compact's Uint->Bytes cast is little-endian,
+    // so cast to 16 LE bytes and emit them reversed into the low half.
     const le = (value as Bytes<16>) as Vector<16, Uint<8>>;
     return Bytes[
       ...default<Bytes<16>>,
@@ -394,6 +429,12 @@ module Signet {
     ];
   }
 
+  // Construct the canonical ABI word for a Boolean.
+  // Output format: 31 zero bytes, then 0x01 (true) or 0x00 (false).
+  export pure circuit boolAbiWord(value: Boolean): Bytes<32> {
+    return Bytes[...default<Bytes<31>>, value as Uint<8>];
+  }
+
   // Read a numeric ABI word back into a Uint<128>: the big-endian fold of
   // bytes 16..31. The leading half must be zero (a canonical Uint<128> word);
   // rejecting junk there keeps settle circuits from silently truncating a
@@ -418,4 +459,13 @@ module Signet {
     const b15 = b14 * 256 + (slice<1>(word, 31) as Field);
     return b15 as Uint<128>;
   }
+
+  // Read a Boolean ABI word back into a Boolean. The first 31 bytes must be
+  // zero and the last byte 0 or 1: any non-canonical word is rejected.
+  export pure circuit abiWordToBool(word: Bytes<32>): Boolean {
+    assert(slice<31>(word, 0) as Field == 0 as Field, "ABI word is not a canonical Boolean");
+    const last = slice<1>(word, 31) as Field;
+    assert(last == 0 as Field || last == 1 as Field, "ABI word is not a canonical Boolean");
+    return last == 1 as Field;
+  }
 }

package/src/circuits.compact

@@ -1,31 +1,12 @@
 pragma language_version >= 0.25;
 
-// Compiled export surface of the Signet module.
-//
-// Signet.compact must stay a module-only file (that is what lets contracts
-// import it), but a bare module compiles to nothing. This contract-less
-// program re-exports the module's pure circuits so the compiler emits them as
-// pureCircuits in managed/contract/index.js, giving the package an
-// in-process, provable-logic-identical reference implementation: unit tests
-// exercise the REAL circuits, and off-chain code (the attestation digest,
-// response verification, key-pin hashing, notification packing) reuses them
-// instead of hand-porting the algorithms. Off-chain code only ever DECODES a
-// SignBidirectionalEventNotification (fixed-offset byte reads), but tests
-// build fixtures with the compiled packer to pin the pack<->decode lockstep.
-//
-// ONLY the non-generic circuits are exported here. The request circuits
-// (calculateRequestId, constructSignBidirectionalEvent) are generic over the
-// tx-params type and schema lengths, the compiler cannot export
-// type-parameterized circuits from the top level, and this package is
-// client-agnostic: a capacity instantiation is a CLIENT contract's choice and
-// never belongs here. constructSignBidirectionalEvent is contract-only, so it
-// needs no off-chain copy. calculateRequestId IS needed off-chain (clients
-// recompute ledger map keys), so it alone has a documented-deviation TS twin
-// in signet-requests.ts, kept honest by caller-contract's
-// submitSignatureRequest round-trip test.
-//
-// Compile with --skip-zk only: pure circuits run in TS without proving keys.
-// The secp256k1 types require the --feature-zkir-v3 compiler flag.
+// Compiled export surface of the Signet module. Signet.compact is
+// module-only and compiles to nothing on its own, so this contract-less
+// program re-exports its pure circuits: the compiler emits them as
+// pureCircuits for unit tests and off-chain code to reuse instead of
+// re-porting the algorithms. Only non-generic circuits can be exported
+// (the compiler cannot export type-parameterised circuits top-level).
+// Compile with --skip-zk and --feature-zkir-v3.
 
 import CompactStandardLibrary;
 import "./Signet";
@@ -37,5 +18,7 @@ export {
   constructSignBidirectionalEventNotificationV1,
   evmAddressAbiWord,
   numericAbiWord,
-  abiWordToUint128
+  boolAbiWord,
+  abiWordToUint128,
+  abiWordToBool
 };