@agoric/vats 0.15.2-dev-96f4c73.0 → 0.15.2-dev-60cffcf.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/vats",
-  "version": "0.15.2-dev-96f4c73.0+96f4c73",
+  "version": "0.15.2-dev-60cffcf.0+60cffcf",
   "description": "Agoric's Vat library",
   "type": "module",
   "main": "./index.js",
@@ -22,20 +22,20 @@
   "author": "Agoric",
   "license": "Apache-2.0",
   "dependencies": {
-    "@agoric/assert": "0.6.1-dev-96f4c73.0+96f4c73",
-    "@agoric/cosmic-proto": "0.4.1-dev-96f4c73.0+96f4c73",
-    "@agoric/ertp": "0.16.3-dev-96f4c73.0+96f4c73",
-    "@agoric/governance": "0.10.4-dev-96f4c73.0+96f4c73",
-    "@agoric/internal": "0.3.3-dev-96f4c73.0+96f4c73",
-    "@agoric/network": "0.1.1-dev-96f4c73.0+96f4c73",
-    "@agoric/notifier": "0.6.3-dev-96f4c73.0+96f4c73",
-    "@agoric/store": "0.9.3-dev-96f4c73.0+96f4c73",
-    "@agoric/swingset-vat": "0.32.3-dev-96f4c73.0+96f4c73",
-    "@agoric/time": "0.3.3-dev-96f4c73.0+96f4c73",
-    "@agoric/vat-data": "0.5.3-dev-96f4c73.0+96f4c73",
-    "@agoric/vow": "0.1.1-dev-96f4c73.0+96f4c73",
-    "@agoric/zoe": "0.26.3-dev-96f4c73.0+96f4c73",
-    "@agoric/zone": "0.2.3-dev-96f4c73.0+96f4c73",
+    "@agoric/assert": "0.6.1-dev-60cffcf.0+60cffcf",
+    "@agoric/cosmic-proto": "0.4.1-dev-60cffcf.0+60cffcf",
+    "@agoric/ertp": "0.16.3-dev-60cffcf.0+60cffcf",
+    "@agoric/governance": "0.10.4-dev-60cffcf.0+60cffcf",
+    "@agoric/internal": "0.3.3-dev-60cffcf.0+60cffcf",
+    "@agoric/network": "0.1.1-dev-60cffcf.0+60cffcf",
+    "@agoric/notifier": "0.6.3-dev-60cffcf.0+60cffcf",
+    "@agoric/store": "0.9.3-dev-60cffcf.0+60cffcf",
+    "@agoric/swingset-vat": "0.32.3-dev-60cffcf.0+60cffcf",
+    "@agoric/time": "0.3.3-dev-60cffcf.0+60cffcf",
+    "@agoric/vat-data": "0.5.3-dev-60cffcf.0+60cffcf",
+    "@agoric/vow": "0.1.1-dev-60cffcf.0+60cffcf",
+    "@agoric/zoe": "0.26.3-dev-60cffcf.0+60cffcf",
+    "@agoric/zone": "0.2.3-dev-60cffcf.0+60cffcf",
     "@endo/base64": "^1.0.5",
     "@endo/far": "^1.1.2",
     "@endo/import-bundle": "^1.1.2",
@@ -47,7 +47,7 @@
     "jessie.js": "^0.3.4"
   },
   "devDependencies": {
-    "@agoric/swingset-liveslots": "0.10.3-dev-96f4c73.0+96f4c73",
+    "@agoric/swingset-liveslots": "0.10.3-dev-60cffcf.0+60cffcf",
     "@endo/bundle-source": "^3.2.3",
     "@endo/init": "^1.1.2",
     "ava": "^5.3.0",
@@ -80,5 +80,5 @@
   "typeCoverage": {
     "atLeast": 91.27
   },
-  "gitHead": "96f4c736b0762c592c4e2d778304f693cfc8e681"
+  "gitHead": "60cffcf3b14bfd0f4902c00764904aa5de0b81ad"
 }

package/src/core/basic-behaviors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"basic-behaviors.d.ts","sourceRoot":"","sources":["basic-behaviors.js"],"names":[],"mappings":"AA0DO,mIANI,eAAe,GAAG,EAAE,iBAiE9B;AAIM,gDADK,IAAI,CAAC,mBAAmB,EAAE,SAAS,CAAC,iBAW/C;AAGM,0FADK,cAAc,GAAG;IAAE,IAAI,EAAE,OAAO,cAAc,EAAE,IAAI,CAAA;CAAE,iBAiCjE;AAqGM,uMAPI,cAAc,GAAG;IAC3B,IAAQ,EAAE,OAAO,cAAc,EAAE,IAAI,CAAC;IACtC,OAAW,EAAE;QACb,6BAAmC,EAAE,OAAO,wDAAwD,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC,+BAA+B,CAAC,CAAC;KACpK,CAAC;CACH,iBA6DH;AAUM,gOANI,eAAe,GAAG;IAC5B,OAAW,EAAE;QAAE,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;KAAE,CAAC;CACvD,iBA2BH;AAYM,gGARI,eAAe,GAAG;IAC5B,OAAW,EAAE;QAAE,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAA;KAAE,CAAC;CAClE,iBAoBH;AAQM,mHAFI,eAAe,GAAG,cAAc,iBAe1C;AAIM,gIADK,eAAe,GAAG,cAAc,iBAW3C;AASM,qHAJI,eAAe,GAAG;IAC5B,OAAW,EAAE;QAAE,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAA;KAAE,CAAC;CACzD,iBAWH;AAcM,+JAFI,eAAe,iBAwBzB;AAQM,kGAFI,cAAc,iBA6BxB;AAIM,uHADK,cAAc,iBAkCzB;AAIM,oIADK,cAAc,iBAiBzB;AASM,0MAJI,eAAe,GAAG;IAC5B,aAAiB,EAAE;QAAE,IAAI,EAAE;YAAE,OAAO,CAAC,EAAE,OAAO,SAAS,CAAA;SAAE,CAAA;KAAE,CAAC;CACzD,iBAmCH;AAUM,kTAJI,cAAc,GAAG;IAC3B,OAAW,EAAE;QAAE,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;KAAE,CAAC;CACxD,iBAsFH;AAGD,wDAAwD;AACxD,sCADW,OAAO,eAAe,EAAE,iBAAiB,CA0IlD;;qBA7fW,IAAI,CAAC,UAAU,gDAAyC,CAAC;gCAiCzD,IAAI,CAChB,UAAc,2DAAoD,CAC/D;;;;;;;;;;;;;sCA5T+B,sBAAsB"}
+{"version":3,"file":"basic-behaviors.d.ts","sourceRoot":"","sources":["basic-behaviors.js"],"names":[],"mappings":"AA0DO,mIANI,eAAe,GAAG,EAAE,iBAiE9B;AAIM,gDADK,IAAI,CAAC,mBAAmB,EAAE,SAAS,CAAC,iBAW/C;AAGM,0FADK,cAAc,GAAG;IAAE,IAAI,EAAE,OAAO,cAAc,EAAE,IAAI,CAAA;CAAE,iBAiCjE;AAqGM,uMAPI,cAAc,GAAG;IAC3B,IAAQ,EAAE,OAAO,cAAc,EAAE,IAAI,CAAC;IACtC,OAAW,EAAE;QACb,6BAAmC,EAAE,OAAO,wDAAwD,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC,+BAA+B,CAAC,CAAC;KACpK,CAAC;CACH,iBA6DH;AAUM,gOANI,eAAe,GAAG;IAC5B,OAAW,EAAE;QAAE,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;KAAE,CAAC;CACvD,iBA2BH;AAYM,gGARI,eAAe,GAAG;IAC5B,OAAW,EAAE;QAAE,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAA;KAAE,CAAC;CAClE,iBAoBH;AAQM,mHAFI,eAAe,GAAG,cAAc,iBAe1C;AAIM,gIADK,eAAe,GAAG,cAAc,iBAW3C;AASM,qHAJI,eAAe,GAAG;IAC5B,OAAW,EAAE;QAAE,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAA;KAAE,CAAC;CACzD,iBAWH;AAcM,+JAFI,eAAe,iBAwBzB;AAQM,kGAFI,cAAc,iBA6BxB;AAIM,uHADK,cAAc,iBAkCzB;AAIM,oIADK,cAAc,iBAiBzB;AASM,0MAJI,eAAe,GAAG;IAC5B,aAAiB,EAAE;QAAE,IAAI,EAAE;YAAE,OAAO,CAAC,EAAE,OAAO,SAAS,CAAA;SAAE,CAAA;KAAE,CAAC;CACzD,iBAmCH;AAUM,kTAJI,cAAc,GAAG;IAC3B,OAAW,EAAE;QAAE,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;KAAE,CAAC;CACxD,iBAwFH;AAGD,wDAAwD;AACxD,sCADW,OAAO,eAAe,EAAE,iBAAiB,CA0IlD;;qBA/fW,IAAI,CAAC,UAAU,gDAAyC,CAAC;gCAiCzD,IAAI,CAChB,UAAc,2DAAoD,CAC/D;;;;;;;;;;;;;sCA5T+B,sBAAsB"}

package/src/core/basic-behaviors.js

@@ -653,7 +653,9 @@ export const addBankAssets = async ({
   });
 
   const bldBrand = await E(bldIssuer).getBrand();
-  const bldKit = harden({ mint: bldMint, issuer: bldIssuer, brand: bldBrand });
+  const bldKit = /** @type {IssuerKit<'nat'>} */ (
+    harden({ mint: bldMint, issuer: bldIssuer, brand: bldBrand })
+  );
   bldIssuerKit.resolve(bldKit);
 
   const assetAdmin = E(agoricNamesAdmin).lookupAdmin('vbankAsset');

package/src/core/startWalletFactory.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"startWalletFactory.d.ts","sourceRoot":"","sources":["startWalletFactory.js"],"names":[],"mappings":"AAiFO,qnBArBI,eAAe,GACzB,qBAAyB,GACzB,cAAkB,CAAC;IACnB,6BAAmC,EAAE,OAAO,qCAAqC,EAAE,+BAA+B,CAAC;IACnH,cAAoB,EAAE;QACtB,YAAoB,EAAE,OAAO,CAC7B,UAAoB,CACpB,oEAAyE,OAAO,CAAC,CACtE,CACF,CAAC,cAAc,CAAC,CAAC;QAC1B,UAAkB,EAAE,UAAU,CAAC;KACxB,CAAC;IACR,mBAAyB,EAAE,OAAO,aAAa,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC/E,4BAAkC,EAAE,OAAO,aAAa,EAAE,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;CAC5F,CAAC;cAEQ;QACd,sBAA4B,CAAC,EAAE,MAAM,CAAC;KACjC;8BAqLL;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuCE;AAEK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWN;uCAnSY,OAAO,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC;uBAftC,gCAAgC;AASvD;;;;;;;GAOG;AAEH,2CARW,IAAI,CAAC,UAAU,CAAC,QAChB,YAAY,CACtB,OAAW,2CAA2C,EAAE,KAAK,CAC1D,kFAyG4B,IAAI,wBAAwB,CAAC,eAAiB;IAAC,aAE3E,KAAM,WAEL,CAAC,CAAC;IAAA,mBAAyB,CAAC,EAAC,KAChC,OAAI,gBACL,EAAG,mBACO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAAA,aAAmB,CAAC,EAAC,KAAM,aAAa,CAAC,CAAC;CAAK,WAElE,OAAG,kBAEE,EACL,OAAI;;kDAiL8b,KAAK,OAAO,gBAA8B,EAAE,IAAI,CAAC,uBAAwB,KAAK,OAAO,aAA2B,EAAE,SAAS,CAAC;8CAAks2B,OAAO,eAAe,EAAE,OAAO,CAAC,SAAQ,IAAK,CAAC;;iCAA//R,OAAO;;;wCAAy1I,SAAS;sCAA+tH,OAAO;;;;;;;;;;;;;;;;;;sEAA05B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;sEAAP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;sEAAP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;KAjS7t3B"}
+{"version":3,"file":"startWalletFactory.d.ts","sourceRoot":"","sources":["startWalletFactory.js"],"names":[],"mappings":"AAiFO,qnBArBI,eAAe,GACzB,qBAAyB,GACzB,cAAkB,CAAC;IACnB,6BAAmC,EAAE,OAAO,qCAAqC,EAAE,+BAA+B,CAAC;IACnH,cAAoB,EAAE;QACtB,YAAoB,EAAE,OAAO,CAC7B,UAAoB,CACpB,oEAAyE,OAAO,CAAC,CACtE,CACF,CAAC,cAAc,CAAC,CAAC;QAC1B,UAAkB,EAAE,UAAU,CAAC;KACxB,CAAC;IACR,mBAAyB,EAAE,OAAO,aAAa,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC/E,4BAAkC,EAAE,OAAO,aAAa,EAAE,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;CAC5F,CAAC;cAEQ;QACd,sBAA4B,CAAC,EAAE,MAAM,CAAC;KACjC;8BAqLL;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuCE;AAEK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWN;uCAnSY,OAAO,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC;uBAftC,gCAAgC;AASvD;;;;;;;GAOG;AAEH,2CARW,IAAI,CAAC,UAAU,CAAC,QAChB,YAAY,CACtB,OAAW,2CAA2C,EAAE,KAAK,CAC1D,kFAyG4B,IAAI,wBAAwB,CAAC,eAAiB;IAAC,aAE3E,KAAM,WAEL,CAAC,CAAC;IAAA,mBAAyB,CAAC,EAAC,KAChC,OAAI,gBACL,EAAG,mBACO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAAA,aAAmB,CAAC,EAAC,KAAM,aAAa,CAAC,CAAC;CAAK,WAElE,OAAG,kBAEE,EACL,OAAI;;kDAiL8b,KAAK,OAAO,gBAA8B,EAAE,IAAI,CAAC,uBAAwB,KAAK,OAAO,aAA2B,EAAE,SAAS,CAAC;8CAA4v2B,OAAO,eAAe,EAAE,OAAO,CAAC,SAAQ,IAAK,CAAC;;iCAAzjS,OAAO;;;wCAAm5I,SAAS;sCAA+tH,OAAO;;;;;;;;;;;;;;;;;;sEAA05B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;sEAAP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;sEAAP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;KAjSvx3B"}

package/src/core/types-ambient.d.ts

@@ -390,7 +390,7 @@ type ChainBootstrapSpaceT = {
     GovernanceFacetKit<any> & { label: string }
   >;
   /** Used only for testing. Should not appear in any production proposals. */
-  testFirstAnchorKit: import('../vat-bank.js').AssetIssuerKit<'nat'>;
+  testFirstAnchorKit: import('../vat-bank.js').AssetIssuerKit;
   walletBridgeManager: import('../types.js').ScopedBridgeManager | undefined;
   walletFactoryStartResult: import('./startWalletFactory.js').WalletFactoryStartResult;
   provisionPoolStartResult: GovernanceFacetKit<

package/src/localchain.d.ts

@@ -17,6 +17,7 @@
  */
 export const LocalChainAccountI: import("@endo/patterns").InterfaceGuard<{
     getAddress: import("@endo/patterns").MethodGuard;
+    getBalance: import("@endo/patterns").MethodGuard;
     deposit: import("@endo/patterns").MethodGuard;
     withdraw: import("@endo/patterns").MethodGuard;
     executeTx: import("@endo/patterns").MethodGuard;
@@ -41,6 +42,8 @@ export function prepareLocalChainTools(zone: import("@agoric/base-zone").Zone):
          */
         makeAccount(): Promise<import("@endo/exo").Guarded<{
             getAddress(): Promise<string>;
+            /** @param {Brand<'nat'>} brand */
+            getBalance(brand: Brand<"nat">): Promise<import("@agoric/ertp/src/types.js").NatAmount>;
             /**
              * Deposit a payment into the bank purse that matches the alleged brand.
              * This is safe, since even if the payment lies about its brand, ERTP will
@@ -56,9 +59,9 @@ export function prepareLocalChainTools(zone: import("@agoric/base-zone").Zone):
              * Withdraw a payment from the account's bank purse of the amount's brand.
              *
              * @param {Amount<'nat'>} amount
-             * @returns {Promise<Payment>} payment
+             * @returns {Promise<Payment<'nat'>>} payment
              */
-            withdraw(amount: Amount<"nat">): Promise<Payment>;
+            withdraw(amount: Amount<"nat">): Promise<Payment<"nat">>;
             /**
              * Execute a batch of transactions and return the responses. Use
              * `typedJson()` on the arguments to get typed return values.
@@ -121,7 +124,7 @@ export type LocalChainPowers = {
         }>;
         getModuleAccountAddress(moduleName: string): Promise<string | null>;
         addAsset(denom: string, issuerName: string, proposedName: string, kit: AssetIssuerKit & {
-            payment?: ERef<Payment>;
+            payment?: ERef<Payment<"nat">>;
         }): Promise<void>;
         getBankForAddress(address: string): Promise<Bank>;
     }>;
@@ -135,6 +138,8 @@ import type { Bank } from './vat-bank.js';
 /** @param {import('@agoric/base-zone').Zone} zone */
 declare function prepareLocalChainAccount(zone: import("@agoric/base-zone").Zone): (address: string, powers: AccountPowers) => import("@endo/exo").Guarded<{
     getAddress(): Promise<string>;
+    /** @param {Brand<'nat'>} brand */
+    getBalance(brand: Brand<"nat">): Promise<import("@agoric/ertp/src/types.js").NatAmount>;
     /**
      * Deposit a payment into the bank purse that matches the alleged brand.
      * This is safe, since even if the payment lies about its brand, ERTP will
@@ -150,9 +155,9 @@ declare function prepareLocalChainAccount(zone: import("@agoric/base-zone").Zone
      * Withdraw a payment from the account's bank purse of the amount's brand.
      *
      * @param {Amount<'nat'>} amount
-     * @returns {Promise<Payment>} payment
+     * @returns {Promise<Payment<'nat'>>} payment
      */
-    withdraw(amount: Amount<"nat">): Promise<Payment>;
+    withdraw(amount: Amount<"nat">): Promise<Payment<"nat">>;
     /**
      * Execute a batch of transactions and return the responses. Use
      * `typedJson()` on the arguments to get typed return values.

package/src/localchain.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"localchain.d.ts","sourceRoot":"","sources":["localchain.js"],"names":[],"mappings":"AAOA;;;;GAIG;AAEH;;;;;GAKG;AAEH;;;;;GAKG;AAEH;;;;;GAKG;AAsEH;;;;GAIG;AAEH;;;;GAIG;AAwEI,6CADK,OAAO,mBAAmB,EAAE,IAAI;;QAxDtC;;;;;WAKG;;;YAnFH;;;;;;;;;eASG;6BAJQ,OAAO,CAAC,KAAK,CAAC,mBACd,OAAO,GAEL,OAAO,CAAC,MAAM,CAAC;YAS5B;;;;;eAKG;6BAFQ,MAAM,CAAC,KAAK,CAAC,GACX,OAAO,CAAC,OAAO,CAAC;YAO7B;;;;;;;;eAQG;sBADgD,EAAE;;2BAAF,EAAE,AADxC;;QA0Db;;;;;;;WAOG;uBAFQ,OAAO,sBAAsB,EAAE,SAAS,GACtC,OAAO,CAAC,OAAO,sBAAsB,EAAE,SAAS,CAAC;QAa9D;;;;;;;;;;;;WAYG;4BAPQ,OAAO,sBAAsB,EAAE,SAAS,EAAE,GACxC,OAAO,CACnB;YACA,KAAW,CAAC,EAAE,MAAM,CAAC;YACrB,KAAW,EAAE,OAAO,sBAAsB,EAAE,SAAS,CAAC;SACjD,EAAE,CACJ;;EAkBT;;;;;;;;;gEAKujZ,cAAc;;;;;;;;;;;;+EAAiiD,cAAc,GAAE;YAAE,OAAQ,CAAC,EAAC,KAAM,OAAO,CAAC,CAAA;SAAE;;;;gCA3Ftoc,OAAO,CACnB,UAAc,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC,CACjE;8BAuFU,UAAU,CAAC,OAAO,sBAAsB,CAAC;yBACzC,UAAU,CAAC,eAAe,CAAC,gBAAgB,CAAC,CAAC;gCAzLnB,sBAAsB;yCAExB,YAAY;0BADd,eAAe;AAyBnD,qDAAqD;AACrD,gDADY,OAAO,mBAAmB,EAAE,IAAI;;IAetC;;;;;;;;;OASG;qBAJQ,OAAO,CAAC,KAAK,CAAC,mBACd,OAAO,GAEL,OAAO,CAAC,MAAM,CAAC;IAS5B;;;;;OAKG;qBAFQ,MAAM,CAAC,KAAK,CAAC,GACX,OAAO,CAAC,OAAO,CAAC;IAO7B;;;;;;;;OAQG;cADgD,EAAE;;mBAAF,EAAE,AADxC;GAkBhB"}
+{"version":3,"file":"localchain.d.ts","sourceRoot":"","sources":["localchain.js"],"names":[],"mappings":"AAOA;;;;GAIG;AAEH;;;;;GAKG;AAEH;;;;;GAKG;AAEH;;;;;;GAMG;AA4EH;;;;GAIG;AAEH;;;;GAIG;AAwEI,6CADK,OAAO,mBAAmB,EAAE,IAAI;;QAxDtC;;;;;WAKG;;;YAzFH,kCAAkC;8BAAtB,KAAK,CAAC,KAAK,CAAC;YAMxB;;;;;;;;;eASG;6BAJQ,OAAO,CAAC,KAAK,CAAC,mBACd,OAAO,GAEL,OAAO,CAAC,MAAM,CAAC;YAS5B;;;;;eAKG;6BAFQ,MAAM,CAAC,KAAK,CAAC,GACX,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAOpC;;;;;;;;eAQG;sBADgD,EAAE;;2BAAF,EAAE,AADxC;;QA0Db;;;;;;;WAOG;uBAFQ,OAAO,sBAAsB,EAAE,SAAS,GACtC,OAAO,CAAC,OAAO,sBAAsB,EAAE,SAAS,CAAC;QAa9D;;;;;;;;;;;;WAYG;4BAPQ,OAAO,sBAAsB,EAAE,SAAS,EAAE,GACxC,OAAO,CACnB;YACA,KAAW,CAAC,EAAE,MAAM,CAAC;YACrB,KAAW,EAAE,OAAO,sBAAsB,EAAE,SAAS,CAAC;SACjD,EAAE,CACJ;;EAkBT;;;;;;;;;gEAKo8Y,cAAc;;;;;;;;;;;;+EAAiiD,cAAc,GAAE;YAAE,OAAQ,CAAC,EAAC,KAAM,QAAQ,KAAK,CAAC,CAAC,CAAA;SAAE;;;;gCA3F1hc,OAAO,CACnB,UAAc,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC,CACjE;8BAuFU,UAAU,CAAC,OAAO,sBAAsB,CAAC;yBACzC,UAAU,CAAC,eAAe,CAAC,gBAAgB,CAAC,CAAC;gCAhMnB,sBAAsB;yCAExB,YAAY;0BADd,eAAe;AA0BnD,qDAAqD;AACrD,gDADY,OAAO,mBAAmB,EAAE,IAAI;;IAetC,kCAAkC;sBAAtB,KAAK,CAAC,KAAK,CAAC;IAMxB;;;;;;;;;OASG;qBAJQ,OAAO,CAAC,KAAK,CAAC,mBACd,OAAO,GAEL,OAAO,CAAC,MAAM,CAAC;IAS5B;;;;;OAKG;qBAFQ,MAAM,CAAC,KAAK,CAAC,GACX,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAOpC;;;;;;;;OAQG;cADgD,EAAE;;mBAAF,EAAE,AADxC;GAkBhB"}

package/src/localchain.js

@@ -1,7 +1,7 @@
 // @ts-check
 import { E } from '@endo/far';
 import { M } from '@endo/patterns';
-import { AmountShape, PaymentShape } from '@agoric/ertp';
+import { AmountShape, BrandShape, PaymentShape } from '@agoric/ertp';
 
 const { Fail } = assert;
 
@@ -27,6 +27,7 @@ const { Fail } = assert;
 
 export const LocalChainAccountI = M.interface('LocalChainAccount', {
   getAddress: M.callWhen().returns(M.string()),
+  getBalance: M.callWhen(BrandShape).returns(AmountShape),
   deposit: M.callWhen(PaymentShape).optional(M.pattern()).returns(AmountShape),
   withdraw: M.callWhen(AmountShape).returns(PaymentShape),
   executeTx: M.callWhen(M.arrayOf(M.record())).returns(M.arrayOf(M.record())),
@@ -47,6 +48,12 @@ const prepareLocalChainAccount = zone =>
       async getAddress() {
         return this.state.address;
       },
+      /** @param {Brand<'nat'>} brand */
+      async getBalance(brand) {
+        const { bank } = this.state;
+        const purse = E(bank).getPurse(brand);
+        return E(purse).getCurrentAmount();
+      },
       /**
        * Deposit a payment into the bank purse that matches the alleged brand.
        * This is safe, since even if the payment lies about its brand, ERTP will
@@ -68,7 +75,7 @@ const prepareLocalChainAccount = zone =>
        * Withdraw a payment from the account's bank purse of the amount's brand.
        *
        * @param {Amount<'nat'>} amount
-       * @returns {Promise<Payment>} payment
+       * @returns {Promise<Payment<'nat'>>} payment
        */
       async withdraw(amount) {
         const { bank } = this.state;

package/src/types.d.ts

@@ -1,5 +1,5 @@
 import type { Bytes } from '@agoric/network';
-import type { PromiseVow } from '@agoric/vow';
+import type { PromiseVow, Remote } from '@agoric/vow';
 import type { Guarded } from '@endo/exo';
 import type { ERef } from '@endo/far';
 import type { BridgeIdValue } from '@agoric/internal';
@@ -106,15 +106,15 @@ export type ScopedBridgeManager<BridgeId extends BridgeIdValue> = Guarded<{
   getBridgeId?: () => BridgeId;
   toBridge: (obj: any) => Promise<any>;
   fromBridge: (obj: any) => PromiseVow<void>;
-  initHandler: (handler: ERef<BridgeHandler>) => void;
-  setHandler: (handler: ERef<BridgeHandler>) => void;
+  initHandler: (handler: Remote<BridgeHandler>) => void;
+  setHandler: (handler: Remote<BridgeHandler>) => void;
 }>;
 
 /** The object to manage this bridge */
 export type BridgeManager = {
   register: <BridgeId extends BridgeIdValue>(
     bridgeId: BridgeId,
-    handler?: ERef<BridgeHandler | undefined>,
+    handler?: Remote<BridgeHandler | undefined>,
   ) => ScopedBridgeManager<BridgeId>;
 };
 

package/src/vat-bank.d.ts

@@ -45,11 +45,11 @@ export function buildRootObject(_vatPowers: any, _args: any, baggage: any): {
          * @param {string} denom lower-level denomination string
          * @param {string} issuerName
          * @param {string} proposedName
-         * @param {AssetIssuerKit & { payment?: ERef<Payment> }} kit ERTP issuer
-         *   kit (mint, brand, issuer)
+         * @param {AssetIssuerKit & { payment?: ERef<Payment<'nat'>> }} kit ERTP
+         *   issuer kit (mint, brand, issuer)
          */
         addAsset(denom: string, issuerName: string, proposedName: string, kit: AssetIssuerKit & {
-            payment?: ERef<Payment>;
+            payment?: ERef<Payment<"nat">>;
         }): Promise<void>;
         /**
          * Create a new personal bank interface for a given address.
@@ -106,11 +106,11 @@ export function buildRootObject(_vatPowers: any, _args: any, baggage: any): {
          * @param {string} denom lower-level denomination string
          * @param {string} issuerName
          * @param {string} proposedName
-         * @param {AssetIssuerKit & { payment?: ERef<Payment> }} kit ERTP issuer
-         *   kit (mint, brand, issuer)
+         * @param {AssetIssuerKit & { payment?: ERef<Payment<'nat'>> }} kit ERTP
+         *   issuer kit (mint, brand, issuer)
          */
         addAsset(denom: string, issuerName: string, proposedName: string, kit: AssetIssuerKit & {
-            payment?: ERef<Payment>;
+            payment?: ERef<Payment<"nat">>;
         }): Promise<void>;
         /**
          * Create a new personal bank interface for a given address.
@@ -124,7 +124,7 @@ export function buildRootObject(_vatPowers: any, _args: any, baggage: any): {
 /**
  * @typedef {AssetIssuerKit & {
  *   denom: string;
- *   escrowPurse?: RemotableObject & ERef<Purse>;
+ *   escrowPurse?: RemotableObject & ERef<Purse<'nat'>>;
  * }} AssetRecord
  */
 /**
@@ -162,15 +162,15 @@ export type BalanceUpdater = {
 } & import("../../../node_modules/@endo/exo/src/get-interface.js").GetInterfaceGuard<{
     update: (value: string, nonce?: string) => void;
 }>> & RemotableObject;
-export type BridgeChannel = Pick<import("./types.js").ScopedBridgeManager<any>, "fromBridge" | "toBridge">;
-export type AssetIssuerKit<K extends globalThis.AssetKind = globalThis.AssetKind> = {
-    mint?: globalThis.Mint<K> | undefined;
-    issuer: Issuer<K>;
-    brand: Brand<K>;
+export type BridgeChannel = Pick<import("./types.js").ScopedBridgeManager<"bank">, "getBridgeId" | "fromBridge" | "toBridge">;
+export type AssetIssuerKit = {
+    mint?: globalThis.Mint<"nat"> | undefined;
+    issuer: Issuer<"nat">;
+    brand: Brand<"nat">;
 };
-export type AssetRecord = AssetIssuerKit<globalThis.AssetKind> & {
+export type AssetRecord = AssetIssuerKit & {
     denom: string;
-    escrowPurse?: (RemotableObject & globalThis.ERef<globalThis.Purse>) | undefined;
+    escrowPurse?: (RemotableObject & globalThis.ERef<globalThis.Purse<"nat">>) | undefined;
 };
 export type AssetDescriptor = {
     brand: Brand;
@@ -222,7 +222,6 @@ declare function prepareBankManager(zone: import("@agoric/zone").Zone, { provide
         } | undefined) => import("@endo/exo").GuardedKit<{
             publisher: {
                 publish(value: any): void;
-                /** @type {MapStore<string, VirtualPurse>} */
                 finish(finalValue: any): void;
                 fail(reason: any): void;
             };
@@ -232,11 +231,11 @@ declare function prepareBankManager(zone: import("@agoric/zone").Zone, { provide
             };
         }>>;
         makeVirtualPurse: ReturnType<(zone: import("@agoric/zone").Zone) => (vpc: ERef<VirtualPurseController>, { escrowPurse: defaultEscrowPurse, ...issuerKit }: {
-            issuer: ERef<Issuer>;
-            brand: Brand;
-            mint?: ERef<Mint>;
-            escrowPurse?: ERef<Purse>;
-        }) => Promise<globalThis.Purse>>;
+            issuer: ERef<Issuer<"nat">>;
+            brand: Brand<"nat">;
+            mint?: ERef<Mint<"nat">>;
+            escrowPurse?: ERef<Purse<"nat">>;
+        }) => Promise<globalThis.Purse<"nat">>>;
     }) => (args_0: {
         address: string;
         assetSubscriber: EachTopic<AssetDescriptor>;
@@ -251,14 +250,13 @@ declare function prepareBankManager(zone: import("@agoric/zone").Zone, { provide
             [Symbol.asyncIterator](): import("@agoric/notifier").ForkableAsyncIterableIterator<any, any>;
         }>;
         /** @param {Brand} brand */
-        getPurse(brand: Brand): Promise<RemotableObject & import("@agoric/ertp/src/types.js").PurseMethods<globalThis.AssetKind, import("@endo/patterns").Key>>;
+        getPurse(brand: Brand): Promise<RemotableObject & import("@agoric/ertp/src/types.js").PurseMethods<"nat", import("@endo/patterns").Key>>;
     }>>;
     makePublishKit: ReturnType<(baggage: import("@agoric/swingset-liveslots").Baggage, kindName: string) => (options?: {
         valueDurability?: "mandatory" | undefined;
     } | undefined) => import("@endo/exo").GuardedKit<{
         publisher: {
             publish(value: any): void;
-            /** @type {MapStore<string, VirtualPurse>} */
             finish(finalValue: any): void;
             fail(reason: any): void;
         };
@@ -273,11 +271,11 @@ declare function prepareBankManager(zone: import("@agoric/zone").Zone, { provide
         pushAmount(amount: any): Promise<void>;
     }>>;
     makeVirtualPurse: ReturnType<(zone: import("@agoric/zone").Zone) => (vpc: ERef<VirtualPurseController>, { escrowPurse: defaultEscrowPurse, ...issuerKit }: {
-        issuer: ERef<Issuer>;
-        brand: Brand;
-        mint?: ERef<Mint>;
-        escrowPurse?: ERef<Purse>;
-    }) => Promise<globalThis.Purse>>;
+        issuer: ERef<Issuer<"nat">>;
+        brand: Brand<"nat">;
+        mint?: ERef<Mint<"nat">>;
+        escrowPurse?: ERef<Purse<"nat">>;
+    }) => Promise<globalThis.Purse<"nat">>>;
 }): (args_0: {
     bankChannel?: BridgeChannel | undefined;
     denomToAddressUpdater: MapStore<string, MapStore<string, BalanceUpdater>>;
@@ -317,11 +315,11 @@ declare function prepareBankManager(zone: import("@agoric/zone").Zone, { provide
      * @param {string} denom lower-level denomination string
      * @param {string} issuerName
      * @param {string} proposedName
-     * @param {AssetIssuerKit & { payment?: ERef<Payment> }} kit ERTP issuer
-     *   kit (mint, brand, issuer)
+     * @param {AssetIssuerKit & { payment?: ERef<Payment<'nat'>> }} kit ERTP
+     *   issuer kit (mint, brand, issuer)
      */
     addAsset(denom: string, issuerName: string, proposedName: string, kit: AssetIssuerKit & {
-        payment?: ERef<Payment>;
+        payment?: ERef<Payment<"nat">>;
     }): Promise<void>;
     /**
      * Create a new personal bank interface for a given address.

package/src/vat-bank.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vat-bank.d.ts","sourceRoot":"","sources":["vat-bank.js"],"names":[],"mappings":"AAu1BA;IASI;;;;;;;;OAQG;yCAPQ,IAAI,CACd,OAAW,YAAY,EAAE,mBAAmB,CAAC,MAAM,CAAC,GAAG,SAAS,CAC7D;gBAGsB,OAAO,YAAY,EAAE,SAAS,CAAC,QAAQ,CAAC;;QAvPhE;;;;WAIG;gCADU,iBAAiB,CAAC,eAAe,CAAC;QAS/C;;;;;;;;WAQG;gDAPQ,MAAM,UACN,cAAc,GACZ,IAAI,CAChB,OAAW,WAAW,EAAE,KAAK,CAC7B,OAAa,2BAA2B,EAAE,YAAY,CACjD,CACF;QAkBJ;;;;;;WAMG;4CAHQ,MAAM,GACJ,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;QAenC;;;;;;;;;;;;WAYG;wBALQ,MAAM,cACN,MAAM,gBACN,MAAM,OACN,cAAc,GAAG;YAAE,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;SAAE;QA2EvD;;;;;WAKG;mCAFQ,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC;;;IAgG5B;;;;;;;;OAQG;yCAPQ,IAAI,CACd,OAAW,YAAY,EAAE,mBAAmB,CAAC,MAAM,CAAC,GAAG,SAAS,CAC7D;gBAGsB,OAAO,YAAY,EAAE,SAAS,CAAC,QAAQ,CAAC;;QAvPhE;;;;WAIG;gCADU,iBAAiB,CAAC,eAAe,CAAC;QAS/C;;;;;;;;WAQG;gDAPQ,MAAM,UACN,cAAc,GACZ,IAAI,CAChB,OAAW,WAAW,EAAE,KAAK,CAC7B,OAAa,2BAA2B,EAAE,YAAY,CACjD,CACF;QAkBJ;;;;;;WAMG;4CAHQ,MAAM,GACJ,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;QAenC;;;;;;;;;;;;WAYG;wBALQ,MAAM,cACN,MAAM,gBACN,MAAM,OACN,cAAc,GAAG;YAAE,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;SAAE;QA2EvD;;;;;WAKG;mCAFQ,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC;;GAgJ/B;AAhiBD;;;;;GAKG;AAEH;;;;;;;GAOG;AAEH;;;;;GAKG;AAEH;;;;;;GAMG;AAEH;;;GAGG;2BA5WU,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC;;YAM3D,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,IAAI;;YAAvC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,IAAI;;YAAvC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,IAAI;;YAAvC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,IAAI;;4BASvC,IAAI,CAChB,OAAW,YAAY,EAAE,mBAAmB,CAAC,GAAG,CAAC,EACjD,YAAgB,GAAG,UAAU,CAC1B;2BA4SgB,CAAC;;YADP,MAAM,CACA,CAAC,AADC,CAAC;WACT,KAAK,CAAC,CAAC,CAAC;;;WAcV,MAAM;;;;WAOJ,KAAK;;gBAEL,MAAM;WACN,MAAM;kBACN,MAAM;;wBAIP,eAAe,GAAG;IAC9B,MAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,WAAe,EAAE,WAAW,CAAC;CAC1B;;;;;0BAKU,MAAM,iBAAiB,CAAC,eAAe,CAAC;;;;;cAExC,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,YAAY,CAAC;;0BAuZvC,UAAU,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC;6BA5wBrC,WAAW;qCACO,kBAAkB;oCAJvD,oBAAoB;AAyhB3B;;;;;;;;GAQG;AACH,0CARW,OAAO,cAAc,EAAE,IAAI;IAEkB,wBAAwB,EAArE,UAAU,QA/QT,OAAO,cAAc,EAAE,IAAI;;;OA+QQ;IACJ,QAAQ,EAAxC,UAAU,QA3JV,OAAO,cAAc,EAAE,IAAI;QAEkB,wBAAwB,EAArE,UAAU,QAvHT,OAAO,cAAc,EAAE,IAAI;;;WAuHQ;QACS,cAAc,EAA3D,UAAU,WAHjB,OAAO,4BAA4B,EAAE,OACtC;;;;;gBAgBD,6CAA6C;;;;;;;;WAdA;QACI,gBAAgB,EAAxD,UAAU,QA1FA,OACP,cAAD,EAAE,IAAI,WAKH,KAAK,sBAAsB,CAAC,qDAElC;YAAA,QAAU,KAAM,MAAM,CAAC,CAAC;YAAA,OACxB,KAAJ,CAAC;YAAG,IAAS,CAAC,EAAC,KAAM,IAAI,CAAC,CAAC;YAAA,WAAmB,CAAC,EAAC,KAAM,KAAK,CACjE,CAAC;SAAO,+BAgFkC;;iBA4B3B,MAAM;yBACN,SAAS,CAAC,eAAe,CAAC;gCAC1B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;;4BAEhC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;uBAC5B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;+BAC7B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;;;;;;QA4B3D,2BAA2B;wBAAf,KAAK;OAyFW;IACsB,cAAc,EAA3D,UAAU,gDA5JoB,OACtC;;;;;YAgBD,6CAA6C;;;;;;;;OA2IA;IACa,yBAAyB,EAA1E,UAAU,QA9ZT,OAAO,cAAc,EAAE,IAAI;;;;OA8ZY;IACA,gBAAgB,EAAxD,UAAU,+BAnPN,IAAI;;;YAQA,CAAC;mBAAgC,CAAC;oCA2OX;;;2BAoB3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;;;IAwC3D;;;;OAIG;4BADU,iBAAiB,CAAC,eAAe,CAAC;IAS/C;;;;;;;;OAQG;4CAPQ,MAAM,UACN,cAAc,GACZ,IAAI,CAChB,OAAW,WAAW,EAAE,KAAK,CAC7B,OAAa,2BAA2B,EAAE,YAAY,CACjD,CACF;IAkBJ;;;;;;OAMG;wCAHQ,MAAM,GACJ,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAenC;;;;;;;;;;;;OAYG;oBALQ,MAAM,cACN,MAAM,gBACN,MAAM,OACN,cAAc,GAAG;QAAE,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;KAAE;IA2EvD;;;;;OAKG;+BAFQ,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC;GAiC/B;4CA1vBwC,oBAAoB"}
+{"version":3,"file":"vat-bank.d.ts","sourceRoot":"","sources":["vat-bank.js"],"names":[],"mappings":"AAy1BA;IASI;;;;;;;;OAQG;yCAPQ,IAAI,CACd,OAAW,YAAY,EAAE,mBAAmB,CAAC,MAAM,CAAC,GAAG,SAAS,CAC7D;gBAGsB,OAAO,YAAY,EAAE,SAAS,CAAC,QAAQ,CAAC;;QAvPhE;;;;WAIG;gCADU,iBAAiB,CAAC,eAAe,CAAC;QAS/C;;;;;;;;WAQG;gDAPQ,MAAM,UACN,cAAc,GACZ,IAAI,CAChB,OAAW,WAAW,EAAE,KAAK,CAC7B,OAAa,2BAA2B,EAAE,YAAY,CACjD,CACF;QAkBJ;;;;;;WAMG;4CAHQ,MAAM,GACJ,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;QAenC;;;;;;;;;;;;WAYG;wBALQ,MAAM,cACN,MAAM,gBACN,MAAM,OACN,cAAc,GAAG;YAAE,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;SAAE;QA2E9D;;;;;WAKG;mCAFQ,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC;;;IAgG5B;;;;;;;;OAQG;yCAPQ,IAAI,CACd,OAAW,YAAY,EAAE,mBAAmB,CAAC,MAAM,CAAC,GAAG,SAAS,CAC7D;gBAGsB,OAAO,YAAY,EAAE,SAAS,CAAC,QAAQ,CAAC;;QAvPhE;;;;WAIG;gCADU,iBAAiB,CAAC,eAAe,CAAC;QAS/C;;;;;;;;WAQG;gDAPQ,MAAM,UACN,cAAc,GACZ,IAAI,CAChB,OAAW,WAAW,EAAE,KAAK,CAC7B,OAAa,2BAA2B,EAAE,YAAY,CACjD,CACF;QAkBJ;;;;;;WAMG;4CAHQ,MAAM,GACJ,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;QAenC;;;;;;;;;;;;WAYG;wBALQ,MAAM,cACN,MAAM,gBACN,MAAM,OACN,cAAc,GAAG;YAAE,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;SAAE;QA2E9D;;;;;WAKG;mCAFQ,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC;;GAkJ/B;AAliBD;;;;;GAKG;AAEH;;;;;;;GAOG;AAEH;;;;;GAKG;AAEH;;;;;;GAMG;AAEH;;;GAGG;2BA9WU,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC;;YAM3D,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,IAAI;;YAAvC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,IAAI;;YAAvC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,IAAI;;YAAvC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,IAAI;;4BASvC,IAAI,CAChB,OAAW,YAAY,EAAE,mBAAmB,CAAC,MAAM,CAAC,EACpD,aAAiB,GAAG,YAAY,GAAG,UAAU,CAC1C;;;YA6SU,MAAM,CAAC,KAAK,CAAC;WACb,KAAK,CAAC,KAAK,CAAC;;;WAcd,MAAM;;;;WAOJ,KAAK;;gBAEL,MAAM;WACN,MAAM;kBACN,MAAM;;wBAIP,eAAe,GAAG;IAC9B,MAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,WAAe,EAAE,WAAW,CAAC;CAC1B;;;;;0BAKU,MAAM,iBAAiB,CAAC,eAAe,CAAC;;;;;cAExC,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,YAAY,CAAC;;0BAuZvC,UAAU,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC;6BA9wBrC,WAAW;qCACO,kBAAkB;oCAJvD,oBAAoB;AA2hB3B;;;;;;;;GAQG;AACH,0CARW,OAAO,cAAc,EAAE,IAAI;IAEkB,wBAAwB,EAArE,UAAU,QA9QT,OAAO,cAAc,EAAE,IAAI;;;OA8QQ;IACJ,QAAQ,EAAxC,UAAU,QA3JV,OAAO,cAAc,EAAE,IAAI;QAEkB,wBAAwB,EAArE,UAAU,QAtHT,OAAO,cAAc,EAAE,IAAI;;;WAsHQ;QACS,cAAc,EAA3D,UAAU,WATW,OAAO,4BACf,EAAE,OAAO;;;;;;;;;;;;WAQc;QACI,gBAAgB,EAAxD,UAAU,QAvFP,OAAC,cAAc,EAAE,IAC9B,WAKS,KADK,sBAAsB,CAAC,qDAElB;YAAC,QAAe,KAAM,OAAO,KAAK,CAAC,CAAC,CAAC;YAAA,OACjD,MAEA,KAAF,CAAC,CAAC;YAAA,IAAY,CAAC,EAAC,KAChB,KACA,KAAD,CAAC,CAAC,CAAC;YAAA,WAAmB,CAAC,EAAC,KACrB,MAAA,KAAK,CAAC,CAAC,CAAC;SAAO,sCA0EmB;;iBA4B3B,MAAM;yBACN,SAAS,CAAC,eAAe,CAAC;gCAC1B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;;4BAEhC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;uBAC5B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;+BAC7B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;;;;;;QA4B3D,2BAA2B;wBAAf,KAAK;OAyFW;IACsB,cAAc,EAA3D,UAAU,gDAjKK,OAAO;;;;;;;;;;;;OAiKc;IACa,yBAAyB,EAA1E,UAAU,QAhaT,OAAO,cAAc,EAAE,IAAI;;;;OAgaY;IACA,gBAAgB,EAAxD,UAAU,+BAjPU,IAC9B;;;YASmB,CAAC;mBAEM,CAAC;2CAqOc;;;2BAoB3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;;;IAwC3D;;;;OAIG;4BADU,iBAAiB,CAAC,eAAe,CAAC;IAS/C;;;;;;;;OAQG;4CAPQ,MAAM,UACN,cAAc,GACZ,IAAI,CAChB,OAAW,WAAW,EAAE,KAAK,CAC7B,OAAa,2BAA2B,EAAE,YAAY,CACjD,CACF;IAkBJ;;;;;;OAMG;wCAHQ,MAAM,GACJ,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAenC;;;;;;;;;;;;OAYG;oBALQ,MAAM,cACN,MAAM,gBACN,MAAM,OACN,cAAc,GAAG;QAAE,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;KAAE;IA2E9D;;;;;OAKG;+BAFQ,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC;GAiC/B;4CA5vBwC,oBAAoB"}

package/src/vat-bank.js

@@ -52,8 +52,8 @@ const BalanceUpdaterI = M.interface('BalanceUpdater', {
 
 /**
  * @typedef {Pick<
- *   import('./types.js').ScopedBridgeManager<any>,
- *   'fromBridge' | 'toBridge'
+ *   import('./types.js').ScopedBridgeManager<'bank'>,
+ *   'getBridgeId' | 'fromBridge' | 'toBridge'
  * >} BridgeChannel
  */
 
@@ -199,7 +199,6 @@ const prepareBankChannelHandler = zone =>
                 if (addressToUpdater.has(address)) {
                   updater = addressToUpdater.get(address);
                 }
-                // console.info('bank balance update', update);
               } catch (e) {
                 console.error('Unregistered denom in', update, e);
               }
@@ -207,6 +206,10 @@ const prepareBankChannelHandler = zone =>
                 try {
                   updater.update(value, nonce);
                 } catch (e) {
+                  // ??? Is this an invariant that should complain louder?
+
+                  // NB: this failure does not propagate. The update() method is
+                  // responsible for propagating the errow without side-effects.
                   console.error('Error updating balance', update, e);
                 }
               }
@@ -350,11 +353,10 @@ const prepareAssetSubscription = zone => {
 };
 
 /**
- * @template {AssetKind} [K=AssetKind]
  * @typedef {object} AssetIssuerKit
- * @property {Mint<K>} [mint]
- * @property {Issuer<K>} issuer
- * @property {Brand<K>} brand
+ * @property {Mint<'nat'>} [mint]
+ * @property {Issuer<'nat'>} issuer
+ * @property {Brand<'nat'>} brand
  */
 
 const BaseIssuerKitShape = harden({
@@ -369,7 +371,7 @@ const AssetIssuerKitShape = M.splitRecord(BaseIssuerKitShape, {
 /**
  * @typedef {AssetIssuerKit & {
  *   denom: string;
- *   escrowPurse?: RemotableObject & ERef<Purse>;
+ *   escrowPurse?: RemotableObject & ERef<Purse<'nat'>>;
  * }} AssetRecord
  */
 
@@ -687,8 +689,8 @@ const prepareBankManager = (
        * @param {string} denom lower-level denomination string
        * @param {string} issuerName
        * @param {string} proposedName
-       * @param {AssetIssuerKit & { payment?: ERef<Payment> }} kit ERTP issuer
-       *   kit (mint, brand, issuer)
+       * @param {AssetIssuerKit & { payment?: ERef<Payment<'nat'>> }} kit ERTP
+       *   issuer kit (mint, brand, issuer)
        */
       async addAsset(denom, issuerName, proposedName, kit) {
         const {
@@ -882,25 +884,27 @@ export function buildRootObject(_vatPowers, _args, baggage) {
         'denomToAddressUpdater',
       );
 
-      /** @param {ERef<import('./types.js').ScopedBridgeManager<'bank'>>} [bankBridgeMgr] */
-      async function getBankChannel(bankBridgeMgr) {
+      async function getBankChannel() {
         // We do the logic here if the bridge manager is available.  Otherwise,
         // the bank is not "remote" (such as on sim-chain), so we just use
         // immediate purses instead of virtual ones.
-        if (!bankBridgeMgr) {
+        if (!bankBridgeManager) {
+          console.warn(
+            'no bank bridge manager, using immediate purses instead of virtual ones',
+          );
           return undefined;
         }
 
         // We need to synchronise with the remote bank.
         const handler = makeBankChannelHandler(denomToAddressUpdater);
-        await E(bankBridgeMgr).initHandler(handler);
+        await E(bankBridgeManager).initHandler(handler);
 
         // We can only downcall to the bank if there exists a bridge manager.
-        return makeBridgeChannelAttenuator({ target: bankBridgeMgr });
+        return makeBridgeChannelAttenuator({ target: bankBridgeManager });
       }
 
       const [bankChannel, nameAdmin] = await Promise.all([
-        getBankChannel(bankBridgeManager),
+        getBankChannel(),
         nameAdminP,
       ]);
       return makeBankManager({

package/src/vat-localchain.d.ts

@@ -8,8 +8,9 @@ export function buildRootObject(_vatPowers: any, _args: any, baggage: any): {
     makeLocalChain(powers: import("./localchain.js").LocalChainPowers): import("@endo/exo").Guarded<{
         makeAccount(): Promise<import("@endo/exo").Guarded<{
             getAddress(): Promise<string>;
+            getBalance(brand: Brand<"nat">): Promise<import("@agoric/ertp/src/types.js").NatAmount>;
             deposit(payment: Payment<"nat">, optAmountShape?: Pattern): Promise<globalThis.Amount>;
-            withdraw(amount: Amount<"nat">): Promise<globalThis.Payment>;
+            withdraw(amount: Amount<"nat">): Promise<globalThis.Payment<"nat">>;
             executeTx<MT extends {
                 '@type': string;
             }[]>(messages: MT): Promise<{ [K in keyof MT]: import("@agoric/cosmic-proto").ResponseTo<MT[K]>; }>;
@@ -34,8 +35,9 @@ export function buildRootObject(_vatPowers: any, _args: any, baggage: any): {
     makeLocalChain(powers: import("./localchain.js").LocalChainPowers): import("@endo/exo").Guarded<{
         makeAccount(): Promise<import("@endo/exo").Guarded<{
             getAddress(): Promise<string>;
+            getBalance(brand: Brand<"nat">): Promise<import("@agoric/ertp/src/types.js").NatAmount>;
             deposit(payment: Payment<"nat">, optAmountShape?: Pattern): Promise<globalThis.Amount>;
-            withdraw(amount: Amount<"nat">): Promise<globalThis.Payment>;
+            withdraw(amount: Amount<"nat">): Promise<globalThis.Payment<"nat">>;
             executeTx<MT extends {
                 '@type': string;
             }[]>(messages: MT): Promise<{ [K in keyof MT]: import("@agoric/cosmic-proto").ResponseTo<MT[K]>; }>;

package/src/vat-localchain.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vat-localchain.d.ts","sourceRoot":"","sources":["vat-localchain.js"],"names":[],"mappings":"AAMO;IAKH;;;;;OAKG;2BADQ,OAAO,iBAAiB,EAAE,gBAAgB;;;6BAS6xB,QAAQ,KAAK,CAAC,mBAA2B,OAAO;6BAAwhB,OAAO,KAAK,CAAC;;;2BAAyhB,EAAE;;uBAA6oE,OAAO,sBAAsB,EAAE,SAAS;;;4BAAyqB,OAAO,sBAAsB,EAAE,SAAS,EAAE;;;;;;;;IAb10J;;;;;OAKG;2BADQ,OAAO,iBAAiB,EAAE,gBAAgB;;;;;;;;;sDASyjI,SAAS;;;2DAAwsB,SAAS;;;;;;;GAH30J;4BAEa,UAAU,CAAC,OAAO,eAAe,CAAC"}
+{"version":3,"file":"vat-localchain.d.ts","sourceRoot":"","sources":["vat-localchain.js"],"names":[],"mappings":"AAMO;IAKH;;;;;OAKG;2BADQ,OAAO,iBAAiB,EAAE,gBAAgB;;;8BAS4mB,MAAM,KAAK,CAAC;6BAA8b,QAAQ,KAAK,CAAC,mBAA2B,OAAO;6BAAwhB,OAAO,KAAK,CAAC;;;2BAAgiB,EAAE;;uBAA6oE,OAAO,sBAAsB,EAAE,SAAS;;;4BAAyqB,OAAO,sBAAsB,EAAE,SAAS,EAAE;;;;;;;;IAb1mK;;;;;OAKG;2BADQ,OAAO,iBAAiB,EAAE,gBAAgB;;;;;;;;;;sDASy1I,SAAS;;;2DAAwsB,SAAS;;;;;;;GAH3mK;4BAEa,UAAU,CAAC,OAAO,eAAe,CAAC"}

package/src/virtual-purse.d.ts

@@ -34,13 +34,13 @@ export function makeVirtualPurseKitIKit(brandShape?: Pattern, amountShape?: Patt
     }>;
 };
 export function prepareVirtualPurse(zone: import("@agoric/zone").Zone): (vpc: ERef<VirtualPurseController>, { escrowPurse: defaultEscrowPurse, ...issuerKit }: {
-    issuer: ERef<Issuer>;
-    brand: Brand;
-    mint?: ERef<Mint>;
-    escrowPurse?: ERef<Purse>;
-}) => Promise<globalThis.Purse>;
-export type Retain = (pmt: Payment, optAmountShape?: Pattern) => Promise<Amount>;
-export type Redeem = (amt: Amount) => Promise<Payment>;
+    issuer: ERef<Issuer<"nat">>;
+    brand: Brand<"nat">;
+    mint?: ERef<Mint<"nat">>;
+    escrowPurse?: ERef<Purse<"nat">>;
+}) => Promise<globalThis.Purse<"nat">>;
+export type Retain = (pmt: Payment<"nat">, optAmountShape?: Pattern) => Promise<Amount>;
+export type Redeem = (amt: Amount<"nat">) => Promise<Payment<"nat">>;
 /**
  * The object that determines the
  *   remote behaviour of a virtual purse.

package/src/virtual-purse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"virtual-purse.d.ts","sourceRoot":"","sources":["virtual-purse.js"],"names":[],"mappings":"AAoBO,qDAHI,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6DjB;AAwLM,0CADK,OAAO,cAAc,EAAE,IAAI,SAK1B,IAAI,CAAC,sBAAsB,CAAC,qDAE5B;IACV,MAAU,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACzB,KAAS,EAAE,KAAK,CAAC;IACjB,IAAQ,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,WAAe,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;CAC3B,+BAkCL;qBAjOa,CAAC,GAAG,EAAE,OAAO,EAAE,cAAc,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC;qBAC3D,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC;;;;;;;;;;;;gBAKjC,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;;;;;;;gBAIjC,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;;;;;iBAIjC,CAAC,KAAK,EAAE,KAAK,KAAK,WAAW,CAAC,MAAM,CAAC"}
+{"version":3,"file":"virtual-purse.d.ts","sourceRoot":"","sources":["virtual-purse.js"],"names":[],"mappings":"AAoBO,qDAHI,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6DjB;AAsMM,0CADK,OAAO,cAAc,EAAE,IAAI,SAK1B,IAAI,CAAC,sBAAsB,CAAC,qDAE5B;IACV,MAAU,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAChC,KAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxB,IAAQ,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7B,WAAe,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;CAClC,sCAkCL;qBA9OY,CACZ,GAAO,EAAE,OAAO,CAAC,KAAK,CAAC,EACvB,cAAkB,CAAC,EAAE,OAAO,KACrB,OAAO,CAAC,MAAM,CAAC;qBAET,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;;;;;;;;;;;;gBAK/C,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;;;;;;;gBAIjC,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;;;;;iBAIjC,CAAC,KAAK,EAAE,KAAK,KAAK,WAAW,CAAC,MAAM,CAAC"}

package/src/virtual-purse.js

@@ -81,8 +81,13 @@ export const makeVirtualPurseKitIKit = (
 
 /** @import {EOnly} from '@endo/far'; */
 
-/** @typedef {(pmt: Payment, optAmountShape?: Pattern) => Promise<Amount>} Retain */
-/** @typedef {(amt: Amount) => Promise<Payment>} Redeem */
+/**
+ * @typedef {(
+ *   pmt: Payment<'nat'>,
+ *   optAmountShape?: Pattern,
+ * ) => Promise<Amount>} Retain
+ */
+/** @typedef {(amt: Amount<'nat'>) => Promise<Payment<'nat'>>} Redeem */
 
 /**
  * @typedef {object} VirtualPurseController The object that determines the
@@ -106,8 +111,15 @@ const prepareVirtualPurseKit = zone =>
     makeVirtualPurseKitIKit().VirtualPurseIKit,
     /**
      * @param {ERef<VirtualPurseController>} vpc
-     * @param {{ issuer: ERef<Issuer>; brand: Brand; mint?: ERef<Mint> }} issuerKit
-     * @param {{ recoveryPurse: ERef<Purse>; escrowPurse?: ERef<Purse> }} purses
+     * @param {{
+     *   issuer: ERef<Issuer>;
+     *   brand: Brand;
+     *   mint?: ERef<Mint<'nat'>>;
+     * }} issuerKit
+     * @param {{
+     *   recoveryPurse: ERef<Purse<'nat'>>;
+     *   escrowPurse?: ERef<Purse<'nat'>>;
+     * }} purses
      */
     (vpc, issuerKit, purses) => ({
       vpc,
@@ -124,8 +136,9 @@ const prepareVirtualPurseKit = zone =>
          * this on the `retain` operations (since we are just burning the
          * payment or depositing it directly in the `escrowPurse`).
          *
-         * @param {ERef<Payment>} payment
-         * @param {Amount} [optAmountShape]
+         * @param {ERef<Payment<'nat'>>} payment
+         * @param {Amount<'nat'>} [optAmountShape]
+         * @returns {Promise<Payment<'nat'>>}
          */
         async recoverableClaim(payment, optAmountShape) {
           const {
@@ -235,6 +248,7 @@ const prepareVirtualPurseKit = zone =>
         getDepositFacet() {
           return this.facets.depositFacet;
         },
+        /** @type {(amount: Amount<'nat'>) => Promise<Payment<'nat'>>} */
         async withdraw(amount) {
           // Both ensure that the amount exists, and have the other side "send" it
           // to us.  If this fails, the balance is not affected and the withdraw
@@ -268,10 +282,10 @@ export const prepareVirtualPurse = zone => {
    * @param {ERef<VirtualPurseController>} vpc the controller that represents
    *   the "other side" of this purse.
    * @param {{
-   *   issuer: ERef<Issuer>;
-   *   brand: Brand;
-   *   mint?: ERef<Mint>;
-   *   escrowPurse?: ERef<Purse>;
+   *   issuer: ERef<Issuer<'nat'>>;
+   *   brand: Brand<'nat'>;
+   *   mint?: ERef<Mint<'nat'>>;
+   *   escrowPurse?: ERef<Purse<'nat'>>;
    * }} params
    *   the contents of the issuer kit for "us".
    *
@@ -280,9 +294,9 @@ export const prepareVirtualPurse = zone => {
    *   general, but escrow doesn't support the case where the "other side" is
    *   also minting assets... our escrow purse may not have enough assets in it
    *   to redeem the ones that are sent from the "other side".
-   * @returns {Promise<Awaited<EOnly<Purse>>>} This is not just a Purse because
-   *   it plays fast-and-loose with the synchronous Purse interface. So, the
-   *   consumer of this result must only interact with the virtual purse via
+   * @returns {Promise<Awaited<EOnly<Purse<'nat'>>>>} This is not just a Purse
+   *   because it plays fast-and-loose with the synchronous Purse interface. So,
+   *   the consumer of this result must only interact with the virtual purse via
    *   eventual-send (to conceal the methods that are returning promises instead
    *   of synchronously).
    */

package/tools/bank-utils.d.ts

@@ -1,6 +1,30 @@
-export function makeFakeBankKit(issuerKits: Pick<IssuerKit, "brand" | "issuer">[]): {
+export function makeFakeBankKit(issuerKits: Pick<IssuerKit<"nat">, "brand" | "issuer">[]): {
     addAsset: (denom: string, issuerName: string, proposedName: string, kit: import("../src/vat-bank.js").AssetIssuerKit) => void;
     assetPublication: globalThis.IterationObserver<import("../src/vat-bank.js").AssetDescriptor>;
     bank: import("../src/vat-bank.js").Bank;
 };
+export function makeFakeBankManagerKit(opts?: {
+    balances: import("./fake-bridge.js").Balances;
+} | undefined): Promise<{
+    bankManager: import("@endo/exo").Guarded<{
+        getAssetSubscription(): globalThis.IterableEachTopic<import("../src/vat-bank.js").AssetDescriptor>;
+        getRewardDistributorDepositFacet(denom: string, feeKit: AssetIssuerKit): globalThis.ERef<{
+            /**
+             * Deposit all the contents of payment
+             * into the purse that made this facet, returning the amount. If the optional
+             * argument `optAmount` does not equal the amount of digital assets in the
+             * payment, throw an error.
+             *
+             * If payment is a promise, throw an error.
+             */
+            receive: (args_0: globalThis.Payment, args_1?: globalThis.Pattern) => globalThis.ERef<globalThis.Amount>;
+        }>;
+        getModuleAccountAddress(moduleName: string): Promise<string | null>;
+        addAsset(denom: string, issuerName: string, proposedName: string, kit: AssetIssuerKit & {
+            payment?: ERef<Payment<"nat">>;
+        }): Promise<void>;
+        getBankForAddress(address: string): Promise<import("../src/vat-bank.js").Bank>;
+    }>;
+    pourPayment: (amount: Amount<"nat">) => Promise<Payment<"nat">>;
+}>;
 //# sourceMappingURL=bank-utils.d.ts.map

package/tools/bank-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bank-utils.d.ts","sourceRoot":"","sources":["bank-utils.js"],"names":[],"mappings":"AAMO,4CADK,IAAI,CAAC,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC,EAAE;sBA2BpC,MAAM,cACN,MAAM,gBACN,MAAM,OACN,OAAO,oBAAoB,EAAE,cAAc;;;EAqBvD"}
+{"version":3,"file":"bank-utils.d.ts","sourceRoot":"","sources":["bank-utils.js"],"names":[],"mappings":"AAYO,4CAFI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAC,EAAE;sBA4B1C,MAAM,cACN,MAAM,gBACN,MAAM,OACN,OAAO,oBAAoB,EAAE,cAAc;;;EAqBvD;AAMM;cAFI,OAAO,kBAAkB,EAAE,QAAQ;;;;gEA0B03gB,cAAc;;;;;;;;;;;;+EAAiiD,cAAc,GAAE;YAAE,OAAQ,CAAC,EAAC,KAAM,QAAQ,KAAK,CAAC,CAAC,CAAA;SAAE;;;0BAX7/jB,MAAM,CAAC,KAAK,CAAC,KACX,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;GASrC"}

package/tools/bank-utils.js

@@ -1,9 +1,15 @@
 import { makeSubscriptionKit } from '@agoric/notifier';
-import { makeScalarMapStore } from '@agoric/vat-data';
+import { makeScalarBigMapStore, makeScalarMapStore } from '@agoric/vat-data';
+import { makeDurableZone } from '@agoric/zone/durable.js';
 import { E } from '@endo/far';
 import { Far } from '@endo/marshal';
+import { buildRootObject as buildBankVatRoot } from '../src/vat-bank.js';
+import { FAUCET_ADDRESS, makeFakeBankBridge } from './fake-bridge.js';
 
-/** @param {Pick<IssuerKit, 'brand' | 'issuer'>[]} issuerKits */
+/**
+ * @deprecated use makeFakeBankManagerKit
+ * @param {Pick<IssuerKit<'nat'>, 'brand' | 'issuer'>[]} issuerKits
+ */
 export const makeFakeBankKit = issuerKits => {
   /** @type {MapStore<Brand, Issuer>} */
   const issuers = makeScalarMapStore();
@@ -55,3 +61,32 @@ export const makeFakeBankKit = issuerKits => {
 
   return { addAsset, assetPublication: publication, bank };
 };
+
+/**
+ * @param {object} [opts]
+ * @param {import('./fake-bridge.js').Balances} opts.balances initial balances
+ */
+export const makeFakeBankManagerKit = async opts => {
+  const baggage = makeScalarBigMapStore('baggage');
+  const zone = makeDurableZone(baggage);
+
+  const bankManager = await buildBankVatRoot(
+    undefined,
+    undefined,
+    zone.mapStore('bankManager'),
+  ).makeBankManager(makeFakeBankBridge(zone, opts));
+
+  /**
+   * Get a payment from the faucet
+   *
+   * @param {Amount<'nat'>} amount
+   * @returns {Promise<Payment<'nat'>>}
+   */
+  const pourPayment = async amount => {
+    const faucet = await E(bankManager).getBankForAddress(FAUCET_ADDRESS);
+    const purse = await E(faucet).getPurse(amount.brand);
+    return E(purse).withdraw(amount);
+  };
+
+  return { bankManager, pourPayment };
+};

package/tools/fake-bridge.d.ts

@@ -1,4 +1,15 @@
-export function makeFakeIbcBridge(zone: import("@agoric/zone").Zone, onToBridge: (obj: any) => void, onFromBridge: (handler: any, obj: any) => Promise<void>): ScopedBridgeManager<"dibc">;
-export function makeFakeLocalchainBridge(zone: import("@agoric/zone").Zone, onToBridge?: ((obj: any) => void) | undefined, onFromBridge?: ((handler: any, obj: any) => ERef<void>) | undefined): ScopedBridgeManager<"vlocalchain">;
+/** @typedef {{ [address: string]: { [denom: string]: bigint } }} Balances */
+export const FAUCET_ADDRESS: "faucet";
+export function makeFakeBankBridge(zone: import("@agoric/zone").Zone, opts?: {
+    balances: Balances;
+}): ScopedBridgeManager<"bank">;
+export function makeFakeIbcBridge(zone: import("@agoric/zone").Zone, onToBridge: (obj: any) => void): ScopedBridgeManager<"dibc">;
+export const LOCALCHAIN_DEFAULT_ADDRESS: "agoric1fakeLCAAddress";
+export function makeFakeLocalchainBridge(zone: import("@agoric/zone").Zone, onToBridge?: ((obj: any) => void) | undefined): ScopedBridgeManager<"vlocalchain">;
+export type Balances = {
+    [address: string]: {
+        [denom: string]: bigint;
+    };
+};
 import type { ScopedBridgeManager } from '../src/types.js';
 //# sourceMappingURL=fake-bridge.d.ts.map

package/tools/fake-bridge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fake-bridge.d.ts","sourceRoot":"","sources":["fake-bridge.js"],"names":[],"mappings":"AAcO,wCALI,OAAO,cAAc,EAAE,IAAI,cAC3B,CAAC,GAAG,KAAA,KAAK,IAAI,gBACb,CAAC,OAAO,KAAA,EAAE,GAAG,KAAA,KAAK,OAAO,CAAC,IAAI,CAAC,+BA8BzC;AAQM,+CALI,OAAO,cAAc,EAAE,IAAI,8BAClB,IAAI,2DACK,IAAI,CAAC,IAAI,CAAC,mDA+DtC;yCAxGqC,iBAAiB"}
+{"version":3,"file":"fake-bridge.d.ts","sourceRoot":"","sources":["fake-bridge.js"],"names":[],"mappings":"AAeA,6EAA6E;AAE7E,sCAAuC;AAchC,yCANI,OAAO,cAAc,EAAE,IAAI;IAEZ,QAAQ,EAAvB,QAAQ;gCAyFlB;AAOM,wCAJI,OAAO,cAAc,EAAE,IAAI,cAC3B,CAAC,GAAG,KAAA,KAAK,IAAI,+BA+BvB;AAED,iEAAkE;AAO3D,+CAJI,OAAO,cAAc,EAAE,IAAI,8BAClB,IAAI,mDA4DvB;uBA1Ma;IAAE,CAAC,OAAO,EAAE,MAAM,GAAG;QAAE,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAA;CAAE;yCAPX,iBAAiB"}

package/tools/fake-bridge.js

@@ -1,18 +1,128 @@
-import { Fail } from '@agoric/assert';
-import assert from 'node:assert/strict';
+import { assert, Fail } from '@agoric/assert';
+import { makeTracer, VBankAccount } from '@agoric/internal';
+import { E } from '@endo/far';
+import { makeWhen } from '@agoric/vow/src/when.js';
+import { Nat } from '@endo/nat';
 
 /**
  * @import {MsgDelegateResponse} from '@agoric/cosmic-proto/cosmos/staking/v1beta1/tx.js';
- * @import {ScopedBridgeManager} from '../src/types.js';
+ * @import {BridgeHandler, ScopedBridgeManager} from '../src/types.js';
+ * @import {Remote} from '@agoric/vow';
  */
+const trace = makeTracer('FakeBridge');
+
+const when = makeWhen();
+
+/** @typedef {{ [address: string]: { [denom: string]: bigint } }} Balances */
+
+export const FAUCET_ADDRESS = 'faucet';
+const INFINITE_AMOUNT = 99999999999n;
+
+/**
+ * You can withdraw from the `faucet` address infinitely because its balance is
+ * always huge. When you withdraw, it's as if it is topped up again by a Cosmos
+ * transaction outside the Agoric VM. (Similarly for deposits.)
+ *
+ * @param {import('@agoric/zone').Zone} zone
+ * @param {object} opts
+ * @param {Balances} opts.balances initial balances
+ * @returns {ScopedBridgeManager<'bank'>}
+ * @see {makeFakeBankManagerKit} and its `pourPayment` for a helper
+ */
+export const makeFakeBankBridge = (zone, opts = { balances: {} }) => {
+  const { balances } = opts;
+
+  const currentBalance = ({ address, denom }) =>
+    address === FAUCET_ADDRESS
+      ? INFINITE_AMOUNT
+      : Nat((balances[address] && balances[address][denom]) ?? 0n);
+
+  let lastNonce = 0n;
+  /** @type {Remote<BridgeHandler>} */
+  let hndlr;
+  return zone.exo('Fake Bank Bridge Manager', undefined, {
+    getBridgeId: () => 'bank',
+    toBridge: async obj => {
+      const { method, type, ...params } = obj;
+      trace('toBridge', type, method, params);
+      switch (obj.type) {
+        case 'VBANK_GET_MODULE_ACCOUNT_ADDRESS': {
+          const { moduleName } = obj;
+          const moduleDescriptor = Object.values(VBankAccount).find(
+            ({ module }) => module === moduleName,
+          );
+          if (!moduleDescriptor) {
+            return 'undefined';
+          }
+          return moduleDescriptor.address;
+        }
+
+        // Observed message:
+        // address: 'agoric1megzytg65cyrgzs6fvzxgrcqvwwl7ugpt62346',
+        // denom: 'ibc/toyatom',
+        // type: 'VBANK_GET_BALANCE'
+        case 'VBANK_GET_BALANCE': {
+          return String(currentBalance(obj));
+        }
+
+        case 'VBANK_GRAB':
+        case 'VBANK_GIVE': {
+          const { amount, denom } = obj;
+          const address = type === 'VBANK_GRAB' ? obj.sender : obj.recipient;
+          balances[address] ||= {};
+          balances[address][denom] ||= 0n;
+
+          if (type === 'VBANK_GRAB') {
+            balances[address][denom] = Nat(
+              currentBalance({ address, denom }) - BigInt(amount),
+            );
+          } else {
+            balances[address][denom] = Nat(
+              currentBalance({ address, denom }) + BigInt(amount),
+            );
+          }
+
+          lastNonce += 1n;
+          // Also empty balances.
+          return harden({
+            type: 'VBANK_BALANCE_UPDATE',
+            nonce: `${lastNonce}`,
+            updated: [
+              {
+                address,
+                denom,
+                amount: String(currentBalance({ address, denom })),
+              },
+            ],
+          });
+        }
+        default:
+          Fail`unknown type ${type}`;
+      }
+    },
+    fromBridge: async obj => {
+      if (!hndlr) throw Error('no handler!');
+      trace('fromBridge', obj);
+      return when(E(hndlr).fromBridge(obj));
+    },
+    initHandler: h => {
+      if (hndlr) throw Error('already init');
+      hndlr = h;
+    },
+    setHandler: h => {
+      if (!hndlr) throw Error('must init first');
+      hndlr = h;
+    },
+  });
+};
 
 /**
  * @param {import('@agoric/zone').Zone} zone
  * @param {(obj) => void} onToBridge
- * @param {(handler, obj) => Promise<void>} onFromBridge
  * @returns {ScopedBridgeManager<'dibc'>}
  */
-export const makeFakeIbcBridge = (zone, onToBridge, onFromBridge) => {
+export const makeFakeIbcBridge = (zone, onToBridge) => {
+  /** @type {Remote<BridgeHandler>} */
   let hndlr;
   return zone.exo('Fake IBC Bridge Manager', undefined, {
     getBridgeId: () => 'dibc',
@@ -28,7 +138,7 @@ export const makeFakeIbcBridge = (zone, onToBridge, onFromBridge) => {
     },
     fromBridge: async obj => {
       if (!hndlr) throw Error('no handler!');
-      await onFromBridge(hndlr, obj);
+      return when(E(hndlr).fromBridge(obj));
     },
     initHandler: h => {
       if (hndlr) throw Error('already init');
@@ -41,17 +151,15 @@ export const makeFakeIbcBridge = (zone, onToBridge, onFromBridge) => {
   });
 };
 
+export const LOCALCHAIN_DEFAULT_ADDRESS = 'agoric1fakeLCAAddress';
+
 /**
  * @param {import('@agoric/zone').Zone} zone
  * @param {(obj) => void} [onToBridge]
- * @param {(handler, obj) => ERef<void>} [onFromBridge]
  * @returns {ScopedBridgeManager<'vlocalchain'>}
  */
-export const makeFakeLocalchainBridge = (
-  zone,
-  onToBridge = () => {},
-  onFromBridge = () => {},
-) => {
+export const makeFakeLocalchainBridge = (zone, onToBridge = () => {}) => {
+  /** @type {Remote<BridgeHandler>} */
   let hndlr;
   let lcaExecuteTxSequence = 0;
   return zone.exo('Fake Localchain Bridge Manager', undefined, {
@@ -59,10 +167,10 @@ export const makeFakeLocalchainBridge = (
     toBridge: async obj => {
       onToBridge(obj);
       const { method, type, ...params } = obj;
-      console.info('toBridge', type, method, params);
+      trace('toBridge', type, method, params);
       switch (type) {
         case 'VLOCALCHAIN_ALLOCATE_ADDRESS':
-          return 'agoric1fakeLCAAddress';
+          return LOCALCHAIN_DEFAULT_ADDRESS;
         case 'VLOCALCHAIN_EXECUTE_TX': {
           lcaExecuteTxSequence += 1;
           return obj.messages.map(message => {
@@ -96,7 +204,7 @@ export const makeFakeLocalchainBridge = (
     },
     fromBridge: async obj => {
       if (!hndlr) throw Error('no handler!');
-      await onFromBridge(hndlr, obj);
+      return when(E(hndlr).fromBridge(obj));
     },
     initHandler: h => {
       if (hndlr) throw Error('already init');