From 76ac3e4ab99fcfee8d35fd9bc279c4a0b8e04658 Mon Sep 17 00:00:00 2001
From: Samuel Siegart <samsiegart@gmail.com>
Date: Mon, 2 Dec 2024 15:20:06 -0800
Subject: [PATCH] test(fast-usdc): bootstrap test for advancement

---
 .../boot/test/fast-usdc/fast-usdc.test.ts     |  92 +++++++++++++++---
 .../fast-usdc/snapshots/fast-usdc.test.ts.md  |  16 ++-
 .../snapshots/fast-usdc.test.ts.snap          | Bin 1242 -> 1286 bytes
 packages/fast-usdc/src/type-guards.js         |   2 +-
 4 files changed, 94 insertions(+), 16 deletions(-)

diff --git a/packages/boot/test/fast-usdc/fast-usdc.test.ts b/packages/boot/test/fast-usdc/fast-usdc.test.ts
index e13f95849e7..822397141fa 100644
--- a/packages/boot/test/fast-usdc/fast-usdc.test.ts
+++ b/packages/boot/test/fast-usdc/fast-usdc.test.ts
@@ -13,6 +13,7 @@ import {
   makeWalletFactoryContext,
   type WalletFactoryTestContext,
 } from '../bootstrapTests/walletFactory.js';
+import { eventLoopIteration } from '@agoric/internal/src/testing-utils.js';
 
 const test: TestFn<WalletFactoryTestContext> = anyTest;
 
@@ -134,21 +135,84 @@ test.serial('writes status updates to vstorage', async t => {
   const wallet = await wd.provideSmartWallet(
     'agoric144rrhh4m09mh7aaffhm6xy223ym76gve2x7y78',
   );
-  const submitMockEvidence = (mockEvidence: CctpTxEvidence) =>
-    wallet.sendOffer({
-      id: 'submit-mock-evidence',
-      invitationSpec: {
-        source: 'agoricContract',
-        instancePath: ['fastUsdc'],
-        callPipe: [['makeTestPushInvitation', [mockEvidence]]],
-      },
-      proposal: {},
-    });
-  const mockEvidence1 = MockCctpTxEvidences.AGORIC_PLUS_OSMO();
-  const mockEvidence2 = MockCctpTxEvidences.AGORIC_PLUS_DYDX();
+  await wallet.sendOffer({
+    id: `submit-mock-evidence-dydx`,
+    invitationSpec: {
+      source: 'agoricContract',
+      instancePath: ['fastUsdc'],
+      callPipe: [
+        ['makeTestPushInvitation', [MockCctpTxEvidences.AGORIC_PLUS_DYDX()]],
+      ],
+    },
+    proposal: {},
+  });
 
-  await submitMockEvidence(mockEvidence1);
-  await submitMockEvidence(mockEvidence2);
+  const doc = {
+    node: `fastUsdc.status`,
+    owner: `the statuses of fast USDC transfers identified by their tx hashes`,
+  };
+  await documentStorageSchema(t, storage, doc);
+});
+
+test.serial('makes usdc advance', async t => {
+  const { walletFactoryDriver: wd, storage, agoricNamesRemotes } = t.context;
+  const oracles = await Promise.all([
+    wd.provideSmartWallet('agoric144rrhh4m09mh7aaffhm6xy223ym76gve2x7y78'),
+    wd.provideSmartWallet('agoric19d6gnr9fyp6hev4tlrg87zjrzsd5gzr5qlfq2p'),
+    wd.provideSmartWallet('agoric19uscwxdac6cf6z7d5e26e0jm0lgwstc47cpll8'),
+    wd.provideSmartWallet('agoric1krunjcqfrf7la48zrvdfeeqtls5r00ep68mzkr'),
+    wd.provideSmartWallet('agoric1n4fcxsnkxe4gj6e24naec99hzmc4pjfdccy5nj'),
+  ]);
+  await Promise.all(
+    oracles.map(wallet =>
+      wallet.sendOffer({
+        id: 'claim-oracle-invitation',
+        invitationSpec: {
+          source: 'purse',
+          instance: agoricNamesRemotes.instance.fastUsdc,
+          description: 'oracle operator invitation',
+        },
+        proposal: {},
+      }),
+    ),
+  );
+  await eventLoopIteration();
+
+  const usdc = agoricNamesRemotes.vbankAsset.USDC.brand;
+  await oracles[0].sendOffer({
+    id: 'deposit-lp-0',
+    invitationSpec: {
+      source: 'agoricContract',
+      instancePath: ['fastUsdc'],
+      callPipe: [['makeDepositInvitation', []]],
+    },
+    proposal: {
+      give: {
+        // @ts-expect-error it doesnt recognize usdc as a Brand type
+        USDC: { brand: usdc, value: 150_000_000n },
+      },
+    },
+  });
+  await eventLoopIteration();
+
+  const evidence = MockCctpTxEvidences.AGORIC_PLUS_OSMO();
+  // TODO - start counting computrons
+  await Promise.all(
+    oracles.map(wallet =>
+      wallet.sendOffer({
+        id: 'submit-mock-evidence-osmo',
+        invitationSpec: {
+          source: 'continuing',
+          previousOffer: 'claim-oracle-invitation',
+          invitationMakerName: 'SubmitEvidence',
+          invitationArgs: [evidence],
+        },
+        proposal: {},
+      }),
+    ),
+  );
+  await eventLoopIteration();
+  // TODO - stop counting computrons
 
   const doc = {
     node: `fastUsdc.status`,
diff --git a/packages/boot/test/fast-usdc/snapshots/fast-usdc.test.ts.md b/packages/boot/test/fast-usdc/snapshots/fast-usdc.test.ts.md
index f953f9ea514..4443dde49e2 100644
--- a/packages/boot/test/fast-usdc/snapshots/fast-usdc.test.ts.md
+++ b/packages/boot/test/fast-usdc/snapshots/fast-usdc.test.ts.md
@@ -81,9 +81,23 @@ Generated by [AVA](https://avajs.dev).
 
     [
       [
-        'published.fastUsdc.status.0xc81bc6105b60a234c7c50ac17816ebcd5561d366df8bf3be59ff387552761702',
+        'published.fastUsdc.status.0xd81bc6105b60a234c7c50ac17816ebcd5561d366df8bf3be59ff387552761799',
         'OBSERVED',
       ],
+    ]
+
+## makes usdc advance
+
+> Under "published", the "fastUsdc.status" node is delegated to the statuses of fast USDC transfers identified by their tx hashes.
+> The example below illustrates the schema of the data published there.
+> 
+> See also board marshalling conventions (_to appear_).
+
+    [
+      [
+        'published.fastUsdc.status.0xc81bc6105b60a234c7c50ac17816ebcd5561d366df8bf3be59ff387552761702',
+        'ADVANCING',
+      ],
       [
         'published.fastUsdc.status.0xd81bc6105b60a234c7c50ac17816ebcd5561d366df8bf3be59ff387552761799',
         'OBSERVED',
diff --git a/packages/boot/test/fast-usdc/snapshots/fast-usdc.test.ts.snap b/packages/boot/test/fast-usdc/snapshots/fast-usdc.test.ts.snap
index 9489b8bc7ff297097930bdd8547b32b0ecc731b5..701eb14de7a6f49b502e00011487a8e9b78f0451 100644
GIT binary patch
literal 1286
zcmV+h1^N0xRzV<BZeeh9Xm4~Nb~6eC0D!?V)Iy*7JBMOhk<H%vGp}Cm`uSrTI32z^
z)hJLG>>rB=00000000B+R!ff?MG&r<8Sgr~8+N1Q0wSo{1LBcgX1p1%7dT+N3yLBV
zvPl+@kfNUH8hf(i8LPYPILaxAU%&~3K;&`dfH=T~Kfp^uAYOtCM@|R{fslgGj305v
zn++y8<bV$&Pj`J)Usr!sHJ1V}O8jm0+GWzAj;Q;<IT>nFEFcoBl|-R`p6P^jlujhC
zQ>bFzQjJ8bi<gDqn!jv(Zo)LAKP;kg2mnd|upg)PVWBD|KaV*0H$OiQI0J})vxrX(
zKqdjeHUPYt0~&dt0XPTy(SQSJ0v7h+!B*RgLe(I#9B`#iE8#Dv%wNceXJM|UK`@PD
zeFXsD1HhjE@HqBkO&#~nlCRMm{#{sD0Ne{{h<gxEAq>Oq^&32lGv^^G!1<KSVDmtn
zco9|Wi46T(gU2yNN5o)r#_z2xm7E-GZw6aWnmmmA_7+-MGA|&&#XL`Ij3;J1-x}dr
ztV%D`vfWJG6uv-!uMxmD08SVH9V6$mFy_+Ak-XRUb?a2JP4V-j6vcItRUsrPHL!Tp
z?mBBLE4Fa#^|hK`S#_O~Qz0I>&PJtDao26PQa)VTuq)M^@98Y5gQJ`8Uxj>z{3H%S
z+2lG*V%5)(v19gYNvtLJ^?xTv5%(zS{(U+YB-!FnUyFyBZV+4CL1v3AP6V+~F+ma4
zxh9d8Oln@Im?V!Fj|Iz)xuja;he7D~YAZ}DEs>e+vs`I*`s8{otG(r!Qw?I&<;_+^
z%%dnd$HFLTD=m3ipD9B54Qg_h1le0!jcmv_U6QmsGjo!N@kk}iOSlxQ$)#%WC<@~`
z^OLwkah6r~@EM&j-f9t-XC7G|bc2J}y8+8?p}u=FuztE@&ESoRo5B4%H-lQnJBxB<
z*b55Z0Kks`@D~6qAi&bC`+=3!+0l_YoAdj6+vJ+E-Ok9a6+~QTtCvPrXPdmc#bwC7
zs0aCM)M2N;({orv^A7~Lh5+~Fi#FE>ifFn9z>@~RX5O?oX4*CYE*Jo>=S}yFnSN*h
zd~5*xkT;zfOOTPB=XYb|u!7>G8OB^EGTUV4_02tTyGgRQHAEjBF(`PF$0Aqgg$|F}
zl)d2`7988Q?GgNm$?(&zZRb3^Xzs%Q)tm4yqWPW)@PP^NiMe}wEu#603Gk~4Fm2^b
zr*AY}0Gt{;i)cP%0UWXbYI)e~SOj4KoV5Th=1u2ra%=Be6XnftMpO3bWMC|fV85IU
zYdSYv*0&Qzb^wbvCS+<K?yp7>)k!?jYrmPBvHYjc{&4vD-wcOd+u3C{T<@uEnT@t=
z5)7xn-7x?j><<8?xo#`gZi!y-U53C*zumDJ@ZH2S;FTR_K#%*f-4zwb^UIFydS#oJ
zRu22CzH4*eS*<u_@_gaCWk;-(%Oa?F!HP%jS`e&MR$aHWT6R{~*80H^hu>MppE<d)
zxwWz07sj<)3Zutm7gh8ONTrt=48I7p<gp4!Di(_L!h(<l^UkM;P%_<R4Xzrb?h4Jw
zCf_E-+DiD0iw=+d9X=HBqY;sqHUN|X;OScl#mIzmv<I9;)Wd;pz6}6Z`osL@nkl0B
w7y>v5@J`OqyghOGw<RvSG$yV+)%C6FvD%Si&;2j;yG`o<0I$0{Q8y0&0Dtdsj{pDw

literal 1242
zcmV<01SR`HRzV<BZeeh9Xm4~Nb~6eC0KJCW`XM!$-QQw+L#~{fT5Mflgu`#*6Na^s
zOzqmlq#uh200000000BcR?TnRR1lxBy~#F7Nuu-uqUezWf~pPnrrvCT10e|#s!(a0
z79k;3&wk@wH(q=7-rIDeo(lf~ClIPcKdu}Qho1Nc_>vF^1fmy?oVXwmQW5gok8ZsA
zAO#8bV68p#oB6%*%x`=%3X&|`RBzuR9qWWTPh6F;CdDEm!CF}ohuchNY)k1(@;b#T
z<t^37w7Pyv2(I}X))zL6L;k}uS|<UZ0swP3HjAYdDfu>H|KIfVG~fgv0!|{n&<EKB
z0Gj~tUIAzoffnEt%%KIx&;~5c;_+5HNMh9>u@G^kFDel(<jh|)#7&wzc@oU?I9~(6
z_W<xa06dGmTw`a0D->$92Y+W~W&n>up5hV24TM3uqhW)`sR<sF0-Vmt^o_^TEJ$dj
zp2;{|ZSXXu<Q363PK4bjrz&0ncGSSuvL=typ1*^RDdsf<xL)MxjPOLm^Zg;7<rNvk
zTDF^cn9`RB@C^dE7Qi_RV9P3mERBS83M3y5L*3fQHYt6Tl%ljwazzM9O7%TXxE*hK
zanTi?ySBU<)|Py);?;;pzPDbh)%-QruT@W1*4^4lA@;Z_YX9i=M|YrDp)gCMST?zi
zvsCpeWbIo0)hyMLhx*~kQNjaCI)7eF1xYqP=&$*cOgD(l@6u-TEX@S5STR8f)ww2-
zk4)}fr<5d57*7Q=$2_H46vj~;c4sTjCoPl4_hqg$yLe%3)y&?)#72V{b$GLt5DO^D
zuCh2u+Dc2F&u5NMVS}2SWs$kdr;!c#=8q&TOiWxLVmwh93o<SRYjUX?JW1lT&cZC+
zqSRECJ$+ecjJI0E<>hA<`f70eff_LL7V7(pfphO)6N7gTEe4P8E(WWHx5;vQparFG
z0pLdf_yYiD5a86odf=EjJ2NzAQ(>>)&T~!1x;12VqJ(Sn^ybjh$tLey;xgtz(uI6J
z9B`{==>{yL{Tl+@M}WtQLtD^+GTOcc@Vo_ZzUW#Wacx@w*DQc{impdST<=-{pI87t
z6kR7q3S^n{{AvvyR#2KX<CN=68Y8nG7>}gwCdsa8fIc(iPzoeZMPblOTRdr#xx*<e
zd9LfaL-=!t!;kx}TZr(wy$}Dl_TXPe`$HSxV;kU8dw+Q?qy4iD@QV#F?i5_dce>61
zj`go)w4ZVSPC5XqMcCv>2H^l)aR9CtU8nYVYacj=s+;8vm+Z5{fw3}#{pxU7+uQN7
zzB^=Q53szmAY-#Qw~{1OC-GcYeodH>`sdf)a`@@*EQhY_?6VslXlh%U)n+!qU<>>|
z7QmCe1)wz7ZN=Ix(M`VJ62QAdOTcykpb7vl9<&H7BhhENz)3_s5NrDe0Nm~g_1-(7
zjP{BAGY0`~6ddgXm&cpCERXJ?7u-%*^MbJIxqeV}d1di*xD@&>551+DSEV2nzF+mk
zVznxwS`aM;<S$3jVr|LyD@#>x$*uH~Ar3y!&c1YE{rsi%wTB=h{t=nw<-N)D+WY>2
z?cL?FPj7b}Nad{=4Zdr%<f)2CDi({p?V^|j3$}AaESc`G23HMI|83|01?COaM-mMH
E0JfA@F#rGn

diff --git a/packages/fast-usdc/src/type-guards.js b/packages/fast-usdc/src/type-guards.js
index 425551bea65..5561f7b9332 100644
--- a/packages/fast-usdc/src/type-guards.js
+++ b/packages/fast-usdc/src/type-guards.js
@@ -21,7 +21,7 @@ export const makeProposalShapes = ({ PoolShares, USDC }) => {
   /** @type {TypedPattern<USDCProposalShapes['deposit']>} */
   const deposit = M.splitRecord(
     { give: { USDC: makeNatAmountShape(USDC, 1n) } },
-    { want: { PoolShare: makeNatAmountShape(PoolShares) } },
+    { want: M.splitRecord({}, { PoolShare: makeNatAmountShape(PoolShares) }) },
   );
   /** @type {TypedPattern<USDCProposalShapes['withdraw']>} */
   const withdraw = M.splitRecord({