Repair u19 tests in a3p-integration

a3p-integration/proposals/n:upgrade-next/.gitignore

@@ -1,9 +1 @@
-replaceFeeDistributor/
-addUsdLemons/
-addUsdOlives/
-upgradeProvisionPool/
-upgradeAgoricNames/
-publishTestInfo/
-upgrade-mintHolder/
-upgradeAssetReserve/
-upgradePSM/
+test/generated/

a3p-integration/proposals/n:upgrade-next/eval.sh

@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -euo pipefail
+
 # evaluate the proposals in the /submission/ directory
 
 echo "UPGRADE-19  Running proposal declared in package.json"

a3p-integration/proposals/n:upgrade-next/package.json

@@ -8,16 +8,9 @@
     },
     "type": "Software Upgrade Proposal",
     "sdk-generate": [
-      "testing/replace-feeDistributor-short.js replaceFeeDistributor",
-      "testing/add-USD-LEMONS.js addUsdLemons",
-      "vats/upgrade-provisionPool.js upgradeProvisionPool",
-      "vats/upgrade-asset-reserve.js upgradeAssetReserve",
-      "vats/upgrade-psm.js upgradePSM",
-      "vats/upgrade-paRegistry.js",
-      "vats/upgrade-agoricNames.js agoricNamesCoreEvals/upgradeAgoricNames",
-      "testing/add-USD-OLIVES.js agoricNamesCoreEvals/addUsdOlives",
-      "testing/publish-test-info.js agoricNamesCoreEvals/publishTestInfo",
-      "vats/upgrade-mintHolder.js upgrade-mintHolder A3P_INTEGRATION"
+      "testing/add-USD-LEMONS.js test/generated/addUsdLemons",
+      "testing/add-USD-OLIVES.js test/generated/agoricNamesCoreEvals/addUsdOlives",
+      "testing/publish-test-info.js test/generated/agoricNamesCoreEvals/publishTestInfo"
     ]
   },
   "type": "module",

a3p-integration/proposals/n:upgrade-next/test.sh

@@ -1,11 +1,12 @@
 #!/bin/bash
 
-yarn ava initial.test.js
-yarn ava replaceFeeDistributor.test.js
-yarn ava mintHolder.test.js
-yarn ava provisionPool.test.js
+set -euo pipefail
+
+# segregate so changing these does not invalidate the proposal image
+# à la https://github.com/Agoric/agoric-3-proposals/pull/213
+cd test
 
-yarn ava agoricNames.test.js
+GLOBIGNORE=initial.test.js
+yarn ava initial.test.js
 
-yarn ava assetReserve.test.js
-yarn ava psm.test.js
+yarn ava *.test.js

a3p-integration/proposals/n:upgrade-next/agoricNames.test.js → a3p-integration/proposals/n:upgrade-next/test/agoricNames.test.js

@@ -69,11 +69,10 @@
 import { getBalances, listVaults } from './test-lib/utils.js';
 import { walletUtils } from './test-lib/index.js';
 
-const AGORIC_NAMES_UPGRADE_DIR = 'agoricNamesCoreEvals/upgradeAgoricNames';
 const WRITE_AGORIC_NAMES_DIR = 'agoricNamesCoreEvals/writeToAgoricNames';
-const ADD_USD_OLIVES_DIR = 'agoricNamesCoreEvals/addUsdOlives';
+const ADD_USD_OLIVES_DIR = 'generated/agoricNamesCoreEvals/addUsdOlives';
 const DEPOSIT_USD_OLIVES_DIR = 'agoricNamesCoreEvals/depositUsdOlives';
-const PUBLISH_TEST_INFO_DIR = 'agoricNamesCoreEvals/publishTestInfo';
+const PUBLISH_TEST_INFO_DIR = 'generated/agoricNamesCoreEvals/publishTestInfo';
 const WRITE_TEST_INFO_DIR = 'agoricNamesCoreEvals/writeToTestInfo';
 
 const makeWaitUntilKeyFound = (keyFinder, vstorage) => (path, targetKey) =>
@@ -118,9 +117,7 @@
   });
 });
 
-test.serial('upgrade agoricNames', async t => {
-  await evalBundles(AGORIC_NAMES_UPGRADE_DIR);
-
+test.serial('verify incarnation', async t => {
   const incarnation = await getIncarnation('agoricNames');
   t.is(incarnation, 1, 'incorrect incarnation');
 });
@@ -155,7 +152,7 @@
   const agoricNamesAfter = await getAgoricNames();
   t.like(agoricNamesAfter, agoricNamesBefore);
 
   agoricNamesChildren.forEach(child =>
     assert(
       agoricNamesAfter[child][`test${child}`],
       'we should be able to add new value',

a3p-integration/proposals/n:upgrade-next/assetReserve.test.js → a3p-integration/proposals/n:upgrade-next/test/assetReserve.test.js

@@ -22,8 +22,7 @@ import {
   waitUntilContractDeployed,
 } from '@agoric/client-utils';
 
-const ADD_PSM_DIR = 'addUsdLemons';
-const UPGRADE_AR_DIR = 'upgradeAssetReserve';
+const ADD_PSM_DIR = 'generated/addUsdLemons';
 const ADD_COLLATERAL = 'addCollateral';
 
 const ambientAuthority = {
@@ -51,11 +50,10 @@ test.before(async t => {
   };
 });
 
-test.serial('add collatoral to reserve', async t => {
+test.serial('add Collateral to reserve', async t => {
   // @ts-expect-error casting
   const { vstorageKit } = t.context;
 
-  // Introduce USD_LEMONS
   await evalBundles(ADD_PSM_DIR);
   await waitUntilContractDeployed('psm-IST-USD_LEMONS', ambientAuthority, {
     errorMessage: 'psm-IST-USD_LEMONS instance not observed.',
@@ -75,8 +73,6 @@ test.serial('upgrade', async t => {
   // @ts-expect-error casting
   const { vstorageKit } = t.context;
 
-  await evalBundles(UPGRADE_AR_DIR);
-
   const vatDetailsAfter = await getDetailsMatchingVats('reserve');
   const { incarnation } = vatDetailsAfter.find(vat => vat.vatID === 'v36'); // assetReserve is v36
 

a3p-integration/proposals/n:upgrade-next/initial.test.js → a3p-integration/proposals/n:upgrade-next/test/initial.test.js

@@ -10,7 +10,7 @@ const vats = {
   orchestration: { incarnation: 1 },
   transfer: { incarnation: 2 },
   walletFactory: { incarnation: 6 },
-  zoe: { incarnation: 4 },
+  zoe: { incarnation: 3 },
   // Terminated in a future proposal.
   '-ATOM-USD_price_feed-governor': { incarnation: 0 },
 };

a3p-integration/proposals/n:upgrade-next/mint-payment/send-script.tjs → a3p-integration/proposals/n:upgrade-next/test/mint-payment/send-script.tjs

@@ -24,8 +24,6 @@ const sendBankAsset = async powers => {
   const valueStr = '{{VALUE}}';
   const value = BigInt(valueStr)
 
-  console.log(`Start sendBankAsset for ${label}`);
-
   const contractKits = await contractKitsP;
   const mintHolderKit = Array.from(contractKits.values()).filter(
     kit => kit.label && kit.label === label,
@@ -49,8 +47,6 @@ const sendBankAsset = async powers => {
   );
 
   await E(receiverDepositFacet).receive(payment);
-
-  console.log(`Finished sendBankAsset for ${label}`);
 };
 
 sendBankAsset;

a3p-integration/proposals/n:upgrade-next/mintHolder.test.js → a3p-integration/proposals/n:upgrade-next/test/mintHolder.test.js

@@ -8,18 +8,18 @@ import {
   getAssetList,
   swap,
   getPSMChildren,
-  upgradeMintHolder,
 } from './test-lib/mintHolder-helpers.js';
 import { networkConfig } from './test-lib/index.js';
 
-test('mintHolder contract is upgraded', async t => {
+test('verify mintHolder contract upgrade', async t => {
   const receiver = await addUser('receiver');
   await provisionSmartWallet(receiver, `20000000ubld`);
 
   let assetList = await getAssetList();
   t.log('List of mintHolder vats being upgraded: ', assetList);
-  await upgradeMintHolder(`upgrade-mintHolder`, assetList);
-  await mintPayment(t, receiver, assetList, 10);
+  // The FastLP mint is not in a mintHolder; it's a ZCFMint from the FastUSDC contract
+  const assetListNoFastUSDC = assetList.filter(x => x.label !== 'FastLP');
+  await mintPayment(t, receiver, assetListNoFastUSDC, 10);
 
   const psmLabelList = await getPSMChildren(fetch, networkConfig);
   assetList = await getAssetList(psmLabelList);

a3p-integration/proposals/n:upgrade-next/nullUpgradePP/null-upgrade-pp.js → a3p-integration/proposals/n:upgrade-next/test/nullUpgradePP/null-upgrade-pp.js

@@ -9,24 +9,15 @@ const nullUpgradePP = async powers => {
     },
   } = powers;
 
-  console.log('awaiting powers');
   const { adminFacet, instance } = await provisionPoolStartResultP;
   const instancePrivateArgs = await instancePrivateArgsP;
 
-  console.log('get privateArgs');
   const privateArgs = instancePrivateArgs.get(instance);
   const [poolBank, poserInvitation] = await Promise.all([
     privateArgs.poolBank,
     E(economicCommitteeCreatorFacet).getPoserInvitation(),
   ]);
 
-  console.log('DEBUG', {
-    adminFacet,
-    instance,
-    privateArgs,
-    poserInvitation,
-  });
-
   await E(adminFacet).restartContract({
     ...privateArgs,
     poolBank,

a3p-integration/proposals/n:upgrade-next/provisionPool.test.js → a3p-integration/proposals/n:upgrade-next/test/provisionPool.test.js

@@ -6,7 +6,8 @@
  * - https://github.com/Agoric/agoric-sdk/issues/8724
  *
  * The test scenario is as follows;
- * 1. Upgrade provisionPool. This upgrade overrides provisionWalletBridgerManager with a durable one
+ * 1. Upgrade provisionPool in upgrade.go. This upgrade overrides
+ *    provisionWalletBridgerManager with a durable one
  * 2. Add a new account and successfully provision it
  *   - Observe new account's address under `published.wallet.${address}`
  * 3. Send some USDC_axl to provisionPoolAddress and observe its IST balances increases accordingly
@@ -54,9 +55,7 @@ import { getIncarnationFromDetails } from './test-lib/utils.js';
 
 const PROVISIONING_POOL_ADDR = 'agoric1megzytg65cyrgzs6fvzxgrcqvwwl7ugpt62346';
 
-const ADD_PSM_DIR = 'addUsdLemons';
 const DEPOSIT_USD_LEMONS_DIR = 'depositUSD-LEMONS';
-const UPGRADE_PP_DIR = 'upgradeProvisionPool';
 const NULL_UPGRADE_PP_DIR = 'nullUpgradePP';
 
 const USDC_DENOM = NonNullish(process.env.USDC_DENOM);
@@ -87,24 +86,6 @@ test.before(async t => {
   };
 });
 
-test.serial('upgrade provisionPool', async t => {
-  // @ts-expect-error casting
-  const { currentVatIncarnations } = t.context;
-  console.log(currentVatIncarnations);
-  await evalBundles(UPGRADE_PP_DIR);
-
-  for await (const vatName of upgradedVats) {
-    const incarnationAfterUpgrade = await getIncarnationFromDetails(vatName);
-    const previousIncarnation = currentVatIncarnations[vatName];
-
-    t.is(
-      incarnationAfterUpgrade,
-      previousIncarnation + 1,
-      `${vatName} does not meet the expected incarnation number`,
-    );
-  }
-});
-
 test.serial(
   `check provisionPool can recover purse and asset subscribers after upgrade`,
   async t => {
@@ -127,8 +108,8 @@ test.serial(
       { errorMessage: 'Provision pool not able to swap USDC_axl for IST.' },
     );
 
-    // Introduce USD_LEMONS
-    await evalBundles(ADD_PSM_DIR);
+    // agoricNames already added USD_LEMONS
+    // await evalBundles(ADD_PSM_DIR);
     await waitUntilContractDeployed('psm-IST-USD_LEMONS', ambientAuthority, {
       errorMessage: 'psm-IST-USD_LEMONS instance not observed.',
     });

a3p-integration/proposals/n:upgrade-next/test/psm.test.js

@@ -0,0 +1,60 @@
+/* eslint-env node */
+/**
+ * @file The goal of this file is to make sure all the PSM contacts were
+ * upgraded. Each set of vats are different per chain, but for mainnet, we
+ * expect this to be: V37-V42, V73, V76
+ *
+ * The test scenario is as follows;
+ * 1. Verify metrics before the upgrade
+ * 2. Verify trading is possible after the upgrade
+ */
+
+import '@endo/init';
+import test from 'ava';
+import { evalBundles } from '@agoric/synthetic-chain';
+import { makeVstorageKit } from '@agoric/client-utils';
+
+const SWAP_ANCHOR = 'swapAnchorForMintedSeat';
+
+test.before(async t => {
+  const vstorageKit = await makeVstorageKit(
+    { fetch },
+    { rpcAddrs: ['http://localhost:26657'], chainName: 'agoriclocal' },
+  );
+
+  t.context = {
+    vstorageKit,
+  };
+});
+
+test.serial('check stats pre-swap', async t => {
+  // @ts-expect-error casting
+  const { vstorageKit } = t.context;
+
+  const metrics = await vstorageKit.readLatestHead(
+    'published.psm.IST.USDC.metrics',
+  );
+
+  t.is(metrics.anchorPoolBalance.value, 0n, 'anchorPool empty');
+  t.is(metrics.feePoolBalance.value, 0n, 'feePool empty');
+  t.is(metrics.mintedPoolBalance.value, 0n, 'mintedPool 500K');
+  t.is(metrics.totalAnchorProvided.value, 0n, 'totalAnchor empty');
+  t.is(metrics.totalMintedProvided.value, 0n, 'totalMinted 500K');
+});
+
+test.serial('verify trading after upgrade', async t => {
+  // @ts-expect-error casting
+  const { vstorageKit } = t.context;
+
+  await evalBundles(SWAP_ANCHOR);
+
+  const metrics = await vstorageKit.readLatestHead(
+    'published.psm.IST.USDC.metrics',
+  );
+
+  t.is(metrics.anchorPoolBalance.value, 500_000n, 'AnchorPool +500K');
+  t.is(metrics.feePoolBalance.value, 0n, 'feePool empty');
+  t.is(metrics.mintedPoolBalance.value, 500_000n, 'mintedPool +500K');
+  t.is(metrics.totalAnchorProvided.value, 0n, 'totalAnchor empty');
+  t.is(metrics.totalMintedProvided.value, 500_000n, 'totalMinted +500K');
+});