@agoric/async-flow 0.1.1-upgrade-17-dev-ec448b0.0 → 0.1.1-upgrade-18-dev-d7c994b.0

package/src/replay-membrane.d.ts

@@ -1,4 +1,4 @@
-export function makeReplayMembrane({ log, bijection, vowTools, watchWake, panic, }: {
+export function makeReplayMembrane(arg: {
     log: LogStore;
     bijection: Bijection;
     vowTools: VowTools;
@@ -9,13 +9,31 @@ export function makeReplayMembrane({ log, bijection, vowTools, watchWake, panic,
     guestToHost: (specimen: Passable, label?: string | undefined) => any;
     wake: () => void;
     stop: () => void;
-} & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+} & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & RemotableBrand<{}, {
     hostToGuest: (specimen: Passable, label?: string | undefined) => any;
     guestToHost: (specimen: Passable, label?: string | undefined) => any;
     wake: () => void;
     stop: () => void;
 }>;
-export type ReplayMembrane = ReturnType<({ log, bijection, vowTools, watchWake, panic, }: {
+export function makeReplayMembraneForTesting({ log, bijection, vowTools, watchWake, panic, __eventualSendForTesting, }: {
+    log: LogStore;
+    bijection: Bijection;
+    vowTools: VowTools;
+    watchWake: (vowish: Promise<any> | Vow) => void;
+    panic: (problem: Error) => never;
+    __eventualSendForTesting?: boolean | undefined;
+}): {
+    hostToGuest: (specimen: Passable, label?: string | undefined) => any;
+    guestToHost: (specimen: Passable, label?: string | undefined) => any;
+    wake: () => void;
+    stop: () => void;
+} & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & RemotableBrand<{}, {
+    hostToGuest: (specimen: Passable, label?: string | undefined) => any;
+    guestToHost: (specimen: Passable, label?: string | undefined) => any;
+    wake: () => void;
+    stop: () => void;
+}>;
+export type ReplayMembrane = ReturnType<(arg: {
     log: LogStore;
     bijection: Bijection;
     vowTools: VowTools;
@@ -26,7 +44,7 @@ export type ReplayMembrane = ReturnType<({ log, bijection, vowTools, watchWake,
     guestToHost: (specimen: Passable, label?: string | undefined) => any;
     wake: () => void;
     stop: () => void;
-} & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+} & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & RemotableBrand<{}, {
     hostToGuest: (specimen: Passable, label?: string | undefined) => any;
     guestToHost: (specimen: Passable, label?: string | undefined) => any;
     wake: () => void;
@@ -37,4 +55,5 @@ import type { Bijection } from '../src/bijection.js';
 import type { VowTools } from '@agoric/vow';
 import type { Vow } from '@agoric/vow';
 import type { Passable } from '@endo/pass-style';
+import type { RemotableBrand } from '@endo/eventual-send';
 //# sourceMappingURL=replay-membrane.d.ts.map

package/src/replay-membrane.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"replay-membrane.d.ts","sourceRoot":"","sources":["replay-membrane.js"],"names":[],"mappings":"AA8BO,oFANJ;IAAsB,GAAG,EAAjB,QAAQ;IACO,SAAS,EAAxB,SAAS;IACK,QAAQ,EAAtB,QAAQ;IAC6B,SAAS,EAA9C,CAAC,MAAM,EAAE,eAAU,GAAG,KAAK,IAAI;IACA,KAAK,EAApC,CAAC,OAAO,EAAE,KAAK,KAAK,KAAK;CACnC;;;;;;;;;;GAmpBA;6BAGa,UAAU,mDA3pBrB;IAAsB,GAAG,EAAjB,QAAQ;IACO,SAAS,EAAxB,SAAS;IACK,QAAQ,EAAtB,QAAQ;IAC6B,SAAS,EAA9C,CAAC,MAAM,EAAE,eAAU,GAAG,KAAK,IAAI;IACA,KAAK,EAApC,CAAC,OAAO,EAAE,KAAK,KAAK,KAAK;CACnC;;;;;;;;;;GAspB2C;8BApqBjB,qBAAqB;+BACpB,qBAAqB;8BAFT,aAAa;yBAAb,aAAa;8BADD,kBAAkB"}
+{"version":3,"file":"replay-membrane.d.ts","sourceRoot":"","sources":["replay-membrane.js"],"names":[],"mappings":"AA+BO,wCANJ;IAAsB,GAAG,EAAjB,QAAQ;IACO,SAAS,EAAxB,SAAS;IACK,QAAQ,EAAtB,QAAQ;IAC6B,SAAS,EAA9C,CAAC,MAAM,EAAE,eAAU,GAAG,KAAK,IAAI;IACA,KAAK,EAApC,CAAC,OAAO,EAAE,KAAK,KAAK,KAAK;CACnC;;;;;;;;;;GAMA;AAWM,wHAPJ;IAAsB,GAAG,EAAjB,QAAQ;IACO,SAAS,EAAxB,SAAS;IACK,QAAQ,EAAtB,QAAQ;IAC6B,SAAS,EAA9C,CAAC,MAAM,EAAE,eAAU,GAAG,KAAK,IAAI;IACA,KAAK,EAApC,CAAC,OAAO,EAAE,KAAK,KAAK,KAAK;IACX,wBAAwB;CAChD;;;;;;;;;;GA4pBA;6BAGa,UAAU,OAprBrB;IAAsB,GAAG,EAAjB,QAAQ;IACO,SAAS,EAAxB,SAAS;IACK,QAAQ,EAAtB,QAAQ;IAC6B,SAAS,EAA9C,CAAC,MAAM,EAAE,eAAU,GAAG,KAAK,IAAI;IACA,KAAK,EAApC,CAAC,OAAO,EAAE,KAAK,KAAK,KAAK;CACnC;;;;;;;;;;GA+qB2C;8BA7rBjB,qBAAqB;+BACpB,qBAAqB;8BAFT,aAAa;yBAAb,aAAa;8BADH,kBAAkB;oCADnC,qBAAqB"}

package/src/replay-membrane.js

@@ -10,9 +10,10 @@ import { makeConvertKit } from './convert.js';
 import { makeEquate } from './equate.js';
 
 /**
- * @import {PromiseKit} from '@endo/promise-kit'
- * @import {Passable, PassableCap, CopyTagged} from '@endo/pass-style'
- * @import {Vow, VowTools, VowKit} from '@agoric/vow'
+ * @import {PromiseKit} from '@endo/promise-kit';
+ * @import {RemotableBrand} from '@endo/eventual-send';
+ * @import {Callable, Passable, PassableCap} from '@endo/pass-style';
+ * @import {Vow, VowTools, VowKit} from '@agoric/vow';
  * @import {LogStore} from '../src/log-store.js';
  * @import {Bijection} from '../src/bijection.js';
  * @import {Host, HostVow, LogEntry, Outcome} from '../src/types.js';
@@ -28,12 +29,29 @@ const { fromEntries, defineProperties, assign } = Object;
  * @param {(vowish: Promise | Vow) => void} arg.watchWake
  * @param {(problem: Error) => never} arg.panic
  */
-export const makeReplayMembrane = ({
+export const makeReplayMembrane = arg => {
+  const noDunderArg = /** @type {typeof arg} */ (
+    Object.fromEntries(Object.entries(arg).filter(([k]) => !k.startsWith('__')))
+  );
+  return makeReplayMembraneForTesting(noDunderArg);
+};
+
+/**
+ * @param {object} arg
+ * @param {LogStore} arg.log
+ * @param {Bijection} arg.bijection
+ * @param {VowTools} arg.vowTools
+ * @param {(vowish: Promise | Vow) => void} arg.watchWake
+ * @param {(problem: Error) => never} arg.panic
+ * @param {boolean} [arg.__eventualSendForTesting] CAVEAT: Only for async-flow tests
+ */
+export const makeReplayMembraneForTesting = ({
   log,
   bijection,
   vowTools,
   watchWake,
   panic,
+  __eventualSendForTesting,
 }) => {
   const { when, makeVowKit } = vowTools;
 
@@ -45,6 +63,13 @@ export const makeReplayMembrane = ({
 
   const Panic = (template, ...args) => panic(makeError(X(template, ...args)));
 
+  const startGeneration = generation => {
+    Number.isSafeInteger(generation) ||
+      Fail`generation expected integer; got ${generation}`;
+    generation >= 0 ||
+      Fail`generation expected non-negative; got ${generation}`;
+  };
+
   // ////////////// Host or Interpreter to Guest ///////////////////////////////
 
   /**
@@ -218,30 +243,22 @@ export const makeReplayMembrane = ({
   // //////////////// Eventual Send ////////////////////////////////////////////
 
   /**
-   * @param {PassableCap} hostTarget
+   * @param {RemotableBrand<PassableCap, Callable>} hostTarget
    * @param {string | undefined} optVerb
    * @param {Passable[]} hostArgs
    */
   const performSendOnly = (hostTarget, optVerb, hostArgs) => {
     try {
-      optVerb
-        ? heapVowE.sendOnly(hostTarget)[optVerb](...hostArgs)
-        : // eslint-disable-next-line @typescript-eslint/ban-ts-comment
-          // @ts-ignore once we changed this from E to heapVowE,
-          // typescript started complaining that heapVowE(hostTarget)
-          // is not callable. I'm not sure if this is a just a typing bug
-          // in heapVowE or also reflects a runtime deficiency. But this
-          // case it not used yet anyway. We disable it
-          // with at-ts-ignore rather than at-ts-expect-error because
-          // the dependency-graph tests complains that the latter is unused.
-          heapVowE.sendOnly(hostTarget)(...hostArgs);
+      optVerb === undefined
+        ? heapVowE.sendOnly(hostTarget)(...hostArgs)
+        : heapVowE.sendOnly(hostTarget)[optVerb](...hostArgs);
     } catch (hostProblem) {
-      throw Panic`internal: eventual sendOnly synchrously failed ${hostProblem}`;
+      throw Panic`internal: eventual sendOnly synchronously failed ${hostProblem}`;
     }
   };
 
   /**
-   * @param {PassableCap} hostTarget
+   * @param {RemotableBrand<PassableCap, Callable>} hostTarget
    * @param {string | undefined} optVerb
    * @param {Passable[]} hostArgs
    * @param {number} callIndex
@@ -259,22 +276,16 @@ export const makeReplayMembrane = ({
   ) => {
     const { vow, resolver } = hostResultKit;
     try {
-      const hostPromise = optVerb
-        ? heapVowE(hostTarget)[optVerb](...hostArgs)
-        : // eslint-disable-next-line @typescript-eslint/ban-ts-comment
-          // @ts-ignore once we changed this from E to heapVowE,
-          // typescript started complaining that heapVowE(hostTarget)
-          // is not callable. I'm not sure if this is a just a typing bug
-          // in heapVowE or also reflects a runtime deficiency. But this
-          // case it not used yet anyway. We disable it
-          // with at-ts-ignore rather than at-ts-expect-error because
-          // the dependency-graph tests complains that the latter is unused.
-          heapVowE(hostTarget)(...hostArgs);
+      const hostPromise =
+        optVerb === undefined
+          ? heapVowE(hostTarget)(...hostArgs)
+          : heapVowE(hostTarget)[optVerb](...hostArgs);
       resolver.resolve(hostPromise); // TODO does this always work?
     } catch (hostProblem) {
-      throw Panic`internal: eventual send synchrously failed ${hostProblem}`;
+      throw Panic`internal: eventual send synchronously failed ${hostProblem}`;
     }
     try {
+      /** @type {LogEntry} */
       const entry = harden(['doReturn', callIndex, vow]);
       log.pushEntry(entry);
       const guestPromise = makeGuestForHostVow(vow, guestReturnedP);
@@ -293,6 +304,10 @@ export const makeReplayMembrane = ({
 
   const guestHandler = harden({
     applyMethodSendOnly(guestTarget, optVerb, guestArgs) {
+      __eventualSendForTesting ||
+        Panic`guest eventual applyMethodSendOnly not yet supported: ${guestTarget}.${b(optVerb)}`;
+      // The following code is only intended to be used by tests.
+      // TODO: properly support applyMethodSendOnly
       const callIndex = log.getIndex();
       if (stopped || !bijection.hasGuest(guestTarget)) {
         Fail`Sent from a previous run: ${guestTarget}`;
@@ -331,6 +346,10 @@ export const makeReplayMembrane = ({
       }
     },
     applyMethod(guestTarget, optVerb, guestArgs, guestReturnedP) {
+      __eventualSendForTesting ||
+        Panic`guest eventual applyMethod not yet supported: ${guestTarget}.${b(optVerb)} -> ${b(guestReturnedP)}`;
+      // The following code is only intended to be used by tests.
+      // TODO: properly support applyMethod
       const callIndex = log.getIndex();
       if (stopped || !bijection.hasGuest(guestTarget)) {
         Fail`Sent from a previous run: ${guestTarget}`;
@@ -398,6 +417,8 @@ export const makeReplayMembrane = ({
       }
     },
     applyFunctionSendOnly(guestTarget, guestArgs) {
+      __eventualSendForTesting ||
+        Panic`guest eventual applyFunctionSendOnly not yet supported: ${guestTarget}`;
       return guestHandler.applyMethodSendOnly(
         guestTarget,
         undefined,
@@ -405,6 +426,8 @@ export const makeReplayMembrane = ({
       );
     },
     applyFunction(guestTarget, guestArgs, guestReturnedP) {
+      __eventualSendForTesting ||
+        Panic`guest eventual applyFunction not yet supported: ${guestTarget} -> ${b(guestReturnedP)}`;
       return guestHandler.applyMethod(
         guestTarget,
         undefined,
@@ -413,9 +436,11 @@ export const makeReplayMembrane = ({
       );
     },
     getSendOnly(guestTarget, prop) {
+      // TODO: support getSendOnly
       throw Panic`guest eventual getSendOnly not yet supported: ${guestTarget}.${b(prop)}`;
     },
     get(guestTarget, prop, guestReturnedP) {
+      // TODO: support get
       throw Panic`guest eventual get not yet supported: ${guestTarget}.${b(prop)} -> ${b(guestReturnedP)}`;
     },
   });
@@ -585,21 +610,22 @@ export const makeReplayMembrane = ({
   // /////////////////////////////// Interpreter ///////////////////////////////
 
   /**
-   * These are the only ones that are driven from the interpreter loop
+   * These are the only ones that are driven from the top level interpreter loop
    */
   const topDispatch = harden({
+    startGeneration,
     doFulfill,
     doReject,
     // doCall, // unimplemented in the current plan
   });
 
   /**
-   * These are the only ones that are driven from the interpreter loop
+   * These are the only ones that are driven from the nested interpreter loop
    */
   const nestDispatch = harden({
-    // doCall, // unimplemented in the current plan
     doReturn,
     doThrow,
+    // doCall, // unimplemented in the current plan
   });
 
   const interpretOne = (dispatch, [op, ...args]) => {
@@ -629,7 +655,7 @@ export const makeReplayMembrane = ({
   const nestInterpreter = callIndex => {
     callStack.push(callIndex);
     while (log.isReplaying() && !stopped) {
-      const entry = log.nextEntry();
+      const entry = log.nextUnfilteredEntry();
       const optOutcome = interpretOne(nestDispatch, entry);
       if (unnestFlag) {
         optOutcome ||
@@ -670,7 +696,7 @@ export const makeReplayMembrane = ({
       if (!(op in topDispatch)) {
         return;
       }
-      void log.nextEntry();
+      void log.nextUnfilteredEntry();
       interpretOne(topDispatch, entry);
     }
   };

package/src/type-guards.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-guards.d.ts","sourceRoot":"","sources":["type-guards.js"],"names":[],"mappings":"AAGA,8DAME;AAEF,gEAA6D;AAE7D,6DAsDE"}
+{"version":3,"file":"type-guards.d.ts","sourceRoot":"","sources":["type-guards.js"],"names":[],"mappings":"AAGA,8DAME;AAEF,gEAA6D;AAE7D,6DAuDE"}

package/src/type-guards.js

@@ -12,6 +12,7 @@ export const FlowStateShape = M.or(
 export const PropertyKeyShape = M.or(M.string(), M.symbol());
 
 export const LogEntryShape = M.or(
+  ['startGeneration', M.number()],
   // ////////////////////////////// From Host to Guest /////////////////////////
   ['doFulfill', VowShape, M.any()],
   ['doReject', VowShape, M.any()],

package/src/types-index.d.ts

@@ -0,0 +1,2 @@
+// Export all the types this package provides
+export type * from './types.js';

package/src/types.d.ts

@@ -3,14 +3,7 @@ import type { Vow, VowTools } from '@agoric/vow';
 import type { LogStore } from './log-store.js';
 import type { Bijection } from './bijection.js';
 import type { EndowmentTools } from './endowments.js';
-
-export type FlowState =
-  | 'Running'
-  | 'Sleeping'
-  | 'Replaying'
-  | 'Failed'
-  | 'Done';
-
+export type FlowState = 'Running' | 'Sleeping' | 'Replaying' | 'Failed' | 'Done';
 /**
  * `T` defaults to `any`, not `Passable`, because unwrapped guests include
  * non-passables, like unwrapped functions and unwrapped state records.
@@ -20,202 +13,129 @@ export type FlowState =
  */
 export type Guest<T extends unknown = any> = T;
 export type Host<T extends Passable = Passable> = T;
-
 /**
  * A HostVow must be durably storable. It corresponds to an
  * ephemeral guest promise.
  */
 export type HostVow<T extends Passable = Passable> = Host<Vow<T>>;
-
-export type GuestAsyncFunc = (
-  ...activationArgs: Guest[]
-) => Guest<Promise<any>>;
-
-export type HostAsyncFuncWrapper = (
-  ...activationArgs: Host<any>[]
-) => HostVow<any>;
-
+export type GuestAsyncFunc = (...activationArgs: Guest[]) => Guest<Promise<any>>;
+export type HostAsyncFuncWrapper = (...activationArgs: Host<any>[]) => HostVow<any>;
 /**
  * The function from the host as it will be available in the guest.
  *
  * Specifically, Vow return values are converted to Promises.
  */
-export type GuestOf<F extends HostAsyncFuncWrapper> = F extends (
-  ...args: infer A
-) => Vow<infer R>
-  ? (...args: A) => Promise<R>
-  : F;
-
-// from https://github.com/sindresorhus/type-fest/blob/main/source/simplify.d.ts
-type Simplify<T> = { [KeyType in keyof T]: T[KeyType] } & {};
-
+export type GuestOf<F extends HostAsyncFuncWrapper> = F extends (...args: infer A) => Vow<infer R> ? (...args: A) => Promise<R> : F;
+type Simplify<T> = {
+    [KeyType in keyof T]: T[KeyType];
+} & {};
 /**
  * Convert an entire Guest interface into what the host will implement.
  */
-type HostInterface<T> = {
-  [K in keyof T]: T[K] extends CallableFunction
-    ? HostOf<T[K]>
-    : T[K] extends Record<string, any>
-      ? Simplify<HostInterface<T[K]>>
-      : T[K];
+export type HostInterface<T> = {
+    [K in keyof T]: T[K] extends CallableFunction ? HostOf<T[K]> : T[K] extends Record<string, any> ? Simplify<HostInterface<T[K]>> : T[K];
 };
-
 /**
  * Convert an entire Host interface into what the Guest will receive.
  */
 export type GuestInterface<T> = {
-  [K in keyof T]: T[K] extends (...args: any[]) => Vow<infer R>
-    ? (...args: Parameters<T[K]>) => Promise<R>
-    : T[K] extends HostAsyncFuncWrapper
-      ? GuestOf<T[K]>
-      : T[K] extends (...args: any[]) => infer R
-        ? T[K]
-        : T[K] extends object
-          ? GuestInterface<T[K]>
-          : T[K];
+    [K in keyof T]: T[K] extends (...args: any[]) => Vow<infer R> ? (...args: Parameters<T[K]>) => Promise<R> : T[K] extends HostAsyncFuncWrapper ? GuestOf<T[K]> : T[K] extends (...args: any[]) => infer R ? T[K] : T[K] extends object ? GuestInterface<T[K]> : T[K];
 };
-
 /**
  * The function the host must provide to match an interface the guest expects.
  *
  * Specifically, Promise return values are converted to Vows.
  */
-export type HostOf<F extends CallableFunction> = F extends (
-  ...args: infer A
-) => infer R
-  ? R extends Promise<infer T>
-    ? (...args: A) => Vow<T extends Passable ? T : HostInterface<T>>
-    : (...args: A) => HostInterface<R>
-  : F;
-
-export type HostArgs<GA extends any[]> = { [K in keyof GA]: HostOf<GA[K]> };
-
+export type HostOf<F extends CallableFunction> = F extends (...args: infer A) => infer R ? R extends Promise<infer T> ? (...args: A) => Vow<T extends Passable ? T : HostInterface<T>> : (...args: A) => HostInterface<R> : F;
+export type HostArgs<GA extends any[]> = {
+    [K in keyof GA]: HostOf<GA[K]>;
+};
 export type PreparationOptions = {
-  vowTools?: VowTools;
-  makeLogStore?: (() => LogStore) | undefined;
-  makeBijection?: (() => Bijection) | undefined;
-  endowmentTools?: EndowmentTools;
+    vowTools?: VowTools;
+    makeLogStore?: (() => LogStore) | undefined;
+    makeBijection?: (() => Bijection) | undefined;
+    endowmentTools?: EndowmentTools;
+    panicHandler?: (e: any) => void;
 };
 export type OutcomeKind = 'return' | 'throw';
-
-export type Outcome =
-  | {
-      kind: 'return';
-      result: any;
-    }
-  | {
-      kind: 'throw';
-      problem: any;
-    };
-
+export type Outcome = {
+    kind: 'return';
+    result: any;
+} | {
+    kind: 'throw';
+    problem: any;
+};
 export type Ephemera<S extends WeakKey = WeakKey, V extends unknown = any> = {
-  for: (self: S) => V;
-  resetFor: (self: S) => void;
+    for: (self: S) => V;
+    resetFor: (self: S) => void;
 };
-
 /**
  * This is the type alias for the membrane log entries we currently implement.
  *
  * @see {FutureLogEntry} below for the full membrane log entry, which we do not
  * yet support.
  */
-export type LogEntry =
-  | [
-      // ///////////////// From Host to Guest /////////////////////////
-      op: 'doFulfill',
-      vow: HostVow,
-      fulfillment: Host,
-    ]
-  | [op: 'doReject', vow: HostVow, reason: Host]
-  | [op: 'doReturn', callIndex: number, result: Host]
-  | [op: 'doThrow', callIndex: number, problem: Host]
-  | [
-      // ///////////////////// From Guest to Host /////////////////////////
-      op: 'checkCall',
-      target: Host,
-      optVerb: PropertyKey | undefined,
-      args: Host[],
-      callIndex: number,
-    ]
-  | [
-      op: 'checkSendOnly',
-      target: Host,
-      optVerb: PropertyKey | undefined,
-      args: Host[],
-      callIndex: number,
-    ]
-  | [
-      op: 'checkSend',
-      target: Host,
-      optVerb: PropertyKey | undefined,
-      args: Host[],
-      callIndex: number,
-    ];
-
+export type LogEntry = [op: 'startGeneration', generation: number] | [op: 'doFulfill', vow: HostVow, fulfillment: Host] | [op: 'doReject', vow: HostVow, reason: Host] | [op: 'doReturn', callIndex: number, result: Host] | [op: 'doThrow', callIndex: number, problem: Host] | [
+    op: 'checkCall',
+    target: Host,
+    optVerb: PropertyKey | undefined,
+    args: Host[],
+    callIndex: number
+] | [
+    op: 'checkSendOnly',
+    target: Host,
+    optVerb: PropertyKey | undefined,
+    args: Host[],
+    callIndex: number
+] | [
+    op: 'checkSend',
+    target: Host,
+    optVerb: PropertyKey | undefined,
+    args: Host[],
+    callIndex: number
+];
 /**
  * This would be the type alias for the full membrane log, if we supported:
  * - the guest sending guest-promises and guest-remotables to the host
  * - the guest using `E` to eventual-send to guest wrappers of the host
  *   vows and remotables.
  */
-export type FutureLogEntry =
-  | [
-      // ///////////////// From Host to Guest ///////////////////////
-      op: 'doFulfill',
-      vow: HostVow,
-      fulfillment: Host,
-    ]
-  | [op: 'doReject', vow: HostVow, reason: Host]
-  | [
-      op: 'doCall',
-      target: Host,
-      optVerb: PropertyKey | undefined,
-      args: Host[],
-      callIndex: number,
-    ]
-  | [
-      op: 'doSendOnly',
-      target: Host,
-      optVerb: PropertyKey | undefined,
-      args: Host[],
-      callIndex: number,
-    ]
-  | [
-      op: 'doSend',
-      target: Host,
-      optVerb: PropertyKey | undefined,
-      args: Host[],
-      callIndex: number,
-    ]
-  | [op: 'doReturn', callIndex: number, result: Host]
-  | [op: 'doThrow', callIndex: number, problem: Host]
-  | [
-      // ///////////////////// From Guest to Host /////////////////////////
-      op: 'checkFulfill',
-      vow: HostVow,
-      fulfillment: Host,
-    ]
-  | [op: 'checkReject', vow: HostVow, reason: Host]
-  | [
-      op: 'checkCall',
-      target: Host,
-      optVerb: PropertyKey | undefined,
-      args: Host[],
-      callIndex: number,
-    ]
-  | [
-      op: 'checkSendOnly',
-      target: Host,
-      optVerb: PropertyKey | undefined,
-      args: Host[],
-      callIndex: number,
-    ]
-  | [
-      op: 'checkSend',
-      target: Host,
-      optVerb: PropertyKey | undefined,
-      args: Host[],
-      callIndex: number,
-    ]
-  | [op: 'checkReturn', callIndex: number, result: Host]
-  | [op: 'checkThrow', callIndex: number, problem: Host];
+export type FutureLogEntry = [op: 'startGeneration', generation: number] | [op: 'doFulfill', vow: HostVow, fulfillment: Host] | [op: 'doReject', vow: HostVow, reason: Host] | [
+    op: 'doCall',
+    target: Host,
+    optVerb: PropertyKey | undefined,
+    args: Host[],
+    callIndex: number
+] | [
+    op: 'doSendOnly',
+    target: Host,
+    optVerb: PropertyKey | undefined,
+    args: Host[],
+    callIndex: number
+] | [
+    op: 'doSend',
+    target: Host,
+    optVerb: PropertyKey | undefined,
+    args: Host[],
+    callIndex: number
+] | [op: 'doReturn', callIndex: number, result: Host] | [op: 'doThrow', callIndex: number, problem: Host] | [op: 'checkFulfill', vow: HostVow, fulfillment: Host] | [op: 'checkReject', vow: HostVow, reason: Host] | [
+    op: 'checkCall',
+    target: Host,
+    optVerb: PropertyKey | undefined,
+    args: Host[],
+    callIndex: number
+] | [
+    op: 'checkSendOnly',
+    target: Host,
+    optVerb: PropertyKey | undefined,
+    args: Host[],
+    callIndex: number
+] | [
+    op: 'checkSend',
+    target: Host,
+    optVerb: PropertyKey | undefined,
+    args: Host[],
+    callIndex: number
+] | [op: 'checkReturn', callIndex: number, result: Host] | [op: 'checkThrow', callIndex: number, problem: Host];
+export {};
+//# sourceMappingURL=types.d.ts.map

package/src/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEtD,MAAM,MAAM,SAAS,GACjB,SAAS,GACT,UAAU,GACV,WAAW,GACX,QAAQ,GACR,MAAM,CAAC;AAEX;;;;;;GAMG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,OAAO,GAAG,GAAG,IAAI,CAAC,CAAC;AAC/C,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAAI,CAAC,CAAC;AAEpD;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAElE,MAAM,MAAM,cAAc,GAAG,CAC3B,GAAG,cAAc,EAAE,KAAK,EAAE,KACvB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;AAEzB,MAAM,MAAM,oBAAoB,GAAG,CACjC,GAAG,cAAc,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,KAC3B,OAAO,CAAC,GAAG,CAAC,CAAC;AAElB;;;;GAIG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,oBAAoB,IAAI,CAAC,SAAS,CAC9D,GAAG,IAAI,EAAE,MAAM,CAAC,KACb,GAAG,CAAC,MAAM,CAAC,CAAC,GACb,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAC1B,CAAC,CAAC;AAGN,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;CAAE,GAAG,EAAE,CAAC;AAE7D;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI;KAC5B,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,GACzC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACZ,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAC9B,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC7B,CAAC,CAAC,CAAC,CAAC;CACX,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI;KAC7B,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,GACzD,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GACzC,CAAC,CAAC,CAAC,CAAC,SAAS,oBAAoB,GAC/B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACb,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,GACtC,CAAC,CAAC,CAAC,CAAC,GACJ,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GACjB,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACpB,CAAC,CAAC,CAAC,CAAC;CACf,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,gBAAgB,IAAI,CAAC,SAAS,CACzD,GAAG,IAAI,EAAE,MAAM,CAAC,KACb,MAAM,CAAC,GACR,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GACxB,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,GAC9D,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,GAClC,CAAC,CAAC;AAEN,MAAM,MAAM,QAAQ,CAAC,EAAE,SAAS,GAAG,EAAE,IAAI;KAAG,CAAC,IAAI,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAE5E,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,YAAY,CAAC,EAAE,CAAC,MAAM,QAAQ,CAAC,GAAG,SAAS,CAAC;IAC5C,aAAa,CAAC,EAAE,CAAC,MAAM,SAAS,CAAC,GAAG,SAAS,CAAC;IAC9C,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,YAAY,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,IAAI,CAAC;CACjC,CAAC;AACF,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE7C,MAAM,MAAM,OAAO,GACf;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,GAAG,CAAC;CACb,GACD;IACE,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,GAAG,CAAC;CACd,CAAC;AAEN,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,EAAE,CAAC,SAAS,OAAO,GAAG,GAAG,IAAI;IAC3E,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC;IACpB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC;CAC7B,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAChB,CAAC,EAAE,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,CAAC,GAE3C,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,GAClD,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,GAC5C,CAAC,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GACjD,CAAC,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,GAEjD;IACE,EAAE,EAAE,WAAW;IACf,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,WAAW,GAAG,SAAS;IAChC,IAAI,EAAE,IAAI,EAAE;IACZ,SAAS,EAAE,MAAM;CAClB,GACD;IACE,EAAE,EAAE,eAAe;IACnB,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,WAAW,GAAG,SAAS;IAChC,IAAI,EAAE,IAAI,EAAE;IACZ,SAAS,EAAE,MAAM;CAClB,GACD;IACE,EAAE,EAAE,WAAW;IACf,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,WAAW,GAAG,SAAS;IAChC,IAAI,EAAE,IAAI,EAAE;IACZ,SAAS,EAAE,MAAM;CAClB,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GACtB,CAAC,EAAE,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,CAAC,GAE3C,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,GAClD,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,GAC5C;IACE,EAAE,EAAE,QAAQ;IACZ,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,WAAW,GAAG,SAAS;IAChC,IAAI,EAAE,IAAI,EAAE;IACZ,SAAS,EAAE,MAAM;CAClB,GACD;IACE,EAAE,EAAE,YAAY;IAChB,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,WAAW,GAAG,SAAS;IAChC,IAAI,EAAE,IAAI,EAAE;IACZ,SAAS,EAAE,MAAM;CAClB,GACD;IACE,EAAE,EAAE,QAAQ;IACZ,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,WAAW,GAAG,SAAS;IAChC,IAAI,EAAE,IAAI,EAAE;IACZ,SAAS,EAAE,MAAM;CAClB,GACD,CAAC,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GACjD,CAAC,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,GAEjD,CAAC,EAAE,EAAE,cAAc,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,GACrD,CAAC,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,GAC/C;IACE,EAAE,EAAE,WAAW;IACf,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,WAAW,GAAG,SAAS;IAChC,IAAI,EAAE,IAAI,EAAE;IACZ,SAAS,EAAE,MAAM;CAClB,GACD;IACE,EAAE,EAAE,eAAe;IACnB,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,WAAW,GAAG,SAAS;IAChC,IAAI,EAAE,IAAI,EAAE;IACZ,SAAS,EAAE,MAAM;CAClB,GACD;IACE,EAAE,EAAE,WAAW;IACf,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,WAAW,GAAG,SAAS;IAChC,IAAI,EAAE,IAAI,EAAE;IACZ,SAAS,EAAE,MAAM;CAClB,GACD,CAAC,EAAE,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GACpD,CAAC,EAAE,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC"}