@agoric/internal 0.3.3-other-dev-3eb1a1d.0 → 0.3.3-other-dev-d15096d.0.d15096d

package/src/typeGuards.d.ts

@@ -1,4 +1,23 @@
+/**
+ * @import {TypedPattern} from './types.js';
+ */
 export const StorageNodeShape: import("@endo/patterns").Matcher;
 /** To be used only for 'helper' facets where the calls are from trusted code. */
 export const UnguardedHelperI: import("@endo/patterns").InterfaceGuard<any>;
+/**
+ * @typedef {number | `${bigint}`} BridgeBigInt Ensure that callees passed a
+ *   bridge message that was serialised from a Golang int64 or uint64 accept
+ *   either a JS number or a stringified JS bigint.
+ */
+/**
+ * @type {TypedPattern<BridgeBigInt>}
+ */
+export const BridgeBigIntShape: TypedPattern<BridgeBigInt>;
+/**
+ * Ensure that callees passed a
+ *   bridge message that was serialised from a Golang int64 or uint64 accept
+ *   either a JS number or a stringified JS bigint.
+ */
+export type BridgeBigInt = number | `${bigint}`;
+import type { TypedPattern } from './types.js';
 //# sourceMappingURL=typeGuards.d.ts.map

package/src/typeGuards.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAIA,gEAA2D;AAE3D,iFAAiF;AACjF,4EAKE"}
+{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAKA;;GAEG;AAEH,gEAA2D;AAE3D,iFAAiF;AACjF,4EAKE;AAEF;;;;GAIG;AAEH;;GAEG;AACH,gCAFU,aAAa,YAAY,CAAC,CAE0B;;;;;;2BARjD,MAAM,GAAG,GAAG,MAAM,EAAE;kCAdF,YAAY"}

package/src/typeGuards.js

@@ -1,7 +1,12 @@
 // @jessie-check
+// @ts-check
 
 import { M } from '@endo/patterns';
 
+/**
+ * @import {TypedPattern} from './types.js';
+ */
+
 export const StorageNodeShape = M.remotable('StorageNode');
 
 /** To be used only for 'helper' facets where the calls are from trusted code. */
@@ -11,3 +16,14 @@ export const UnguardedHelperI = M.interface(
   // not exposed so sloppy okay
   { sloppy: true },
 );
+
+/**
+ * @typedef {number | `${bigint}`} BridgeBigInt Ensure that callees passed a
+ *   bridge message that was serialised from a Golang int64 or uint64 accept
+ *   either a JS number or a stringified JS bigint.
+ */
+
+/**
+ * @type {TypedPattern<BridgeBigInt>}
+ */
+export const BridgeBigIntShape = M.or(M.number(), M.string());

package/src/types.d.ts

@@ -11,6 +11,18 @@ export type TotalMap<K, V> = Omit<Map<K, V>, 'get'> & {
     get: (key: K) => V;
 };
 export type TotalMapFrom<M extends Map<any, any>> = M extends Map<infer K, infer V> ? TotalMap<K, V> : never;
+/**
+ * A permit is either `true` or a string (both meaning no attenuation, with a
+ * string serving as a grouping label for convenience and/or diagram
+ * generation), or an object whose keys identify child properties and whose
+ * corresponding values are theirselves (recursive) Permits.
+ */
+export type Permit<T> = true | string | Partial<{
+    [K in keyof T]: K extends string ? Permit<T[K]> : never;
+}>;
+export type Attenuated<T, P extends Permit<T>> = P extends object ? {
+    [K in keyof P]: K extends keyof T ? P[K] extends Permit<T[K]> ? Attenuated<T[K], P[K]> : never : never;
+} : T;
 export declare class Callback<I extends (...args: any[]) => any> {
     private iface;
     target: any;
@@ -23,19 +35,19 @@ export declare class SyncCallback<I extends (...args: unknown[]) => any> extends
     isSync: true;
 }
 /**
-Returns a boolean for whether the given type is primitive value or primitive type.
- 
-@example
-```
-IsPrimitive<'string'>
-//=> true
- 
-IsPrimitive<string>
-//=> true
- 
-IsPrimitive<Object>
-//=> false
-```
+ * Returns a boolean for whether the given type is a primitive value or
+ * primitive type.
+ *
+ * @example
+ * ```
+ * IsPrimitive<'string'>
+ * //=> true
+ *
+ * IsPrimitive<string>
+ * //=> true
+ *
+ * IsPrimitive<Object>
+ * //=> false
  */
 export type IsPrimitive<T> = [T] extends [Primitive] ? true : false;
 /** Recursively extract the non-callable properties of T */
@@ -49,9 +61,10 @@ export type DataOnly<T> = IsPrimitive<T> extends true ? T : T extends Callable ?
  */
 export type Remote<Primary, Local = DataOnly<Primary>> = Primary | RemotableBrand<Local, Primary>;
 /**
- * Potentially remote promises or settled references.
+ * A type that accepts either resolved or promised references that may be either
+ * near or marshalled. @see {ERef} and @see {Remote}.
  */
-export type FarRef<Primary, Local = DataOnly<Primary>> = ERef<Remote<Primary, Local>>;
+export type ERemote<Primary, Local = DataOnly<Primary>> = ERef<Remote<Primary, Local>>;
 declare const validatedType: unique symbol;
 /**
  * Tag a pattern with the static type it represents.
@@ -66,8 +79,8 @@ export declare type PatternType<TM extends TypedPattern<any>> = TM extends Typed
  *
  * Note: remotables can only be matched as "remotable", not the specific kind.
  *
- * @see {import('@endo/patterns').mustMatch} for the implementation. This one has a type annotation to narrow if the pattern is a TypedPattern.
+ * @see {endoMustMatch} for the implementation. This one has a type annotation to narrow if the pattern is a TypedPattern.
  */
 export declare type MustMatch = <P extends Pattern>(specimen: unknown, pattern: P, label?: string | number) => asserts specimen is P extends TypedPattern<any> ? PatternType<P> : unknown;
-export {};
+export type { TraceLogger } from './debug.js';
 //# sourceMappingURL=types.d.ts.map

package/src/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG;IACpD,6EAA6E;IAC7E,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;CACpB,CAAC;AACF,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAC9C,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;AAE3D,MAAM,CAAC,OAAO,OAAO,QAAQ,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG;IAC7D,OAAO,CAAC,KAAK,CAAI;IAEV,MAAM,EAAE,GAAG,CAAC;IAEZ,UAAU,CAAC,EAAE,WAAW,CAAC;IAEzB,KAAK,EAAE,OAAO,EAAE,CAAC;IAEjB,MAAM,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,CAAC,OAAO,OAAO,YAAY,CAC/B,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,CACrC,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACnB,OAAO,CAAC,SAAS,CAAI;IAEd,MAAM,EAAE,IAAI,CAAC;CACrB;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEpE,2DAA2D;AAC3D,MAAM,MAAM,QAAQ,CAAC,CAAC,IACpB,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GACvB,CAAC,GACD,CAAC,SAAS,QAAQ,GAChB,KAAK,GACL;KAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEhF;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IACjD,OAAO,GACP,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAGnC;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAC3D,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CACvB,CAAC;AAQF,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAC3C;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,OAAO,GAAG;IAAE,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAEhE,MAAM,CAAC,OAAO,MAAM,WAAW,CAAC,EAAE,SAAS,YAAY,CAAC,GAAG,CAAC,IAC1D,EAAE,SAAS,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAG/C;;;;;;;GAOG;AACH,MAAM,CAAC,OAAO,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,OAAO,EAChD,QAAQ,EAAE,OAAO,EACjB,OAAO,EAAE,CAAC,EACV,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,KACpB,OAAO,CAAC,QAAQ,IAAI,CAAC,SAAS,YAAY,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,KAAK,EAA8B,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG;IACpD,6EAA6E;IAC7E,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;CACpB,CAAC;AACF,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAC9C,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAChB,IAAI,GACJ,MAAM,GACN,OAAO,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAAE,CAAC,CAAC;AAEzE,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAC7D;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAC7B,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACtB,KAAK,GACP,KAAK;CACV,GACD,CAAC,CAAC;AAEN,MAAM,CAAC,OAAO,OAAO,QAAQ,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG;IAC7D,OAAO,CAAC,KAAK,CAAI;IAEV,MAAM,EAAE,GAAG,CAAC;IAEZ,UAAU,CAAC,EAAE,WAAW,CAAC;IAEzB,KAAK,EAAE,OAAO,EAAE,CAAC;IAEjB,MAAM,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,CAAC,OAAO,OAAO,YAAY,CAC/B,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,CACrC,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACnB,OAAO,CAAC,SAAS,CAAI;IAEd,MAAM,EAAE,IAAI,CAAC;CACrB;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEpE,2DAA2D;AAC3D,MAAM,MAAM,QAAQ,CAAC,CAAC,IACpB,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GACvB,CAAC,GACD,CAAC,SAAS,QAAQ,GAChB,KAAK,GACL;KAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEhF;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IACjD,OAAO,GACP,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAGnC;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAC5D,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CACvB,CAAC;AAQF,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAC3C;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,OAAO,GAAG;IAAE,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAEhE,MAAM,CAAC,OAAO,MAAM,WAAW,CAAC,EAAE,SAAS,YAAY,CAAC,GAAG,CAAC,IAC1D,EAAE,SAAS,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAG/C;;;;;;;GAOG;AACH,MAAM,CAAC,OAAO,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,OAAO,EAChD,QAAQ,EAAE,OAAO,EACjB,OAAO,EAAE,CAAC,EACV,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,KACpB,OAAO,CAAC,QAAQ,IAAI,CAAC,SAAS,YAAY,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;AAEhF,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC"}

package/src/types.ts

@@ -1,7 +1,8 @@
 /* eslint-disable max-classes-per-file */
 import type { ERef, RemotableBrand } from '@endo/eventual-send';
 import type { Primitive } from '@endo/pass-style';
-import type { Pattern } from '@endo/patterns';
+// eslint-disable-next-line @typescript-eslint/no-unused-vars -- used in JSDoc
+import type { mustMatch as endoMustMatch, Pattern } from '@endo/patterns';
 import type { Callable } from './ses-utils.js';
 
 /**
@@ -15,6 +16,27 @@ export type TotalMap<K, V> = Omit<Map<K, V>, 'get'> & {
 export type TotalMapFrom<M extends Map<any, any>> =
   M extends Map<infer K, infer V> ? TotalMap<K, V> : never;
 
+/**
+ * A permit is either `true` or a string (both meaning no attenuation, with a
+ * string serving as a grouping label for convenience and/or diagram
+ * generation), or an object whose keys identify child properties and whose
+ * corresponding values are theirselves (recursive) Permits.
+ */
+export type Permit<T> =
+  | true
+  | string
+  | Partial<{ [K in keyof T]: K extends string ? Permit<T[K]> : never }>;
+
+export type Attenuated<T, P extends Permit<T>> = P extends object
+  ? {
+      [K in keyof P]: K extends keyof T
+        ? P[K] extends Permit<T[K]>
+          ? Attenuated<T[K], P[K]>
+          : never
+        : never;
+    }
+  : T;
+
 export declare class Callback<I extends (...args: any[]) => any> {
   private iface: I;
 
@@ -36,19 +58,19 @@ export declare class SyncCallback<
 }
 
 /**
-Returns a boolean for whether the given type is primitive value or primitive type.
- 
-@example
-```
-IsPrimitive<'string'>
-//=> true
- 
-IsPrimitive<string>
-//=> true
- 
-IsPrimitive<Object>
-//=> false
-```
+ * Returns a boolean for whether the given type is a primitive value or
+ * primitive type.
+ *
+ * @example
+ * ```
+ * IsPrimitive<'string'>
+ * //=> true
+ *
+ * IsPrimitive<string>
+ * //=> true
+ *
+ * IsPrimitive<Object>
+ * //=> false
  */
 export type IsPrimitive<T> = [T] extends [Primitive] ? true : false;
 
@@ -69,11 +91,12 @@ export type Remote<Primary, Local = DataOnly<Primary>> =
   | Primary
   | RemotableBrand<Local, Primary>;
 
-// TODO: Add type tests for FarRef and Remote.
+// TODO: Add type tests for Remote and ERemote.
 /**
- * Potentially remote promises or settled references.
+ * A type that accepts either resolved or promised references that may be either
+ * near or marshalled. @see {ERef} and @see {Remote}.
  */
-export type FarRef<Primary, Local = DataOnly<Primary>> = ERef<
+export type ERemote<Primary, Local = DataOnly<Primary>> = ERef<
   Remote<Primary, Local>
 >;
 
@@ -99,10 +122,12 @@ export declare type PatternType<TM extends TypedPattern<any>> =
  *
  * Note: remotables can only be matched as "remotable", not the specific kind.
  *
- * @see {import('@endo/patterns').mustMatch} for the implementation. This one has a type annotation to narrow if the pattern is a TypedPattern.
+ * @see {endoMustMatch} for the implementation. This one has a type annotation to narrow if the pattern is a TypedPattern.
  */
 export declare type MustMatch = <P extends Pattern>(
   specimen: unknown,
   pattern: P,
   label?: string | number,
 ) => asserts specimen is P extends TypedPattern<any> ? PatternType<P> : unknown;
+
+export type { TraceLogger } from './debug.js';

package/src/work-pool.d.ts

@@ -0,0 +1,13 @@
+export function makeWorkPool<T, U = T, M extends "all" | "allSettled" = "all">(source: AsyncIterable<T> | Iterable<T>, config: undefined | [capacity: number][0] | {
+    capacity?: number;
+    mode?: M;
+}, processInput?: (input: Awaited<T>, index?: number) => Promise<Awaited<U>> | Awaited<U>): AsyncGenerator<[M extends "allSettled" ? PromiseSettledResult<Awaited<U>> : Awaited<U>, number]> & {
+    done: Promise<boolean>;
+    then: () => never;
+};
+export type PromiseKit<T> = {
+    resolve: (value: T | PromiseLike<T>) => void;
+    reject: (reason: any) => void;
+    promise: Promise<T>;
+};
+//# sourceMappingURL=work-pool.d.ts.map

package/src/work-pool.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-pool.d.ts","sourceRoot":"","sources":["work-pool.js"],"names":[],"mappings":"AAgFO,6BAlBM,CAAC,EACA,CAAC,MACsB,CAAC,SAAxB,KAAK,GAAG,YAAa,kBACxB,aAAa,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,UAC9B,SAAS,GACb,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GACrB;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,CAAC,CAAA;CAAE,iBAC3B,CACN,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EACjB,KAAK,CAAC,EAAE,MAAM,KACX,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAC3B,cAAc,CAC1B,CACM,CAAC,SAAS,YAAY,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAC5E,MAAY,CACP,CACF,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAAC,IAAI,EAAE,MAAM,KAAK,CAAA;CAAE,CA0JnD;uBAtNY,CAAC;aAEA,CAAC,KAAK,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,IAAI;YACnC,CAAC,MAAM,EAAE,GAAG,KAAK,IAAI;aACrB,OAAO,CAAC,CAAC,CAAC"}

package/src/work-pool.js

@@ -0,0 +1,233 @@
+// @ts-check
+/**
+ * @file A pure JavaScript async work pool utility that is compatible with but
+ *   not dependent upon a hardened environment.
+ */
+
+const { isInteger } = Number;
+
+const sink = () => {};
+
+/**
+ * @param {unknown} val
+ * @returns {val is bigint | boolean | null | number | string | symbol | undefined}
+ */
+const isPrimitive = val =>
+  !val || (typeof val !== 'object' && typeof val !== 'function');
+
+/**
+ * @template T
+ * @typedef {object} PromiseKit
+ * @property {(value: T | PromiseLike<T>) => void} resolve
+ * @property {(reason: any) => void} reject
+ * @property {Promise<T>} promise
+ */
+
+/**
+ * @template T
+ * @returns {PromiseKit<T>}
+ */
+const makePromiseKit = () => {
+  /** @type {PromiseKit<T>['resolve']} */
+  let resolve;
+  /** @type {PromiseKit<T>['reject']} */
+  let reject;
+  const promise = new Promise((res, rej) => {
+    resolve = res;
+    reject = rej;
+  });
+  // @ts-expect-error TS2454 use before assign
+  return { promise, resolve, reject };
+};
+
+/**
+ * Consume an async iterable with at most `capacity` unsettled results at any
+ * given time, passing each input through `processInput` and providing [result,
+ * index] pairs in settlement order. Source order can be recovered with consumer
+ * code like:
+ *
+ *     const results = [];
+ *     for (const [result, i] of makeWorkPool(...)) results[i] = result;
+ *
+ * or something more sophisticated to eagerly detect complete subsequences
+ * immediately following a previous high-water mark for contiguous results.
+ *
+ * To support cases in which `processInput` is used only for side effects rather
+ * than its return value, the returned AsyncGenerator has a promise-valued
+ * `done` property that fulfills when all input has been processed (to `true` if
+ * the source was exhausted or to `false` if iteration was aborted early),
+ * regardless of how many final iteration results have been consumed:
+ *
+ *     await makeWorkPool(...).done;
+ *
+ * @template T
+ * @template [U=T]
+ * @template {'all' | 'allSettled'} [M='all']
+ * @param {AsyncIterable<T> | Iterable<T>} source
+ * @param {undefined
+ *   | [capacity: number][0]
+ *   | { capacity?: number; mode?: M }} config
+ * @param {(
+ *   input: Awaited<T>,
+ *   index?: number,
+ * ) => Promise<Awaited<U>> | Awaited<U>} [processInput]
+ * @returns {AsyncGenerator<
+ *   [
+ *     M extends 'allSettled' ? PromiseSettledResult<Awaited<U>> : Awaited<U>,
+ *     number,
+ *   ]
+ * > & { done: Promise<boolean>; then: () => never }}
+ */
+export const makeWorkPool = (
+  source,
+  config,
+  processInput = x => /** @type {any} */ (x),
+) => {
+  // Validate arguments.
+  if (isPrimitive(config)) config = { capacity: config, mode: undefined };
+  const { capacity = 10, mode = 'all' } = config;
+  if (!(capacity === Infinity || (isInteger(capacity) && capacity > 0))) {
+    throw RangeError('capacity must be a positive integer');
+  }
+  if (mode !== 'all' && mode !== 'allSettled') {
+    throw RangeError('mode must be "all" or "allSettled"');
+  }
+
+  // Normalize source into an `inputs` iterator.
+  const makeInputs = source[Symbol.asyncIterator] || source[Symbol.iterator];
+  const inputs =
+    /** @type {AsyncIterator<Awaited<T>> | Iterator<Awaited<T>>} */ (
+      Reflect.apply(makeInputs, source, [])
+    );
+  let inputsExhausted = false;
+  let terminated = false;
+  const doneKit = /** @type {PromiseKit<boolean>} */ (makePromiseKit());
+
+  // Concurrently consume up to `capacity` inputs, pushing the result of
+  // processing each into a linked chain of promises before consuming more.
+  let nextIndex = 0;
+  /**
+   * @typedef {object} ResultNode
+   * @property {Promise<ResultNode>} nextP
+   * @property {number} index
+   * @property {M extends 'allSettled'
+   *   ? PromiseSettledResult<Awaited<U>>
+   *   : Awaited<U>} result
+   */
+  const { promise: headP, ...headResolvers } =
+    /** @type {PromiseKit<ResultNode>} */ (makePromiseKit());
+  let { resolve: resolveCurrent, reject } = headResolvers;
+  let inFlight = 0;
+  const takeMoreInput = async () => {
+    await null;
+    while (inFlight < capacity && !inputsExhausted && !terminated) {
+      inFlight += 1;
+      const index = nextIndex;
+      nextIndex += 1;
+      /** @type {Promise<IteratorResult<Awaited<T>>>} */
+      let iterResultP;
+      try {
+        iterResultP = Promise.resolve(inputs.next());
+      } catch (err) {
+        iterResultP = Promise.reject(err);
+      }
+      void iterResultP
+        .then(async iterResult => {
+          if (terminated) return;
+
+          if (iterResult.done) {
+            inFlight -= 1;
+            inputsExhausted = true;
+            void takeMoreInput();
+            return;
+          }
+
+          // Process the input, propagating errors if mode is not "allSettled".
+          await null;
+          /** @type {PromiseSettledResult<Awaited<U>>} */
+          let settlementDesc = { status: 'rejected', reason: undefined };
+          try {
+            const fulfillment = await processInput(iterResult.value, index);
+            if (terminated) return;
+            settlementDesc = { status: 'fulfilled', value: fulfillment };
+          } catch (err) {
+            if (terminated) return;
+            if (mode !== 'allSettled') throw err;
+            /** @type {PromiseRejectedResult} */ (settlementDesc).reason = err;
+          }
+
+          // Fulfill the current tail promise with a record that includes the
+          // source index to which it corresponds and a reference to a new
+          // [unsettled] successor (thereby extending the chain), then try to
+          // consume more input.
+          const { promise: nextP, ...nextResolvers } =
+            /** @type {PromiseKit<ResultNode>} */ (makePromiseKit());
+          // Analogous to `Promise.allSettled`, mode "allSettled" produces
+          // { status, value, reason } PromiseSettledResult records.
+          const result =
+            mode === 'allSettled'
+              ? settlementDesc
+              : /** @type {PromiseFulfilledResult<Awaited<U>>} */ (
+                  settlementDesc
+                ).value;
+          inFlight -= 1;
+          void takeMoreInput();
+          const untypedResult = /** @type {any} */ (result);
+          resolveCurrent({ nextP, index, result: untypedResult });
+          ({ resolve: resolveCurrent, reject } = nextResolvers);
+        })
+        .catch(err => {
+          // End the chain with this rejection.
+          terminated = true;
+          reject(err);
+          doneKit.reject(err);
+          void (async () => inputs.throw?.(err))().catch(sink);
+        });
+    }
+    if (inFlight <= 0 && inputsExhausted) {
+      // @ts-expect-error This dummy signaling record conveys no result.
+      resolveCurrent({ nextP: undefined, index: -1, result: undefined });
+      doneKit.resolve(true);
+    }
+  };
+
+  const results = (async function* generateResults(nextP) {
+    await null;
+    let exhausted = false;
+    try {
+      for (;;) {
+        const { nextP: successor, index, result } = await nextP;
+        nextP = successor;
+        if (!successor) break;
+        yield /** @type {[typeof result, number]} */ (
+          Object.freeze([result, index])
+        );
+      }
+      exhausted = true;
+    } catch (err) {
+      terminated = true;
+      doneKit.reject(err);
+      void (async () => inputs.throw?.(err))().catch(sink);
+      throw err;
+    } finally {
+      const interrupted = !exhausted && !terminated;
+      terminated = true;
+      doneKit.resolve(false);
+      if (interrupted) void (async () => inputs.return?.())().catch(sink);
+    }
+  })(headP);
+  Object.defineProperty(results, 'done', {
+    value: doneKit.promise,
+    enumerable: true,
+  });
+  Object.defineProperty(results, 'then', {
+    value: () => {
+      throw Error('A work pool is not thenable; did you forget `.done`?');
+    },
+  });
+
+  void takeMoreInput();
+
+  // @ts-expect-error
+  return Object.freeze(results);
+};

package/src/marshal.d.ts

@@ -1,20 +0,0 @@
-export function makeBoardRemote({ boardId, iface }: {
-    boardId: string | null;
-    iface?: string;
-}): BoardRemote;
-export function slotToBoardRemote(boardId: string, iface: string): BoardRemote;
-export function boardSlottingMarshaller(slotToVal?: ((slot: string, iface: string) => any) | undefined): Omit<import("@endo/marshal").Marshal<string | null>, "serialize" | "unserialize">;
-export function unmarshalFromVstorage(data: Map<string, string>, key: string, fromCapData: ReturnType<typeof import("@endo/marshal").makeMarshal>["fromCapData"], index: number): any;
-export function makeHistoryReviver(entries: [string, string][], slotToVal?: ((slot: string, iface?: string) => any) | undefined): {
-    getItem: (key: string) => any;
-    children: (prefix: string) => string[];
-    has: (k: string) => boolean;
-};
-/**
- * Should be a union with Remotable, but that's `any`, making this type
- * meaningless
- */
-export type BoardRemote = {
-    getBoardId: () => string | null;
-};
-//# sourceMappingURL=marshal.d.ts.map

package/src/marshal.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"marshal.d.ts","sourceRoot":"","sources":["marshal.js"],"names":[],"mappings":"AAiBO,oDAHI;IAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GACxC,WAAW,CAKvB;AAMM,2CAHI,MAAM,SACN,MAAM,eAGoB;AAqB9B,4DANW,MAAM,SAAS,MAAM,KAAK,GAAG,gBAClC,IAAI,CAChB,OAAW,eAAe,EAAE,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,EAClD,WAAe,GAAG,aAAa,CAC5B,CAMH;AA6BM,4CATI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,OACnB,MAAM,eACN,UAAU,CACpB,cAAkB,eAAe,EAAE,WAAW,CAC3C,CAAC,aAAa,CAAC,SACR,MAAM,GAEJ,GAAG,CAwBf;AASM,4CAHI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,sBACX,MAAM,UAAU,MAAM,KAAK,GAAG;mBAQlC,MAAM;uBAEN,MAAM;aAYN,MAAM;EAInB;;;;;0BA9HY;IAAE,UAAU,EAAE,MAAM,MAAM,GAAG,IAAI,CAAA;CAAE"}