@openzeppelin/miden-multisig-client 0.16.0 → 0.16.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (80) hide show
  1. package/README.md +12 -0
  2. package/dist/client.d.ts +8 -0
  3. package/dist/client.d.ts.map +1 -1
  4. package/dist/client.js +9 -2
  5. package/dist/client.js.map +1 -1
  6. package/dist/index.d.ts +5 -0
  7. package/dist/index.d.ts.map +1 -1
  8. package/dist/index.js +4 -0
  9. package/dist/index.js.map +1 -1
  10. package/dist/multisig.d.ts +63 -2
  11. package/dist/multisig.d.ts.map +1 -1
  12. package/dist/multisig.js +131 -7
  13. package/dist/multisig.js.map +1 -1
  14. package/dist/multisig.test.js +216 -13
  15. package/dist/multisig.test.js.map +1 -1
  16. package/dist/proposal/factory.d.ts.map +1 -1
  17. package/dist/proposal/factory.js +10 -0
  18. package/dist/proposal/factory.js.map +1 -1
  19. package/dist/proposal/factory.test.d.ts +2 -0
  20. package/dist/proposal/factory.test.d.ts.map +1 -0
  21. package/dist/proposal/factory.test.js +32 -0
  22. package/dist/proposal/factory.test.js.map +1 -0
  23. package/dist/prover/config.d.ts +16 -0
  24. package/dist/prover/config.d.ts.map +1 -0
  25. package/dist/prover/config.js +54 -0
  26. package/dist/prover/config.js.map +1 -0
  27. package/dist/prover/config.test.d.ts +2 -0
  28. package/dist/prover/config.test.d.ts.map +1 -0
  29. package/dist/prover/config.test.js +54 -0
  30. package/dist/prover/config.test.js.map +1 -0
  31. package/dist/prover/errors.d.ts +2 -0
  32. package/dist/prover/errors.d.ts.map +1 -0
  33. package/dist/prover/errors.js +158 -0
  34. package/dist/prover/errors.js.map +1 -0
  35. package/dist/prover/errors.test.d.ts +2 -0
  36. package/dist/prover/errors.test.d.ts.map +1 -0
  37. package/dist/prover/errors.test.js +24 -0
  38. package/dist/prover/errors.test.js.map +1 -0
  39. package/dist/prover/retry.d.ts +10 -0
  40. package/dist/prover/retry.d.ts.map +1 -0
  41. package/dist/prover/retry.js +32 -0
  42. package/dist/prover/retry.js.map +1 -0
  43. package/dist/prover/retry.test.d.ts +2 -0
  44. package/dist/prover/retry.test.d.ts.map +1 -0
  45. package/dist/prover/retry.test.js +20 -0
  46. package/dist/prover/retry.test.js.map +1 -0
  47. package/dist/prover/workflow.d.ts +11 -0
  48. package/dist/prover/workflow.d.ts.map +1 -0
  49. package/dist/prover/workflow.js +18 -0
  50. package/dist/prover/workflow.js.map +1 -0
  51. package/dist/prover/workflow.test.d.ts +2 -0
  52. package/dist/prover/workflow.test.d.ts.map +1 -0
  53. package/dist/prover/workflow.test.js +80 -0
  54. package/dist/prover/workflow.test.js.map +1 -0
  55. package/dist/transaction/p2id.d.ts +8 -1
  56. package/dist/transaction/p2id.d.ts.map +1 -1
  57. package/dist/transaction/p2id.js +12 -3
  58. package/dist/transaction/p2id.js.map +1 -1
  59. package/dist/transaction.d.ts +1 -1
  60. package/dist/transaction.d.ts.map +1 -1
  61. package/dist/transaction.js +1 -1
  62. package/dist/transaction.js.map +1 -1
  63. package/package.json +2 -2
  64. package/src/client.ts +17 -2
  65. package/src/index.ts +5 -0
  66. package/src/multisig.test.ts +262 -17
  67. package/src/multisig.ts +162 -6
  68. package/src/proposal/factory.test.ts +40 -0
  69. package/src/proposal/factory.ts +11 -1
  70. package/src/prover/config.test.ts +90 -0
  71. package/src/prover/config.ts +78 -0
  72. package/src/prover/errors.test.ts +53 -0
  73. package/src/prover/errors.ts +178 -0
  74. package/src/prover/retry.test.ts +38 -0
  75. package/src/prover/retry.ts +46 -0
  76. package/src/prover/test-node.d.ts +6 -0
  77. package/src/prover/workflow.test.ts +109 -0
  78. package/src/prover/workflow.ts +19 -0
  79. package/src/transaction/p2id.ts +29 -10
  80. package/src/transaction.ts +1 -0
@@ -83,6 +83,10 @@ export class ProposalFactory {
83
83
  };
84
84
  }
85
85
  toStatus(status, proposalType, signatures) {
86
+ // The explicit widening keeps this compiling against published
87
+ // @openzeppelin/guardian-client types that predate the `retained`
88
+ // status (issue #345); it becomes redundant — but stays correct —
89
+ // once the lockfile picks up a release that includes it.
86
90
  switch (status.status) {
87
91
  case 'pending': {
88
92
  const signaturesRequired = this.options.resolveRequiredSignatures(proposalType);
@@ -91,6 +95,12 @@ export class ProposalFactory {
91
95
  case 'candidate':
92
96
  return 'ready';
93
97
  case 'canonical':
98
+ // A retained delta left the active candidate path (issue #345):
99
+ // no longer signable or submittable, so it is finalized from the
100
+ // proposal list's point of view. Whether its transaction landed is
101
+ // resolved by background reconciliation, surfaced via the delta
102
+ // status, not here.
103
+ case 'retained':
94
104
  case 'discarded':
95
105
  return 'finalized';
96
106
  }
@@ -1 +1 @@
1
- {"version":3,"file":"factory.js","sourceRoot":"","sources":["../../src/proposal/factory.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAQrD,MAAM,OAAO,eAAe;IACG;IAA7B,YAA6B,OAA+B;QAA/B,YAAO,GAAP,OAAO,CAAwB;IAAG,CAAC;IAEhE,eAAe,CAAC,SAAiB;QAC/B,IAAI,SAAS,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC;YACrE,OAAO;QACT,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,wCAAwC,SAAS,EAAE,CAAC,CAAC;IACvE,CAAC;IAED,gCAAgC,CAC9B,UAAkB,EAClB,eAAuB,EACvB,OAAe;QAEf,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,8BAA8B,CAAC,eAAe,CAAC,CAAC,CAAC;QAC7F,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAEtD,IAAI,gBAAgB,KAAK,kBAAkB,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACb,GAAG,OAAO,gBAAgB,gBAAgB,8BAA8B,kBAAkB,EAAE,CAC7F,CAAC;QACJ,CAAC;QAED,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED,SAAS,CACP,KAAkB,EAClB,UAAkB,EAClB,QAA2B,EAC3B,qBAA+C,EAAE;QAEjD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,oBAAoB,GAAG,IAAI,CAAC,gCAAgC,CAChE,UAAU,EACV,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EACjC,kBAAkB,CACnB,CAAC;QAEF,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,QAAQ,CACrD,QAAQ,IAAI,qBAAqB,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAC5E,CAAC;QAEF,MAAM,eAAe,GAAG,IAAI,kBAAkB,CAC5C,kBAAkB,EAClB,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,yCAAyC,oBAAoB,EAAE,CAChE,CAAC,OAAO,EAAE,CAAC;QAEZ,MAAM,gBAAgB,GACpB,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS;YAC/B,CAAC,CAAC,IAAI,kBAAkB,CACpB,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBAC5C,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;aAC/B,CAAC,CAAC,EACH,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,0CAA0C,oBAAoB,EAAE,CACjE,CAAC,OAAO,EAAE;YACb,CAAC,CAAC,EAAE,CAAC;QAET,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAExF,OAAO;YACL,EAAE,EAAE,oBAAoB;YACxB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC,YAAY,EAAE,UAAU,CAAC;YAC9E,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI;YAC5C,UAAU;YACV,QAAQ,EAAE,gBAAgB;SAC3B,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,QAA0B;QACrC,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YAClG,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC9D,CAAC;QAED,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEzC,MAAM,oBAAoB,GAAG,IAAI,CAAC,gCAAgC,CAChE,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,eAAe,EACxB,kBAAkB,CACnB,CAAC;QAEF,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,IAAI,kBAAkB,CACvC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;YACpC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,QAAQ,CAAC;YAC5C,IAAI,MAAM,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;gBAC/C,MAAM,IAAI,KAAK,CACb,6DAA6D,SAAS,CAAC,UAAU,uBAAuB,CACzG,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,QAAQ,EAAE,SAAS,CAAC,UAAU;gBAC9B,SAAS,EACP,MAAM,KAAK,OAAO;oBAChB,CAAC,CAAC;wBACE,MAAM;wBACN,SAAS,EAAE,SAAS,CAAC,YAAY;wBACjC,SAAS,EAAE,SAAS,CAAC,SAAS;qBAC/B;oBACH,CAAC,CAAC;wBACE,MAAM;wBACN,SAAS,EAAE,SAAS,CAAC,YAAY;qBAClC;gBACP,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aAC3D,CAAC;QACJ,CAAC,CAAC,EACF,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,sCAAsC,CACvC,CAAC,OAAO,EAAE,CAAC;QAEZ,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAEzF,OAAO;YACL,EAAE,EAAE,oBAAoB;YACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,MAAM,EAAE,UAAU,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACrE,SAAS,EAAE,QAAQ,CAAC,eAAe;YACnC,UAAU;YACV,QAAQ;SACT,CAAC;IACJ,CAAC;IAEO,QAAQ,CACd,MAAmB,EACnB,YAA0B,EAC1B,UAAoC;QAEpC,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;YACtB,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,YAAY,CAAC,CAAC;gBAChF,OAAO,UAAU,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,CAAC;YACD,KAAK,WAAW;gBACd,OAAO,OAAO,CAAC;YACjB,KAAK,WAAW,CAAC;YACjB,KAAK,WAAW;gBACd,OAAO,WAAW,CAAC;QACvB,CAAC;IACH,CAAC;CACF"}
1
+ {"version":3,"file":"factory.js","sourceRoot":"","sources":["../../src/proposal/factory.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAQrD,MAAM,OAAO,eAAe;IACG;IAA7B,YAA6B,OAA+B;QAA/B,YAAO,GAAP,OAAO,CAAwB;IAAG,CAAC;IAEhE,eAAe,CAAC,SAAiB;QAC/B,IAAI,SAAS,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC;YACrE,OAAO;QACT,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,wCAAwC,SAAS,EAAE,CAAC,CAAC;IACvE,CAAC;IAED,gCAAgC,CAC9B,UAAkB,EAClB,eAAuB,EACvB,OAAe;QAEf,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,8BAA8B,CAAC,eAAe,CAAC,CAAC,CAAC;QAC7F,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAEtD,IAAI,gBAAgB,KAAK,kBAAkB,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACb,GAAG,OAAO,gBAAgB,gBAAgB,8BAA8B,kBAAkB,EAAE,CAC7F,CAAC;QACJ,CAAC;QAED,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED,SAAS,CACP,KAAkB,EAClB,UAAkB,EAClB,QAA2B,EAC3B,qBAA+C,EAAE;QAEjD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,oBAAoB,GAAG,IAAI,CAAC,gCAAgC,CAChE,UAAU,EACV,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EACjC,kBAAkB,CACnB,CAAC;QAEF,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,QAAQ,CACrD,QAAQ,IAAI,qBAAqB,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAC5E,CAAC;QAEF,MAAM,eAAe,GAAG,IAAI,kBAAkB,CAC5C,kBAAkB,EAClB,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,yCAAyC,oBAAoB,EAAE,CAChE,CAAC,OAAO,EAAE,CAAC;QAEZ,MAAM,gBAAgB,GACpB,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS;YAC/B,CAAC,CAAC,IAAI,kBAAkB,CACpB,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBAC5C,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;aAC/B,CAAC,CAAC,EACH,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,0CAA0C,oBAAoB,EAAE,CACjE,CAAC,OAAO,EAAE;YACb,CAAC,CAAC,EAAE,CAAC;QAET,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAExF,OAAO;YACL,EAAE,EAAE,oBAAoB;YACxB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC,YAAY,EAAE,UAAU,CAAC;YAC9E,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI;YAC5C,UAAU;YACV,QAAQ,EAAE,gBAAgB;SAC3B,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,QAA0B;QACrC,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YAClG,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC9D,CAAC;QAED,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEzC,MAAM,oBAAoB,GAAG,IAAI,CAAC,gCAAgC,CAChE,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,eAAe,EACxB,kBAAkB,CACnB,CAAC;QAEF,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,IAAI,kBAAkB,CACvC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;YACpC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,QAAQ,CAAC;YAC5C,IAAI,MAAM,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;gBAC/C,MAAM,IAAI,KAAK,CACb,6DAA6D,SAAS,CAAC,UAAU,uBAAuB,CACzG,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,QAAQ,EAAE,SAAS,CAAC,UAAU;gBAC9B,SAAS,EACP,MAAM,KAAK,OAAO;oBAChB,CAAC,CAAC;wBACE,MAAM;wBACN,SAAS,EAAE,SAAS,CAAC,YAAY;wBACjC,SAAS,EAAE,SAAS,CAAC,SAAS;qBAC/B;oBACH,CAAC,CAAC;wBACE,MAAM;wBACN,SAAS,EAAE,SAAS,CAAC,YAAY;qBAClC;gBACP,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aAC3D,CAAC;QACJ,CAAC,CAAC,EACF,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,sCAAsC,CACvC,CAAC,OAAO,EAAE,CAAC;QAEZ,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAEzF,OAAO;YACL,EAAE,EAAE,oBAAoB;YACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,MAAM,EAAE,UAAU,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACrE,SAAS,EAAE,QAAQ,CAAC,eAAe;YACnC,UAAU;YACV,QAAQ;SACT,CAAC;IACJ,CAAC;IAEO,QAAQ,CACd,MAAmB,EACnB,YAA0B,EAC1B,UAAoC;QAEpC,+DAA+D;QAC/D,kEAAkE;QAClE,kEAAkE;QAClE,yDAAyD;QACzD,QAAQ,MAAM,CAAC,MAA4C,EAAE,CAAC;YAC5D,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,YAAY,CAAC,CAAC;gBAChF,OAAO,UAAU,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,CAAC;YACD,KAAK,WAAW;gBACd,OAAO,OAAO,CAAC;YACjB,KAAK,WAAW,CAAC;YACjB,gEAAgE;YAChE,iEAAiE;YACjE,mEAAmE;YACnE,gEAAgE;YAChE,oBAAoB;YACpB,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,OAAO,WAAW,CAAC;QACvB,CAAC;IACH,CAAC;CACF"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=factory.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"factory.test.d.ts","sourceRoot":"","sources":["../../src/proposal/factory.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,32 @@
1
+ import { describe, expect, it } from 'vitest';
2
+ import { ProposalFactory } from './factory.js';
3
+ describe('ProposalFactory.toStatus', () => {
4
+ const factory = new ProposalFactory({
5
+ accountId: '0x' + 'a'.repeat(30),
6
+ signerCommitments: [],
7
+ resolveRequiredSignatures: () => 2,
8
+ });
9
+ // TS `private` is compile-time only; the mapping is worth pinning
10
+ // without dragging a full tx summary through `fromDelta`.
11
+ const toStatus = (status) => factory
12
+ .toStatus(status, 'p2id', []);
13
+ it('maps every terminal delta status to finalized (issue #345)', () => {
14
+ // A retained delta left the active candidate path: no longer
15
+ // signable, so finalized here — whether it landed is resolved by
16
+ // background reconciliation via the delta status, not the proposal
17
+ // list.
18
+ expect(toStatus({ status: 'canonical', timestamp: 't' })).toBe('finalized');
19
+ // Cast until the published guardian-client types include `retained`.
20
+ expect(toStatus({
21
+ status: 'retained',
22
+ timestamp: 't',
23
+ reason: 'retry_exhausted',
24
+ })).toBe('finalized');
25
+ expect(toStatus({ status: 'discarded', timestamp: 't' })).toBe('finalized');
26
+ });
27
+ it('maps active statuses to pending/ready', () => {
28
+ expect(toStatus({ status: 'candidate', timestamp: 't' })).toBe('ready');
29
+ expect(toStatus({ status: 'pending', timestamp: 't', proposerId: 'p', cosignerSigs: [] })).toBe('pending');
30
+ });
31
+ });
32
+ //# sourceMappingURL=factory.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"factory.test.js","sourceRoot":"","sources":["../../src/proposal/factory.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,MAAM,OAAO,GAAG,IAAI,eAAe,CAAC;QAClC,SAAS,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,iBAAiB,EAAE,EAAE;QACrB,yBAAyB,EAAE,GAAG,EAAE,CAAC,CAAC;KACnC,CAAC,CAAC;IACH,kEAAkE;IAClE,0DAA0D;IAC1D,MAAM,QAAQ,GAAG,CAAC,MAAmB,EAAE,EAAE,CACtC,OAA2F;SACzF,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAElC,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,6DAA6D;QAC7D,iEAAiE;QACjE,mEAAmE;QACnE,QAAQ;QACR,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5E,qEAAqE;QACrE,MAAM,CACJ,QAAQ,CAAC;YACP,MAAM,EAAE,UAAU;YAClB,SAAS,EAAE,GAAG;YACd,MAAM,EAAE,iBAAiB;SACA,CAAC,CAC7B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpB,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxE,MAAM,CACJ,QAAQ,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CACnF,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,16 @@
1
+ import { TransactionProver } from '@miden-sdk/miden-sdk';
2
+ export interface ProverRetryPolicy {
3
+ maxAttempts?: number;
4
+ }
5
+ export interface ProverConfig {
6
+ url?: string;
7
+ retry?: ProverRetryPolicy;
8
+ }
9
+ export interface ResolvedProverConfig {
10
+ readonly kind: 'injected' | 'remote';
11
+ readonly url?: string;
12
+ readonly maxAttempts: number;
13
+ createProver(): TransactionProver | undefined;
14
+ }
15
+ export declare function resolveProverConfig(config: ProverConfig | undefined, defaultProver: TransactionProver | null): ResolvedProverConfig;
16
+ //# sourceMappingURL=config.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/prover/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEzD,MAAM,WAAW,iBAAiB;IAChC,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,iBAAiB,CAAC;CAC3B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,CAAC;IACrC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,YAAY,IAAI,iBAAiB,GAAG,SAAS,CAAC;CAC/C;AA6BD,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,YAAY,GAAG,SAAS,EAChC,aAAa,EAAE,iBAAiB,GAAG,IAAI,GACtC,oBAAoB,CA6BtB"}
@@ -0,0 +1,54 @@
1
+ import { TransactionProver } from '@miden-sdk/miden-sdk';
2
+ const DEFAULT_MAX_ATTEMPTS = 2;
3
+ const MAX_U32 = 4_294_967_295;
4
+ function normalizeMaxAttempts(value) {
5
+ if (value === undefined) {
6
+ return DEFAULT_MAX_ATTEMPTS;
7
+ }
8
+ if (!Number.isFinite(value) || !Number.isInteger(value) || value < 0 || value > MAX_U32) {
9
+ throw new Error('prover.retry.maxAttempts must be an integer between 0 and 4294967295');
10
+ }
11
+ return Math.max(1, value);
12
+ }
13
+ function normalizeUrl(value) {
14
+ const trimmed = value.trim();
15
+ let parsed;
16
+ try {
17
+ parsed = new URL(trimmed);
18
+ }
19
+ catch {
20
+ throw new Error('prover.url must be an absolute HTTP(S) URL with a host');
21
+ }
22
+ if (!['http:', 'https:'].includes(parsed.protocol) || parsed.hostname === '') {
23
+ throw new Error('prover.url must be an absolute HTTP(S) URL with a host');
24
+ }
25
+ return parsed.href;
26
+ }
27
+ export function resolveProverConfig(config, defaultProver) {
28
+ const maxAttempts = normalizeMaxAttempts(config?.retry?.maxAttempts);
29
+ if (config?.url !== undefined) {
30
+ const url = normalizeUrl(config.url);
31
+ return {
32
+ kind: 'remote',
33
+ url,
34
+ maxAttempts,
35
+ createProver: () => TransactionProver.newRemoteProver(url),
36
+ };
37
+ }
38
+ const endpoint = defaultProver?.endpoint();
39
+ if (defaultProver === null || endpoint === undefined) {
40
+ return {
41
+ kind: 'injected',
42
+ maxAttempts: 1,
43
+ createProver: () => undefined,
44
+ };
45
+ }
46
+ const descriptor = defaultProver.serialize();
47
+ return {
48
+ kind: 'remote',
49
+ url: endpoint,
50
+ maxAttempts,
51
+ createProver: () => TransactionProver.deserialize(descriptor),
52
+ };
53
+ }
54
+ //# sourceMappingURL=config.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/prover/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAkBzD,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAC/B,MAAM,OAAO,GAAG,aAAa,CAAC;AAE9B,SAAS,oBAAoB,CAAC,KAAyB;IACrD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,OAAO,EAAE,CAAC;QACxF,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,MAAW,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,MAAgC,EAChC,aAAuC;IAEvC,MAAM,WAAW,GAAG,oBAAoB,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAErE,IAAI,MAAM,EAAE,GAAG,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,GAAG;YACH,WAAW;YACX,YAAY,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC;SAC3D,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,EAAE,QAAQ,EAAE,CAAC;IAC3C,IAAI,aAAa,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrD,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,CAAC;YACd,YAAY,EAAE,GAAG,EAAE,CAAC,SAAS;SAC9B,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,EAAE,CAAC;IAC7C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,GAAG,EAAE,QAAQ;QACb,WAAW;QACX,YAAY,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,UAAU,CAAC;KAC9D,CAAC;AACJ,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=config.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"config.test.d.ts","sourceRoot":"","sources":["../../src/prover/config.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,54 @@
1
+ import { readFileSync } from 'node:fs';
2
+ import { describe, expect, it } from 'vitest';
3
+ import { resolveProverConfig } from './config.js';
4
+ function fixtures() {
5
+ return JSON.parse(readFileSync(new URL('../../../../fixtures/miden-multisig-client/prover-policy-fixtures.json', import.meta.url), 'utf8'));
6
+ }
7
+ describe('resolveProverConfig', () => {
8
+ it('matches shared URL vectors', () => {
9
+ for (const fixture of fixtures().endpoints) {
10
+ const resolve = () => resolveProverConfig({ url: fixture.input }, null);
11
+ if (fixture.valid) {
12
+ expect(resolve().url, fixture.input).toBe(fixture.canonical);
13
+ }
14
+ else {
15
+ expect(resolve, fixture.input).toThrow();
16
+ }
17
+ }
18
+ });
19
+ it('matches shared attempt-budget vectors for remote proving', () => {
20
+ for (const fixture of fixtures().attemptBudgets) {
21
+ const retry = fixture.input === null ? undefined : { maxAttempts: fixture.input };
22
+ const resolved = resolveProverConfig({ url: 'https://prover.example', retry }, null);
23
+ expect(resolved.maxAttempts).toBe(fixture.normalized);
24
+ }
25
+ });
26
+ it.each([-1, 1.5, Number.NaN, Number.POSITIVE_INFINITY, 4_294_967_296])('rejects invalid maxAttempts value %s', (maxAttempts) => {
27
+ expect(() => resolveProverConfig({ url: 'https://prover.example', retry: { maxAttempts } }, null)).toThrow('prover.retry.maxAttempts');
28
+ });
29
+ it('keeps an endpoint-less injected prover at one attempt without serializing it', () => {
30
+ const serialize = () => {
31
+ throw new Error('callback provers cannot be serialized');
32
+ };
33
+ const callback = {
34
+ endpoint: () => undefined,
35
+ serialize,
36
+ };
37
+ expect(resolveProverConfig({ retry: { maxAttempts: 5 } }, callback)).toMatchObject({
38
+ kind: 'injected',
39
+ maxAttempts: 1,
40
+ });
41
+ });
42
+ it('lets a custom remote URL override an injected local prover', () => {
43
+ const local = {
44
+ serialize: () => 'local',
45
+ endpoint: () => undefined,
46
+ };
47
+ expect(resolveProverConfig({ url: 'https://prover.example' }, local)).toMatchObject({
48
+ kind: 'remote',
49
+ url: 'https://prover.example/',
50
+ maxAttempts: 2,
51
+ });
52
+ });
53
+ });
54
+ //# sourceMappingURL=config.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"config.test.js","sourceRoot":"","sources":["../../src/prover/config.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEvC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAWlD,SAAS,QAAQ;IACf,OAAO,IAAI,CAAC,KAAK,CACf,YAAY,CACV,IAAI,GAAG,CACL,wEAAwE,EACxE,MAAM,CAAC,IAAI,CAAC,GAAG,CAChB,EACD,MAAM,CACP,CACU,CAAC;AAChB,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;YAC3C,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC;YACxE,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBAClB,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC/D,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC,cAAc,EAAE,CAAC;YAChD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;YAClF,MAAM,QAAQ,GAAG,mBAAmB,CAClC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,EACxC,IAAI,CACL,CAAC;YACF,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,iBAAiB,EAAE,aAAa,CAAC,CAAC,CACrE,sCAAsC,EACtC,CAAC,WAAW,EAAE,EAAE;QACd,MAAM,CAAC,GAAG,EAAE,CACV,mBAAmB,CACjB,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,EAAE,EACzD,IAAI,CACL,CACF,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACxC,CAAC,CACF,CAAC;IAEF,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,SAAS,GAAG,GAAG,EAAE;YACrB,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC,CAAC;QACF,MAAM,QAAQ,GAAG;YACf,QAAQ,EAAE,GAAG,EAAE,CAAC,SAAS;YACzB,SAAS;SACsB,CAAC;QAElC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC;YACjF,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,CAAC;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG;YACZ,SAAS,EAAE,GAAG,EAAE,CAAC,OAAO;YACxB,QAAQ,EAAE,GAAG,EAAE,CAAC,SAAS;SACM,CAAC;QAClC,MAAM,CACJ,mBAAmB,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,EAAE,KAAK,CAAC,CAC9D,CAAC,aAAa,CAAC;YACd,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,yBAAyB;YAC9B,WAAW,EAAE,CAAC;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,2 @@
1
+ export declare function isTransientProverError(error: unknown): boolean;
2
+ //# sourceMappingURL=errors.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/prover/errors.ts"],"names":[],"mappings":"AA4HA,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAqD9D"}
@@ -0,0 +1,158 @@
1
+ const TRANSIENT_GRPC = new Set([
2
+ 'cancelled',
3
+ 'canceled',
4
+ 'deadlineexceeded',
5
+ 'unavailable',
6
+ 'resourceexhausted',
7
+ ]);
8
+ const PERMANENT_GRPC = new Set([
9
+ 'invalidargument',
10
+ 'failedprecondition',
11
+ 'permissiondenied',
12
+ 'unauthenticated',
13
+ 'notfound',
14
+ 'alreadyexists',
15
+ 'outofrange',
16
+ 'unimplemented',
17
+ 'aborted',
18
+ 'internal',
19
+ 'dataloss',
20
+ ]);
21
+ const TRANSIENT_HTTP = new Set([408, 429, 502, 503, 504]);
22
+ const NUMERIC_GRPC_CODES = new Map([
23
+ [0, 'ok'],
24
+ [1, 'cancelled'],
25
+ [2, 'unknown'],
26
+ [3, 'invalidargument'],
27
+ [4, 'deadlineexceeded'],
28
+ [5, 'notfound'],
29
+ [6, 'alreadyexists'],
30
+ [7, 'permissiondenied'],
31
+ [8, 'resourceexhausted'],
32
+ [9, 'failedprecondition'],
33
+ [10, 'aborted'],
34
+ [11, 'outofrange'],
35
+ [12, 'unimplemented'],
36
+ [13, 'internal'],
37
+ [14, 'unavailable'],
38
+ [15, 'dataloss'],
39
+ [16, 'unauthenticated'],
40
+ ]);
41
+ function normalizeCode(value) {
42
+ if (typeof value === 'number') {
43
+ return NUMERIC_GRPC_CODES.get(value);
44
+ }
45
+ return typeof value === 'string' ? value.replaceAll(/[\s_-]/g, '').toLowerCase() : undefined;
46
+ }
47
+ function grpcEvidence(value) {
48
+ const code = normalizeCode(value);
49
+ if (code === undefined) {
50
+ return undefined;
51
+ }
52
+ if (TRANSIENT_GRPC.has(code)) {
53
+ return 'transient';
54
+ }
55
+ if (PERMANENT_GRPC.has(code)) {
56
+ return 'permanent';
57
+ }
58
+ if (code === 'unknown' || code === 'ok') {
59
+ return 'indeterminate';
60
+ }
61
+ return undefined;
62
+ }
63
+ function httpEvidence(value) {
64
+ if (typeof value !== 'number' || !Number.isInteger(value) || value < 400 || value > 599) {
65
+ return undefined;
66
+ }
67
+ return TRANSIENT_HTTP.has(value) ? 'transient' : 'permanent';
68
+ }
69
+ function httpMessageEvidence(message) {
70
+ let hasTransient = false;
71
+ for (const match of message.matchAll(/(?:\bhttp(?:\s+status)?|\bstatus\s*:?)\s*(\d{3})\b/g)) {
72
+ const evidence = httpEvidence(Number(match[1]));
73
+ if (evidence === 'permanent') {
74
+ return 'permanent';
75
+ }
76
+ hasTransient ||= evidence === 'transient';
77
+ }
78
+ return hasTransient ? 'transient' : undefined;
79
+ }
80
+ function flattenedTransient(message) {
81
+ return [
82
+ 'cancelled',
83
+ 'canceled',
84
+ 'deadline exceeded',
85
+ 'timeout',
86
+ 'unavailable',
87
+ 'resource exhausted',
88
+ 'request timeout',
89
+ 'too many requests',
90
+ 'rate limited',
91
+ 'rate limit',
92
+ 'bad gateway',
93
+ 'service unavailable',
94
+ 'gateway timeout',
95
+ 'i/o timeout',
96
+ 'io timeout',
97
+ 'connection reset',
98
+ 'broken pipe',
99
+ ].some((signal) => message.includes(signal));
100
+ }
101
+ function asRecord(value) {
102
+ return typeof value === 'object' && value !== null ? value : undefined;
103
+ }
104
+ export function isTransientProverError(error) {
105
+ const seen = new Set();
106
+ const messages = [];
107
+ let hasTransient = false;
108
+ let hasPermanent = false;
109
+ let current = error;
110
+ while (current !== undefined && current !== null) {
111
+ const record = asRecord(current);
112
+ if (record !== undefined) {
113
+ if (seen.has(record)) {
114
+ break;
115
+ }
116
+ seen.add(record);
117
+ for (const evidence of [
118
+ grpcEvidence(record.code),
119
+ httpEvidence(record.status),
120
+ httpEvidence(record.statusCode),
121
+ ]) {
122
+ hasTransient ||= evidence === 'transient';
123
+ hasPermanent ||= evidence === 'permanent';
124
+ }
125
+ if (typeof record.message === 'string') {
126
+ const message = record.message.toLowerCase();
127
+ messages.push(message);
128
+ const evidence = httpMessageEvidence(message);
129
+ hasTransient ||= evidence === 'transient';
130
+ hasPermanent ||= evidence === 'permanent';
131
+ }
132
+ else {
133
+ const message = String(current).toLowerCase();
134
+ messages.push(message);
135
+ const evidence = httpMessageEvidence(message);
136
+ hasTransient ||= evidence === 'transient';
137
+ hasPermanent ||= evidence === 'permanent';
138
+ }
139
+ current = record.cause;
140
+ }
141
+ else {
142
+ const message = String(current).toLowerCase();
143
+ messages.push(message);
144
+ const evidence = httpMessageEvidence(message);
145
+ hasTransient ||= evidence === 'transient';
146
+ hasPermanent ||= evidence === 'permanent';
147
+ break;
148
+ }
149
+ }
150
+ if (hasPermanent) {
151
+ return false;
152
+ }
153
+ if (hasTransient) {
154
+ return true;
155
+ }
156
+ return messages.some(flattenedTransient);
157
+ }
158
+ //# sourceMappingURL=errors.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/prover/errors.ts"],"names":[],"mappings":"AAUA,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,WAAW;IACX,UAAU;IACV,kBAAkB;IAClB,aAAa;IACb,mBAAmB;CACpB,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,iBAAiB;IACjB,oBAAoB;IACpB,kBAAkB;IAClB,iBAAiB;IACjB,UAAU;IACV,eAAe;IACf,YAAY;IACZ,eAAe;IACf,SAAS;IACT,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAiB;IACjD,CAAC,CAAC,EAAE,IAAI,CAAC;IACT,CAAC,CAAC,EAAE,WAAW,CAAC;IAChB,CAAC,CAAC,EAAE,SAAS,CAAC;IACd,CAAC,CAAC,EAAE,iBAAiB,CAAC;IACtB,CAAC,CAAC,EAAE,kBAAkB,CAAC;IACvB,CAAC,CAAC,EAAE,UAAU,CAAC;IACf,CAAC,CAAC,EAAE,eAAe,CAAC;IACpB,CAAC,CAAC,EAAE,kBAAkB,CAAC;IACvB,CAAC,CAAC,EAAE,mBAAmB,CAAC;IACxB,CAAC,CAAC,EAAE,oBAAoB,CAAC;IACzB,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,YAAY,CAAC;IAClB,CAAC,EAAE,EAAE,eAAe,CAAC;IACrB,CAAC,EAAE,EAAE,UAAU,CAAC;IAChB,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,UAAU,CAAC;IAChB,CAAC,EAAE,EAAE,iBAAiB,CAAC;CACxB,CAAC,CAAC;AAEH,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/F,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QACxF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC;AAC/D,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAe;IAC1C,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,CAClC,qDAAqD,CACtD,EAAE,CAAC;QACF,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;YAC7B,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;IAC5C,CAAC;IACD,OAAO,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAChD,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO;QACL,WAAW;QACX,UAAU;QACV,mBAAmB;QACnB,SAAS;QACT,aAAa;QACb,oBAAoB;QACpB,iBAAiB;QACjB,mBAAmB;QACnB,cAAc;QACd,YAAY;QACZ,aAAa;QACb,qBAAqB;QACrB,iBAAiB;QACjB,aAAa;QACb,YAAY;QACZ,kBAAkB;QAClB,aAAa;KACd,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAoB,CAAC,CAAC,CAAC,SAAS,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,OAAO,GAAY,KAAK,CAAC;IAE7B,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrB,MAAM;YACR,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjB,KAAK,MAAM,QAAQ,IAAI;gBACrB,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;gBACzB,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC3B,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;aAChC,EAAE,CAAC;gBACF,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;gBAC1C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;YAC5C,CAAC;YACD,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACvC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;gBAC7C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;gBAC9C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;gBAC1C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC9C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;gBAC9C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;gBAC1C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;YAC5C,CAAC;YACD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;YAC9C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAC9C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;YAC1C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;YAC1C,MAAM;QACR,CAAC;IACH,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;AAC3C,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=errors.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"errors.test.d.ts","sourceRoot":"","sources":["../../src/prover/errors.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,24 @@
1
+ import { readFileSync } from 'node:fs';
2
+ import { describe, expect, it } from 'vitest';
3
+ import { isTransientProverError } from './errors.js';
4
+ function fixtures() {
5
+ return JSON.parse(readFileSync(new URL('../../../../fixtures/miden-multisig-client/prover-policy-fixtures.json', import.meta.url), 'utf8'));
6
+ }
7
+ describe('isTransientProverError', () => {
8
+ it('matches every shared classification vector', () => {
9
+ for (const fixture of fixtures().classifications) {
10
+ const error = fixture.chain.reduceRight((cause, item) => ({ ...item, cause }), undefined);
11
+ expect(isTransientProverError(error), fixture.name).toBe(fixture.transient);
12
+ }
13
+ });
14
+ it('stops safely on cyclic cause graphs', () => {
15
+ const error = { code: 'Unknown', message: 'not retryable' };
16
+ error.cause = error;
17
+ expect(isTransientProverError(error)).toBe(false);
18
+ });
19
+ it('recognizes numeric gRPC status codes', () => {
20
+ expect(isTransientProverError({ code: 14, message: 'unavailable' })).toBe(true);
21
+ expect(isTransientProverError({ code: 3, message: 'timeout text' })).toBe(false);
22
+ });
23
+ });
24
+ //# sourceMappingURL=errors.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"errors.test.js","sourceRoot":"","sources":["../../src/prover/errors.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAiBrD,SAAS,QAAQ;IACf,OAAO,IAAI,CAAC,KAAK,CACf,YAAY,CACV,IAAI,GAAG,CACL,wEAAwE,EACxE,MAAM,CAAC,IAAI,CAAC,GAAG,CAChB,EACD,MAAM,CACP,CACU,CAAC;AAChB,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC,eAAe,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CACrC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,EACrC,SAAS,CACV,CAAC;YACF,MAAM,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;QAC1E,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;QACpB,MAAM,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,MAAM,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,10 @@
1
+ import type { TransactionExecution, TransactionProof } from '@miden-sdk/miden-sdk';
2
+ import type { ResolvedProverConfig } from './config.js';
3
+ export interface RetryRuntime {
4
+ sleep(delayMs: number): Promise<void>;
5
+ unitRandom(): number;
6
+ }
7
+ export declare const productionRetryRuntime: RetryRuntime;
8
+ export declare function retryDelay(retryIndex: number, unitRandom: number): number;
9
+ export declare function proveWithRetry(execution: TransactionExecution, config: ResolvedProverConfig, runtime?: RetryRuntime): Promise<TransactionProof>;
10
+ //# sourceMappingURL=retry.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"retry.d.ts","sourceRoot":"","sources":["../../src/prover/retry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAMxD,MAAM,WAAW,YAAY;IAC3B,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,UAAU,IAAI,MAAM,CAAC;CACtB;AAED,eAAO,MAAM,sBAAsB,EAAE,YAGpC,CAAC;AAEF,wBAAgB,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAMzE;AAED,wBAAsB,cAAc,CAClC,SAAS,EAAE,oBAAoB,EAC/B,MAAM,EAAE,oBAAoB,EAC5B,OAAO,GAAE,YAAqC,GAC7C,OAAO,CAAC,gBAAgB,CAAC,CAgB3B"}
@@ -0,0 +1,32 @@
1
+ import { isTransientProverError } from './errors.js';
2
+ const BASE_DELAY_MS = 500;
3
+ const MAX_DELAY_MS = 8_000;
4
+ export const productionRetryRuntime = {
5
+ sleep: (delayMs) => new Promise((resolve) => setTimeout(resolve, delayMs)),
6
+ unitRandom: () => Math.random(),
7
+ };
8
+ export function retryDelay(retryIndex, unitRandom) {
9
+ const exponent = Math.min(retryIndex, 1023);
10
+ const raw = BASE_DELAY_MS * 2 ** exponent;
11
+ const finiteRandom = Number.isFinite(unitRandom) ? unitRandom : 0.5;
12
+ const boundedRandom = Math.min(Math.max(finiteRandom, 0), 1 - Number.EPSILON);
13
+ return Math.min(Math.floor(raw * (0.75 + boundedRandom * 0.5)), MAX_DELAY_MS);
14
+ }
15
+ export async function proveWithRetry(execution, config, runtime = productionRetryRuntime) {
16
+ for (let attempt = 0; attempt < config.maxAttempts; attempt += 1) {
17
+ try {
18
+ const prover = config.createProver();
19
+ return prover === undefined
20
+ ? await execution.prove()
21
+ : await execution.prove({ prover });
22
+ }
23
+ catch (error) {
24
+ if (!isTransientProverError(error) || attempt + 1 >= config.maxAttempts) {
25
+ throw error;
26
+ }
27
+ await runtime.sleep(retryDelay(attempt, runtime.unitRandom()));
28
+ }
29
+ }
30
+ throw new Error('unreachable prover retry state');
31
+ }
32
+ //# sourceMappingURL=retry.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"retry.js","sourceRoot":"","sources":["../../src/prover/retry.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAErD,MAAM,aAAa,GAAG,GAAG,CAAC;AAC1B,MAAM,YAAY,GAAG,KAAK,CAAC;AAO3B,MAAM,CAAC,MAAM,sBAAsB,GAAiB;IAClD,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1E,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE;CAChC,CAAC;AAEF,MAAM,UAAU,UAAU,CAAC,UAAkB,EAAE,UAAkB;IAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,aAAa,GAAG,CAAC,IAAI,QAAQ,CAAC;IAC1C,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC;IACpE,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9E,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,GAAG,aAAa,GAAG,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,SAA+B,EAC/B,MAA4B,EAC5B,UAAwB,sBAAsB;IAE9C,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC,WAAW,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;YACrC,OAAO,MAAM,KAAK,SAAS;gBACzB,CAAC,CAAC,MAAM,SAAS,CAAC,KAAK,EAAE;gBACzB,CAAC,CAAC,MAAM,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACxC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACxE,MAAM,KAAK,CAAC;YACd,CAAC;YACD,MAAM,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;AACpD,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=retry.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"retry.test.d.ts","sourceRoot":"","sources":["../../src/prover/retry.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,20 @@
1
+ import { readFileSync } from 'node:fs';
2
+ import { describe, expect, it } from 'vitest';
3
+ import { retryDelay } from './retry.js';
4
+ function fixtures() {
5
+ return JSON.parse(readFileSync(new URL('../../../../fixtures/miden-multisig-client/prover-policy-fixtures.json', import.meta.url), 'utf8'));
6
+ }
7
+ describe('retryDelay', () => {
8
+ it('matches every shared delay vector', () => {
9
+ for (const fixture of fixtures().delays) {
10
+ expect(retryDelay(fixture.retryIndex, fixture.unitRandom)).toBe(fixture.delayMs);
11
+ }
12
+ });
13
+ it('remains capped after numeric overflow', () => {
14
+ expect(retryDelay(Number.MAX_SAFE_INTEGER, 0.5)).toBe(8_000);
15
+ });
16
+ it.each([Number.NaN, Number.POSITIVE_INFINITY, Number.NEGATIVE_INFINITY])('uses neutral jitter for non-finite randomness', (unitRandom) => {
17
+ expect(retryDelay(0, unitRandom)).toBe(500);
18
+ });
19
+ });
20
+ //# sourceMappingURL=retry.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"retry.test.js","sourceRoot":"","sources":["../../src/prover/retry.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAMxC,SAAS,QAAQ;IACf,OAAO,IAAI,CAAC,KAAK,CACf,YAAY,CACV,IAAI,GAAG,CACL,wEAAwE,EACxE,MAAM,CAAC,IAAI,CAAC,GAAG,CAChB,EACD,MAAM,CACP,CACU,CAAC;AAChB,CAAC;AAED,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC;YACxC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC,CACvE,+CAA+C,EAC/C,CAAC,UAAU,EAAE,EAAE;QACb,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,CACF,CAAC;AACJ,CAAC,CAAC,CAAC"}
@@ -0,0 +1,11 @@
1
+ import type { AccountId, MidenClient, TransactionRequest } from '@miden-sdk/miden-sdk';
2
+ import type { ResolvedProverConfig } from './config.js';
3
+ import type { RetryRuntime } from './retry.js';
4
+ export declare class ProverWorkflow {
5
+ private readonly client;
6
+ private readonly config;
7
+ private readonly runtime?;
8
+ constructor(client: MidenClient, config: ResolvedProverConfig, runtime?: RetryRuntime | undefined);
9
+ submit(accountId: AccountId, request: TransactionRequest): Promise<void>;
10
+ }
11
+ //# sourceMappingURL=workflow.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["../../src/prover/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AACvF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG/C,qBAAa,cAAc;IAEvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAFR,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,oBAAoB,EAC5B,OAAO,CAAC,EAAE,YAAY,YAAA;IAGnC,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC;CAM/E"}
@@ -0,0 +1,18 @@
1
+ import { proveWithRetry } from './retry.js';
2
+ export class ProverWorkflow {
3
+ client;
4
+ config;
5
+ runtime;
6
+ constructor(client, config, runtime) {
7
+ this.client = client;
8
+ this.config = config;
9
+ this.runtime = runtime;
10
+ }
11
+ async submit(accountId, request) {
12
+ const execution = await this.client.transactions.executeRequest(accountId, request);
13
+ const proof = await proveWithRetry(execution, this.config, this.runtime);
14
+ const submission = await proof.submit();
15
+ await submission.apply();
16
+ }
17
+ }
18
+ //# sourceMappingURL=workflow.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"workflow.js","sourceRoot":"","sources":["../../src/prover/workflow.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,MAAM,OAAO,cAAc;IAEN;IACA;IACA;IAHnB,YACmB,MAAmB,EACnB,MAA4B,EAC5B,OAAsB;QAFtB,WAAM,GAAN,MAAM,CAAa;QACnB,WAAM,GAAN,MAAM,CAAsB;QAC5B,YAAO,GAAP,OAAO,CAAe;IACtC,CAAC;IAEJ,KAAK,CAAC,MAAM,CAAC,SAAoB,EAAE,OAA2B;QAC5D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACpF,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;QACxC,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;CACF"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=workflow.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"workflow.test.d.ts","sourceRoot":"","sources":["../../src/prover/workflow.test.ts"],"names":[],"mappings":""}