@agoric/fast-usdc 0.1.1-dev-7e54272.0 → 0.1.1-dev-3ba7ca7.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/fast-usdc",
-  "version": "0.1.1-dev-7e54272.0+7e54272",
+  "version": "0.1.1-dev-3ba7ca7.0+3ba7ca7",
   "description": "CLI and library for Fast USDC product",
   "type": "module",
   "files": [
@@ -21,9 +21,9 @@
     "lint:eslint": "eslint ."
   },
   "devDependencies": {
-    "@agoric/swingset-liveslots": "0.10.3-dev-7e54272.0+7e54272",
-    "@agoric/vats": "0.15.2-dev-7e54272.0+7e54272",
-    "@agoric/zone": "0.2.3-dev-7e54272.0+7e54272",
+    "@agoric/swingset-liveslots": "0.10.3-dev-3ba7ca7.0+3ba7ca7",
+    "@agoric/vats": "0.15.2-dev-3ba7ca7.0+3ba7ca7",
+    "@agoric/zone": "0.2.3-dev-3ba7ca7.0+3ba7ca7",
     "@fast-check/ava": "^2.0.1",
     "ava": "^5.3.0",
     "c8": "^9.1.0",
@@ -31,15 +31,15 @@
     "ts-blank-space": "^0.4.1"
   },
   "dependencies": {
-    "@agoric/client-utils": "0.1.1-dev-7e54272.0+7e54272",
-    "@agoric/ertp": "0.16.3-dev-7e54272.0+7e54272",
-    "@agoric/internal": "0.3.3-dev-7e54272.0+7e54272",
-    "@agoric/notifier": "0.6.3-dev-7e54272.0+7e54272",
-    "@agoric/orchestration": "0.1.1-dev-7e54272.0+7e54272",
-    "@agoric/store": "0.9.3-dev-7e54272.0+7e54272",
-    "@agoric/vat-data": "0.5.3-dev-7e54272.0+7e54272",
-    "@agoric/vow": "0.1.1-dev-7e54272.0+7e54272",
-    "@agoric/zoe": "0.26.3-dev-7e54272.0+7e54272",
+    "@agoric/client-utils": "0.1.1-dev-3ba7ca7.0+3ba7ca7",
+    "@agoric/ertp": "0.16.3-dev-3ba7ca7.0+3ba7ca7",
+    "@agoric/internal": "0.3.3-dev-3ba7ca7.0+3ba7ca7",
+    "@agoric/notifier": "0.6.3-dev-3ba7ca7.0+3ba7ca7",
+    "@agoric/orchestration": "0.1.1-dev-3ba7ca7.0+3ba7ca7",
+    "@agoric/store": "0.9.3-dev-3ba7ca7.0+3ba7ca7",
+    "@agoric/vat-data": "0.5.3-dev-3ba7ca7.0+3ba7ca7",
+    "@agoric/vow": "0.1.1-dev-3ba7ca7.0+3ba7ca7",
+    "@agoric/zoe": "0.26.3-dev-3ba7ca7.0+3ba7ca7",
     "@cosmjs/proto-signing": "^0.32.4",
     "@cosmjs/stargate": "^0.32.4",
     "@endo/base64": "^1.0.9",
@@ -77,5 +77,5 @@
   "publishConfig": {
     "access": "public"
   },
-  "gitHead": "7e54272bf8e809a106caf58549e409f33f1fce63"
+  "gitHead": "3ba7ca79fab3d11187ab59eba43f59b3f112b2c0"
 }

package/src/exos/advancer.js

@@ -1,5 +1,5 @@
-import { AmountMath, AmountShape, PaymentShape } from '@agoric/ertp';
-import { assertAllDefined } from '@agoric/internal';
+import { AmountMath, AmountShape } from '@agoric/ertp';
+import { assertAllDefined, makeTracer } from '@agoric/internal';
 import { ChainAddressShape } from '@agoric/orchestration';
 import { pickFacet } from '@agoric/vat-data';
 import { VowShape } from '@agoric/vow';
@@ -15,31 +15,25 @@ const { isGTE } = AmountMath;
 /**
  * @import {HostInterface} from '@agoric/async-flow';
  * @import {NatAmount} from '@agoric/ertp';
- * @import {ChainAddress, ChainHub, Denom, DenomAmount, OrchestrationAccount} from '@agoric/orchestration';
+ * @import {ChainAddress, ChainHub, Denom, OrchestrationAccount} from '@agoric/orchestration';
+ * @import {ZoeTools} from '@agoric/orchestration/src/utils/zoe-tools.js';
  * @import {VowTools} from '@agoric/vow';
  * @import {Zone} from '@agoric/zone';
  * @import {CctpTxEvidence, FeeConfig, LogFn} from '../types.js';
  * @import {StatusManager} from './status-manager.js';
- */
-
-/**
- * Expected interface from LiquidityPool
- *
- * @typedef {{
- *   lookupBalance(): NatAmount;
- *   borrow(amount: Amount<"nat">): Promise<Payment<"nat">>;
- *   repay(payments: PaymentKeywordRecord): Promise<void>
- * }} AssetManagerFacet
+ * @import {LiquidityPoolKit} from './liquidity-pool.js';
  */
 
 /**
  * @typedef {{
  *  chainHub: ChainHub;
  *  feeConfig: FeeConfig;
- *  log: LogFn;
+ *  localTransfer: ZoeTools['localTransfer'];
+ *  log?: LogFn;
  *  statusManager: StatusManager;
  *  usdc: { brand: Brand<'nat'>; denom: Denom; };
  *  vowTools: VowTools;
+ *  zcf: ZCF;
  * }} AdvancerKitPowers
  */
 
@@ -49,13 +43,15 @@ const AdvancerKitI = harden({
     handleTransactionEvent: M.callWhen(CctpTxEvidenceShape).returns(),
   }),
   depositHandler: M.interface('DepositHandlerI', {
-    onFulfilled: M.call(AmountShape, {
+    onFulfilled: M.call(M.undefined(), {
+      amount: AmountShape,
       destination: ChainAddressShape,
-      payment: PaymentShape,
+      tmpSeat: M.remotable(),
     }).returns(VowShape),
     onRejected: M.call(M.error(), {
+      amount: AmountShape,
       destination: ChainAddressShape,
-      payment: PaymentShape,
+      tmpSeat: M.remotable(),
     }).returns(),
   }),
   transferHandler: M.interface('TransferHandlerI', {
@@ -77,7 +73,16 @@ const AdvancerKitI = harden({
  */
 export const prepareAdvancerKit = (
   zone,
-  { chainHub, feeConfig, log, statusManager, usdc, vowTools: { watch, when } },
+  {
+    chainHub,
+    feeConfig,
+    localTransfer,
+    log = makeTracer('Advancer', true),
+    statusManager,
+    usdc,
+    vowTools: { watch, when },
+    zcf,
+  } = /** @type {AdvancerKitPowers} */ ({}),
 ) => {
   assertAllDefined({
     chainHub,
@@ -95,8 +100,8 @@ export const prepareAdvancerKit = (
     AdvancerKitI,
     /**
      * @param {{
-     *   assetManagerFacet: AssetManagerFacet;
-     *   poolAccount: ERef<HostInterface<OrchestrationAccount<{chainId: 'agoric'}>>>;
+     *   borrowerFacet: LiquidityPoolKit['borrower'];
+     *   poolAccount: HostInterface<OrchestrationAccount<{chainId: 'agoric'}>>;
      * }} config
      */
     config => harden(config),
@@ -115,8 +120,7 @@ export const prepareAdvancerKit = (
         async handleTransactionEvent(evidence) {
           await null;
           try {
-            // TODO poolAccount might be a vow we need to unwrap
-            const { assetManagerFacet, poolAccount } = this.state;
+            const { borrowerFacet, poolAccount } = this.state;
             const { recipientAddress } = evidence.aux;
             const { EUD } = addressTools.getQueryParams(
               recipientAddress,
@@ -129,14 +133,12 @@ export const prepareAdvancerKit = (
             const advanceAmount = feeTools.calculateAdvance(requestedAmount);
 
             // TODO: consider skipping and using `borrow()`s internal balance check
-            const poolBalance = assetManagerFacet.lookupBalance();
+            const poolBalance = borrowerFacet.getBalance();
             if (!isGTE(poolBalance, requestedAmount)) {
               log(
                 `Insufficient pool funds`,
                 `Requested ${q(advanceAmount)} but only have ${q(poolBalance)}`,
               );
-              // report `requestedAmount`, not `advancedAmount`... do we need to
-              // communicate net to `StatusManger` in case fees change in between?
               statusManager.observe(evidence);
               return;
             }
@@ -152,19 +154,29 @@ export const prepareAdvancerKit = (
               return;
             }
 
+            const { zcfSeat: tmpSeat } = zcf.makeEmptySeatKit();
+            const amountKWR = harden({ USDC: advanceAmount });
             try {
-              const payment = await assetManagerFacet.borrow(advanceAmount);
-              const depositV = E(poolAccount).deposit(payment);
-              void watch(depositV, this.facets.depositHandler, {
-                destination,
-                payment,
-              });
+              borrowerFacet.borrow(tmpSeat, amountKWR);
             } catch (e) {
-              // `.borrow()` might fail if the balance changes since we
-              // requested it. TODO - how to handle this? change ADVANCED -> OBSERVED?
-              // Note: `depositHandler` handles the `.deposit()` failure
+              // We do not expect this to fail since there are no turn boundaries
+              // between .getBalance() and .borrow().
+              // We catch to report outside of the normal error flow since this is
+              // not expected.
               log('🚨 advance borrow failed', q(e).toString());
             }
+
+            const depositV = localTransfer(
+              tmpSeat,
+              // @ts-expect-error LocalAccountMethods vs OrchestrationAccount
+              poolAccount,
+              amountKWR,
+            );
+            void watch(depositV, this.facets.depositHandler, {
+              amount: advanceAmount,
+              destination,
+              tmpSeat,
+            });
           } catch (e) {
             log('Advancer error:', q(e).toString());
             statusManager.observe(evidence);
@@ -173,18 +185,15 @@ export const prepareAdvancerKit = (
       },
       depositHandler: {
         /**
-         * @param {NatAmount} amount amount returned from deposit
-         * @param {{ destination: ChainAddress; payment: Payment<'nat'> }} ctx
+         * @param {undefined} result
+         * @param {{ amount: Amount<'nat'>; destination: ChainAddress; tmpSeat: ZCFSeat }} ctx
          */
-        onFulfilled(amount, { destination }) {
+        onFulfilled(result, { amount, destination }) {
           const { poolAccount } = this.state;
-          const transferV = E(poolAccount).transfer(
-            destination,
-            /** @type {DenomAmount} */ ({
-              denom: usdc.denom,
-              value: amount.value,
-            }),
-          );
+          const transferV = E(poolAccount).transfer(destination, {
+            denom: usdc.denom,
+            value: amount.value,
+          });
           return watch(transferV, this.facets.transferHandler, {
             destination,
             amount,
@@ -192,12 +201,17 @@ export const prepareAdvancerKit = (
         },
         /**
          * @param {Error} error
-         * @param {{ destination: ChainAddress; payment: Payment<'nat'> }} ctx
+         * @param {{ amount: Amount<'nat'>; destination: ChainAddress; tmpSeat: ZCFSeat }} ctx
          */
-        onRejected(error, { payment }) {
-          // TODO return live payment from ctx to LP
+        onRejected(error, { tmpSeat }) {
+          // TODO return seat allocation from ctx to LP?
           log('🚨 advance deposit failed', q(error).toString());
-          log('TODO live payment to return to LP', q(payment).toString());
+          // TODO #10510 (comprehensive error testing) determine
+          // course of action here
+          log(
+            'TODO live payment on seat to return to LP',
+            q(tmpSeat).toString(),
+          );
         },
       },
       transferHandler: {
@@ -206,23 +220,24 @@ export const prepareAdvancerKit = (
          * @param {{ destination: ChainAddress; amount: NatAmount; }} ctx
          */
         onFulfilled(result, { destination, amount }) {
-          // TODO vstorage update?
+          // TODO vstorage update? We don't currently have a status for
+          // Advanced + transferV settled
           log(
             'Advance transfer fulfilled',
             q({ amount, destination, result }).toString(),
           );
         },
         onRejected(error) {
-          // XXX retry logic?
-          // What do we do if we fail, should we keep a Status?
+          // TODO #10510 (comprehensive error testing) determine
+          // course of action here. This might fail due to timeout.
           log('Advance transfer rejected', q(error).toString());
         },
       },
     },
     {
       stateShape: harden({
-        assetManagerFacet: M.remotable(),
-        poolAccount: M.or(VowShape, M.remotable()),
+        borrowerFacet: M.remotable(),
+        poolAccount: M.remotable(),
       }),
     },
   );

package/src/fast-usdc.contract.js

@@ -11,9 +11,10 @@ import {
 } from '@agoric/orchestration';
 import { provideSingleton } from '@agoric/zoe/src/contractSupport/durability.js';
 import { prepareRecorderKitMakers } from '@agoric/zoe/src/contractSupport/recorder.js';
+import { makeZoeTools } from '@agoric/orchestration/src/utils/zoe-tools.js';
+import { depositToSeat } from '@agoric/zoe/src/contractSupport/zoeHelpers.js';
 import { E } from '@endo/far';
 import { M, objectMap } from '@endo/patterns';
-import { depositToSeat } from '@agoric/zoe/src/contractSupport/zoeHelpers.js';
 import { prepareAdvancer } from './exos/advancer.js';
 import { prepareLiquidityPoolKit } from './exos/liquidity-pool.js';
 import { prepareSettler } from './exos/settler.js';
@@ -21,12 +22,16 @@ import { prepareStatusManager } from './exos/status-manager.js';
 import { prepareTransactionFeedKit } from './exos/transaction-feed.js';
 import { defineInertInvitation } from './utils/zoe.js';
 import { FastUSDCTermsShape, FeeConfigShape } from './type-guards.js';
+import * as flows from './fast-usdc.flows.js';
 
 const trace = makeTracer('FastUsdc');
 
 /**
  * @import {Denom} from '@agoric/orchestration';
+ * @import {HostInterface} from '@agoric/async-flow';
+ * @import {OrchestrationAccount} from '@agoric/orchestration';
  * @import {OrchestrationPowers, OrchestrationTools} from '@agoric/orchestration/src/utils/start-helper.js';
+ * @import {Vow} from '@agoric/vow';
  * @import {Zone} from '@agoric/zone';
  * @import {OperatorKit} from './exos/operator-kit.js';
  * @import {CctpTxEvidence, FeeConfig} from './types.js';
@@ -73,35 +78,22 @@ export const contract = async (zcf, privateArgs, zone, tools) => {
   );
   const statusManager = prepareStatusManager(zone);
   const makeSettler = prepareSettler(zone, { statusManager });
-  const { chainHub, vowTools } = tools;
+  const { chainHub, orchestrateAll, vowTools } = tools;
+  const { localTransfer } = makeZoeTools(zcf, vowTools);
   const makeAdvancer = prepareAdvancer(zone, {
     chainHub,
     feeConfig,
-    log: trace,
+    localTransfer,
     usdc: harden({
       brand: terms.brands.USDC,
       denom: terms.usdcDenom,
     }),
     statusManager,
     vowTools,
+    zcf,
   });
   const makeFeedKit = prepareTransactionFeedKit(zone, zcf);
   assertAllDefined({ makeFeedKit, makeAdvancer, makeSettler, statusManager });
-  const feedKit = makeFeedKit();
-  const advancer = makeAdvancer(
-    // @ts-expect-error FIXME
-    {},
-  );
-  // Connect evidence stream to advancer
-  void observeIteration(subscribeEach(feedKit.public.getEvidenceSubscriber()), {
-    updateState(evidence) {
-      try {
-        void advancer.handleTransactionEvent(evidence);
-      } catch (err) {
-        trace('🚨 Error handling transaction event', err);
-      }
-    },
-  });
   const makeLiquidityPoolKit = prepareLiquidityPoolKit(
     zone,
     zcf,
@@ -114,16 +106,19 @@ export const contract = async (zcf, privateArgs, zone, tools) => {
     'test of forcing evidence',
   );
 
+  const { makeLocalAccount } = orchestrateAll(flows, {});
+
   const creatorFacet = zone.exo('Fast USDC Creator', undefined, {
     /** @type {(operatorId: string) => Promise<Invitation<OperatorKit>>} */
     async makeOperatorInvitation(operatorId) {
+      // eslint-disable-next-line no-use-before-define
       return feedKit.creator.makeOperatorInvitation(operatorId);
     },
     /**
      * @param {{ USDC: Amount<'nat'>}} amounts
      */
     testBorrow(amounts) {
-      console.log('🚧🚧 UNTIL: borrow is integrated 🚧🚧', amounts);
+      console.log('🚧🚧 UNTIL: borrow is integrated (#10388) 🚧🚧', amounts);
       const { zcfSeat: tmpAssetManagerSeat } = zcf.makeEmptySeatKit();
       // eslint-disable-next-line no-use-before-define
       poolKit.borrower.borrow(tmpAssetManagerSeat, amounts);
@@ -136,7 +131,7 @@ export const contract = async (zcf, privateArgs, zone, tools) => {
      * @returns {Promise<AmountKeywordRecord>}
      */
     async testRepay(amounts, payments) {
-      console.log('🚧🚧 UNTIL: repay is integrated 🚧🚧', amounts);
+      console.log('🚧🚧 UNTIL: repay is integrated (#10388) 🚧🚧', amounts);
       const { zcfSeat: tmpAssetManagerSeat } = zcf.makeEmptySeatKit();
       await depositToSeat(
         zcf,
@@ -164,6 +159,7 @@ export const contract = async (zcf, privateArgs, zone, tools) => {
      * @param {CctpTxEvidence} evidence
      */
     makeTestPushInvitation(evidence) {
+      // eslint-disable-next-line no-use-before-define
       void advancer.handleTransactionEvent(evidence);
       return makeTestInvitation();
     },
@@ -207,6 +203,34 @@ export const contract = async (zcf, privateArgs, zone, tools) => {
     makeLiquidityPoolKit(shareMint, privateArgs.storageNode),
   );
 
+  const feedKit = zone.makeOnce('Feed Kit', () => makeFeedKit());
+
+  const poolAccountV =
+    // cast to HostInterface
+    /** @type { Vow<HostInterface<OrchestrationAccount<{chainId: 'agoric';}>>>} */ (
+      /** @type {unknown}*/ (
+        zone.makeOnce('Pool Local Orch Account', () => makeLocalAccount())
+      )
+    );
+  const poolAccount = await vowTools.when(poolAccountV);
+
+  const advancer = zone.makeOnce('Advancer', () =>
+    makeAdvancer({
+      borrowerFacet: poolKit.borrower,
+      poolAccount,
+    }),
+  );
+  // Connect evidence stream to advancer
+  void observeIteration(subscribeEach(feedKit.public.getEvidenceSubscriber()), {
+    updateState(evidence) {
+      try {
+        void advancer.handleTransactionEvent(evidence);
+      } catch (err) {
+        trace('🚨 Error handling transaction event', err);
+      }
+    },
+  });
+
   return harden({ creatorFacet, publicFacet });
 };
 harden(contract);

package/src/fast-usdc.flows.js

@@ -0,0 +1,13 @@
+/**
+ * @import {Orchestrator, OrchestrationFlow} from '@agoric/orchestration';
+ */
+
+/**
+ * @satisfies {OrchestrationFlow}
+ * @param {Orchestrator} orch
+ */
+export const makeLocalAccount = async orch => {
+  const agoricChain = await orch.getChain('agoric');
+  return agoricChain.makeAccount();
+};
+harden(makeLocalAccount);