@avow-finance/verifier 0.0.0-stage → 0.2.0

package/dist/lock-abi.js

@@ -0,0 +1,452 @@
+/**
+ * The views of the lock that the Tempo reader calls, as the contract declares them. `commitment`
+ * returns the lock's stored record for one side of a commitment.
+ */
+export const LOCK_ABI = [
+    {
+        type: 'function',
+        name: 'account',
+        inputs: [],
+        outputs: [
+            {
+                name: '',
+                type: 'address',
+            },
+        ],
+        stateMutability: 'view',
+    },
+    {
+        type: 'function',
+        name: 'token',
+        inputs: [],
+        outputs: [
+            {
+                name: '',
+                type: 'address',
+            },
+        ],
+        stateMutability: 'view',
+    },
+    {
+        type: 'function',
+        name: 'factory',
+        inputs: [],
+        outputs: [
+            {
+                name: '',
+                type: 'address',
+            },
+        ],
+        stateMutability: 'view',
+    },
+    {
+        type: 'function',
+        name: 'minContestWindow',
+        inputs: [],
+        outputs: [
+            {
+                name: '',
+                type: 'uint64',
+            },
+        ],
+        stateMutability: 'view',
+    },
+    {
+        type: 'function',
+        name: 'confirmWindow',
+        inputs: [],
+        outputs: [
+            {
+                name: '',
+                type: 'uint64',
+            },
+        ],
+        stateMutability: 'view',
+    },
+    {
+        type: 'function',
+        name: 'rulingDelay',
+        inputs: [],
+        outputs: [
+            {
+                name: '',
+                type: 'uint64',
+            },
+        ],
+        stateMutability: 'view',
+    },
+    {
+        type: 'function',
+        name: 'rulingKeyEnd',
+        inputs: [],
+        outputs: [
+            {
+                name: '',
+                type: 'uint64',
+            },
+        ],
+        stateMutability: 'view',
+    },
+    {
+        type: 'function',
+        name: 'day90',
+        inputs: [],
+        outputs: [
+            {
+                name: '',
+                type: 'uint64',
+            },
+        ],
+        stateMutability: 'view',
+    },
+    {
+        type: 'function',
+        name: 'commitment',
+        inputs: [
+            {
+                name: 'commitmentId',
+                type: 'bytes32',
+            },
+            {
+                name: 'side',
+                type: 'uint8',
+            },
+        ],
+        outputs: [
+            {
+                name: '',
+                type: 'tuple',
+                components: [
+                    {
+                        name: 'state',
+                        type: 'uint8',
+                    },
+                    {
+                        name: 'hasReport',
+                        type: 'bool',
+                    },
+                    {
+                        name: 'reportFinal',
+                        type: 'bool',
+                    },
+                    {
+                        name: 'confirmed',
+                        type: 'bool',
+                    },
+                    {
+                        name: 'contested',
+                        type: 'bool',
+                    },
+                    {
+                        name: 'hasRuling',
+                        type: 'bool',
+                    },
+                    {
+                        name: 'kinds',
+                        type: 'uint8',
+                    },
+                    {
+                        name: 'reportKind',
+                        type: 'uint8',
+                    },
+                    {
+                        name: 'reportCount',
+                        type: 'uint8',
+                    },
+                    {
+                        name: 'pausedBy',
+                        type: 'uint8',
+                    },
+                    {
+                        name: 'day90ShareBps',
+                        type: 'uint16',
+                    },
+                    {
+                        name: 'businessEvidence',
+                        type: 'uint16',
+                    },
+                    {
+                        name: 'supplierEvidence',
+                        type: 'uint16',
+                    },
+                    {
+                        name: 'freeCancelBy',
+                        type: 'uint64',
+                    },
+                    {
+                        name: 'acceptBy',
+                        type: 'uint64',
+                    },
+                    {
+                        name: 'chargeDeadline',
+                        type: 'uint64',
+                    },
+                    {
+                        name: 'releaseDate',
+                        type: 'uint64',
+                    },
+                    {
+                        name: 'contestWindow',
+                        type: 'uint64',
+                    },
+                    {
+                        name: 'reportDeadline',
+                        type: 'uint64',
+                    },
+                    {
+                        name: 'chargeStart',
+                        type: 'uint64',
+                    },
+                    {
+                        name: 'pausedAt',
+                        type: 'uint64',
+                    },
+                    {
+                        name: 'rulingPostedAt',
+                        type: 'uint64',
+                    },
+                    {
+                        name: 'reportedAt',
+                        type: 'uint64',
+                    },
+                    {
+                        name: 'amount',
+                        type: 'uint128',
+                    },
+                    {
+                        name: 'held',
+                        type: 'uint128',
+                    },
+                    {
+                        name: 'reportAmount',
+                        type: 'uint128',
+                    },
+                    {
+                        name: 'rulingToSupplier',
+                        type: 'uint128',
+                    },
+                    {
+                        name: 'supplier',
+                        type: 'address',
+                    },
+                    {
+                        name: 'supplierSigner',
+                        type: 'address',
+                    },
+                    {
+                        name: 'payout',
+                        type: 'address',
+                    },
+                    {
+                        name: 'arbiter',
+                        type: 'address',
+                    },
+                    {
+                        name: 'rulingByArbiter',
+                        type: 'bool',
+                    },
+                    {
+                        name: 'fundedBy',
+                        type: 'address',
+                    },
+                    {
+                        name: 'termsHash',
+                        type: 'bytes32',
+                    },
+                    {
+                        name: 'mandateHash',
+                        type: 'bytes32',
+                    },
+                    {
+                        name: 'approvalHash',
+                        type: 'bytes32',
+                    },
+                    {
+                        name: 'reportEvidence',
+                        type: 'bytes32',
+                    },
+                    {
+                        name: 'most',
+                        type: 'uint128[4]',
+                    },
+                    {
+                        name: 'earliest',
+                        type: 'uint64[4]',
+                    },
+                    {
+                        name: 'firstReportAt',
+                        type: 'uint64[4]',
+                    },
+                ],
+            },
+        ],
+        stateMutability: 'view',
+    },
+];
+/**
+ * The lock factory's functions, as the testnet factory declares them, defined once for every
+ * package. The Tempo reader calls `isLock` to learn whether the factory created a lock. Anyone can
+ * call `createLock` to create an account's lock, at the address `lockAddress` gives before it
+ * exists, and an account has one lock.
+ */
+export const FACTORY_ABI = [
+    {
+        type: 'function',
+        name: 'isLock',
+        inputs: [
+            {
+                name: 'lock',
+                type: 'address',
+            },
+        ],
+        outputs: [
+            {
+                name: '',
+                type: 'bool',
+            },
+        ],
+        stateMutability: 'view',
+    },
+    {
+        type: 'function',
+        name: 'createLock',
+        inputs: [
+            {
+                name: 'account',
+                type: 'address',
+            },
+        ],
+        outputs: [
+            {
+                name: 'lock',
+                type: 'address',
+            },
+        ],
+        stateMutability: 'nonpayable',
+    },
+    {
+        type: 'function',
+        name: 'lockAddress',
+        inputs: [
+            {
+                name: 'account',
+                type: 'address',
+            },
+        ],
+        outputs: [
+            {
+                name: '',
+                type: 'address',
+            },
+        ],
+        stateMutability: 'view',
+    },
+];
+/**
+ * The event the factory logs for each lock it creates, as the testnet factory declares it. Its
+ * logs from the block the factory was created in name every lock the factory made.
+ */
+export const FACTORY_EVENTS_ABI = [
+    {
+        type: 'event',
+        name: 'LockCreated',
+        inputs: [
+            { name: 'account', type: 'address', indexed: true },
+            { name: 'lock', type: 'address', indexed: false },
+        ],
+        anonymous: false,
+    },
+];
+/**
+ * The lock's events that open and end one side of a commitment, as the testnet lock declares
+ * them. `Reserved` opens a side, and `Released`, `Charged` and `Resolved` each end one. Every other
+ * step a side takes, such as an acceptance or a report, comes between the two. Each indexes only
+ * the commitment id, so a reader can follow one commitment by its topic.
+ */
+export const LOCK_EVENTS_ABI = [
+    {
+        type: 'event',
+        name: 'Reserved',
+        inputs: [
+            { name: 'commitmentId', type: 'bytes32', indexed: true },
+            { name: 'side', type: 'uint8', indexed: false },
+            { name: 'termsHash', type: 'bytes32', indexed: false },
+            { name: 'mandateHash', type: 'bytes32', indexed: false },
+            { name: 'amount', type: 'uint256', indexed: false },
+            { name: 'supplier', type: 'address', indexed: false },
+            { name: 'payout', type: 'address', indexed: false },
+            { name: 'fundedBy', type: 'address', indexed: false },
+            { name: 'approvalNonce', type: 'uint256', indexed: false },
+            { name: 'approvalHash', type: 'bytes32', indexed: false },
+        ],
+        anonymous: false,
+    },
+    {
+        type: 'event',
+        name: 'Released',
+        inputs: [
+            { name: 'commitmentId', type: 'bytes32', indexed: true },
+            { name: 'side', type: 'uint8', indexed: false },
+            { name: 'termsHash', type: 'bytes32', indexed: false },
+            { name: 'cause', type: 'uint8', indexed: false },
+            { name: 'reason', type: 'uint8', indexed: false },
+            { name: 'evidenceHash', type: 'bytes32', indexed: false },
+            { name: 'returned', type: 'uint256', indexed: false },
+        ],
+        anonymous: false,
+    },
+    {
+        type: 'event',
+        name: 'Charged',
+        inputs: [
+            { name: 'commitmentId', type: 'bytes32', indexed: true },
+            { name: 'side', type: 'uint8', indexed: false },
+            { name: 'termsHash', type: 'bytes32', indexed: false },
+            { name: 'amount', type: 'uint256', indexed: false },
+            { name: 'evidenceHash', type: 'bytes32', indexed: false },
+        ],
+        anonymous: false,
+    },
+    {
+        type: 'event',
+        name: 'Resolved',
+        inputs: [
+            { name: 'commitmentId', type: 'bytes32', indexed: true },
+            { name: 'side', type: 'uint8', indexed: false },
+            { name: 'termsHash', type: 'bytes32', indexed: false },
+            { name: 'byRuling', type: 'bool', indexed: false },
+            { name: 'toSupplier', type: 'uint256', indexed: false },
+            { name: 'toBusiness', type: 'uint256', indexed: false },
+            { name: 'evidenceHash', type: 'bytes32', indexed: false },
+        ],
+        anonymous: false,
+    },
+];
+/**
+ * The lock's event for a charge it pauses until someone rules, as the testnet lock declares it. A
+ * contest logs it with the business's reason code and its statement hash as `evidenceHash`. A report
+ * Avow didn't answer in time and Avow's own pause log it too, each with its own cause.
+ */
+export const LOCK_PAUSED_EVENT_ABI = [
+    {
+        type: 'event',
+        name: 'Paused',
+        inputs: [
+            { name: 'commitmentId', type: 'bytes32', indexed: true },
+            { name: 'side', type: 'uint8', indexed: false },
+            { name: 'termsHash', type: 'bytes32', indexed: false },
+            { name: 'cause', type: 'uint8', indexed: false },
+            { name: 'pausedAt', type: 'uint64', indexed: false },
+            { name: 'reasonCode', type: 'uint16', indexed: false },
+            { name: 'evidenceHash', type: 'bytes32', indexed: false },
+            { name: 'returned', type: 'uint256', indexed: false },
+        ],
+        anonymous: false,
+    },
+];
+/**
+ * What paused a charge, by the code the lock stores as a commitment's `pausedBy` and logs as the
+ * `Paused` event's `cause`. A referral logs its own event instead.
+ */
+export const PAUSE_CAUSES = { referral: 1, timeout: 2, contest: 3, avowPause: 4 };
+//# sourceMappingURL=lock-abi.js.map

package/dist/lock-abi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock-abi.js","sourceRoot":"","sources":["../src/lock-abi.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,SAAS;aAChB;SACF;QACD,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,SAAS;aAChB;SACF;QACD,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,SAAS;aAChB;SACF;QACD,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,QAAQ;aACf;SACF;QACD,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,QAAQ;aACf;SACF;QACD,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,QAAQ;aACf;SACF;QACD,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,QAAQ;aACf;SACF;QACD,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,QAAQ;aACf;SACF;QACD,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,OAAO;aACd;SACF;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE,OAAO;qBACd;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,IAAI,EAAE,MAAM;qBACb;oBACD;wBACE,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE,MAAM;qBACb;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,IAAI,EAAE,MAAM;qBACb;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,IAAI,EAAE,MAAM;qBACb;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,IAAI,EAAE,MAAM;qBACb;oBACD;wBACE,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE,OAAO;qBACd;oBACD;wBACE,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,OAAO;qBACd;oBACD;wBACE,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE,OAAO;qBACd;oBACD;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,OAAO;qBACd;oBACD;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,gBAAgB;wBACtB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,gBAAgB;wBACtB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,gBAAgB;wBACtB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,QAAQ;qBACf;oBACD;wBACE,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,gBAAgB;wBACtB,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,SAAS;wBACf,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,iBAAiB;wBACvB,IAAI,EAAE,MAAM;qBACb;oBACD;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,gBAAgB;wBACtB,IAAI,EAAE,SAAS;qBAChB;oBACD;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,YAAY;qBACnB;oBACD;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,WAAW;qBAClB;oBACD;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,WAAW;qBAClB;iBACF;aACF;SACF;QACD,eAAe,EAAE,MAAM;KACxB;CACO,CAAA;AAEV;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,SAAS;aAChB;SACF;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,MAAM;aACb;SACF;QACD,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,SAAS;aAChB;SACF;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,SAAS;aAChB;SACF;QACD,eAAe,EAAE,YAAY;KAC9B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,SAAS;aAChB;SACF;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,SAAS;aAChB;SACF;QACD,eAAe,EAAE,MAAM;KACxB;CACO,CAAA;AAEV;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC;QACE,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE;YACnD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;SAClD;QACD,SAAS,EAAE,KAAK;KACjB;CACO,CAAA;AAEV;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B;QACE,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE;YACxD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAC/C,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACtD,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACxD,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACnD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACrD,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACnD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACrD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAC1D,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;SAC1D;QACD,SAAS,EAAE,KAAK;KACjB;IACD;QACE,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE;YACxD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAC/C,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACtD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAChD,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YACjD,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACzD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;SACtD;QACD,SAAS,EAAE,KAAK;KACjB;IACD;QACE,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,SAAS;QACf,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE;YACxD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAC/C,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACnD,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;SAC1D;QACD,SAAS,EAAE,KAAK;KACjB;IACD;QACE,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE;YACxD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAC/C,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACtD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAClD,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACvD,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACvD,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;SAC1D;QACD,SAAS,EAAE,KAAK;KACjB;CACO,CAAA;AAEV;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC;QACE,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE;YACxD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAC/C,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACtD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAChD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE;YACpD,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE;YACtD,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YACzD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;SACtD;QACD,SAAS,EAAE,KAAK;KACjB;CACO,CAAA;AAEV;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAW,CAAA"}

package/dist/nonce.d.ts

@@ -0,0 +1,3 @@
+/** A fresh nonce for a message the supplier signs, from 32 random bytes. */
+export declare const randomNonce: () => bigint;
+//# sourceMappingURL=nonce.d.ts.map

package/dist/nonce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nonce.d.ts","sourceRoot":"","sources":["../src/nonce.ts"],"names":[],"mappings":"AAEA,4EAA4E;AAC5E,eAAO,MAAM,WAAW,cAAuE,CAAA"}

package/dist/nonce.js

@@ -0,0 +1,4 @@
+import { hexToBigInt, toHex } from 'viem';
+/** A fresh nonce for a message the supplier signs, from 32 random bytes. */
+export const randomNonce = () => hexToBigInt(toHex(crypto.getRandomValues(new Uint8Array(32))));
+//# sourceMappingURL=nonce.js.map

package/dist/nonce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nonce.js","sourceRoot":"","sources":["../src/nonce.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,MAAM,CAAA;AAEzC,4EAA4E;AAC5E,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/dist/references.d.ts

@@ -0,0 +1,38 @@
+import { type AnyTerms, type CommitmentReference, type PaymentReference, type PaymentToken, type RailToken, type ReasonCode } from '@avow-finance/spec';
+import { type Hex } from 'viem';
+import type { ChainReader } from './chain.js';
+export type ReferenceCheck = {
+    ok: true;
+} | {
+    ok: false;
+    reason: ReasonCode;
+};
+/**
+ * Checks a payment reference against the chain the reader reads. The reference names its own
+ * token, so the caller says which tokens it accepts, and a reference to any other token is refused
+ * before the chain is read. It passes only when the transaction succeeded and is finalized, and the
+ * log at the reference's index is that token's own TIP-20 `TransferWithMemo` event, with exactly
+ * the reference's sender, recipient, amount and memo. A payment is evidence that money moved and
+ * never backs a commitment.
+ */
+export declare function verifyPaymentReference(ref: PaymentReference, chain: ChainReader, accepted: readonly PaymentToken[]): Promise<ReferenceCheck>;
+/**
+ * Checks that a commitment reference names a lock Avow's factory created, and that the lock holds
+ * that commitment and side under the reference's terms hash.
+ */
+export declare function verifyCommitmentReference(ref: CommitmentReference, chain: ChainReader): Promise<ReferenceCheck>;
+/**
+ * Checks a commitment on the chain against its terms, for any terms version this code reads. The
+ * terms and salt have to give the terms hash the lock holds, the reference has to name the side
+ * the terms' backing secures, the lock's token has to be one the caller accepts for the terms'
+ * currency, and every field the lock enforces has to be what those terms map to in that token's
+ * units, the same mapping Avow's API signs with. It lets anyone holding the terms check a
+ * commitment made under version 1 or 2 without asking Avow.
+ */
+export declare function verifyCommitmentTerms(input: {
+    reference: CommitmentReference;
+    terms: AnyTerms;
+    salt: Hex;
+    acceptedTokens: readonly RailToken[];
+}, chain: ChainReader): Promise<ReferenceCheck>;
+//# sourceMappingURL=references.d.ts.map

package/dist/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EAEb,KAAK,mBAAmB,EAOxB,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACjB,KAAK,SAAS,EACd,KAAK,UAAU,EAGhB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,KAAK,GAAG,EAAkB,MAAM,MAAM,CAAA;AAC/C,OAAO,KAAK,EAAE,WAAW,EAA2B,MAAM,YAAY,CAAA;AAEtE,MAAM,MAAM,cAAc,GAAG;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,UAAU,CAAA;CAAE,CAAA;AAK7E;;;;;;;GAOG;AACH,wBAAsB,sBAAsB,CAC1C,GAAG,EAAE,gBAAgB,EACrB,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,SAAS,YAAY,EAAE,GAChC,OAAO,CAAC,cAAc,CAAC,CAMzB;AAeD;;;GAGG;AACH,wBAAsB,yBAAyB,CAC7C,GAAG,EAAE,mBAAmB,EACxB,KAAK,EAAE,WAAW,GACjB,OAAO,CAAC,cAAc,CAAC,CAGzB;AAED;;;;;;;GAOG;AACH,wBAAsB,qBAAqB,CACzC,KAAK,EAAE;IACL,SAAS,EAAE,mBAAmB,CAAA;IAC9B,KAAK,EAAE,QAAQ,CAAA;IACf,IAAI,EAAE,GAAG,CAAA;IACT,cAAc,EAAE,SAAS,SAAS,EAAE,CAAA;CACrC,EACD,KAAK,EAAE,WAAW,GACjB,OAAO,CAAC,cAAc,CAAC,CAoCzB"}

package/dist/references.js

@@ -0,0 +1,93 @@
+import { acceptsPaymentToken, checkPaymentReference, enforceableTerms, isTermsV1, lockRecordDifferences, lockTerms, termsHash, termsShapeProblem, } from '@avow-finance/spec';
+import { isAddressEqual } from 'viem';
+const refuse = (reason) => ({ ok: false, reason });
+const same = (a, b) => a.toLowerCase() === b.toLowerCase();
+/**
+ * Checks a payment reference against the chain the reader reads. The reference names its own
+ * token, so the caller says which tokens it accepts, and a reference to any other token is refused
+ * before the chain is read. It passes only when the transaction succeeded and is finalized, and the
+ * log at the reference's index is that token's own TIP-20 `TransferWithMemo` event, with exactly
+ * the reference's sender, recipient, amount and memo. A payment is evidence that money moved and
+ * never backs a commitment.
+ */
+export async function verifyPaymentReference(ref, chain, accepted) {
+    if (!acceptsPaymentToken(ref, accepted))
+        return refuse('payment.token_not_accepted');
+    if (ref.chainId !== chain.chainId)
+        return refuse('payment.not_found');
+    const seen = await chain.transfer(ref.transactionHash, ref.logIndex);
+    const problem = checkPaymentReference(ref, seen, accepted);
+    return problem ? refuse(problem) : { ok: true };
+}
+/** The lock and the commitment a reference names, or why the chain shows neither. */
+async function findCommitment(ref, chain) {
+    const missing = (reason) => ({ ok: false, reason });
+    if (ref.chainId !== chain.chainId)
+        return missing('message.wrong_chain');
+    const info = await chain.lock(ref.lock);
+    if (!info?.fromFactory)
+        return missing('chain.lock_unknown');
+    const held = await chain.backing(ref.lock, ref.commitmentId, ref.side);
+    if (!held || !same(held.termsHash, ref.termsHash))
+        return missing('reference.commitment_mismatch');
+    return { ok: true, info, held };
+}
+/**
+ * Checks that a commitment reference names a lock Avow's factory created, and that the lock holds
+ * that commitment and side under the reference's terms hash.
+ */
+export async function verifyCommitmentReference(ref, chain) {
+    const found = await findCommitment(ref, chain);
+    return found.ok ? { ok: true } : found;
+}
+/**
+ * Checks a commitment on the chain against its terms, for any terms version this code reads. The
+ * terms and salt have to give the terms hash the lock holds, the reference has to name the side
+ * the terms' backing secures, the lock's token has to be one the caller accepts for the terms'
+ * currency, and every field the lock enforces has to be what those terms map to in that token's
+ * units, the same mapping Avow's API signs with. It lets anyone holding the terms check a
+ * commitment made under version 1 or 2 without asking Avow.
+ */
+export async function verifyCommitmentTerms(input, chain) {
+    const ref = input.reference;
+    const t = input.terms;
+    const found = await findCommitment(ref, chain);
+    if (!found.ok)
+        return found;
+    const { info, held } = found;
+    const shape = termsShapeProblem(t);
+    if (shape)
+        return refuse(shape);
+    // Version 1 terms written before the dispute block existed can't be checked against a lock.
+    if (isTermsV1(t) && !t.dispute)
+        return refuse('terms.incomplete');
+    let hash;
+    try {
+        hash = termsHash(t, input.salt);
+    }
+    catch {
+        // A salt the hash refuses, such as a short one or all zeros, can't give the hash the lock holds.
+        return refuse('terms.hash_mismatch');
+    }
+    if (!same(hash, ref.termsHash))
+        return refuse('terms.hash_mismatch');
+    const enforced = enforceableTerms(t);
+    if (ref.side !== enforced.side)
+        return refuse('reference.commitment_mismatch');
+    const token = input.acceptedTokens.find((a) => a.chainId === ref.chainId &&
+        isAddressEqual(a.token, info.token) &&
+        isAddressEqual(a.token, held.token) &&
+        a.currency === enforced.currency);
+    if (!token)
+        return refuse('authorization.token_not_accepted');
+    let expected;
+    try {
+        expected = lockTerms(t, token.decimals);
+    }
+    catch {
+        return refuse('authorization.token_not_accepted');
+    }
+    const differs = lockRecordDifferences(held, expected);
+    return differs.length === 0 ? { ok: true } : refuse('chain.reserve_mismatch');
+}
+//# sourceMappingURL=references.js.map

package/dist/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,mBAAmB,EAEnB,qBAAqB,EACrB,gBAAgB,EAChB,SAAS,EAET,qBAAqB,EACrB,SAAS,EAKT,SAAS,EACT,iBAAiB,GAClB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAY,cAAc,EAAE,MAAM,MAAM,CAAA;AAK/C,MAAM,MAAM,GAAG,CAAC,MAAkB,EAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAC9E,MAAM,IAAI,GAAG,CAAC,CAAM,EAAE,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,WAAW,EAAE,CAAA;AAEpE;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,GAAqB,EACrB,KAAkB,EAClB,QAAiC;IAEjC,IAAI,CAAC,mBAAmB,CAAC,GAAG,EAAE,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC,4BAA4B,CAAC,CAAA;IACpF,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC,mBAAmB,CAAC,CAAA;IACrE,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IACpE,MAAM,OAAO,GAAG,qBAAqB,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC1D,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;AACjD,CAAC;AAID,qFAAqF;AACrF,KAAK,UAAU,cAAc,CAAC,GAAwB,EAAE,KAAkB;IACxE,MAAM,OAAO,GAAG,CAAC,MAAkB,EAAS,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;IACtE,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC,qBAAqB,CAAC,CAAA;IACxE,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACvC,IAAI,CAAC,IAAI,EAAE,WAAW;QAAE,OAAO,OAAO,CAAC,oBAAoB,CAAC,CAAA;IAC5D,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;IACtE,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,OAAO,CAAC,+BAA+B,CAAC,CAAA;IAClG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;AACjC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,GAAwB,EACxB,KAAkB;IAElB,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAC9C,OAAO,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAA;AACxC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAKC,EACD,KAAkB;IAElB,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAA;IAC3B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAA;IACrB,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAC9C,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAA;IAC3B,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,KAAK,CAAA;IAC5B,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,KAAK;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IAC/B,4FAA4F;IAC5F,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAE,CAA2B,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC,kBAAkB,CAAC,CAAA;IAC5F,IAAI,IAAS,CAAA;IACb,IAAI,CAAC;QACH,IAAI,GAAG,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,iGAAiG;QACjG,OAAO,MAAM,CAAC,qBAAqB,CAAC,CAAA;IACtC,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,MAAM,CAAC,qBAAqB,CAAC,CAAA;IACpE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAA;IACpC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC,+BAA+B,CAAC,CAAA;IAC9E,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO;QACzB,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC;QACnC,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC;QACnC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,CACnC,CAAA;IACD,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC,kCAAkC,CAAC,CAAA;IAC7D,IAAI,QAAmB,CAAA;IACvB,IAAI,CAAC;QACH,QAAQ,GAAG,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;IACzC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,kCAAkC,CAAC,CAAA;IACnD,CAAC;IACD,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACrD,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAA;AAC/E,CAAC"}