feat: CctpTxEvidenceShape, PendingTxShape typeGuards

packages/fast-usdc/src/typeGuards.js

@@ -0,0 +1,39 @@
+import { M } from '@endo/patterns';
+import { PendingTxStatus } from './constants.js';
+
+/**
+ * @import {TypedPattern} from '@agoric/internal';
+ * @import {CctpTxEvidence, PendingTx} from './types.js';
+ */
+
+/** @type {TypedPattern<string>} */
+export const EvmHashShape = M.string({
+  stringLengthLimit: 66,
+});
+harden(EvmHashShape);
+
+/** @type {TypedPattern<CctpTxEvidence>} */
+export const CctpTxEvidenceShape = {
+  aux: {
+    forwardingChannel: M.string(),
+    recipientAddress: M.string(),
+  },
+  blockHash: EvmHashShape,
+  blockNumber: M.bigint(),
+  blockTimestamp: M.bigint(),
+  chainId: M.number(),
+  tx: {
+    amount: M.bigint(),
+    forwardingAddress: M.string(),
+  },
+  txHash: EvmHashShape,
+};
+harden(CctpTxEvidenceShape);
+
+/** @type {TypedPattern<PendingTx>} */
+// @ts-expect-error TypedPattern can't handle spreading?
+export const PendingTxShape = {
+  ...CctpTxEvidenceShape,
+  status: M.or(...Object.values(PendingTxStatus)),
+};
+harden(PendingTxShape);

packages/fast-usdc/test/typeGuards.test.ts

@@ -0,0 +1,39 @@
+import { test } from '@agoric/zoe/tools/prepare-test-env-ava.js';
+
+import { mustMatch } from '@endo/patterns';
+import { TxStatus, PendingTxStatus } from '../src/constants.js';
+import { CctpTxEvidenceShape, PendingTxShape } from '../src/typeGuards.js';
+import type { CctpTxEvidence } from '../src/types.js';
+
+import { MockCctpTxEvidences } from './fixtures.js';
+
+test('CctpTxEvidenceShape', t => {
+  const specimen: CctpTxEvidence = harden(
+    MockCctpTxEvidences.AGORIC_PLUS_OSMO(),
+  );
+
+  t.notThrows(() => mustMatch(specimen, CctpTxEvidenceShape));
+});
+
+test('PendingTxShape', t => {
+  const specimen: CctpTxEvidence & { status: TxStatus } = harden({
+    ...MockCctpTxEvidences.AGORIC_PLUS_OSMO(),
+    status: PendingTxStatus.Observed,
+  });
+
+  t.notThrows(() => mustMatch(specimen, PendingTxShape));
+
+  t.notThrows(() =>
+    mustMatch(
+      harden({ ...specimen, status: PendingTxStatus.Advanced }),
+      PendingTxShape,
+    ),
+  );
+
+  t.throws(() =>
+    mustMatch(
+      harden({ ...specimen, status: TxStatus.Settled }),
+      PendingTxShape,
+    ),
+  );
+});