provide starter IST to newly provisoned accounts

golang/cosmos/app/app.go

@@ -174,6 +174,7 @@ var (
 		ibctransfertypes.ModuleName:    {authtypes.Minter, authtypes.Burner},
 		vbank.ModuleName:               {authtypes.Minter, authtypes.Burner},
 		vbanktypes.ReservePoolName:     nil,
+		vbanktypes.ProvisionPoolName:   nil,
 		vbanktypes.GiveawayPoolName:    nil,
 	}
 )
@@ -348,7 +349,7 @@ func NewAgoricApp(
 		keys[banktypes.StoreKey],
 		app.AccountKeeper,
 		app.GetSubspace(banktypes.ModuleName),
-		app.ModuleAccountAddrs(),
+		app.BlockedAddrs(),
 	)
 	app.AuthzKeeper = authzkeeper.NewKeeper(
 		keys[authzkeeper.StoreKey],
@@ -835,6 +836,21 @@ func (app *GaiaApp) ModuleAccountAddrs() map[string]bool {
 	return modAccAddrs
 }
 
+// BlockedAddrs returns the app's module account addresses that
+// are blocked from receiving funds.
+func (app *GaiaApp) BlockedAddrs() map[string]bool {
+	modAccAddrs := make(map[string]bool)
+	for acc := range maccPerms {
+		// The provision pool is not blocked from receiving funds.
+		if acc == vbanktypes.ProvisionPoolName {
+			continue
+		}
+		modAccAddrs[authtypes.NewModuleAddress(acc).String()] = true
+	}
+
+	return modAccAddrs
+}
+
 // LegacyAmino returns GaiaApp's amino codec.
 //
 // NOTE: This is solely to be used for testing purposes as it may be desirable

golang/cosmos/x/vbank/types/key.go

@@ -9,4 +9,5 @@ const (
 
 	ReservePoolName  = "vbank/reserve"
 	GiveawayPoolName = "vbank/giveaway"
+	ProvisionPoolName  = "vbank/provision"
 )

packages/cosmic-swingset/Makefile

@@ -221,7 +221,7 @@ fund-acct: wait-for-cosmos
 provision-acct: wait-for-cosmos
 	$(AGCH) --chain-id=$(CHAIN_ID) \
 	  --home=t1/bootstrap --keyring-backend=test --from=bootstrap \
-	  tx swingset provision-one t1/$(BASE_PORT) $(ACCT_ADDR) $(AGORIC_POWERS) \
+	  tx swingset provision-one t1/$(BASE_PORT) $(ACCT_ADDR) SMART_WALLET \
 	  --gas=auto --gas-adjustment=$(GAS_ADJUSTMENT) --broadcast-mode=block --yes
 
 FROM_KEY=bootstrap

packages/inter-protocol/src/proposals/econ-behaviors.js

@@ -125,7 +125,6 @@ export const startInterchainPool = async (
     { Central: centralIssuer },
     terms,
     {
-      // @ts-expect-error XXX remotable types
       bankManager,
     },
   );

packages/inter-protocol/src/proposals/startPSM.js

@@ -35,6 +35,7 @@ export const startPSM = async (
       feeMintAccess: feeMintAccessP,
       economicCommitteeCreatorFacet,
       psmCharterCreatorFacet,
+      provisionPoolStartResult,
       chainStorage,
       chainTimerService,
       psmFacets,
@@ -163,13 +164,21 @@ export const startPSM = async (
   psmFacetsMap.init(anchorBrand, newPsmFacets);
   const instanceKey = `psm-${Stable.symbol}-${keyword}`;
   const instanceAdmin = E(agoricNamesAdmin).lookupAdmin('instance');
-  await E(instanceAdmin).update(instanceKey, newPsmFacets.psm);
-  await E(psmCharterCreatorFacet).addInstance(
-    psm,
-    psmCreatorFacet,
-    anchorBrand,
-    stable,
-  );
+
+  await Promise.all([
+    E(instanceAdmin).update(instanceKey, newPsmFacets.psm),
+    E(psmCharterCreatorFacet).addInstance(
+      psm,
+      psmCreatorFacet,
+      anchorBrand,
+      stable,
+    ),
+    // @ts-expect-error TODO type for provisionPoolStartResult
+    E(E.get(provisionPoolStartResult).creatorFacet).initPSM(
+      anchorBrand,
+      newPsmFacets.psm,
+    ),
+  ]);
 };
 harden(startPSM);
 
@@ -422,6 +431,7 @@ export const PSM_MANIFEST = harden({
       zoe: 'zoe',
       feeMintAccess: 'zoe',
       economicCommitteeCreatorFacet: 'economicCommittee',
+      provisionPoolStartResult: true,
       psmCharterCreatorFacet: 'psmCharter',
       chainTimerService: 'timer',
       psmFacets: true,

packages/inter-protocol/test/psm/setupPsm.js

@@ -1,6 +1,6 @@
 // @ts-check
 
-import { makeLoopback } from '@endo/captp';
+import { Far, makeLoopback } from '@endo/captp';
 import { E } from '@endo/eventual-send';
 
 import {
@@ -120,6 +120,14 @@ export const setupPsm = async (
   brand.produce.IST.resolve(istBrand);
   issuer.produce.IST.resolve(istIssuer);
 
+  space.produce.provisionPoolStartResult.resolve({
+    creatorFacet: Far('dummy', {
+      initPSM: () => {
+        t.log('dummy provisionPool.initPSM');
+      },
+    }),
+  });
+
   await Promise.all([
     startEconomicCommittee(space, {
       options: { econCommitteeOptions: electorateTerms },

packages/inter-protocol/test/test-gov-collateral.js

@@ -149,7 +149,7 @@ const makeScenario = async (t, { env = process.env } = {}) => {
     space.produce.bridgeManager.resolve(undefined);
     space.produce.lienBridge.resolve(undefined);
 
-    /** @type {Awaited<BankManager>} */
+    /** @type {BankManager} */
     const bankManager = Far('mock BankManager', {
       getAssetSubscription: () => assert.fail('not impl'),
       getModuleAccountAddress: () => assert.fail('not impl'),

packages/inter-protocol/test/test-interchainPool.js

@@ -63,7 +63,7 @@ test('make interchain pool', async t => {
     /** @type {PromiseKit<{ mint: ERef<Mint>, issuer: ERef<Issuer>, brand: Brand}>} */
     const ibcKitP = makePromiseKit();
 
-    /** @type {Awaited<BankManager>} */
+    /** @type {BankManager} */
     const bankManager = Far('mock BankManager', {
       getAssetSubscription: () => assert.fail('not impl'),
       getModuleAccountAddress: () => assert.fail('not impl'),

packages/smart-wallet/test/devices.js

@@ -1,6 +1,7 @@
 import bundleCentralSupply from '@agoric/vats/bundles/bundle-centralSupply.js';
 import bundleMintHolder from '@agoric/vats/bundles/bundle-mintHolder.js';
 import bundleWalletFactory from '@agoric/vats/bundles/bundle-legacy-walletFactory.js';
+import bundleProvisionPool from '@agoric/vats/bundles/bundle-provisionPool.js';
 
 export const devices = {
   vatAdmin: {
@@ -14,6 +15,8 @@ export const devices = {
           // TODO(PS0) replace this bundle with the non-legacy smart-wallet
           case 'walletFactory':
             return bundleWalletFactory;
+          case 'provisionPool':
+            return bundleProvisionPool;
           default:
             throw new Error(`unknown bundle ${name}`);
         }

packages/vats/decentral-core-config.json

@@ -40,6 +40,9 @@
     "priceAuthority": {
       "sourceSpec": "@agoric/vats/src/vat-priceAuthority.js"
     },
+    "provisionPool": {
+      "sourceSpec": "@agoric/vats/src/provisionPool.js"
+    },
     "provisioning": {
       "sourceSpec": "@agoric/vats/src/vat-provisioning.js"
     },

packages/vats/decentral-demo-config.json

@@ -50,6 +50,9 @@
     "provisioning": {
       "sourceSpec": "@agoric/vats/src/vat-provisioning.js"
     },
+    "provisionPool": {
+      "sourceSpec": "@agoric/vats/src/provisionPool.js"
+    },
     "sharing": {
       "sourceSpec": "@agoric/vats/src/vat-sharing.js"
     },

packages/vats/decentral-psm-config.json

@@ -21,6 +21,9 @@
     "walletFactory": {
       "sourceSpec": "@agoric/smart-wallet/src/walletFactory.js"
     },
+    "provisionPool": {
+      "sourceSpec": "@agoric/vats/src/provisionPool.js"
+    },
     "committee": {
       "sourceSpec": "@agoric/governance/src/committee.js"
     },

packages/vats/scripts/build-bundles.js

@@ -8,6 +8,7 @@ const dirname = url.fileURLToPath(new URL('.', import.meta.url));
 const sourceToBundle = [
   [`../src/centralSupply.js`, `../bundles/bundle-centralSupply.js`],
   [`../src/mintHolder.js`, `../bundles/bundle-mintHolder.js`],
+  [`../src/provisionPool.js`, `../bundles/bundle-provisionPool.js`],
   [
     `@agoric/wallet/contract/src/singleWallet.js`,
     `../bundles/bundle-singleWallet.js`,

packages/vats/src/core/basic-behaviors.js

@@ -186,13 +186,11 @@ export const makeBoard = async ({
 harden(makeBoard);
 
 /**
- * @param {NameAdmin} namesByAddressAdmin
  * @param {string} address
  */
-export const makeMyAddressNameAdmin = (namesByAddressAdmin, address) => {
+export const makeMyAddressNameAdminKit = address => {
   // Create a name hub for this address.
-  const { nameHub: myAddressNameHub, nameAdmin: rawMyAddressNameAdmin } =
-    makeNameHubKit();
+  const { nameHub, nameAdmin: rawMyAddressNameAdmin } = makeNameHubKit();
 
   /** @type {MyAddressNameAdmin} */
   const myAddressNameAdmin = Far('myAddressNameAdmin', {
@@ -201,10 +199,8 @@ export const makeMyAddressNameAdmin = (namesByAddressAdmin, address) => {
   });
   // reserve space for deposit facet
   myAddressNameAdmin.reserve(WalletName.depositFacet);
-  // Register it with the namesByAddress hub.
-  namesByAddressAdmin.update(address, myAddressNameHub, myAddressNameAdmin);
 
-  return myAddressNameAdmin;
+  return { nameHub, myAddressNameAdmin };
 };
 
 /**
@@ -234,10 +230,7 @@ export const makeAddressNameHubs = async ({
   produce.namesByAddressAdmin.resolve(namesByAddressAdmin);
 
   const perAddress = address => {
-    const myAddressNameAdmin = makeMyAddressNameAdmin(
-      namesByAddressAdmin,
-      address,
-    );
+    const { myAddressNameAdmin } = makeMyAddressNameAdminKit(address);
     return { agoricNames, namesByAddress, myAddressNameAdmin };
   };
 
@@ -315,13 +308,14 @@ export const installBootContracts = async ({
   devices: { vatAdmin },
   consume: { zoe },
   installation: {
-    produce: { centralSupply, mintHolder, walletFactory },
+    produce: { centralSupply, mintHolder, walletFactory, provisionPool },
   },
 }) => {
   for (const [name, producer] of Object.entries({
     centralSupply,
     mintHolder,
     walletFactory,
+    provisionPool,
   })) {
     // This really wants to be E(vatAdminSvc).getBundleIDByName, but it's
     // good enough to do D(vatAdmin).getBundleIDByName

packages/vats/src/core/boot-psm.js

@@ -109,8 +109,12 @@ export const buildRootObject = (vatPowers, vatParameters) => {
   const log = vatPowers.logger || console.info;
 
   const { anchorAssets, economicCommitteeAddresses } = vatParameters;
-  fit(harden(anchorAssets), M.arrayOf(AnchorOptionsShape));
-  fit(harden(economicCommitteeAddresses), M.recordOf(M.string(), M.string()));
+  fit(harden(anchorAssets), M.arrayOf(AnchorOptionsShape), 'anchorAssets');
+  fit(
+    harden(economicCommitteeAddresses),
+    M.recordOf(M.string(), M.string()),
+    'economicCommitteeAddresses',
+  );
 
   const { produce, consume } = makePromiseSpace(log);
   const { agoricNames, agoricNamesAdmin, spaces } = makeAgoricNamesAccess(

packages/vats/src/core/manifest.js

@@ -132,6 +132,7 @@ const SHARED_CHAIN_BOOTSTRAP_MANIFEST = harden({
         centralSupply: 'zoe',
         mintHolder: 'zoe',
         walletFactory: 'zoe',
+        provisionPool: 'zoe',
       },
     },
   },