@agoric/vats 0.15.1 → 0.15.2-calypso-dev-84eb287.0

package/src/core/boot-solo.d.ts

@@ -1,61 +1,23 @@
 export const MANIFEST: import("./lib-boot.js").BootstrapManifest;
-export function buildRootObject(vatPowers: import("@agoric/swingset-vat").TerminationVatPowers & {
+export function buildRootObject(vatPowers: VatPowers & {
     D: DProxy;
     logger: (msg: any) => void;
 }, vatParameters: {
     bootstrapManifest?: Record<string, Record<string, unknown>>;
-    coreProposalCode?: string;
+    coreProposalCodeSteps?: string[];
 }): {
     bootstrap: (vats: SwingsetVats, devices: SoloDevices | ChainDevices) => Promise<void>;
     consumeItem: (name: any) => Promise<unknown>;
     produceItem: (name: any, resolution: any) => void;
     resetItem: (name: any) => void;
-    messageVat: ({ name, methodName, args }: {
-        name: any;
-        methodName: any;
-        args?: any[] | undefined;
-    }) => Promise<any>;
-    messageVatObject: ({ presence, methodName, args }: {
-        presence: any;
-        methodName: any;
-        args?: any[] | undefined;
-    }) => Promise<any>;
-    messageVatObjectSendOnly: ({ presence, methodName, args }: {
-        presence: any;
-        methodName: any;
-        args?: any[] | undefined;
-    }) => void;
-    awaitVatObject: ({ presence, path, rawOutput }: {
-        presence: any;
-        path?: any[] | undefined;
-        rawOutput?: boolean | undefined;
-    }) => Promise<any>;
+    awaitVatObject: (presence: any, path?: any[]) => Promise<any>;
     snapshotStore: <K, V>(store: MapStore<K, V>) => [K, V][];
-} & import("@endo/eventual-send").RemotableBrand<{}, {
+} & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
     bootstrap: (vats: SwingsetVats, devices: SoloDevices | ChainDevices) => Promise<void>;
     consumeItem: (name: any) => Promise<unknown>;
     produceItem: (name: any, resolution: any) => void;
     resetItem: (name: any) => void;
-    messageVat: ({ name, methodName, args }: {
-        name: any;
-        methodName: any;
-        args?: any[] | undefined;
-    }) => Promise<any>;
-    messageVatObject: ({ presence, methodName, args }: {
-        presence: any;
-        methodName: any;
-        args?: any[] | undefined;
-    }) => Promise<any>;
-    messageVatObjectSendOnly: ({ presence, methodName, args }: {
-        presence: any;
-        methodName: any;
-        args?: any[] | undefined;
-    }) => void;
-    awaitVatObject: ({ presence, path, rawOutput }: {
-        presence: any;
-        path?: any[] | undefined;
-        rawOutput?: boolean | undefined;
-    }) => Promise<any>;
+    awaitVatObject: (presence: any, path?: any[]) => Promise<any>;
     snapshotStore: <K, V>(store: MapStore<K, V>) => [K, V][];
 }>;
 //# sourceMappingURL=boot-solo.d.ts.map

package/src/core/boot-solo.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"boot-solo.d.ts","sourceRoot":"","sources":["boot-solo.js"],"names":[],"mappings":"AAqBA,iEAAkD;AAoB3C;OARC,MAAM;0BACQ,IAAI;kBAEf;IACV,iBAAqB,CAAC,EAAE,OAAO,MAAM,EAAE,OAAO,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,gBAAoB,CAAC,EAAE,MAAM,CAAC;CAC3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAMH"}
+{"version":3,"file":"boot-solo.d.ts","sourceRoot":"","sources":["boot-solo.js"],"names":[],"mappings":"AAoBA,iEAAkD;AAoB3C,2CATI,SAAS,GAAG;IACtB,CAAK,EAAE,MAAM,CAAC;IACd,MAAU,EAAE,CAAC,GAAG,KAAA,KAAK,IAAI,CAAC;CACvB,iBACO;IACV,iBAAqB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,qBAAyB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;;;;;;;;;;;;;;GAMH"}

package/src/core/boot-solo.js

@@ -1,4 +1,3 @@
-// @ts-check
 import { makeBootstrap } from './lib-boot.js';
 
 import * as basicBehaviorsPlus from './basic-behaviors.js';
@@ -31,12 +30,12 @@ const modules = harden({
  * Build root object of the bootstrap vat.
  *
  * @param {VatPowers & {
- *   D: DProxy,
- *   logger: (msg) => void,
+ *   D: DProxy;
+ *   logger: (msg) => void;
  * }} vatPowers
  * @param {{
- *   bootstrapManifest?: Record<string, Record<string, unknown>>,
- *   coreProposalCode?: string,
+ *   bootstrapManifest?: Record<string, Record<string, unknown>>;
+ *   coreProposalCodeSteps?: string[];
  * }} vatParameters
  */
 export const buildRootObject = (vatPowers, vatParameters) => {

package/src/core/chain-behaviors.d.ts

@@ -1,41 +1,25 @@
 export function bridgeCoreEval(allPowers: BootstrapPowers): Promise<void>;
-export function makeProvisioner({ consume: { clientCreator, loadCriticalVat }, vats: { comms, vattp }, produce: { provisioning }, }: BootstrapPowers & {
-    consume: {
-        loadCriticalVat: ERef<VatLoader<ProvisioningVat>>;
-    };
-}): Promise<void>;
+export function makeProvisioner({ consume: { clientCreator, loadCriticalVat }, vats: { comms, vattp }, produce: { provisioning }, }: BootstrapPowers): Promise<void>;
 export function noProvisioner({ produce: { provisioning } }: BootstrapPowers): Promise<void>;
 export function bridgeProvisioner({ consume: { provisioning: provisioningP, provisionBridgeManager: provisionBridgeManagerP, provisionWalletBridgeManager: provisionWalletBridgeManagerP, }, }: BootstrapPowers): Promise<void>;
 export function setupClientManager({ produce: { client, clientCreator: clientCreatorP } }: BootstrapSpace, { template, }?: {
     template?: Record<string, unknown>;
 }): Promise<void>;
 export function startTimerService({ devices: { timer: timerDevice }, vats: { timer: timerVat }, consume: { client }, produce: { chainTimerService: produceTimer }, brand: { produce: { timer }, }, }: BootstrapPowers): Promise<void>;
-export function makeBridgeManager({ consume: { loadCriticalVat }, devices: { bridge }, produce: { bridgeManager: bridgeManagerP, provisionBridgeManager, provisionWalletBridgeManager, walletBridgeManager, }, }: BootDevices<ChainDevices> & BootstrapSpace & {
-    consume: {
-        loadCriticalVat: ERef<VatLoader<ChainStorageVat>>;
-    };
-}): Promise<void>;
-export function makeChainStorage({ consume: { loadCriticalVat, bridgeManager: bridgeManagerP }, produce: { chainStorage: chainStorageP, storageBridgeManager: storageBridgeManagerP, }, }: BootstrapSpace & {
-    consume: {
-        loadCriticalVat: ERef<VatLoader<ChainStorageVat>>;
-    };
-}): Promise<void>;
-export function produceHighPrioritySendersManager({ consume: { loadCriticalVat, storageBridgeManager: storageBridgeManagerP }, produce: { highPrioritySendersManager: managerP }, }: BootstrapSpace & {
-    consume: {
-        loadCriticalVat: ERef<VatLoader<ChainStorageVat>>;
-    };
-}): Promise<void>;
+export function makeBridgeManager({ consume: { loadCriticalVat }, devices: { bridge }, produce: { bridgeManager: bridgeManagerP, provisionBridgeManager, provisionWalletBridgeManager, walletBridgeManager, }, }: BootDevices<ChainDevices> & BootstrapSpace): Promise<void>;
+export function makeChainStorage({ consume: { loadCriticalVat, bridgeManager: bridgeManagerP }, produce: { chainStorage: chainStorageP, storageBridgeManager: storageBridgeManagerP, }, }: BootstrapSpace): Promise<void>;
+export function produceHighPrioritySendersManager({ consume: { loadCriticalVat, storageBridgeManager: storageBridgeManagerP }, produce: { highPrioritySendersManager: managerP }, }: BootstrapSpace): Promise<void>;
 export function publishAgoricNamesToChainStorage({ consume: { chainStorage: rootP }, namedVat: { consume: { agoricNames, board: vatBoard }, }, }: BootstrapPowers & NamedVatPowers): Promise<void>;
 export function publishAgoricNames({ consume: { agoricNamesAdmin, board, chainStorage: rootP } }: BootstrapPowers, { options: { agoricNamesOptions } }?: {
     options?: {
         agoricNamesOptions?: {
-            topLevel?: string[] | undefined;
-        } | undefined;
-    } | undefined;
+            topLevel?: string[];
+        };
+    };
 }): Promise<void>;
 export function connectChainFaucet({ consume: { client } }: BootstrapPowers): Promise<void>;
-/** @type {import('./lib-boot').BootstrapManifest} */
-export const SHARED_CHAIN_BOOTSTRAP_MANIFEST: import('./lib-boot').BootstrapManifest;
 /** @type {import('./lib-boot.js').BootstrapManifest} */
-export const CHAIN_BOOTSTRAP_MANIFEST: import('./lib-boot.js').BootstrapManifest;
+export const SHARED_CHAIN_BOOTSTRAP_MANIFEST: import("./lib-boot.js").BootstrapManifest;
+/** @type {import('./lib-boot.js').BootstrapManifest} */
+export const CHAIN_BOOTSTRAP_MANIFEST: import("./lib-boot.js").BootstrapManifest;
 //# sourceMappingURL=chain-behaviors.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"chain-behaviors.d.ts","sourceRoot":"","sources":["chain-behaviors.js"],"names":[],"mappings":"AA8BO,0CAFI,eAAe,iBAmFzB;AAQM,qIAJI,eAAe,GAAG;IAC5B,OAAW,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAA;CAC/D,iBAUH;AAMM,6DAFI,eAAe,iBAIzB;AAIM,gMADK,eAAe,iBAuD1B;AAcM,2FAHI,cAAc,kBACd;IAAE,QAAQ,CAAC,EAAE,OAAO,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,iBAqFhD;AAIM,sMADK,eAAe,iBAc1B;AAQM,kNAJI,YAAY,YAAY,CAAC,GAAG,cAAc,GAAG;IACvD,OAAW,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAA;CAC/D,iBAgCH;AAQM,2LAJI,cAAc,GAAG;IAC3B,OAAW,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAA;CAC/D,iBA2BH;AAOM,qLAJI,cAAc,GAAG;IAC3B,OAAW,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAA;CAC/D,iBAoCH;AAGM,kJADK,eAAe,GAAG,cAAc,iBAkB3C;AAUM,kGALI,eAAe;;;;;;kBAqCzB;AAOM,4DAFI,eAAe,iBAMzB;AAGD,qDAAqD;AACrD,8CADW,OAAO,YAAY,EAAE,iBAAiB,CA2E/C;AAGF,wDAAwD;AACxD,uCADW,OAAO,eAAe,EAAE,iBAAiB,CASjD"}
+{"version":3,"file":"chain-behaviors.d.ts","sourceRoot":"","sources":["chain-behaviors.js"],"names":[],"mappings":"AA8BO,0CAFI,eAAe,iBAgFzB;AAMM,qIAFI,eAAe,iBAUzB;AAIM,6DADK,eAAe,iBAG1B;AAIM,gMADK,eAAe,iBAuD1B;AAcM,2FAHI,cAAc,kBACd;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,iBAqFhD;AAIM,sMADK,eAAe,iBAc1B;AAMM,kNAFI,WAAW,CAAC,YAAY,CAAC,GAAG,cAAc,iBAkCpD;AAMM,2LAFI,cAAc,iBA8BxB;AAKM,qLAFI,cAAc,iBAqCxB;AAGM,kJADK,eAAe,GAAG,cAAc,iBAkB3C;AAaM,kGATI,eAAe,wCACf;IACV,OAAW,CAAC,EAAE;QACd,kBAAwB,CAAC,EAAE;YAC3B,QAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;SACrB,CAAC;KACH,CAAC;CACH,iBAkCH;AAOM,4DAFI,eAAe,iBAMzB;AAGD,wDAAwD;AACxD,8CADW,OAAO,eAAe,EAAE,iBAAiB,CA2ElD;AAGF,wDAAwD;AACxD,uCADW,OAAO,eAAe,EAAE,iBAAiB,CASjD"}

package/src/core/chain-behaviors.js

@@ -1,5 +1,4 @@
 /* global globalThis */
-// @ts-check
 import { allValues, BridgeId as BRIDGE_ID } from '@agoric/internal';
 import * as STORAGE_PATH from '@agoric/internal/src/chain-storage-paths.js';
 import { makePrioritySendersManager } from '@agoric/internal/src/priority-senders.js';
@@ -17,13 +16,14 @@ import { makePromiseKit } from '@endo/promise-kit';
 import { PowerFlags } from '../walletFlags.js';
 import { BASIC_BOOTSTRAP_PERMITS } from './basic-behaviors.js';
 import { agoricNamesReserved, callProperties, extractPowers } from './utils.js';
+import { makeScopedBridge } from '../bridge.js';
 
 const { Fail } = assert;
 const { keys } = Object;
 
 /**
  * This registers the code triggered by `agd tx gov submit-proposal
- * swingset-core-eval permit.json code.js`.  It is the "big hammer" governance
+ * swingset-core-eval permit.json code.js`. It is the "big hammer" governance
  * that allows code.js access to all powers permitted by permit.json.
  *
  * @param {BootstrapPowers} allPowers
@@ -40,7 +40,8 @@ export const bridgeCoreEval = async allPowers => {
   const endowments = {
     VatData: globalThis.VatData,
     console,
-    assert,
+    // See https://github.com/Agoric/agoric-sdk/issues/9515
+    assert: globalThis.assert,
     Base64: globalThis.Base64, // Present only on XSnap
     URL: globalThis.URL, // Absent only on XSnap
   };
@@ -58,11 +59,7 @@ export const bridgeCoreEval = async allPowers => {
     async fromBridge(obj) {
       switch (obj.type) {
         case 'CORE_EVAL': {
-          /**
-           * Type defined by `agoric-sdk/golang/cosmos/proto/agoric/swingset/swingset.proto` CoreEval.
-           *
-           * @type {{ evals: { json_permits: string, js_code: string }[]}}
-           */
+          /** @type {import('@agoric/cosmic-proto/swingset/swingset.js').CoreEvalProposalSDKType} */
           const { evals } = obj;
           return Promise.all(
             evals.map(({ json_permits: jsonPermit, js_code: code }) =>
@@ -108,14 +105,12 @@ export const bridgeCoreEval = async allPowers => {
     // Not running with a bridge.
     return;
   }
-  await E(bridgeManager).register(BRIDGE_ID.CORE, handler);
+  await makeScopedBridge(bridgeManager, BRIDGE_ID.CORE, handler);
 };
 harden(bridgeCoreEval);
 
 /**
- * @param {BootstrapPowers & {
- *   consume: { loadCriticalVat: ERef<VatLoader<ProvisioningVat>> }
- * }} powers
+ * @param {BootstrapPowers} powers
  */
 export const makeProvisioner = async ({
   consume: { clientCreator, loadCriticalVat },
@@ -128,9 +123,7 @@ export const makeProvisioner = async ({
 };
 harden(makeProvisioner);
 
-/**
- * @param {BootstrapPowers} powers
- */
+/** @param {BootstrapPowers} powers */
 export const noProvisioner = async ({ produce: { provisioning } }) => {
   provisioning.resolve(undefined);
 };
@@ -309,9 +302,7 @@ export const startTimerService = async ({
 harden(startTimerService);
 
 /**
- * @param {BootDevices<ChainDevices> & BootstrapSpace & {
- *   consume: { loadCriticalVat: ERef<VatLoader<ChainStorageVat>> }
- * }} powers
+ * @param {BootDevices<ChainDevices> & BootstrapSpace} powers
  */
 export const makeBridgeManager = async ({
   consume: { loadCriticalVat },
@@ -337,19 +328,19 @@ export const makeBridgeManager = async ({
   const bridgeManager = E(vat).provideManagerForBridge(bridge);
   bridgeManagerP.resolve(bridgeManager);
   provisionBridgeManager.resolve(
-    E(bridgeManager).register(BRIDGE_ID.PROVISION),
+    makeScopedBridge(bridgeManager, BRIDGE_ID.PROVISION),
   );
   provisionWalletBridgeManager.resolve(
-    E(bridgeManager).register(BRIDGE_ID.PROVISION_SMART_WALLET),
+    makeScopedBridge(bridgeManager, BRIDGE_ID.PROVISION_SMART_WALLET),
+  );
+  walletBridgeManager.resolve(
+    makeScopedBridge(bridgeManager, BRIDGE_ID.WALLET),
   );
-  walletBridgeManager.resolve(E(bridgeManager).register(BRIDGE_ID.WALLET));
 };
 harden(makeBridgeManager);
 
 /**
- * @param {BootstrapSpace & {
- *   consume: { loadCriticalVat: ERef<VatLoader<ChainStorageVat>> }
- * }} powers
+ * @param {BootstrapSpace} powers
  */
 export const makeChainStorage = async ({
   consume: { loadCriticalVat, bridgeManager: bridgeManagerP },
@@ -362,11 +353,14 @@ export const makeChainStorage = async ({
   if (!bridgeManager) {
     console.warn('Cannot support chainStorage without an actual chain.');
     chainStorageP.resolve(null);
-    storageBridgeManagerP.resolve(null);
+    storageBridgeManagerP.resolve(undefined);
     return;
   }
 
-  const storageBridgeManager = E(bridgeManager).register(BRIDGE_ID.STORAGE);
+  const storageBridgeManager = makeScopedBridge(
+    bridgeManager,
+    BRIDGE_ID.STORAGE,
+  );
   storageBridgeManagerP.resolve(storageBridgeManager);
 
   const vat = E(loadCriticalVat)('bridge');
@@ -379,9 +373,7 @@ export const makeChainStorage = async ({
 };
 
 /**
- * @param {BootstrapSpace & {
- *   consume: { loadCriticalVat: ERef<VatLoader<ChainStorageVat>> }
- * }} powers
+ * @param {BootstrapSpace} powers
  */
 export const produceHighPrioritySendersManager = async ({
   consume: { loadCriticalVat, storageBridgeManager: storageBridgeManagerP },
@@ -405,14 +397,15 @@ export const produceHighPrioritySendersManager = async ({
   );
 
   /**
-   * NB: this is a non-durable Far object. If the bootstrap vat (where this object is made)
-   * were to be terminated, the object references to this would be severed.
+   * NB: this is a non-durable Far object. If the bootstrap vat (where this
+   * object is made) were to be terminated, the object references to this would
+   * be severed.
    *
-   * See {@link ./README.md bootstrap documentation} for implications.
-   * If the bootstrap vat is replaced, the new bootstrap config must be made
-   * using state extracted from IAVL. Contracts holding this manager will need
-   * to be updated with the new object, which can be done with an upgrade
-   * (regular or null) with the new object in privateArgs.
+   * See {@link ./README.md bootstrap documentation} for implications. If the
+   * bootstrap vat is replaced, the new bootstrap config must be made using
+   * state extracted from IAVL. Contracts holding this manager will need to be
+   * updated with the new object, which can be done with an upgrade (regular or
+   * null) with the new object in privateArgs.
    */
   const manager = makePrioritySendersManager(sendersNode);
 
@@ -440,12 +433,15 @@ export const publishAgoricNamesToChainStorage = async ({
 };
 
 /**
- * @deprecated use reflectAgoricNamesToChainStorage
- *
+ * @deprecated use publishAgoricNamesToChainStorage
  * @param {BootstrapPowers} powers
- * @param {{ options?: {agoricNamesOptions?: {
- *   topLevel?: string[]
- * }}}} config
+ * @param {{
+ *   options?: {
+ *     agoricNamesOptions?: {
+ *       topLevel?: string[];
+ *     };
+ *   };
+ * }} config
  */
 export const publishAgoricNames = async (
   { consume: { agoricNamesAdmin, board, chainStorage: rootP } },
@@ -493,7 +489,7 @@ export const connectChainFaucet = async ({ consume: { client } }) => {
 };
 harden(connectChainFaucet);
 
-/** @type {import('./lib-boot').BootstrapManifest} */
+/** @type {import('./lib-boot.js').BootstrapManifest} */
 export const SHARED_CHAIN_BOOTSTRAP_MANIFEST = {
   ...BASIC_BOOTSTRAP_PERMITS,
 

package/src/core/client-behaviors.d.ts

@@ -1,7 +1,8 @@
 export function startClient({ vatParameters: { argv: { FIXME_GCI }, }, devices, vats, vatPowers, consume: { vatAdminSvc }, }: BootDevices<SoloDevices> & BootstrapSpace & {
     vatParameters: BootstrapVatParams;
     vats: SwingsetVats & SoloVats;
+    zone: import("@agoric/base-zone").Zone;
 }): Promise<void>;
 /** @type {import('./lib-boot.js').BootstrapManifest} */
-export const CLIENT_BOOTSTRAP_MANIFEST: import('./lib-boot.js').BootstrapManifest;
+export const CLIENT_BOOTSTRAP_MANIFEST: import("./lib-boot.js").BootstrapManifest;
 //# sourceMappingURL=client-behaviors.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"client-behaviors.d.ts","sourceRoot":"","sources":["client-behaviors.js"],"names":[],"mappings":"AA2FO,8HALK,YAAY,WAAW,CAAC,GAAG,cAAc,GAAG;IACvD,aAAiB,EAAE,kBAAkB,CAAC;IACtC,IAAQ,EAAE,YAAY,GAAG,QAAQ,CAAC;CAC/B,iBAwEH;AAGD,wDAAwD;AACxD,wCADW,OAAO,eAAe,EAAE,iBAAiB,CAoCjD"}
+{"version":3,"file":"client-behaviors.d.ts","sourceRoot":"","sources":["client-behaviors.js"],"names":[],"mappings":"AA4FO,8HAPI,WAAW,CAAC,WAAW,CAAC,GAClC,cAAkB,GAAG;IACrB,aAAmB,EAAE,kBAAkB,CAAC;IACxC,IAAU,EAAE,YAAY,GAAG,QAAQ,CAAC;IACpC,IAAU,EAAE,OAAO,mBAAmB,EAAE,IAAI,CAAC;CACxC,iBAwEL;AAGD,wDAAwD;AACxD,wCADW,OAAO,eAAe,EAAE,iBAAiB,CAoCjD"}

package/src/core/client-behaviors.js

@@ -1,4 +1,3 @@
-// @ts-check
 import { E, Far } from '@endo/far';
 import { makePluginManager } from '@agoric/swingset-vat/src/vats/plugin-manager.js';
 import { observeNotifier } from '@agoric/notifier';
@@ -84,10 +83,12 @@ async function createLocalBundle(vats, devices, vatAdminSvc, vatPowers) {
 }
 
 /**
- * @param { BootDevices<SoloDevices> & BootstrapSpace & {
- *   vatParameters: BootstrapVatParams,
- *   vats: SwingsetVats & SoloVats,
- * }} powers
+ * @param {BootDevices<SoloDevices> &
+ *   BootstrapSpace & {
+ *     vatParameters: BootstrapVatParams;
+ *     vats: SwingsetVats & SoloVats;
+ *     zone: import('@agoric/base-zone').Zone;
+ *   }} powers
  */
 export const startClient = async ({
   vatParameters: {

package/src/core/core-eval-env.d.ts

@@ -0,0 +1,40 @@
+/* eslint-disable */
+/**
+ * @file typesdef for the CoreEval environment
+ *
+ *   To use add this to the top of the proposal:
+ *
+ *   /// <reference types="@agoric/vats/src/core/core-eval-env" />
+ *
+ *   That directive has to be before imports, but this one's only useful in
+ *   modules that have no imports or named exports.
+ */
+
+import type { VatData } from '@agoric/swingset-liveslots/src/vatDataTypes.js';
+import type * as far from '@endo/far';
+import type { Assert } from 'ses';
+import type { BootstrapModules } from './boot-chain.js';
+
+// Provided by 'CORE_EVAL' handler in chain-behaviors.js
+declare global {
+  // bootstrap modules
+  var behaviors: BootstrapModules['behaviors'];
+  var utils: BootstrapModules['utils'];
+
+  // @endo/far exports
+  var E: typeof far.E;
+  var Far: typeof far.Far;
+  var getInterfaceOfFar: typeof far.getInterfaceOf;
+  var passStyleOfFar: typeof far.passStyleOf;
+
+  // endowments
+  var VatData: VatData;
+  // This is correctly the `Assert` type from `'ses'`, not from @endo/errors
+  // See https://github.com/Agoric/agoric-sdk/issues/9515
+  var assert: Assert;
+
+  // console is a VirtualConsole but this directive fails to override the extant global `console`
+  // var console: VirtualConsole;
+
+  // Base64 and URL are not available in all environments
+}

package/src/core/demoIssuers.d.ts

@@ -8,19 +8,21 @@ export function showAmount({ brand, value }: {
 }): string;
 /**
  * @typedef {readonly [bigint, bigint]} Rational
- *
- * @type { Record<string, {
- *   config?: {
- *     collateralValue: bigint,
- *     initialMargin: Rational,
- *     liquidationMargin: Rational,
- *     liquidationPenalty: Rational,
- *     interestRate: Rational,
- *     mintFee: Rational,
- *     liquidationPadding?: Rational,
- *   },
- *   trades: Array<{ central: number, collateral: bigint}>
- * }>}
+ * @type {Record<
+ *   string,
+ *   {
+ *     config?: {
+ *       collateralValue: bigint;
+ *       initialMargin: Rational;
+ *       liquidationMargin: Rational;
+ *       liquidationPenalty: Rational;
+ *       interestRate: Rational;
+ *       mintFee: Rational;
+ *       liquidationPadding?: Rational;
+ *     };
+ *     trades: { central: number; collateral: bigint }[];
+ *   }
+ * >}
  */
 export const AMMDemoState: Record<string, {
     config?: {
@@ -32,16 +34,12 @@ export const AMMDemoState: Record<string, {
         mintFee: Rational;
         liquidationPadding?: Rational;
     };
-    trades: Array<{
+    trades: {
         central: number;
         collateral: bigint;
-    }>;
+    }[];
 }>;
-export function connectFaucet({ consume: { bankManager, bldIssuerKit: bldP, client, feeMintAccess, loadVat, zoe, }, installation: { consume: { centralSupply: centralSupplyInstall }, }, produce: { mints }, }: BootstrapSpace & {
-    consume: {
-        loadVat: VatLoader<MintsVat>;
-    };
-}): Promise<void>;
+export function connectFaucet({ consume: { bankManager, bldIssuerKit: bldP, client, feeMintAccess, loadVat, zoe, }, installation: { consume: { centralSupply: centralSupplyInstall }, }, produce: { mints }, }: BootstrapSpace): Promise<void>;
 export function ammPoolRunDeposits(issuers: typeof AMMDemoState): {
     ammTotal: bigint;
     balances: {
@@ -53,19 +51,19 @@ export function splitAllCentralPayments(bootstrapPayment: Payment, balances: Rec
     brand: Brand;
 }): Promise<{
     [k: string]: {
-        payment: Payment<AssetKind>;
-        amount: Amount<AssetKind>;
+        payment: globalThis.Payment;
+        amount: import("@agoric/ertp/src/types").NatAmount;
     };
 }>;
-export function poolRates(issuerName: string, record: (typeof AMMDemoState)['ATOM'], kits: Record<string, {
+export function poolRates(issuerName: string, record: (typeof AMMDemoState)["ATOM"], kits: Record<string, {
     issuer: ERef<Issuer>;
     brand: Brand;
 }>, central: {
-    issuer: ERef<Issuer<'nat'>>;
-    brand: Brand<'nat'>;
+    issuer: ERef<Issuer<"nat">>;
+    brand: Brand<"nat">;
 }): {
     rates: {
-        debtLimit: Amount<"nat">;
+        debtLimit: import("@agoric/ertp/src/types").NatAmount;
         initialPrice: Ratio;
         initialMargin: Ratio;
         liquidationMargin: Ratio;

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

@@ -1 +1 @@
-{"version":3,"file":"demoIssuers.d.ts","sourceRoot":"","sources":["demoIssuers.js"],"names":[],"mappings":"AAgBA,qCAAqC;AACrC,4BADW,OAAO,MAAM,EAAE,MAAM,CAAC,CAU/B;AA0CK,2BAHI,MAAM,OACN,MAAM,UAQhB;AAEM,0CAC+C;AAC/C;;;WAIN;AAWD;;;;;;;;;;;;;;;GAeG;AACH,2BAbW,OAAO,MAAM,EAAE;IACzB,MAAU,CAAC,EAAE;QACb,eAAqB,EAAE,MAAM,CAAC;QAC9B,aAAmB,WAAW;QAC9B,iBAAuB,WAAW;QAClC,kBAAwB,WAAW;QACnC,YAAkB,WAAW;QAC7B,OAAa,WAAW;QACxB,kBAAwB,CAAC,WAAW;KAC/B,CAAC;IACN,MAAU,EAAE,MAAM;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAC,CAAC,CAAA;CACtD,CAAC,CAqEH;AAwDK,gNAbK,cAAc,GACzB;IAAM,OAAO,EAAE;QAAC,OAAO,EAAE,UAAU,QAAQ,CAAC,CAAA;KAAC,CAAA;CAAE,iBAgI/C;AAQM,4CAFI,mBAAmB;;;;;EAgC7B;AAOM,0DAJI,OAAO,YACP,OAAO,MAAM,EAAE,MAAM,CAAC,WACtB;IAAE,MAAM,EAAE,KAAK,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE;;;;;GA4BhD;AAQM,sCALI,MAAM,UACN,CAAA,mBAAmB,EAAC,MAAM,CAAC,QAC3B,OAAO,MAAM,EAAE;IAAE,MAAM,EAAE,KAAK,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,WACtD;IAAE,MAAM,EAAE,KAAK,OAAO,KAAK,CAAC,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,KAAK,CAAC,CAAA;CAAE;;;;;;;;;;;;EAoC9D;uBA/WY,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC;gCAkIzB;IACZ,MAAU,EAAE,KAAK,MAAM,CAAC,CAAC;IACzB,aAAiB,EAAE,MAAM,CAAC;IAC1B,OAAW,EAAE,OAAO,CAAC;IACrB,KAAS,EAAE,KAAK,CAAC;IACjB,YAAgB,EAAE,MAAM,CAAC;CACtB"}
+{"version":3,"file":"demoIssuers.d.ts","sourceRoot":"","sources":["demoIssuers.js"],"names":[],"mappings":"AAeA,qCAAqC;AACrC,4BADW,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAU/B;AA0CK,2BAHI,MAAM,OACN,MAAM,UAQhB;AAEM,0CAC+C;AAC/C;;;WAIN;AAWD;;;;;;;;;;;;;;;;;GAiBG;AACH,2BAhBU,MAAM,CACf,MAAU,EACV;IACA,MAAY,CAAC,EAAE;QACf,eAAuB,EAAE,MAAM,CAAC;QAChC,aAAqB,EAAE,QAAQ,CAAC;QAChC,iBAAyB,EAAE,QAAQ,CAAC;QACpC,kBAA0B,EAAE,QAAQ,CAAC;QACrC,YAAoB,EAAE,QAAQ,CAAC;QAC/B,OAAe,EAAE,QAAQ,CAAC;QAC1B,kBAA0B,CAAC,EAAE,QAAQ,CAAC;KAC/B,CAAC;IACR,MAAY,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACnD,CACF,CAqEF;AAqDK,gNAVI,cAAc,iBAgIxB;AAQM,4CAFI,OAAO,YAAY;;;;;EAgC7B;AAOM,0DAJI,OAAO,YACP,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,WACtB;IAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE;;;;;GA4BhD;AAQM,sCALI,MAAM,UACN,CAAC,OAAO,YAAY,EAAE,MAAM,CAAC,QAC7B,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,WACtD;IAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;CAAE;;;;;;;;;;;;EAoC9D;uBAhXY,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC;gCAiIzB;IACZ,MAAU,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACzB,aAAiB,EAAE,MAAM,CAAC;IAC1B,OAAW,EAAE,OAAO,CAAC;IACrB,KAAS,EAAE,KAAK,CAAC;IACjB,YAAgB,EAAE,MAAM,CAAC;CACtB"}