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

package/src/parseVatSlots.d.ts

@@ -0,0 +1,125 @@
+/**
+ * Parse a vref string into its component parts:
+ *   {
+ *      type: STRING, // 'object', 'device', 'promise'
+ *      allocatedByVat: BOOL, // true=>allocated by vat, false=>by the kernel
+ *      id: Nat,
+ *      subid: Nat,
+ *      baseRef: STRING,
+ *      facet: Nat,
+ *      virtual: BOOL, // true=>vref designates a "merely virtual" object (not durable, not ephemeral)
+ *      durable: BOOL, // designates a durable (not merely virtual, not ephemeral)
+ *   }
+ *
+ * A vref string can take one of the forms:
+ *
+ *   T-N
+ *   T+N
+ *   T+DN/I
+ *   T+DN/I:F
+ *
+ * Where:
+ *
+ *   T is a single character encoding the type of entity being referenced: 'd'
+ *      for 'device', 'o' for 'object', or 'p' for 'promise'.  One of the string
+ *      values 'device', 'object', or 'promise' is returned as the `type`
+ *      property of the result.
+ *
+ *   '+' or '-' encodes who allocated the reference: '-' for the kernel
+ *      (typically an import) or '+ for the vat (typically an export).  This is
+ *      returned in the `allocatedByVat` property of the result as a boolean.
+ *
+ *   D is the durability status: for object exports ("o+"), this will
+ *      be the letter 'd' for durable objects, the letter 'v' for
+ *      non-durable ("merely virtual") objects, or empty for
+ *      "Remotable" (ephemeral) objects. It is empty for object
+ *      imports ("o-"), and both both imports and exports of all other
+ *      types (promises, devices)
+ *
+ *   N is a decimal integer representing the identity of the referenced entity.
+ *      This is returned in the `id` property of the result as a BigInt.
+ *
+ *   I if present (only allowed if T is 'o') is a decimal integer representing
+ *      the instance id of the referenced object.  In this case N denotes a
+ *      category of objects that share a common shape, either one of the store
+ *      types or a virtual object kind, and I indicates which instance of that
+ *      category is being referred to.  If present this is returned as the
+ *      `subid` property of the result as a BigInt.
+ *
+ *   F if present (only allowed if I is also present) is a decimal integer
+ *      referencing a facet of the referenced object.  In this case N/I denotes
+ *      a particular object instance and F indicates which of several possible
+ *      facets of that instance is being addressed.  If present this is returned
+ *      in the `facet` property of the result as a BigInt.
+ *
+ * The `baseRef` property of the result is `vref` stripped of any facet indicator.
+ *
+ * A "vref" identifies an entity visible to vat code to which messages may be
+ * sent and which may be compared for equality to other such entities.  Let's
+ * call such an entity an "addressable object".
+ *
+ * A "baseRef" designates an entity that is managed by LiveSlots, both as a unit
+ * of garbage collection specifically and as a unit of memory management more
+ * generally.  Such an entity may be a promise or remotable object or imported
+ * presence, all of which will always be JavaScript objects in memory, or it may
+ * be a virtual object or collection, which can be in memory or on disk or both.
+ * Let's call such an entity a "base object".  In most cases this is one and the
+ * same with the addressable object that the vref designates, but in the case of
+ * a faceted object it is the cohort record as a whole rather than any particular
+ * individual facet.
+ *
+ * XXX TODO: The previous comment suggests some renaming is warranted:
+ *
+ * In the current implementation, a vref string may only include decimal digits,
+ * the letters 'd'/'o'/'p'/'v', and the punctuation characters '+', '-', '/',
+ * and ':'.  Future evolution of the vref syntax might add more characters to
+ * this set, but the characters '|' and ',' are permanently excluded: '|' is
+ * used (notably by the collection manager) as delimiter in vatstore keys that
+ * include vrefs, and ',' is used as a separator in lists of vrefs.
+ *
+ * `slotToVal` maps a baseRef to a base object (actually to a weakRef that
+ *    points to a base object)
+ * `getValForSlot` maps a baseRef to a base object, or to undefined if it is not
+ *    resident in memory
+ * `convertSlotToVal` maps a vref to to an addressable object, loading it from
+ *    disk if necessary
+ *
+ * `valToSlot` maps an addressable object to a vref
+ * `getSlotForVal` maps an addressable object to a vref
+ * `convertValToSlot` maps an addressable object to a vref, generating a new
+ *    vref if necessary
+ *
+ * @param {string} vref  The string to be parsed, as described above.
+ *
+ * @returns {*} a vref components descriptor corresponding to the vref string
+ *    parameter, assuming it is syntactically well formed.
+ *
+ * @throws if the given vref string is syntactically incorrect.
+ */
+export function parseVatSlot(vref: string): any;
+/**
+ * Generate a vat slot reference string given a type, ownership, and id.
+ *
+ * @param {'object'|'device'|'promise'} type The type
+ * @param {boolean} allocatedByVat  Flag: true=>vat allocated, false=>kernel allocated
+ * @param {number | bigint} id    The id, a Nat.
+ *
+ * @returns {string} the corresponding vat slot reference string.
+ *
+ * @throws if type is not one of the above known types.
+ */
+export function makeVatSlot(type: "object" | "device" | "promise", allocatedByVat: boolean, id: number | bigint): string;
+export function makeBaseRef(kindID: any, id: any, isDurable: any): string;
+/**
+ * Assert function to ensure that a vat slot reference string refers to a
+ * slot of a given type.
+ *
+ * @param {string} type  The vat slot type desired, a string.
+ * @param {string} vatSlot  The vat slot reference string being tested
+ *
+ * @throws if vatSlot is not of the given type or is malformed.
+ *
+ * @returns {void}
+ */
+export function insistVatType(type: string, vatSlot: string): void;
+//# sourceMappingURL=parseVatSlots.d.ts.map

package/src/parseVatSlots.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parseVatSlots.d.ts","sourceRoot":"","sources":["parseVatSlots.js"],"names":[],"mappings":"AAcA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiGG;AACH,mCAPW,MAAM,GAEJ,GAAC,CA4Db;AAED;;;;;;;;;;GAUG;AACH,kCARW,QAAQ,GAAC,QAAQ,GAAC,SAAS,kBAC3B,OAAO,MACP,MAAM,GAAG,MAAM,GAEb,MAAM,CAsBlB;AAED,0EAEC;AAED;;;;;;;;;;GAUG;AACH,oCAPW,MAAM,WACN,MAAM,GAIJ,IAAI,CAKhB"}

package/src/types.d.ts

@@ -0,0 +1,81 @@
+export type makeLiveSlots = () => any;
+/**
+ * The MeterControl object gives liveslots a mechanism to disable metering for certain GC-sensitive
+ * regions of code. Only the XS worker can actually do metering, but we track the enabled/disabled
+ * status on all workers, so that the assertions can be exercised more thoroughly (via non-XS unit
+ * tests). MeterControl.isMeteringDisabled()===false does not mean metering is happening, it just
+ * means that MeterControl isn't disabling it.
+ */
+export type MeterControl = {
+    /**
+     * Ask whether metering is currently disabled.
+     */
+    isMeteringDisabled: () => boolean;
+    assertIsMetered: any;
+    assertNotMetered: any;
+    /**
+     * Run a callback outside metering
+     */
+    runWithoutMetering: any;
+    /**
+     * Run an async callback outside metering
+     */
+    runWithoutMeteringAsync: any;
+    /**
+     * Wrap a callback with runWithoutMetering
+     */
+    unmetered: any;
+};
+export type LiveSlotsOptions = {
+    enableDisavow?: boolean | undefined;
+    relaxDurabilityRules?: boolean | undefined;
+    /**
+     * somewhat misnamed; this actually
+     * relates to *arbitrary* changes (per #10200, a non-true value still permits
+     * backwards-compatible addition of new optional fields)
+     */
+    allowStateShapeChanges?: boolean | undefined;
+};
+export type SwingSetCapData = import("@endo/marshal").CapData<string>;
+export type Message = {
+    methargs: SwingSetCapData;
+    result: string | undefined | null;
+};
+export type VatDeliveryMessage = [tag: "message", target: string, msg: Message];
+export type VatOneResolution = [vpid: string, isReject: boolean, data: SwingSetCapData];
+export type VatDeliveryNotify = [tag: "notify", resolutions: VatOneResolution[]];
+export type VatDeliveryDropExports = [tag: "dropExports", vrefs: string[]];
+export type VatDeliveryRetireExports = [tag: "retireExports", vrefs: string[]];
+export type VatDeliveryRetireImports = [tag: "retireImports", vrefs: string[]];
+export type VatDeliveryChangeVatOptions = [tag: "changeVatOptions", options: Record<string, unknown>];
+export type VatDeliveryStartVat = [tag: "startVat", vatParameters: SwingSetCapData];
+export type VatDeliveryStopVat = [tag: "stopVat", disconnectObject: SwingSetCapData];
+export type VatDeliveryBringOutYourDead = [tag: "bringOutYourDead"];
+export type VatDeliveryObject = VatDeliveryMessage | VatDeliveryNotify | VatDeliveryDropExports | VatDeliveryRetireExports | VatDeliveryRetireImports | VatDeliveryChangeVatOptions | VatDeliveryStartVat | VatDeliveryStopVat | VatDeliveryBringOutYourDead;
+export type MeterConsumption = {
+    compute: number;
+};
+export type VatDeliveryResult = [tag: "ok", results: any, usage: MeterConsumption | null] | [tag: "error", message: string, usage: MeterConsumption | null];
+export type VatSyscallSend = [tag: "send", target: string, msg: Message];
+export type VatSyscallCallNow = [tag: "callNow", target: string, method: string, args: SwingSetCapData];
+export type VatSyscallSubscribe = [tag: "subscribe", vpid: string];
+export type VatSyscallResolve = [tag: "resolve", resolutions: VatOneResolution[]];
+export type VatSyscallExit = [tag: "exit", isFailure: boolean, info: SwingSetCapData];
+export type VatSyscallVatstoreGet = [tag: "vatstoreGet", key: string];
+export type VatSyscallVatstoreGetNextKey = [tag: "vatstoreGetNextKey", priorKey: string];
+export type VatSyscallVatstoreSet = [tag: "vatstoreSet", key: string, data: string];
+export type VatSyscallVatstoreDelete = [tag: "vatstoreDelete", key: string];
+export type VatSyscallDropImports = [tag: "dropImports", slots: string[]];
+export type VatSyscallRetireImports = [tag: "retireImports", slots: string[]];
+export type VatSyscallRetireExports = [tag: "retireExports", slots: string[]];
+export type VatSyscallAbandonExports = [tag: "abandonExports", slots: string[]];
+export type VatSyscallObject = VatSyscallSend | VatSyscallCallNow | VatSyscallSubscribe | VatSyscallResolve | VatSyscallExit | VatSyscallVatstoreGet | VatSyscallVatstoreGetNextKey | VatSyscallVatstoreSet | VatSyscallVatstoreDelete | VatSyscallDropImports | VatSyscallRetireImports | VatSyscallRetireExports | VatSyscallAbandonExports;
+export type VatSyscallResultOk = [tag: "ok", data: SwingSetCapData | string | string[] | null];
+export type VatSyscallResultError = [tag: "error", err: string];
+export type VatSyscallResult = VatSyscallResultOk | VatSyscallResultError;
+export type VatSyscallHandler = (vso: VatSyscallObject) => VatSyscallResult;
+export type PromiseWatcher<V, A extends any[] = unknown[]> = {
+    onFulfilled?: (value: V, ...args: A) => void;
+    onRejected?: (reason: unknown, ...args: A) => void;
+};
+//# sourceMappingURL=types.d.ts.map

package/src/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":";;;;;;;;;;;;wBAec,MAAM,OAAO;qBACb,GAAC;sBACD,GAAC;;;;wBACD,GAAC;;;;6BACD,GAAC;;;;eACD,GAAC;;;;;;;;;;;;8BAWF,OAAO,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC;sBAEvC;IACK,QAAQ,EAAE,eAAe,CAAC;IAC1B,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC;CACpC;iCACF,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC;+BAC9C,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,CAAE;gCACzD,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAE;qCACjD,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,CAAE;uCACtC,CAAC,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAE;uCACxC,CAAC,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAE;0CACxC,CAAC,GAAG,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAE;kCAC5D,CAAC,GAAG,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,CAAE;iCAClD,CAAC,GAAG,EAAE,SAAS,EAAE,gBAAgB,EAAE,eAAe,CAAE;0CACpD,CAAC,GAAG,EAAE,kBAAkB,CAAE;gCAC1B,kBAAkB,GAAG,iBAAiB,GAAG,sBAAsB,GAC7D,wBAAwB,GAAG,wBAAwB,GAAG,2BAA2B,GACjF,mBAAmB,GAAG,kBAAkB,GAAG,2BAA2B;+BAGxE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE;gCACnB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,gBAAgB,GAAG,IAAI,CAAC,GACtE,CAAc,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,GAAG,IAAI,CAAC;6BAG/D,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC;gCAC3C,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC;kCACvE,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAE;gCACjC,CAAC,GAAG,EAAE,SAAS,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAE;6BAClD,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,CAAE;oCACzD,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,CAAE;2CAClC,CAAC,GAAG,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,CAAE;oCAC9C,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAE;uCAChD,CAAC,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,CAAE;oCACrC,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,CAAE;sCACtC,CAAC,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAE;sCACxC,CAAC,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAE;uCACxC,CAAC,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,EAAE,CAAE;+BAEzC,cAAc,GAAG,iBAAiB,GAAG,mBAAmB,GAC9D,iBAAiB,GAAG,cAAc,GAAG,qBAAqB,GAAG,4BAA4B,GACzF,qBAAqB,GAAG,wBAAwB,GAAG,qBAAqB,GACxE,uBAAuB,GAAG,uBAAuB,GAAG,wBAAwB;iCAGtE,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,GAAG,MAAM,GAAG,MAAM,EAAE,GAAG,IAAI,CAAE;oCAC9D,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAE;+BAC5B,kBAAkB,GAAG,qBAAqB;gCAE1C,CAAC,GAAG,EAAE,gBAAgB,KAAK,gBAAgB;2BAK5C,CAAC,EACQ,CAAC,SAAT,GAAG,EAAG,gBACN;IAAC,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC;IAAC,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,IAAI,CAAA;CAAC"}

package/src/types.js

@@ -22,11 +22,12 @@ export {};
  */
 
 /**
- * @typedef {{
- *   enableDisavow?: boolean,
- *   relaxDurabilityRules?: boolean,
- *   allowStateShapeChanges?: boolean,
- * }} LiveSlotsOptions
+ * @typedef {object} LiveSlotsOptions
+ * @property {boolean} [enableDisavow]
+ * @property {boolean} [relaxDurabilityRules]
+ * @property {boolean} [allowStateShapeChanges] somewhat misnamed; this actually
+ *   relates to *arbitrary* changes (per #10200, a non-true value still permits
+ *   backwards-compatible addition of new optional fields)
  *
  * @typedef {import('@endo/marshal').CapData<string>} SwingSetCapData
  *

package/src/vatDataTypes.d.ts

@@ -0,0 +1,170 @@
+/**
+ * @file Types for vat-data
+ *
+ * Facet is a single object with methods.
+ * Behavior is a description when defining a kind of what facets it will have.
+ * For the non-multi defineKind, there is just one facet so it doesn't have a key.
+ */
+import type { MapStore, SetStore, StoreOptions, WeakMapStore, WeakSetStore } from '@agoric/store';
+import type { Amplify, IsInstance, ReceivePower, StateShape } from '@endo/exo';
+import type { RemotableObject } from '@endo/pass-style';
+import type { RemotableBrand } from '@endo/eventual-send';
+import type { InterfaceGuard, Pattern } from '@endo/patterns';
+import type { makeWatchedPromiseManager } from './watchedPromises.js';
+export type InterfaceGuardKit = Record<string, InterfaceGuard>;
+export type { MapStore, Pattern };
+export type Baggage = MapStore<string, any>;
+type WatchedPromisesManager = ReturnType<typeof makeWatchedPromiseManager>;
+type OmitFirstArg<F> = F extends (x: any, ...args: infer P) => infer R ? (...args: P) => R : never;
+type PrimaryRemotable<O> = O & RemotableObject & RemotableBrand<object, O>;
+export type KindFacet<O> = PrimaryRemotable<{
+    [K in keyof O]: OmitFirstArg<O[K]>;
+}>;
+export type KindFacets<B> = {
+    [FacetKey in keyof B]: KindFacet<B[FacetKey]>;
+};
+export type KindContext<S, F> = {
+    state: S;
+    self: KindFacet<F>;
+};
+export type MultiKindContext<S, B> = {
+    state: S;
+    facets: KindFacets<B>;
+};
+export type PlusContext<C, M extends (...args: any[]) => any> = (c: C, ...args: Parameters<M>) => ReturnType<M>;
+export type FunctionsPlusContext<C, O extends Record<string, (...args: any[]) => any>> = {
+    [K in keyof O]: PlusContext<C, O[K]>;
+};
+declare class DurableKindHandleClass {
+    private descriptionTag;
+}
+export type DurableKindHandle = DurableKindHandleClass;
+/**
+ * Grab bag of options that can be provided to `defineDurableKind` and its
+ * siblings. Not all options are meaningful in all contexts. See the
+ * doc-comments on each option.
+ */
+export type DefineKindOptions<C> = {
+    /**
+     * If provided, the `finish` function will be called after the instance is
+     * made and internally registered, but before it is returned. The finish
+     * function is to do any post-intantiation initialization that should be
+     * done before exposing the object to its clients.
+     */
+    finish?: (context: C) => void;
+    /**
+     * If provided, it describes the shape of all state records of instances
+     * of this kind.
+     */
+    stateShape?: StateShape;
+    /**
+     * If a `receiveAmplifier` function is provided to an exo class kit definition,
+     * it will be called with an `Amplify` function. If provided to the definition
+     * of a normal exo or exo class, the definition will throw, since only
+     * exo kits can be amplified.
+     * An `Amplify` function is a function that takes a facet instance of
+     * this class kit as an argument, in which case it will return the facets
+     * record, giving access to all the facet instances of the same cohort.
+     */
+    receiveAmplifier?: ReceivePower<Amplify>;
+    /**
+     * If a `receiveInstanceTester` function is provided, it will be called
+     * during the definition of the exo class or exo class kit with an
+     * `IsInstance` function. The first argument of `IsInstance`
+     * is the value to be tested. When it may be a facet instance of an
+     * exo class kit, the optional second argument, if provided, is
+     * a `facetName`. In that case, the function tests only if the first
+     * argument is an instance of that facet of the associated exo class kit.
+     */
+    receiveInstanceTester?: ReceivePower<IsInstance>;
+    /**
+     * As a kind option, intended for internal use only.
+     * Meaningful to `makeScalarBigMapStore` and its siblings. These maker
+     * fuctions will make either virtual or durable stores, depending on
+     * this flag. Defaults to off, making virtual but not durable collections.
+     *
+     * Generally, durable collections are provided with `provideDurableMapStore`
+     * and its sibling, which use this flag internally. If you do not make
+     * durable collections by other means, you can consider this as
+     * intended for internal use only.
+     */
+    durable?: boolean;
+    /**
+     * Intended for internal use only.
+     * Should the raw methods receive their `context` argument as their first
+     * argument or as their `this` binding? For `defineDurableKind` and its
+     * siblings (including `prepareSingleton`), this defaults to off, meaning that
+     * their behavior methods receive `context` as their first argument.
+     * `prepareExoClass` and its siblings (including `prepareExo`) use
+     * this flag internally to indicate that their methods receive `context`
+     * as their `this` binding.
+     */
+    thisfulMethods?: boolean;
+    /**
+     * Intended for internal use only.
+     * Only applicable if this is a class kind. A class kit kind should use
+     * `interfaceGuardKit` instead.
+     *
+     * If an `interfaceGuard` is provided, then the raw methods passed alongside
+     * it are wrapped by a function that first checks that this method's guard
+     * pattern is satisfied before calling the raw method.
+     *
+     * In `defineDurableKind` and its siblings, this defaults to `undefined`.
+     * Exo classes use this internally to protect their raw class methods
+     * using the provided interface.
+     * In absence, an exo is protected anyway, while a bare kind is
+     * not (detected by `!thisfulMethods`),
+     */
+    interfaceGuard?: InterfaceGuard;
+    /**
+     * Intended for internal use only.
+     * Only applicable if this is a class kit kind. A class kind should use
+     * `interfaceGuard` instead.
+     *
+     * If an `interfaceGuardKit` is provided, then each member of the
+     * interfaceGuardKit is used to guard the corresponding facet of the
+     * class kit.
+     *
+     * In `defineDurableKindMulti` and its siblings, this defaults to `undefined`.
+     * Exo class kits use this internally to protect their facets.
+     * In absence, an exo is protected anyway, while a bare kind is
+     * not (detected by `!thisfulMethods`),
+     */
+    interfaceGuardKit?: InterfaceGuardKit;
+};
+export type VatData = {
+    /** @deprecated Use defineVirtualExoClass instead */
+    defineKind: <P extends Array<any>, S, F>(tag: string, init: (...args: P) => S, facet: F, options?: DefineKindOptions<KindContext<S, F>>) => (...args: P) => KindFacet<F>;
+    /** @deprecated Use defineVirtualExoClassKit instead */
+    defineKindMulti: <P extends Array<any>, S, B>(tag: string, init: (...args: P) => S, behavior: B, options?: DefineKindOptions<MultiKindContext<S, B>>) => (...args: P) => KindFacets<B>;
+    makeKindHandle: (descriptionTag: string) => DurableKindHandle;
+    /** @deprecated Use defineDurableExoClass instead */
+    defineDurableKind: <P extends Array<any>, S, F>(kindHandle: DurableKindHandle, init: (...args: P) => S, facet: F, options?: DefineKindOptions<KindContext<S, F>>) => (...args: P) => KindFacet<F>;
+    /** @deprecated Use defineDurableExoClassKit instead */
+    defineDurableKindMulti: <P extends Array<any>, S, B>(kindHandle: DurableKindHandle, init: (...args: P) => S, behavior: B, options?: DefineKindOptions<MultiKindContext<S, B>>) => (...args: P) => KindFacets<B>;
+    providePromiseWatcher: WatchedPromisesManager['providePromiseWatcher'];
+    watchPromise: WatchedPromisesManager['watchPromise'];
+    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>;
+    canBeDurable: (specimen: unknown) => boolean;
+};
+export interface PickFacet {
+    /**
+     * When making a multi-facet kind, it's common to pick one facet to
+     * expose. E.g.,
+     *
+     *     const makeFoo = (a, b, c, d) => makeFooBase(a, b, c, d).self;
+     *
+     * This helper reduces the duplication:
+     *
+     *     const makeFoo = pickFacet(makeFooBase, 'self');
+     */
+    <M extends (...args: any[]) => any, F extends keyof ReturnType<M>>(maker: M, facetName: F): (...args: Parameters<M>) => ReturnType<M>[F];
+}
+/** @deprecated Use prepareExoClass instead */
+export type PrepareKind = <P extends Array<any>, S, F>(baggage: Baggage, tag: string, init: (...args: P) => S, facet: F, options?: DefineKindOptions<KindContext<S, F>>) => (...args: P) => KindFacet<F>;
+/** @deprecated Use prepareExoClassKit instead */
+export type PrepareKindMulti = <P extends Array<any>, S, B>(baggage: Baggage, tag: string, init: (...args: P) => S, behavior: B, options?: DefineKindOptions<MultiKindContext<S, B>>) => (...args: P) => KindFacets<B>;
+//# sourceMappingURL=vatDataTypes.d.ts.map

package/src/vatDataTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vatDataTypes.d.ts","sourceRoot":"","sources":["vatDataTypes.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EACV,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,YAAY,EACb,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC/E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAItE,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;AAC/D,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAKlC,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAE5C,KAAK,sBAAsB,GAAG,UAAU,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAG3E,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,MAAM,CAAC,GAClE,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,GACjB,KAAK,CAAC;AAIV,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,GAAG,eAAe,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE3E,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,gBAAgB,CAAC;KACzC,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACnC,CAAC,CAAC;AAEH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;KACzB,QAAQ,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AACjE,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAEzE,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,IAAI,CAC9D,CAAC,EAAE,CAAC,EACJ,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,KACnB,UAAU,CAAC,CAAC,CAAC,CAAC;AAEnB,MAAM,MAAM,oBAAoB,CAC9B,CAAC,EACD,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,IAC/C;KACD,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;CACrC,CAAC;AAEF,OAAO,OAAO,sBAAsB;IAClC,OAAO,CAAC,cAAc,CAAS;CAChC;AACD,MAAM,MAAM,iBAAiB,GAAG,sBAAsB,CAAC;AAEvD;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI;IACjC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,IAAI,CAAC;IAE9B;;;OAGG;IACH,UAAU,CAAC,EAAE,UAAU,CAAC;IAExB;;;;;;;;OAQG;IACH,gBAAgB,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;IAEzC;;;;;;;;OAQG;IACH,qBAAqB,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC;IAQjD;;;;;;;;;;OAUG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB;;;;;;;;;OASG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB;;;;;;;;;;;;;;OAcG;IACH,cAAc,CAAC,EAAE,cAAc,CAAC;IAEhC;;;;;;;;;;;;;OAaG;IACH,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IAEpB,oDAAoD;IACpD,UAAU,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EACrC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EACvB,KAAK,EAAE,CAAC,EACR,OAAO,CAAC,EAAE,iBAAiB,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAC3C,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC;IAElC,uDAAuD;IACvD,eAAe,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1C,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EACvB,QAAQ,EAAE,CAAC,EACX,OAAO,CAAC,EAAE,iBAAiB,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAChD,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC;IAGnC,cAAc,EAAE,CAAC,cAAc,EAAE,MAAM,KAAK,iBAAiB,CAAC;IAE9D,oDAAoD;IACpD,iBAAiB,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5C,UAAU,EAAE,iBAAiB,EAC7B,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EACvB,KAAK,EAAE,CAAC,EACR,OAAO,CAAC,EAAE,iBAAiB,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAC3C,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC;IAElC,uDAAuD;IACvD,sBAAsB,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EACjD,UAAU,EAAE,iBAAiB,EAC7B,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EACvB,QAAQ,EAAE,CAAC,EACX,OAAO,CAAC,EAAE,iBAAiB,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAChD,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC;IAEnC,qBAAqB,EAAE,sBAAsB,CAAC,uBAAuB,CAAC,CAAC;IACvE,YAAY,EAAE,sBAAsB,CAAC,cAAc,CAAC,CAAC;IAErD,qBAAqB,EAAE,CAAC,CAAC,EAAE,CAAC,EAC1B,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,YAAY,KACnB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpB,yBAAyB,EAAE,CAAC,CAAC,EAAE,CAAC,EAC9B,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,YAAY,KACnB,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAExB,qBAAqB,EAAE,CAAC,CAAC,EACvB,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,YAAY,KACnB,QAAQ,CAAC,CAAC,CAAC,CAAC;IACjB,yBAAyB,EAAE,CAAC,CAAC,EAC3B,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,YAAY,KACnB,YAAY,CAAC,CAAC,CAAC,CAAC;IACrB,YAAY,EAAE,CAAC,QAAQ,EAAE,OAAO,KAAK,OAAO,CAAC;CAC9C,CAAC;AAIF,MAAM,WAAW,SAAS;IACxB;;;;;;;;;OASG;IACH,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EAAE,CAAC,SAAS,MAAM,UAAU,CAAC,CAAC,CAAC,EAC/D,KAAK,EAAE,CAAC,EACR,SAAS,EAAE,CAAC,GACX,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACjD;AAED,8CAA8C;AAC9C,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EACnD,OAAO,EAAE,OAAO,EAChB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EACvB,KAAK,EAAE,CAAC,EACR,OAAO,CAAC,EAAE,iBAAiB,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAC3C,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC;AAElC,iDAAiD;AACjD,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EACxD,OAAO,EAAE,OAAO,EAChB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EACvB,QAAQ,EAAE,CAAC,EACX,OAAO,CAAC,EAAE,iBAAiB,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAChD,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC"}