@agoric/swingset-liveslots 0.10.3-other-dev-3eb1a1d.0 → 0.10.3-other-dev-fbe72e7.0.fbe72e7

package/package.json

@@ -1,44 +1,45 @@
 {
   "name": "@agoric/swingset-liveslots",
-  "version": "0.10.3-other-dev-3eb1a1d.0+3eb1a1d",
+  "version": "0.10.3-other-dev-fbe72e7.0.fbe72e7",
   "description": "SwingSet ocap support layer",
   "type": "module",
   "main": "src/index.js",
   "engines": {
-    "node": "^18.12 || ^20.9"
+    "node": "^20.9 || ^22.11"
   },
   "scripts": {
     "build": "exit 0",
     "test": "ava",
     "test:xs": "exit 0",
     "lint-fix": "yarn lint:eslint --fix",
-    "lint": "run-s --continue-on-error lint:*",
-    "lint:types": "tsc",
-    "lint:eslint": "eslint ."
+    "lint": "yarn run -T run-s --continue-on-error 'lint:*'",
+    "lint:types": "yarn run -T tsc",
+    "lint:eslint": "yarn run -T eslint .",
+    "prepack": "yarn run -T tsc --build tsconfig.build.json",
+    "postpack": "git clean -f ':!src/types-index.d.ts' '*.d.ts*' '*.tsbuildinfo'"
   },
   "dependencies": {
-    "@agoric/internal": "0.3.3-other-dev-3eb1a1d.0+3eb1a1d",
-    "@agoric/store": "0.9.3-other-dev-3eb1a1d.0+3eb1a1d",
-    "@endo/env-options": "^1.1.8",
-    "@endo/errors": "^1.2.8",
-    "@endo/eventual-send": "^1.2.8",
-    "@endo/exo": "^1.5.7",
-    "@endo/far": "^1.1.9",
-    "@endo/init": "^1.1.7",
-    "@endo/marshal": "^1.6.2",
-    "@endo/nat": "^5.0.13",
-    "@endo/pass-style": "^1.4.7",
-    "@endo/patterns": "^1.4.7",
-    "@endo/promise-kit": "^1.1.8"
+    "@agoric/internal": "0.3.3-other-dev-fbe72e7.0.fbe72e7",
+    "@agoric/store": "0.9.3-other-dev-fbe72e7.0.fbe72e7",
+    "@endo/env-options": "^1.1.11",
+    "@endo/errors": "^1.2.13",
+    "@endo/eventual-send": "^1.3.4",
+    "@endo/exo": "^1.5.12",
+    "@endo/far": "^1.1.14",
+    "@endo/init": "^1.1.12",
+    "@endo/marshal": "^1.8.0",
+    "@endo/nat": "^5.1.3",
+    "@endo/pass-style": "^1.6.3",
+    "@endo/patterns": "^1.7.0",
+    "@endo/promise-kit": "^1.1.13"
   },
   "devDependencies": {
-    "@agoric/kmarshal": "0.1.1-other-dev-3eb1a1d.0+3eb1a1d",
+    "@agoric/kmarshal": "0.1.1-other-dev-fbe72e7.0.fbe72e7",
     "ava": "^5.3.0"
   },
   "files": [
-    "src/**/*.js",
-    "src/**/*.d.ts",
-    "test/**/*.js",
+    "src",
+    "test",
     "tools",
     "exported.js"
   ],
@@ -59,14 +60,13 @@
     "require": [
       "@endo/init/debug.js"
     ],
-    "timeout": "20m",
-    "workerThreads": false
+    "timeout": "20m"
   },
   "publishConfig": {
     "access": "public"
   },
   "typeCoverage": {
-    "atLeast": 75.24
+    "atLeast": 75.22
   },
-  "gitHead": "3eb1a1d2d75b2b4a94807cd3bf759bc9fc531f05"
+  "gitHead": "fbe72e72107f9997f788674e668c660d92ec4492"
 }

package/src/boyd-gc.d.ts

@@ -0,0 +1,12 @@
+export function makeBOYDKit({ gcTools, slotToVal, vrm, kernelRecognizableRemotables, syscall, possiblyDeadSet, possiblyRetiredSet, }: {
+    gcTools: any;
+    slotToVal: any;
+    vrm: any;
+    kernelRecognizableRemotables: any;
+    syscall: any;
+    possiblyDeadSet: any;
+    possiblyRetiredSet: any;
+}): {
+    scanForDeadObjects: () => Promise<void>;
+};
+//# sourceMappingURL=boyd-gc.d.ts.map

package/src/boyd-gc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"boyd-gc.d.ts","sourceRoot":"","sources":["boyd-gc.js"],"names":[],"mappings":"AA+YO;;;;;;;;;;EAqMN"}

package/src/cache.d.ts

@@ -0,0 +1,71 @@
+/**
+ * @template V
+ * @callback CacheGet
+ * @param {string} key
+ * @returns {V | undefined}
+ */
+/**
+ * @template V
+ * @callback CacheSet
+ * @param {string} key
+ * @param {V} value
+ * @returns {void}
+ */
+/**
+ * @callback CacheDelete
+ * @param {string} key
+ * @returns {void}
+ *
+ * @callback CacheFlush
+ * @returns {void}
+ *
+ * @callback CacheInsistClear
+ * @returns {void}
+ */
+/**
+ * @template V
+ * @typedef {object} Cache
+ * @property {CacheGet<V>} get
+ * @property {CacheSet<V>} set
+ * @property {CacheDelete} delete
+ * @property {CacheFlush} flush
+ * @property {CacheInsistClear} insistClear
+ */
+/**
+ * Cache of virtual object/collection state
+ *
+ * This cache is empty between deliveries. Within a delivery, the
+ * first access to some data will cause vatstore reads to populate the
+ * cache, then the data is retained until end-of-delivery. Writes to
+ * data will update the cache entry and mark it as dirty. At
+ * end-of-delivery, we flush the cache, writing out any dirty entries,
+ * and deleting all entries.
+ *
+ * This needs RAM for everything read during a delivery (rather than
+ * having a fixed maximum size), but yields a simple (easy to debug)
+ * deterministic relationship between data access and reads/writes to
+ * the backing store.
+ *
+ * @template V
+ * @param {(key: string) => V} readBacking
+ * @param {(key: string, value: V) => void} writeBacking
+ * @param {(key: string) => void} deleteBacking
+ * @returns {Cache<V>}
+ *
+ * This cache is part of the virtual object manager and is not intended to be
+ * used independently; it is exported only for the benefit of test code.
+ */
+export function makeCache<V>(readBacking: (key: string) => V, writeBacking: (key: string, value: V) => void, deleteBacking: (key: string) => void): Cache<V>;
+export type CacheGet<V> = (key: string) => V | undefined;
+export type CacheSet<V> = (key: string, value: V) => void;
+export type CacheDelete = (key: string) => void;
+export type CacheFlush = () => void;
+export type CacheInsistClear = () => void;
+export type Cache<V> = {
+    get: CacheGet<V>;
+    set: CacheSet<V>;
+    delete: CacheDelete;
+    flush: CacheFlush;
+    insistClear: CacheInsistClear;
+};
+//# sourceMappingURL=cache.d.ts.map

package/src/cache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.d.ts","sourceRoot":"","sources":["cache.js"],"names":[],"mappings":"AAEA;;;;;GAKG;AAEH;;;;;;GAMG;AACH;;;;;;;;;;GAUG;AACH;;;;;;;;GAQG;AAEH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,0BATa,CAAC,eACH,CAAC,GAAG,EAAE,MAAM,KAAK,CAAC,gBAClB,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,KAAK,IAAI,iBAC/B,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,GACnB,KAAK,CAAC,CAAC,CAAC,CAkDpB;qBAvGY,CAAC,UAEH,MAAM,KACJ,CAAC,GAAG,SAAS;qBAIb,CAAC,UAEH,MAAM,SACN,CAAC,KACC,IAAI;gCAIN,MAAM,KACJ,IAAI;+BAGJ,IAAI;qCAGJ,IAAI;kBAGJ,CAAC;SAEA,QAAQ,CAAC,CAAC,CAAC;SACX,QAAQ,CAAC,CAAC,CAAC;YACX,WAAW;WACX,UAAU;iBACV,gBAAgB"}

package/src/capdata.d.ts

@@ -0,0 +1,16 @@
+/**
+ * @import {assertCapData} from '@agoric/internal/src/marshal.js';
+ */
+/**
+ * Assert function to ensure that something expected to be a capdata object
+ * actually is.  A capdata object should have a .body property that's a string
+ * and a .slots property that's an array of strings.
+ *
+ * @see {assertCapData} for the general case
+ * @param {any} specimen  The object to be tested
+ * @throws {Error} if, upon inspection, the parameter does not satisfy the above
+ *   criteria.
+ * @returns {asserts specimen is import('./types.js').SwingSetCapData}
+ */
+export function insistCapData(specimen: any): asserts specimen is import("./types.js").SwingSetCapData;
+//# sourceMappingURL=capdata.d.ts.map

package/src/capdata.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capdata.d.ts","sourceRoot":"","sources":["capdata.js"],"names":[],"mappings":"AAEA;;GAEG;AAEH;;;;;;;;;;GAUG;AACH,wCALW,GAAG,GAGD,QAAQ,QAAQ,IAAI,OAAO,YAAY,EAAE,eAAe,CAWpE"}

package/src/capdata.js

@@ -1,19 +1,27 @@
 import { Fail } from '@endo/errors';
 
+/**
+ * @import {assertCapData} from '@agoric/internal/src/marshal.js';
+ */
+
 /**
  * Assert function to ensure that something expected to be a capdata object
  * actually is.  A capdata object should have a .body property that's a string
  * and a .slots property that's an array of strings.
  *
- * @param {any} capdata  The object to be tested
+ * @see {assertCapData} for the general case
+ * @param {any} specimen  The object to be tested
  * @throws {Error} if, upon inspection, the parameter does not satisfy the above
  *   criteria.
- * @returns {asserts capdata is import('./types.js').SwingSetCapData}
+ * @returns {asserts specimen is import('./types.js').SwingSetCapData}
  */
-export function insistCapData(capdata) {
-  typeof capdata.body === 'string' ||
-    Fail`capdata has non-string .body ${capdata.body}`;
-  Array.isArray(capdata.slots) ||
-    Fail`capdata has non-Array slots ${capdata.slots}`;
-  // TODO check that the .slots array elements are actually strings
+export function insistCapData(specimen) {
+  typeof specimen.body === 'string' ||
+    Fail`capdata has non-string .body ${specimen.body}`;
+  Array.isArray(specimen.slots) ||
+    Fail`capdata has non-Array slots ${specimen.slots}`;
+  assert(
+    specimen.slots.every(slot => typeof slot === 'string'),
+    'All slots must be strings',
+  );
 }

package/src/collectionManager.d.ts

@@ -0,0 +1,47 @@
+/**
+ * @param {*} syscall
+ * @param {import('./virtualReferences.js').VirtualReferenceManager} vrm
+ * @param {() => number} allocateExportID
+ * @param {() => number} allocateCollectionID
+ * @param {(val: any) => string | undefined} convertValToSlot
+ * @param {*} convertSlotToVal
+ * @param {*} registerValue
+ * @param {ToCapData<string>} serialize
+ * @param {FromCapData<string>} unserialize
+ * @param {(capDatas: any) => void} assertAcceptableSyscallCapdataSize
+ */
+export function makeCollectionManager(syscall: any, vrm: import("./virtualReferences.js").VirtualReferenceManager, allocateExportID: () => number, allocateCollectionID: () => number, convertValToSlot: (val: any) => string | undefined, convertSlotToVal: any, registerValue: any, serialize: ToCapData<string>, unserialize: FromCapData<string>, assertAcceptableSyscallCapdataSize: (capDatas: any) => void): {
+    initializeStoreKindInfo: () => void;
+    makeScalarBigMapStore: <K, V>(label?: string, options?: StoreOptions) => MapStore<K, V>;
+    makeScalarBigWeakMapStore: <K, V>(label?: string, options?: StoreOptions) => WeakMapStore<K, V>;
+    makeScalarBigSetStore: <K>(label?: string, options?: StoreOptions) => SetStore<K>;
+    makeScalarBigWeakSetStore: <K>(label?: string, options?: StoreOptions) => WeakSetStore<K>;
+    provideBaggage: () => any;
+    flushSchemaCache: () => void;
+    getRetentionStats: () => {};
+    testHooks: {
+        obtainStoreKindID: (kindName: any) => any;
+        storeSizeInternal: (vobjID: any) => number;
+        makeCollection: (label: any, kindName: any, isDurable: any, keyShape: any, valueShape: any) => (string | {
+            has: (key: any) => boolean;
+            get: (key: any) => any;
+            init: (key: any, value: any) => void;
+            addToSet: (key: any) => void;
+            addAllToSet: (elems: any) => void;
+            addAllToMap: (mapEntries: any) => void;
+            set: (key: any, value: any) => void;
+            delete: (key: any) => void;
+        })[];
+    };
+};
+export const collectionMetaKeys: Set<string>;
+export type SchemaCacheValue = {
+    keyShape: Pattern;
+    valueShape: Pattern;
+    label: string;
+    schemataCapData: object;
+};
+import type { ToCapData } from '@endo/marshal';
+import type { FromCapData } from '@endo/marshal';
+import type { Pattern } from '@endo/patterns';
+//# sourceMappingURL=collectionManager.d.ts.map

package/src/collectionManager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collectionManager.d.ts","sourceRoot":"","sources":["collectionManager.js"],"names":[],"mappings":"AAoHA;;;;;;;;;;;GAWG;AACH,+CAXW,GAAC,OACD,OAAO,wBAAwB,EAAE,uBAAuB,oBACxD,MAAM,MAAM,wBACZ,MAAM,MAAM,oBACZ,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,GAAG,SAAS,oBAChC,GAAC,iBACD,GAAC,aACD,UAAU,MAAM,CAAC,eACjB,YAAY,MAAM,CAAC,sCACnB,CAAC,QAAQ,EAAE,GAAG,KAAK,IAAI;;4BAs+BnB,CAAC,EAAC,CAAC,UACL,MAAM,YACN,YAAY,KACV,QAAQ,CAAC,CAAC,EAAC,CAAC,CAAC;gCASb,CAAC,EAAC,CAAC,UACL,MAAM,YACN,YAAY,KACV,YAAY,CAAC,CAAC,EAAC,CAAC,CAAC;4BASjB,CAAC,UACH,MAAM,YACN,YAAY,KACV,QAAQ,CAAC,CAAC,CAAC;gCASX,CAAC,UACH,MAAM,YACN,YAAY,KACV,YAAY,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;;;;EAsB7B;AA7lCD,6CAIG;;cAIW,OAAO;gBACP,OAAO;WACP,MAAM;qBACN,MAAM;;+BAnDqB,eAAe;iCAAf,eAAe;6BAC9B,gBAAgB"}

package/src/collectionManager.js

@@ -27,6 +27,7 @@ import { makeCache } from './cache.js';
 
 /**
  * @import {ToCapData, FromCapData} from '@endo/marshal';
+ * @import {Pattern} from '@endo/patterns';
  */
 
 // XXX TODO: The following key length limit was put in place due to limitations

package/src/facetiousness.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Assess the facetiousness of a value.  If the value is an object containing
+ * only named properties and each such property's value is a function, `obj`
+ * represents a single facet and 'one' is returned.  If each property's value
+ * is instead an object of facetiousness 'one', `obj` represents multiple
+ * facets and 'many' is returned.  In all other cases `obj` does not represent
+ * any kind of facet abstraction and 'not' is returned.
+ *
+ * @typedef {'one'|'many'|'not'} Facetiousness
+ *
+ * @param {*} obj  The (alleged) object to be assessed
+ * @returns {Facetiousness} an assessment of the facetiousness of `obj`
+ */
+export function assessFacetiousness(obj: any): Facetiousness;
+export function checkAndUpdateFacetiousness(tag: any, desc: any, proposedFacetNames: any): any;
+/**
+ * Assess the facetiousness of a value.  If the value is an object containing
+ * only named properties and each such property's value is a function, `obj`
+ * represents a single facet and 'one' is returned.  If each property's value
+ * is instead an object of facetiousness 'one', `obj` represents multiple
+ * facets and 'many' is returned.  In all other cases `obj` does not represent
+ * any kind of facet abstraction and 'not' is returned.
+ */
+export type Facetiousness = "one" | "many" | "not";
+//# sourceMappingURL=facetiousness.d.ts.map

package/src/facetiousness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"facetiousness.d.ts","sourceRoot":"","sources":["facetiousness.js"],"names":[],"mappings":"AAEA;;;;;;;;;;;;GAYG;AACH,yCAHW,GAAC,GACC,aAAa,CA+BzB;AAGM,+FAwCN;;;;;;;;;4BA7EY,KAAK,GAAC,MAAM,GAAC,KAAK"}

package/src/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./types-index.js";
+export { makeLiveSlots, makeMarshaller } from "./liveslots.js";
+export { insistMessage, insistVatDeliveryObject, insistVatDeliveryResult, insistVatSyscallObject, insistVatSyscallResult } from "./message.js";
+//# sourceMappingURL=index.d.ts.map

package/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["index.js"],"names":[],"mappings":""}

package/src/kdebug.d.ts

@@ -0,0 +1,7 @@
+export function kdebugEnable(flag: any): void;
+export function kdebug(...args: any[]): void;
+export function legibilizeValue(val: any, slots: any, smallcaps: any): any;
+export function legibilizeMethod(method: any, smallcaps: any): string;
+export function extractMethod(methargsCapdata: any): string;
+export function legibilizeMessageArgs(methargsCapdata: any): any[] | "<unintelligible message args>";
+//# sourceMappingURL=kdebug.d.ts.map

package/src/kdebug.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kdebug.d.ts","sourceRoot":"","sources":["kdebug.js"],"names":[],"mappings":"AAEA,8CAEC;AAED,6CAIC;AAED,2EAwEC;AAED,sEAmDC;AAED,4DAaC;AAED,qGAkBC"}

package/src/liveslots.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Instantiate the liveslots layer for a new vat and then populate the vat with
+ * a new root object and its initial associated object graph, if any.
+ *
+ * @param {*} syscall  Kernel syscall interface that the vat will have access to
+ * @param {*} forVatID  Vat ID label, for use in debug diagostics
+ * @param {*} vatPowers
+ * @param {import('./types.js').LiveSlotsOptions} liveSlotsOptions
+ * @param {*} gcTools { WeakRef, FinalizationRegistry, waitUntilQuiescent }
+ * @param {LimitedConsole} [liveSlotsConsole]
+ * @param {*} [buildVatNamespace]
+ *
+ * @returns {*} { dispatch }
+ *
+ * setBuildRootObject should be called, once, with a function that will
+ * create a root object for the new vat The caller provided buildRootObject
+ * function produces and returns the new vat's root object:
+ *
+ * buildRootObject(vatPowers, vatParameters)
+ *
+ * Within the vat, `import { E } from '@endo/eventual-send'` will
+ * provide the E wrapper. For any object x, E(x) returns a proxy object
+ * that converts any method invocation into a corresponding eventual send
+ * to x. That is, E(x).foo(arg1, arg2) is equivalent to x~.foo(arg1,
+ * arg2)
+ *
+ * If x is the presence in this vat of a remote object (that is, an object
+ * outside the vat), this will result in a message send out of the vat via
+ * the kernel syscall interface.
+ *
+ * In the same vein, if x is the presence in this vat of a kernel device,
+ * vatPowers.D(x) returns a proxy such that a method invocation on it is
+ * translated into the corresponding immediate invocation of the device
+ * (using, once again, the kernel syscall interface). D(x).foo(args) will
+ * perform an immediate syscall.callNow on the device node.
+ */
+export function makeLiveSlots(syscall: any, forVatID: any | undefined, vatPowers: any | undefined, liveSlotsOptions: import("./types.js").LiveSlotsOptions, gcTools: any, liveSlotsConsole?: LimitedConsole, buildVatNamespace?: any): any;
+export function makeMarshaller(syscall: any, gcTools: any, vatID?: string): {
+    m: any;
+};
+import type { LimitedConsole } from '@agoric/internal/src/js-utils.js';
+//# sourceMappingURL=liveslots.d.ts.map

package/src/liveslots.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"liveslots.d.ts","sourceRoot":"","sources":["liveslots.js"],"names":[],"mappings":"AAm9CA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,uCAhCW,GAAC,YACD,GAAC,yBACD,GAAC,gCACD,OAAO,YAAY,EAAE,gBAAgB,WACrC,GAAC,qBACD,cAAc,sBACd,GAAC,GAEC,GAAC,CAgDb;AAGD;;EAIC;oCAtgDiC,kCAAkC"}

package/src/liveslots.js

@@ -14,6 +14,8 @@ import { makeCollectionManager } from './collectionManager.js';
 import { makeWatchedPromiseManager } from './watchedPromises.js';
 import { makeBOYDKit } from './boyd-gc.js';
 
+/** @import {LimitedConsole} from '@agoric/internal/src/js-utils.js'; */
+
 const SYSCALL_CAPDATA_BODY_SIZE_LIMIT = 10_000_000;
 const SYSCALL_CAPDATA_SLOTS_LENGTH_LIMIT = 10_000;
 
@@ -32,7 +34,7 @@ const SYSCALL_CAPDATA_SLOTS_LENGTH_LIMIT = 10_000;
  * @param {import('./types.js').LiveSlotsOptions} liveSlotsOptions
  * @param {*} gcTools { WeakRef, FinalizationRegistry, waitUntilQuiescent, gcAndFinalize,
  *                      meterControl }
- * @param {Pick<Console, 'debug' | 'log' | 'info' | 'warn' | 'error'>} console
+ * @param {LimitedConsole} console
  * @param {*} buildVatNamespace
  *
  * @returns {*} { dispatch }
@@ -795,6 +797,7 @@ function build(
       for (const resolution of resolutions) {
         const [xvpid] = resolution;
         maybeNewVPIDs.delete(xvpid);
+        unregisterUnreferencedVPID(xvpid);
       }
     }
     for (const newVPID of Array.from(maybeNewVPIDs).sort()) {
@@ -1010,14 +1013,13 @@ function build(
       for (const resolution of resolutions) {
         const [xvpid] = resolution;
         maybeNewVPIDs.delete(xvpid);
+        unregisterUnreferencedVPID(xvpid);
       }
       // track everything that's left
       for (const newVPID of Array.from(maybeNewVPIDs).sort()) {
         maybeExportPromise(newVPID);
       }
 
-      // only the primary can possibly be newly resolved
-      unregisterUnreferencedVPID(vpid);
       exportedVPIDs.delete(vpid);
     }
 
@@ -1496,7 +1498,7 @@ function build(
  * @param {*} vatPowers
  * @param {import('./types.js').LiveSlotsOptions} liveSlotsOptions
  * @param {*} gcTools { WeakRef, FinalizationRegistry, waitUntilQuiescent }
- * @param {Pick<Console, 'debug' | 'log' | 'info' | 'warn' | 'error'>} [liveSlotsConsole]
+ * @param {LimitedConsole} [liveSlotsConsole]
  * @param {*} [buildVatNamespace]
  *
  * @returns {*} { dispatch }

package/src/message.d.ts

@@ -0,0 +1,49 @@
+/**
+ * @import {VatDeliveryResult} from './types.js';
+ */
+/**
+ * @typedef {{
+ * methargs: import('./types.js').SwingSetCapData, // of [method, args]
+ * result: string | undefined | null,
+ * }} Message
+ */
+/**
+ * Assert function to ensure that something expected to be a message object
+ * actually is.  A message object should have a .method property that's a
+ * string, a .args property that's a capdata object, and optionally a .result
+ * property that, if present, must be a string.
+ *
+ * @param {any} message  The object to be tested
+ *
+ * @throws {Error} if, upon inspection, the parameter does not satisfy the above
+ *   criteria.
+ *
+ * @returns {asserts message is Message}
+ */
+export function insistMessage(message: any): asserts message is Message;
+/**
+ * @param {unknown} vdo
+ * @returns {asserts vdo is import('./types.js').VatDeliveryObject}
+ */
+export function insistVatDeliveryObject(vdo: unknown): asserts vdo is import("./types.js").VatDeliveryObject;
+/**
+ * @param {unknown} vdr
+ * @returns {asserts vdr is VatDeliveryResult}
+ */
+export function insistVatDeliveryResult(vdr: unknown): asserts vdr is VatDeliveryResult;
+/**
+ * @param {unknown} vso
+ * @returns {asserts vso is import('./types.js').VatSyscallObject}
+ */
+export function insistVatSyscallObject(vso: unknown): asserts vso is import("./types.js").VatSyscallObject;
+/**
+ * @param {unknown} vsr
+ * @returns {asserts vsr is import('./types.js').VatSyscallResult}
+ */
+export function insistVatSyscallResult(vsr: unknown): asserts vsr is import("./types.js").VatSyscallResult;
+export type Message = {
+    methargs: import("./types.js").SwingSetCapData;
+    result: string | undefined | null;
+};
+import type { VatDeliveryResult } from './types.js';
+//# sourceMappingURL=message.d.ts.map

package/src/message.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"message.d.ts","sourceRoot":"","sources":["message.js"],"names":[],"mappings":"AAGA;;GAEG;AAEH;;;;;GAKG;AAEH;;;;;;;;;;;;GAYG;AAEH,uCARW,GAAG,GAKD,QAAQ,OAAO,IAAI,OAAO,CAStC;AAED;;;GAGG;AAEH,6CAJW,OAAO,GACL,QAAQ,GAAG,IAAI,OAAO,YAAY,EAAE,iBAAiB,CAwDjE;AAED;;;GAGG;AAEH,6CAJW,OAAO,GACL,QAAQ,GAAG,IAAI,iBAAiB,CAkB5C;AAED;;;GAGG;AAEH,4CAJW,OAAO,GACL,QAAQ,GAAG,IAAI,OAAO,YAAY,EAAE,gBAAgB,CA4EhE;AAED;;;GAGG;AAEH,4CAJW,OAAO,GACL,QAAQ,GAAG,IAAI,OAAO,YAAY,EAAE,gBAAgB,CAkBhE;sBAlNY;IACV,QAAQ,EAAE,OAAO,YAAY,EAAE,eAAe,CAAC;IAC/C,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC;CACjC;uCAPgC,YAAY"}

package/src/message.js

@@ -1,6 +1,10 @@
 import { assert, Fail } from '@endo/errors';
 import { insistCapData } from './capdata.js';
 
+/**
+ * @import {VatDeliveryResult} from './types.js';
+ */
+
 /**
  * @typedef {{
  * methargs: import('./types.js').SwingSetCapData, // of [method, args]
@@ -32,7 +36,7 @@ export function insistMessage(message) {
 
 /**
  * @param {unknown} vdo
- * @returns {asserts vdo is import('./types').VatDeliveryObject}
+ * @returns {asserts vdo is import('./types.js').VatDeliveryObject}
  */
 
 export function insistVatDeliveryObject(vdo) {
@@ -114,7 +118,7 @@ export function insistVatDeliveryResult(vdr) {
 
 /**
  * @param {unknown} vso
- * @returns {asserts vso is import('./types').VatSyscallObject}
+ * @returns {asserts vso is import('./types.js').VatSyscallObject}
  */
 
 export function insistVatSyscallObject(vso) {
@@ -194,7 +198,7 @@ export function insistVatSyscallObject(vso) {
 
 /**
  * @param {unknown} vsr
- * @returns {asserts vsr is import('./types').VatSyscallResult}
+ * @returns {asserts vsr is import('./types.js').VatSyscallResult}
  */
 
 export function insistVatSyscallResult(vsr) {