@agoric/vats 0.15.2-dev-b5a2ed1.0 → 0.15.2-dev-3da32ff.0

package/exported.js

@@ -1 +1 @@
-import './src/core/types.js';
+import './src/core/types-ambient.js';

package/index.js

@@ -1,7 +1,7 @@
 // @ts-check
 // Ambient types
 import '@agoric/zoe/exported.js';
-import './src/core/types.js';
+import './src/core/types-ambient.js';
 
 // eslint-disable-next-line import/export -- no named exports
 export * from './src/types.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/vats",
-  "version": "0.15.2-dev-b5a2ed1.0+b5a2ed1",
+  "version": "0.15.2-dev-3da32ff.0+3da32ff",
   "description": "Agoric's Vat library",
   "type": "module",
   "main": "./index.js",
@@ -22,18 +22,18 @@
   "author": "Agoric",
   "license": "Apache-2.0",
   "dependencies": {
-    "@agoric/assert": "0.6.1-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/ertp": "0.16.3-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/governance": "0.10.4-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/internal": "0.3.3-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/network": "0.1.1-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/notifier": "0.6.3-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/store": "0.9.3-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/swingset-vat": "0.32.3-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/time": "0.3.3-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/vat-data": "0.5.3-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/zoe": "0.26.3-dev-b5a2ed1.0+b5a2ed1",
-    "@agoric/zone": "0.2.3-dev-b5a2ed1.0+b5a2ed1",
+    "@agoric/assert": "0.6.1-dev-3da32ff.0+3da32ff",
+    "@agoric/ertp": "0.16.3-dev-3da32ff.0+3da32ff",
+    "@agoric/governance": "0.10.4-dev-3da32ff.0+3da32ff",
+    "@agoric/internal": "0.3.3-dev-3da32ff.0+3da32ff",
+    "@agoric/network": "0.1.1-dev-3da32ff.0+3da32ff",
+    "@agoric/notifier": "0.6.3-dev-3da32ff.0+3da32ff",
+    "@agoric/store": "0.9.3-dev-3da32ff.0+3da32ff",
+    "@agoric/swingset-vat": "0.32.3-dev-3da32ff.0+3da32ff",
+    "@agoric/time": "0.3.3-dev-3da32ff.0+3da32ff",
+    "@agoric/vat-data": "0.5.3-dev-3da32ff.0+3da32ff",
+    "@agoric/zoe": "0.26.3-dev-3da32ff.0+3da32ff",
+    "@agoric/zone": "0.2.3-dev-3da32ff.0+3da32ff",
     "@endo/far": "^0.2.21",
     "@endo/import-bundle": "^0.4.1",
     "@endo/marshal": "^0.8.8",
@@ -44,7 +44,7 @@
     "jessie.js": "^0.3.2"
   },
   "devDependencies": {
-    "@agoric/swingset-liveslots": "0.10.3-dev-b5a2ed1.0+b5a2ed1",
+    "@agoric/swingset-liveslots": "0.10.3-dev-3da32ff.0+3da32ff",
     "@endo/bundle-source": "^2.7.0",
     "@endo/init": "^0.5.59",
     "ava": "^5.3.0",
@@ -75,5 +75,5 @@
     "timeout": "20m",
     "workerThreads": false
   },
-  "gitHead": "b5a2ed18430b717a67e97ffea8a2bb457e3b3516"
+  "gitHead": "3da32ffbdd6b0a3d6c930bbacee21eae163a715a"
 }

package/src/bridge.js

@@ -3,7 +3,7 @@
 import { M } from '@agoric/store';
 import '@agoric/store/exported.js';
 import { E } from '@endo/far';
-import './core/types.js';
+import './core/types-ambient.js';
 
 const { Fail, details: X } = assert;
 

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,iBAqFzB;AAQM,qIAJI,eAAe,GAAG;IAC5B,OAAW,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAC;CAChE,iBAUH;AAIM,6DADK,eAAe,iBAG1B;AAIM,gMADK,eAAe,iBAuD1B;AAcM,2FAHI,cAAc,kBACd;IAAE,QAAQ,CAAC,EAAE,OAAO,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,iBAqFhD;AAIM,sMADK,eAAe,iBAc1B;AASM,kNALI,YAAY,YAAY,CAAC,GACnC,cAAkB,GAAG;IACrB,OAAa,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAC;CAChE,iBAgCL;AAQM,2LAJI,cAAc,GAAG;IAC3B,OAAW,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAC;CAChE,iBA2BH;AAOM,qLAJI,cAAc,GAAG;IAC3B,OAAW,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAC;CAChE,iBAqCH;AAGM,kJADK,eAAe,GAAG,cAAc,iBAkB3C;AAaM,kGATI,eAAe;;;;;;kBAyCzB;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,iBAqFzB;AAQM,qIAJI,eAAe,GAAG;IAC5B,OAAW,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAC;CAChE,iBAUH;AAIM,6DADK,eAAe,iBAG1B;AAIM,gMADK,eAAe,iBAuD1B;AAcM,2FAHI,cAAc,kBACd;IAAE,QAAQ,CAAC,EAAE,OAAO,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,iBAqFhD;AAIM,sMADK,eAAe,iBAc1B;AASM,kNALI,YAAY,YAAY,CAAC,GACnC,cAAkB,GAAG;IACrB,OAAa,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAC;CAChE,iBAgCL;AAQM,2LAJI,cAAc,GAAG;IAC3B,OAAW,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAC;CAChE,iBA4BH;AAOM,qLAJI,cAAc,GAAG;IAC3B,OAAW,EAAE;QAAE,eAAe,EAAE,KAAK,UAAU,eAAe,CAAC,CAAC,CAAA;KAAE,CAAC;CAChE,iBAqCH;AAGM,kJADK,eAAe,GAAG,cAAc,iBAkB3C;AAaM,kGATI,eAAe;;;;;;kBAyCzB;AAOM,4DAFI,eAAe,iBAMzB;AAGD,qDAAqD;AACrD,8CADW,OAAO,YAAY,EAAE,iBAAiB,CA2E/C;AAGF,wDAAwD;AACxD,uCADW,OAAO,eAAe,EAAE,iBAAiB,CASjD"}

package/src/core/chain-behaviors.js

@@ -363,6 +363,7 @@ export const makeChainStorage = async ({
   if (!bridgeManager) {
     console.warn('Cannot support chainStorage without an actual chain.');
     chainStorageP.resolve(null);
+    // @ts-expect-error expects value or undefined
     storageBridgeManagerP.resolve(null);
     return;
   }

package/src/core/startWalletFactory.d.ts

@@ -9,7 +9,7 @@ export function startWalletFactory({ vatParameters: { chainStorageEntries }, con
     vats: SwingsetVats;
     vatPowers: {
         [prop: string]: any;
-        D: DProxy;
+        D: DProxy<any>;
     };
     vatParameters: BootstrapVatParams;
     runBehaviors: (manifest: unknown) => Promise<unknown>;

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

@@ -0,0 +1,475 @@
+/* eslint-disable no-use-before-define */
+
+// Ambient type defs. Cannot use top-level import() because that would turn it into a module.
+
+/** This type conflicts with packages/SwingSet/src/vats/plugin-manager.js */
+type Device<T> = 'Device' & { __deviceType__: T };
+
+/** (approximately) */
+type DProxy<T = any> = (target: Device<T>) => T;
+
+type BootDevices<T> = { vatPowers: { D: DProxy }; devices: T };
+
+type BridgeDevice = Device<
+  ReturnType<
+    typeof import('@agoric/swingset-vat/src/devices/bridge/device-bridge.js').buildRootDeviceNode
+  >
+>;
+
+type CommandDevice = Device<
+  ReturnType<
+    typeof import('@agoric/swingset-vat/src/devices/command/device-command.js').buildRootDeviceNode
+  >
+>;
+
+type MailboxDevice = Device<
+  ReturnType<
+    typeof import('@agoric/swingset-vat/src/devices/mailbox/device-mailbox.js').buildRootDeviceNode
+  >
+>;
+
+type PluginDevice = Device<
+  ReturnType<
+    typeof import('@agoric/swingset-vat/src/devices/plugin/device-plugin.js').buildRootDeviceNode
+  >
+>;
+
+type TimerDevice = Device<
+  ReturnType<
+    typeof import('@agoric/swingset-vat/src/devices/timer/device-timer.js').buildRootDeviceNode
+  >
+>;
+
+type VatAdminDevice = Device<
+  import('@agoric/swingset-vat/src/devices/vat-admin/device-vat-admin.js').VatAdminRootDeviceNode
+>;
+
+type VattpVat = ERef<
+  ReturnType<
+    typeof import('@agoric/swingset-vat/src/vats/vattp/vat-vattp.js').buildRootObject
+  >
+>;
+
+type VatAdminVat = ERef<
+  ReturnType<
+    typeof import('@agoric/swingset-vat/src/vats/vat-admin/vat-vat-admin.js').buildRootObject
+  >
+>;
+
+/** @see deliverToController in packages/SwingSet/src/vats/comms/controller.js */
+type TimerVat = ERef<
+  ReturnType<
+    typeof import('@agoric/swingset-vat/src/vats/timer/vat-timer.js').buildRootObject
+  >
+>;
+
+type CommsVatRoot = ERef<{
+  addRemote: (name: string, tx: unknown, rx: unknown) => void;
+  addEgress: (addr: string, ix: number, provider: unknown) => void;
+  addIngress: (
+    remoteID: string,
+    remoteRefID: number,
+    label?: string,
+  ) => Promise<any>;
+}>;
+
+type SwingsetVats = {
+  comms: CommsVatRoot;
+  timer: TimerVat;
+  vatAdmin: VatAdminVat;
+  vattp: VattpVat;
+};
+
+type ChainStorageVatParams = {
+  vatParameters: { chainStorageEntries?: [k: string, v: string][] };
+};
+
+type SoloDevices = {
+  vatAdmin: VatAdminDevice;
+  mailbox: MailboxDevice;
+  command: CommandDevice;
+  timer: TimerDevice;
+  plugin: PluginDevice;
+};
+
+type ChainDevices = {
+  vatAdmin: VatAdminDevice;
+  mailbox: MailboxDevice;
+  timer: TimerDevice;
+  bridge?: BridgeDevice;
+};
+
+type ClientProvider = {
+  getChainBundle: () => unknown;
+  getChainConfigNotifier: () => Notifier<unknown>;
+};
+
+type Producer<T> = {
+  resolve: (v: ERef<T>) => void;
+  reject: (r: unknown) => void;
+  reset: (reason?: unknown) => void;
+};
+
+type VatSourceRef = { bundleName?: string; bundleID?: string };
+type VatLoader<T> = (name: string, sourceRef?: VatSourceRef) => T;
+
+/** callback to assign a property onto the `home` object of the client */
+type PropertyMaker = (addr: string, flags: string[]) => Record<string, unknown>;
+
+/** tool to put properties onto the `home` object of the client */
+type ClientManager = {
+  assignBundle: (ps: PropertyMaker[]) => void;
+};
+/**
+ * @template B - Bidirectional
+ * @template C - Consume only
+ * @template P - Produce only
+ */
+type PromiseSpaceOf<B, C = {}, P = {}> = {
+  consume: { [K in keyof (B & C)]: Promise<(B & C)[K]> };
+  produce: { [K in keyof (B & P)]: Producer<(B & P)[K]> };
+};
+
+type CreateUserBundle = (
+  nickname: string,
+  clientAddress: string,
+  powerFlags: string[],
+) => Promise<Record<string, Promise<any>>>;
+
+type ClientFacet = {
+  /**
+   * Required for ag-solo, but deprecated in favour of getConfiguration NOTE: we
+   * use `any` rather than `unknown` because each client that wants to call a
+   * method such as `E(userBundle.bank).deposit(payment)` has to cast
+   * userBundle.bank; ideally, the cast is to some useful type. But unknown
+   * can't be cast directly to some other type; it has to be cast to any first.
+   */
+  getChainBundle(): ERef<Record<string, any>>;
+  getConfiguration(): AsyncIterable<{
+    clientAddress: string;
+    clientHome: Record<string, any>;
+  }>;
+};
+type ClientCreator = {
+  createClientFacet(
+    nickname: string,
+    clientAddress: string,
+    powerFlags: string[],
+  ): Promise<ClientFacet>;
+  createUserBundle: CreateUserBundle;
+};
+
+type WellKnownName = {
+  issuer:
+    | import('@agoric/internal/src/tokens.js').TokenKeyword
+    | 'Invitation'
+    | 'AUSD';
+  installation:
+    | 'centralSupply'
+    | 'mintHolder'
+    | 'walletFactory'
+    | 'provisionPool'
+    | 'auctioneer'
+    | 'feeDistributor'
+    | 'contractGovernor'
+    | 'committee'
+    | 'noActionElectorate'
+    | 'binaryVoteCounter'
+    | 'VaultFactory'
+    | 'liquidate'
+    | 'Pegasus'
+    | 'reserve'
+    | 'psm'
+    | 'econCommitteeCharter'
+    | 'priceAggregator';
+  instance:
+    | 'economicCommittee'
+    | 'feeDistributor'
+    | 'auctioneer'
+    | 'VaultFactory'
+    | 'VaultFactoryGovernor'
+    | 'econCommitteeCharter'
+    | 'walletFactory'
+    | 'provisionPool'
+    | 'reserve'
+    | 'reserveGovernor'
+    | 'Pegasus';
+  oracleBrand: 'USD';
+  uiConfig: 'VaultFactory';
+};
+
+type ContractInstallationPromises<StartFns> = {
+  [Property in keyof StartFns]: Promise<Installation<StartFns[Property]>>;
+};
+
+type WellKnownSpaces = {
+  issuer: {
+    produce: Record<WellKnownName['issuer'], Producer<Issuer>>;
+    consume: Record<WellKnownName['issuer'], Promise<Issuer>> & {
+      BLD: Promise<Issuer<'nat'>>;
+      IST: Promise<Issuer<'nat'>>;
+    };
+  };
+  brand: {
+    produce: Record<WellKnownName['issuer'], Producer<Brand>> & {
+      timer: Producer<import('@agoric/time').TimerBrand>;
+    };
+    consume: Record<WellKnownName['issuer'], Promise<Brand>> & {
+      BLD: Promise<Brand<'nat'>>;
+      IST: Promise<Brand<'nat'>>;
+      timer: Producer<import('@agoric/time').TimerBrand>;
+    };
+  };
+  oracleBrand: {
+    produce: Record<WellKnownName['oracleBrand'], Producer<Brand>>;
+    consume: Record<WellKnownName['oracleBrand'], Promise<Brand>>;
+  };
+  installation: {
+    produce: Record<WellKnownName['installation'], Producer<Installation>>;
+    consume: Record<
+      WellKnownName['installation'],
+      Promise<Installation<unknown>>
+    > &
+      ContractInstallationPromises<{
+        auctioneer: typeof import('@agoric/inter-protocol/src/auction/auctioneer.js').start;
+        centralSupply: typeof import('@agoric/vats/src/centralSupply.js').start;
+        committee: typeof import('@agoric/governance/src/committee.js').start;
+        contractGovernor: typeof import('@agoric/governance/src/contractGovernor.js').start;
+        econCommitteeCharter: typeof import('@agoric/inter-protocol/src/econCommitteeCharter.js').start;
+        feeDistributor: typeof import('@agoric/inter-protocol/src/feeDistributor.js').start;
+        mintHolder: typeof import('@agoric/vats/src/mintHolder.js').start;
+        psm: typeof import('@agoric/inter-protocol/src/psm/psm.js').start;
+        provisionPool: typeof import('@agoric/inter-protocol/src/provisionPool.js').start;
+        reserve: typeof import('@agoric/inter-protocol/src/reserve/assetReserve.js').start;
+        VaultFactory: typeof import('@agoric/inter-protocol/src/vaultFactory/vaultFactory.js').start;
+        // no typeof because walletFactory is exporting `start` as a type
+        walletFactory: import('@agoric/smart-wallet/src/walletFactory.js').start;
+      }>;
+  };
+  instance: {
+    produce: Record<WellKnownName['instance'], Producer<Instance>>;
+    consume: Record<WellKnownName['instance'], Promise<Instance>>;
+  };
+  uiConfig: {
+    produce: Record<WellKnownName['uiConfig'], Producer<Record<string, any>>>;
+    consume: Record<WellKnownName['uiConfig'], Promise<Record<string, any>>>;
+  };
+};
+
+type StartGovernedUpgradableOpts<SF extends GovernableStartFn> = {
+  installation: ERef<Installation<SF>>;
+  issuerKeywordRecord?: IssuerKeywordRecord;
+  governedParams: Record<string, unknown>;
+  terms: Omit<
+    import('@agoric/zoe/src/zoeService/utils').StartParams<SF>['terms'],
+    'brands' | 'issuers' | 'governedParams' | 'electionManager'
+  >;
+  privateArgs: Omit<
+    import('@agoric/zoe/src/zoeService/utils').StartParams<SF>['privateArgs'],
+    'initialPoserInvitation'
+  >;
+  label: string;
+};
+
+type StartGovernedUpgradable = <SF extends GovernableStartFn>(
+  opts: StartGovernedUpgradableOpts<SF>,
+) => Promise<GovernanceFacetKit<SF>>;
+
+type StartUpgradableOpts<
+  SF extends import('@agoric/zoe/src/zoeService/utils').ContractStartFunction,
+> = {
+  installation: ERef<Installation<SF>>;
+  issuerKeywordRecord?: IssuerKeywordRecord;
+  terms?: Omit<
+    import('@agoric/zoe/src/zoeService/utils').StartParams<SF>['terms'],
+    'brands' | 'issuers'
+  >;
+  privateArgs?: import('@agoric/zoe/src/zoeService/utils').StartParams<SF>['privateArgs'];
+  label: string;
+};
+
+type StartUpgradable = <
+  SF extends import('@agoric/zoe/src/zoeService/utils').ContractStartFunction,
+>(
+  opts: StartUpgradableOpts<SF>,
+) => Promise<
+  import('@agoric/zoe/src/zoeService/utils').StartedInstanceKit<SF> & {
+    label: string;
+  }
+>;
+
+type StartedInstanceKit<T> =
+  import('@agoric/zoe/src/zoeService/utils').StartedInstanceKit<T>;
+
+type StartedInstanceKitWithLabel = {
+  label: string;
+} & StartedInstanceKit<
+  import('@agoric/zoe/src/zoeService/utils').ContractStartFunction
+>;
+
+type ChainBootstrapSpaceT = {
+  agoricNames: import('../types.js').NameHub;
+  agoricNamesAdmin: import('@agoric/vats').NameAdmin;
+  bankManager: BankManager;
+  bldIssuerKit: RemoteIssuerKit;
+  board: import('@agoric/vats').Board;
+  bridgeManager: import('../types.js').BridgeManager | undefined;
+  chainStorage: StorageNode | null;
+  chainTimerService: import('@agoric/time/src/types').TimerService;
+  client: ClientManager;
+  clientCreator: any;
+  coreEvalBridgeHandler: import('../types.js').BridgeHandler;
+  /** Utilities to support debugging */
+  diagnostics: {
+    /**
+     * Intended to save arguments in durable storage for disaster recovery.
+     *
+     * Powerful. Can overwrite privateArgs storage for any instance.
+     */
+    savePrivateArgs: (instance: Instance, privateArgs: unknown) => void;
+  };
+  /** Super powerful ability to mint IST. ("License to print money") */
+  feeMintAccess: FeeMintAccess;
+  highPrioritySendersManager:
+    | import('@agoric/internal/src/priority-senders.js').PrioritySendersManager
+    | undefined
+    | null;
+  initialSupply: Payment<'nat'>;
+  /**
+   * Very powerful. Has the private args for critical contract instances such as
+   * Vault Factory. ONLY FOR DISASTER RECOVERY
+   */
+  instancePrivateArgs: Map<Instance, unknown>;
+  namesByAddress: import('../types.js').NameHub;
+  namesByAddressAdmin: import('../types.js').NamesByAddressAdmin;
+  pegasusConnections: import('@agoric/vats').NameHubKit;
+  pegasusConnectionsAdmin: import('@agoric/vats').NameAdmin;
+  priceAuthorityVat: Awaited<PriceAuthorityVat>;
+  priceAuthority: PriceAuthority;
+  priceAuthorityAdmin: import('@agoric/zoe/tools/priceAuthorityRegistry').PriceAuthorityRegistryAdmin;
+  provisioning: Awaited<ProvisioningVat> | undefined;
+  provisionBridgeManager: import('../types.js').ScopedBridgeManager | undefined;
+  provisionWalletBridgeManager:
+    | import('../types.js').ScopedBridgeManager
+    | undefined;
+  storageBridgeManager: import('../types.js').ScopedBridgeManager | undefined;
+  /**
+   * Convienence function for starting a contract (ungoverned) and saving its
+   * facets (including adminFacet)
+   */
+  startUpgradable: StartUpgradable;
+  /** kits stored by startUpgradable */
+  contractKits: MapStore<Instance, StartedInstanceKitWithLabel>;
+  /** Convience function for starting contracts governed by the Econ Committee */
+  startGovernedUpgradable: StartGovernedUpgradable;
+  /** kits stored by startGovernedUpgradable */
+  governedContractKits: MapStore<
+    Instance,
+    GovernanceFacetKit<any> & { label: string }
+  >;
+  /** Used only for testing. Should not appear in any production proposals. */
+  testFirstAnchorKit: import('../vat-bank.js').AssetIssuerKit<'nat'>;
+  walletBridgeManager: import('../types.js').ScopedBridgeManager | undefined;
+  walletFactoryStartResult: import('./startWalletFactory.js').WalletFactoryStartResult;
+  provisionPoolStartResult: unknown;
+  vatStore: import('./utils.js').VatStore;
+  zoe: ZoeService;
+};
+
+type ChainBootstrapSpace = PromiseSpaceOf<ChainBootstrapSpaceT>;
+
+type BootstrapVatParams = {
+  argv: {
+    hardcodedClientAddresses?: string[];
+    FIXME_GCI: string;
+    PROVISIONER_INDEX?: number;
+  };
+};
+
+type BootstrapPowers = BootstrapSpace & {
+  zone: import('@agoric/zone').Zone;
+  devices: SoloDevices | ChainDevices;
+  vats: SwingsetVats;
+  vatPowers: { [prop: string]: any; D: DProxy };
+  vatParameters: BootstrapVatParams;
+  runBehaviors: (manifest: unknown) => Promise<unknown>;
+  modules: Record<string, Record<string, any>>;
+};
+
+type BootstrapSpace = WellKnownSpaces &
+  PromiseSpaceOf<
+    ChainBootstrapSpaceT & {
+      vatAdminSvc: VatAdminSvc;
+    },
+    {},
+    {
+      loadVat: VatLoader<unknown>;
+      loadCriticalVat: VatLoader<unknown>;
+    }
+  >;
+
+type ProvisioningVat = ERef<
+  ReturnType<typeof import('../vat-provisioning.js').buildRootObject>
+>;
+
+type MintsVat = ERef<
+  ReturnType<typeof import('../vat-mints.js').buildRootObject>
+>;
+
+type PriceAuthorityVat = ERef<
+  ReturnType<typeof import('../vat-priceAuthority.js').buildRootObject>
+>;
+
+type NetworkVat = ERef<
+  ReturnType<typeof import('../vat-network.js').buildRootObject>
+>;
+type IBCVat = ERef<ReturnType<typeof import('../vat-ibc.js').buildRootObject>>;
+type NamedVatPowers = {
+  namedVat: PromiseSpaceOf<{
+    agoricNames: Awaited<AgoricNamesVat>;
+    board: Awaited<BoardVat>;
+  }>;
+};
+
+type RemoteIssuerKit = {
+  mint: ERef<Mint>;
+  issuer: ERef<Issuer>;
+  brand: Brand;
+};
+type AgoricNamesVat = ERef<
+  ReturnType<typeof import('../vat-agoricNames.js').buildRootObject>
+>;
+type BankVat = ERef<
+  ReturnType<typeof import('../vat-bank.js').buildRootObject>
+>;
+type BoardVat = ERef<
+  ReturnType<typeof import('../vat-board.js').buildRootObject>
+>;
+type ChainStorageVat = ERef<
+  ReturnType<typeof import('../vat-bridge.js').buildRootObject>
+>;
+type BankManager = Awaited<ReturnType<Awaited<BankVat>['makeBankManager']>>;
+
+type DemoFaucetPowers = PromiseSpaceOf<{
+  mints: MintsVat;
+}>;
+
+type SoloVats = {
+  spawner: SpawnerVat;
+  http: HttpVat;
+  network: NetworkVat;
+  uploads: UploadsVat;
+  bootstrap: unknown;
+};
+
+type SpawnerVat = ERef<
+  ReturnType<typeof import('@agoric/solo/src/vat-spawner.js').buildRootObject>
+>;
+
+type HttpVat = ERef<
+  ReturnType<typeof import('@agoric/solo/src/vat-http.js').buildRootObject>
+>;
+
+type UploadsVat = ERef<
+  ReturnType<typeof import('@agoric/solo/src/vat-uploads.js').buildRootObject>
+>;

package/src/core/types-ambient.js

@@ -0,0 +1 @@
+// Dummy file for .d.ts twin to declare ambients

package/src/nameHub.js

@@ -111,7 +111,7 @@ const provideWeak = (store, key, make) => {
 
 /**
  * @param {import('./types.js').NameHubUpdateHandler | undefined} updateCallback
- * @param {NameHub} hub
+ * @param {import('./types.js').NameHub} hub
  * @param {unknown} [_newValue]
  */
 const updated = (updateCallback, hub, _newValue = undefined) => {
@@ -216,7 +216,7 @@ export const prepareNameHubKit = zone => {
           const { keyToAdmin, keyToValue } = this.state;
           if (keyToAdmin.has(key)) {
             const childAdmin = keyToAdmin.get(key);
-            /** @type {NameHub} */
+            /** @type {import('./types.js').NameHub} */
             // eslint-disable-next-line @typescript-eslint/prefer-ts-expect-error
             // @ts-ignore if an admin is present, it should be a namehub
             const childHub = keyToValue.get(key);