@agoric/swingset-liveslots 0.10.3-dev-7244c71.0 → 0.10.3-dev-28931a7.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/swingset-liveslots",
-  "version": "0.10.3-dev-7244c71.0+7244c71",
+  "version": "0.10.3-dev-28931a7.0+28931a7",
   "description": "SwingSet ocap support layer",
   "type": "module",
   "main": "src/index.js",
@@ -17,9 +17,9 @@
     "lint:eslint": "eslint ."
   },
   "dependencies": {
-    "@agoric/assert": "0.6.1-dev-7244c71.0+7244c71",
-    "@agoric/internal": "0.3.3-dev-7244c71.0+7244c71",
-    "@agoric/store": "0.9.3-dev-7244c71.0+7244c71",
+    "@agoric/assert": "0.6.1-dev-28931a7.0+28931a7",
+    "@agoric/internal": "0.3.3-dev-28931a7.0+28931a7",
+    "@agoric/store": "0.9.3-dev-28931a7.0+28931a7",
     "@endo/eventual-send": "^0.17.5",
     "@endo/exo": "^0.2.5",
     "@endo/far": "^0.2.21",
@@ -31,7 +31,7 @@
     "@endo/promise-kit": "^0.2.59"
   },
   "devDependencies": {
-    "@agoric/kmarshal": "0.1.1-dev-7244c71.0+7244c71",
+    "@agoric/kmarshal": "0.1.1-dev-28931a7.0+28931a7",
     "ava": "^5.3.0"
   },
   "files": [
@@ -67,5 +67,5 @@
   "typeCoverage": {
     "atLeast": 71.48
   },
-  "gitHead": "7244c710962174a886903cf039c0fbe18874287f"
+  "gitHead": "28931a75d65404433319234b5cc8507f3772d30a"
 }

package/src/vatDataTypes.d.ts

@@ -13,6 +13,7 @@ import type {
   WeakMapStore,
   WeakSetStore,
 } from '@agoric/store';
+import type { makeWatchedPromiseManager } from './watchedPromises.js';
 
 // TODO should be moved into @endo/patterns and eventually imported here
 // instead of this local definition.
@@ -25,17 +26,20 @@ export type { MapStore, Pattern };
 // onerous.
 export type Baggage = MapStore<string, any>;
 
+type WatchedPromisesManager = ReturnType<typeof makeWatchedPromiseManager>;
+
 type Tail<T extends any[]> = T extends [head: any, ...rest: infer Rest]
   ? Rest
   : [];
 
-type MinusContext<
-  F extends (context, ...rest: any[]) => any,
-  P extends any[] = Parameters<F>, // P: are the parameters of F
-  R = ReturnType<F>, // R: the return type of F
-> = (...args: Tail<P>) => R;
+// used to omit the 'context' parameter
+type OmitFirstArg<F> = F extends (x: any, ...args: infer P) => infer R
+  ? (...args: P) => R
+  : never;
 
-export type KindFacet<O> = { [K in keyof O]: MinusContext<O[K]> };
+export type KindFacet<O> = {
+  [K in keyof O]: OmitFirstArg<O[K]>; // omit the 'context' parameter
+};
 
 export type KindFacets<B> = {
   [FacetKey in keyof B]: KindFacet<B[FacetKey]>;
@@ -169,8 +173,8 @@ export type VatData = {
     options?: DefineKindOptions<MultiKindContext<S, B>>,
   ) => (...args: P) => KindFacets<B>;
 
-  providePromiseWatcher: unknown;
-  watchPromise: unknown;
+  providePromiseWatcher: WatchedPromisesManager['providePromiseWatcher'];
+  watchPromise: WatchedPromisesManager['watchPromise'];
 
   makeScalarBigMapStore: <K, V>(
     label: string,

package/src/virtualObjectManager.js

@@ -322,7 +322,7 @@ const insistSameCapData = (oldCD, newCD) => {
  * recursion if our returned WeakMap/WeakSet wrappers are subsequently installed
  * on globalThis.
  *
- * @returns {object} a new virtual object manager.
+ * @returns a new virtual object manager.
  *
  * The virtual object manager allows the creation of persistent objects that do
  * not need to occupy memory when they are not in use.  It provides five
@@ -1124,6 +1124,7 @@ export const makeVirtualObjectManager = (
     return id;
   };
 
+  /** @type {import('./vatDataTypes').VatData['defineKind']} */
   const defineKind = (tag, init, behavior, options) => {
     const kindID = `${allocateExportID()}`;
     saveVirtualKindDescriptor(kindID, { kindID, tag });
@@ -1139,6 +1140,7 @@ export const makeVirtualObjectManager = (
     );
   };
 
+  /** @type {import('./vatDataTypes').VatData['defineKindMulti']} */
   const defineKindMulti = (tag, init, behavior, options) => {
     const kindID = `${allocateExportID()}`;
     saveVirtualKindDescriptor(kindID, { kindID, tag });
@@ -1178,6 +1180,7 @@ export const makeVirtualObjectManager = (
     return kindHandle;
   };
 
+  /** @type {import('./vatDataTypes').VatData['defineDurableKind']} */
   const defineDurableKind = (kindHandle, init, behavior, options) => {
     kindHandleToID.has(kindHandle) || Fail`unknown handle ${kindHandle}`;
     const kindID = kindHandleToID.get(kindHandle);
@@ -1200,6 +1203,7 @@ export const makeVirtualObjectManager = (
     return maker;
   };
 
+  /** @type {import('./vatDataTypes').VatData['defineDurableKindMulti']} */
   const defineDurableKindMulti = (kindHandle, init, behavior, options) => {
     kindHandleToID.has(kindHandle) || Fail`unknown handle ${kindHandle}`;
     const kindID = kindHandleToID.get(kindHandle);

package/src/watchedPromises.js

@@ -147,6 +147,12 @@ export function makeWatchedPromiseManager({
     }
   }
 
+  /**
+   *
+   * @param {Promise} p
+   * @param {{onFulfilled?: Function, onRejected?: Function}} watcher
+   * @param  {...any} args
+   */
   function watchPromise(p, watcher, ...args) {
     // The following wrapping defers setting up the promise watcher itself to a
     // later turn so that if the promise to be watched was the return value from

package/test/test-durabilityChecks.js

@@ -15,6 +15,7 @@ async function runDurabilityCheckTest(t, relaxDurabilityRules) {
 
   const durableHolderKind = makeKindHandle('holder');
 
+  /** @param {any} held */
   const initHolder = (held = null) => ({ held });
   const holderBehavior = {
     hold: ({ state }, value) => {

package/tools/setup-vat-data.js

@@ -11,16 +11,21 @@ const { WeakMap, WeakSet } = globalThis;
 let fakeVomKit;
 
 globalThis.VatData = harden({
+  // @ts-expect-error spread argument for non-rest parameter
   defineKind: (...args) => fakeVomKit.vom.defineKind(...args),
+  // @ts-expect-error spread argument for non-rest parameter
   defineKindMulti: (...args) => fakeVomKit.vom.defineKindMulti(...args),
+  // @ts-expect-error spread argument for non-rest parameter
   defineDurableKind: (...args) => fakeVomKit.vom.defineDurableKind(...args),
   defineDurableKindMulti: (...args) =>
+    // @ts-expect-error spread argument for non-rest parameter
     fakeVomKit.vom.defineDurableKindMulti(...args),
-  makeKindHandle: (...args) => fakeVomKit.vom.makeKindHandle(...args),
+  makeKindHandle: tag => fakeVomKit.vom.makeKindHandle(tag),
   canBeDurable: (...args) => fakeVomKit.vom.canBeDurable(...args),
   providePromiseWatcher: (...args) =>
     fakeVomKit.wpm.providePromiseWatcher(...args),
-  watchPromise: (...args) => fakeVomKit.wpm.watchPromise(...args),
+  watchPromise: (p, watcher, ...args) =>
+    fakeVomKit.wpm.watchPromise(p, watcher, ...args),
   makeScalarBigMapStore: (...args) =>
     fakeVomKit.cm.makeScalarBigMapStore(...args),
   makeScalarBigWeakMapStore: (...args) =>
@@ -47,7 +52,9 @@ export const reincarnate = (options = {}) => {
     WeakSet,
   });
 
+  // @ts-expect-error toStringTag set imperatively so it doesn't show up in the type
   globalThis.WeakMap = fakeVomKit.vom.VirtualObjectAwareWeakMap;
+  // @ts-expect-error ditto
   globalThis.WeakSet = fakeVomKit.vom.VirtualObjectAwareWeakSet;
 
   return { ...options, fakeStore, fakeVomKit };