@agoric/vats 0.15.2-dev-0f94e34.0 → 0.15.2-dev-303a9f2.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/vats",
-  "version": "0.15.2-dev-0f94e34.0+0f94e34",
+  "version": "0.15.2-dev-303a9f2.0+303a9f2",
   "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-0f94e34.0+0f94e34",
-    "@agoric/cosmic-proto": "0.4.1-dev-0f94e34.0+0f94e34",
-    "@agoric/ertp": "0.16.3-dev-0f94e34.0+0f94e34",
-    "@agoric/governance": "0.10.4-dev-0f94e34.0+0f94e34",
-    "@agoric/internal": "0.3.3-dev-0f94e34.0+0f94e34",
-    "@agoric/network": "0.1.1-dev-0f94e34.0+0f94e34",
-    "@agoric/notifier": "0.6.3-dev-0f94e34.0+0f94e34",
-    "@agoric/store": "0.9.3-dev-0f94e34.0+0f94e34",
-    "@agoric/swingset-vat": "0.32.3-dev-0f94e34.0+0f94e34",
-    "@agoric/time": "0.3.3-dev-0f94e34.0+0f94e34",
-    "@agoric/vat-data": "0.5.3-dev-0f94e34.0+0f94e34",
-    "@agoric/vow": "0.1.1-dev-0f94e34.0+0f94e34",
-    "@agoric/zoe": "0.26.3-dev-0f94e34.0+0f94e34",
-    "@agoric/zone": "0.2.3-dev-0f94e34.0+0f94e34",
+    "@agoric/assert": "0.6.1-dev-303a9f2.0+303a9f2",
+    "@agoric/cosmic-proto": "0.4.1-dev-303a9f2.0+303a9f2",
+    "@agoric/ertp": "0.16.3-dev-303a9f2.0+303a9f2",
+    "@agoric/governance": "0.10.4-dev-303a9f2.0+303a9f2",
+    "@agoric/internal": "0.3.3-dev-303a9f2.0+303a9f2",
+    "@agoric/network": "0.1.1-dev-303a9f2.0+303a9f2",
+    "@agoric/notifier": "0.6.3-dev-303a9f2.0+303a9f2",
+    "@agoric/store": "0.9.3-dev-303a9f2.0+303a9f2",
+    "@agoric/swingset-vat": "0.32.3-dev-303a9f2.0+303a9f2",
+    "@agoric/time": "0.3.3-dev-303a9f2.0+303a9f2",
+    "@agoric/vat-data": "0.5.3-dev-303a9f2.0+303a9f2",
+    "@agoric/vow": "0.1.1-dev-303a9f2.0+303a9f2",
+    "@agoric/zoe": "0.26.3-dev-303a9f2.0+303a9f2",
+    "@agoric/zone": "0.2.3-dev-303a9f2.0+303a9f2",
     "@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-0f94e34.0+0f94e34",
+    "@agoric/swingset-liveslots": "0.10.3-dev-303a9f2.0+303a9f2",
     "@endo/bundle-source": "^3.2.3",
     "@endo/init": "^1.1.2",
     "ava": "^5.3.0",
@@ -79,7 +79,7 @@
     "workerThreads": false
   },
   "typeCoverage": {
-    "atLeast": 91.25
+    "atLeast": 91.26
   },
-  "gitHead": "0f94e34eb539b8f91c82d0877df836738e58cc69"
+  "gitHead": "303a9f20404106fe9c09befbd728ed7a20ccf7e0"
 }

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

@@ -201,10 +201,36 @@ type WellKnownName = {
   uiConfig: 'VaultFactory';
 };
 
-type ContractInstallationPromises<StartFns> = {
+type ContractInstallationPromises<
+  StartFns extends Record<WellKnownNames['installation'], ContractStartFn>,
+> = {
   [Property in keyof StartFns]: Promise<Installation<StartFns[Property]>>;
 };
 
+type ContractInstancePromises<
+  StartFns extends Record<WellKnownNames['instance'], ContractStartFn>,
+> = {
+  [Property in keyof StartFns]: Promise<
+    import('@agoric/zoe/src/zoeService/utils.js').Instance<StartFns[Property]>
+  >;
+};
+
+type WellKnownContracts = {
+  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;
+};
+
 type WellKnownSpaces = {
   issuer: {
     produce: Record<WellKnownName['issuer'], Producer<Issuer>>;
@@ -233,25 +259,12 @@ type WellKnownSpaces = {
       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;
-      }>;
+      ContractInstallationPromises<WellKnownContracts>;
   };
   instance: {
     produce: Record<WellKnownName['instance'], Producer<Instance>>;
-    consume: Record<WellKnownName['instance'], Promise<Instance>>;
+    consume: Record<WellKnownName['instance'], Promise<Instance>> &
+      ContractInstancePromises<WellKnownContracts>;
   };
   uiConfig: {
     produce: Record<WellKnownName['uiConfig'], Producer<Record<string, any>>>;