@agoric/vow 0.1.1-dev-459998d.0 → 0.1.1-dev-aa68d8f.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/vow",
-  "version": "0.1.1-dev-459998d.0+459998d",
+  "version": "0.1.1-dev-aa68d8f.0+aa68d8f",
   "description": "Remote (shortening and disconnection-tolerant) Promise-likes",
   "type": "module",
   "main": "src/index.js",
@@ -20,8 +20,8 @@
     "lint:types": "tsc"
   },
   "dependencies": {
-    "@agoric/base-zone": "0.1.1-dev-459998d.0+459998d",
-    "@agoric/internal": "0.3.3-dev-459998d.0+459998d",
+    "@agoric/base-zone": "0.1.1-dev-aa68d8f.0+aa68d8f",
+    "@agoric/internal": "0.3.3-dev-aa68d8f.0+aa68d8f",
     "@endo/env-options": "^1.1.3",
     "@endo/eventual-send": "^1.2.1",
     "@endo/pass-style": "^1.3.1",
@@ -49,5 +49,5 @@
   "typeCoverage": {
     "atLeast": 89.21
   },
-  "gitHead": "459998d3944d5ad9d495de146a6322aedcdd06d0"
+  "gitHead": "aa68d8fba19087b3a2c72bd59f6f9e47e34ffe1b"
 }

package/src/E.d.ts

@@ -1,6 +1,9 @@
 export default makeE;
 export type Callable = (...args: any[]) => any;
-export type EProxy = ReturnType<(<A = {}, U extends (x: any) => Promise<any> = (x: any) => Promise<any>>(HandledPromise: import("@endo/eventual-send").HandledPromiseConstructor, { additional, unwrap, }?: {
+export type EProxy = ReturnType<(<A = {}, U extends (x: any) => Promise<any> = (x: any) => Promise<any>>(HandledPromise: {
+    new <R>(executor: HandledExecutor<R>, unfulfilledHandler?: Handler<Promise<unknown>>): Promise<R>;
+    prototype: Promise<unknown>;
+} & PromiseConstructor & import("@endo/eventual-send").HandledPromiseStaticMethods, { additional, unwrap, }?: {
     unwrap?: U | undefined;
     additional?: A | undefined;
 } | undefined) => (<T>(x: T) => ECallableOrMethods<RemoteFunctions<T>>) & {
@@ -41,15 +44,15 @@ export type EProxy = ReturnType<(<A = {}, U extends (x: any) => Promise<any> = (
      * unwrapped(x).then(onfulfilled, onrejected)
      *
      * @template T
-     * @template [TResult1=import('./types.js').Unwrap<T>]
+     * @template [TResult1=Unwrap<T>]
      * @template [TResult2=never]
      * @param {ERef<T>} x value to convert to a handled promise
-     * @param {(value: import('./types.js').Unwrap<T>) => ERef<TResult1>} [onfulfilled]
+     * @param {(value: Unwrap<T>) => ERef<TResult1>} [onfulfilled]
      * @param {(reason: any) => ERef<TResult2>} [onrejected]
      * @returns {Promise<TResult1 | TResult2>}
      * @readonly
      */
-    readonly when: <T_4, TResult1 = import("./types.js").Unwrap<T_4>, TResult2 = never>(x: ERef<T_4>, onfulfilled?: ((value: import("./types.js").Unwrap<T_4>) => ERef<TResult1>) | undefined, onrejected?: ((reason: any) => ERef<TResult2>) | undefined) => Promise<TResult1 | TResult2>;
+    readonly when: <T_4, TResult1 = Unwrap<T_4>, TResult2 = never>(x: ERef<T_4>, onfulfilled?: ((value: Unwrap<T_4>) => ERef<TResult1>) | undefined, onrejected?: ((reason: any) => ERef<TResult2>) | undefined) => Promise<TResult1 | TResult2>;
 } & A)>;
 /**
  * `DataOnly<T>` means to return a record type `T2` consisting only of
@@ -57,7 +60,7 @@ export type EProxy = ReturnType<(<A = {}, U extends (x: any) => Promise<any> = (
  */
 export type DataOnly<T> = Omit<T, FilteredKeys<T, Callable>>;
 export type ERef<T> = PromiseLike<T> | T;
-export type ECallable<T extends Callable> = ((...args: Parameters<T>) => Promise<import("./types.js").Unwrap<ReturnType<T>>>);
+export type ECallable<T extends Callable> = (...args: Parameters<T>) => Promise<Unwrap<ReturnType<T>>>;
 export type EMethods<T> = { readonly [P in keyof T]: T[P] extends Callable ? ECallable<T[P]> : never; };
 export type EGetters<T> = { readonly [P in keyof T]: T[P] extends PromiseLike<infer U> ? T[P] : Promise<Awaited<T[P]>>; };
 export type ESendOnlyCallable<T extends Callable> = (...args: Parameters<T>) => Promise<void>;
@@ -83,8 +86,8 @@ export type PickCallable<T> = (T extends Callable ? (...args: Parameters<T>) =>
 /**
  * `RemoteFunctions<T>` means to return the functions and properties that are remotely callable.
  */
-export type RemoteFunctions<T> = (T extends import("@endo/eventual-send").RemotableBrand<infer L, infer R> ? PickCallable<R> : Awaited<T> extends import("@endo/eventual-send").RemotableBrand<infer L, infer R> ? PickCallable<R> : Awaited<T> extends import("./types.js").Vow<infer U> ? RemoteFunctions<U> : T extends PromiseLike<infer U> ? Awaited<T> : T);
-export type LocalRecord<T> = (T extends import("@endo/eventual-send").RemotableBrand<infer L, infer R> ? L : Awaited<T> extends import("@endo/eventual-send").RemotableBrand<infer L, infer R> ? L : Awaited<T> extends import("./types.js").Vow<infer U> ? LocalRecord<U> : T extends PromiseLike<infer U> ? Awaited<T> : T);
+export type RemoteFunctions<T> = T extends RemotableBrand<infer L, infer R> ? PickCallable<R> : Awaited<T> extends RemotableBrand<infer L_1, infer R_1> ? PickCallable<R_1> : Awaited<T> extends Vow<infer U> ? RemoteFunctions<U> : T extends PromiseLike<infer U_1> ? Awaited<T> : T;
+export type LocalRecord<T> = T extends RemotableBrand<infer L, infer R> ? L : Awaited<T> extends RemotableBrand<infer L_1, infer R_1> ? L_1 : Awaited<T> extends Vow<infer U> ? LocalRecord<U> : T extends PromiseLike<infer U_1> ? Awaited<T> : T;
 /**
  * Type for an object that must only be invoked with E.  It supports a given
  * interface but declares all the functions as asyncable.
@@ -93,12 +96,15 @@ export type EOnly<T> = (T extends Callable ? (...args: Parameters<T>) => ERef<Aw
 /**
  * @template [A={}]
  * @template {(x: any) => Promise<any>} [U=(x: any) => Promise<any>]
- * @param {import('@endo/eventual-send').HandledPromiseConstructor} HandledPromise
+ * @param {HandledPromiseConstructor} HandledPromise
  * @param {object} [powers]
  * @param {U} [powers.unwrap]
  * @param {A} [powers.additional]
  */
-declare function makeE<A = {}, U extends (x: any) => Promise<any> = (x: any) => Promise<any>>(HandledPromise: import("@endo/eventual-send").HandledPromiseConstructor, { additional, unwrap, }?: {
+declare function makeE<A = {}, U extends (x: any) => Promise<any> = (x: any) => Promise<any>>(HandledPromise: {
+    new <R>(executor: HandledExecutor<R>, unfulfilledHandler?: Handler<Promise<unknown>>): Promise<R>;
+    prototype: Promise<unknown>;
+} & PromiseConstructor & import("@endo/eventual-send").HandledPromiseStaticMethods, { additional, unwrap, }?: {
     unwrap?: U | undefined;
     additional?: A | undefined;
 } | undefined): (<T>(x: T) => ECallableOrMethods<RemoteFunctions<T>>) & {
@@ -139,14 +145,17 @@ declare function makeE<A = {}, U extends (x: any) => Promise<any> = (x: any) =>
      * unwrapped(x).then(onfulfilled, onrejected)
      *
      * @template T
-     * @template [TResult1=import('./types.js').Unwrap<T>]
+     * @template [TResult1=Unwrap<T>]
      * @template [TResult2=never]
      * @param {ERef<T>} x value to convert to a handled promise
-     * @param {(value: import('./types.js').Unwrap<T>) => ERef<TResult1>} [onfulfilled]
+     * @param {(value: Unwrap<T>) => ERef<TResult1>} [onfulfilled]
      * @param {(reason: any) => ERef<TResult2>} [onrejected]
      * @returns {Promise<TResult1 | TResult2>}
      * @readonly
      */
-    readonly when: <T_4, TResult1 = import("./types.js").Unwrap<T_4>, TResult2 = never>(x: ERef<T_4>, onfulfilled?: ((value: import("./types.js").Unwrap<T_4>) => ERef<TResult1>) | undefined, onrejected?: ((reason: any) => ERef<TResult2>) | undefined) => Promise<TResult1 | TResult2>;
+    readonly when: <T_4, TResult1 = Unwrap<T_4>, TResult2 = never>(x: ERef<T_4>, onfulfilled?: ((value: Unwrap<T_4>) => ERef<TResult1>) | undefined, onrejected?: ((reason: any) => ERef<TResult2>) | undefined) => Promise<TResult1 | TResult2>;
 } & A;
+import type { Unwrap } from './types.js';
+import type { RemotableBrand } from '@endo/eventual-send';
+import type { Vow } from './types.js';
 //# sourceMappingURL=E.d.ts.map

package/src/E.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"E.d.ts","sourceRoot":"","sources":["E.js"],"names":[],"mappings":";uBASc,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG;qBAyRvB,UAAU,yBA1GN,GAAG,wBAA0B,GAAG,mCACvC,OAAO,qBAAqB,EAAE,yBAAyB;;;oBAoBjD,CAAC,KAAD,CAAC;IAQV;;;;;;;;;;OAUG;mBAHQ,GAAC,KAAD,GAAC;IAYZ;;;;;;;;OAQG;uBAHQ,GAAC,KAAD,GAAC;IAMZ;;;;;;;;OAQG;wBAHQ,GAAC,KAAD,GAAC;IAYZ;;;;;;;;;;;;OAYG;oBAJ4C,GAAC,oEADrC,IAAI,CACgC,GAAC,AAD/B,CAAC,yBACC,OAAO,YAAY,EAAE,MAAM,CAAC,GAAC,CAAC,yDAC7B,GAAG;OAqBA;;;;;qBAOG,CAAC,IAAtB,IAAI,CAAiB,CAAC,AAAhB,EAAE,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;iBAMjB,CAAC,IAAlB,WAAW,CAAM,CAAC,AAAL,CAAC,GAAG,CAAC;sBAMiD,CAAC,qBADpE,CACZ,CAAK,GAAG,IAAI,EAAE,UAAU,CAAuD,CAAC,AAAtD,CAAC,KAAK,OAAO,CAAC,OAAO,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAChF;qBAOe,CAAC,IAFP,EACZ,QAAY,EAAE,CAAC,IAAI,MACD,CAAC,AADO,GACR,CAAC,AADW,CACV,CAAC,AADW,CAAC,SAAS,QAAQ,GAC1C,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACf,KAAK,GACV;qBAQqB,CAAC,IAHb,EACZ,QAAY,EAAE,CAAC,IAAI,MAEK,CAAC,AAFC,GAEF,CAAC,AAFK,CAEJ,CAAC,AAFK,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAEtC,CAAC,AADhB,CACiB,CAAC,AADhB,CAAC,GACJ,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC3B;8BAK8B,CAAC,qBAAtB,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC;6BAO3B,CAAC,IAFf,EACZ,QAAY,EAAE,CAAC,IAAI,MACO,CAAC,AADD,GACA,CAAC,AADG,CACF,CAAC,AADG,CAAC,SAAS,QAAQ,GAC1C,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvB,KAAK,GACV;uCAQ+B,CAAC,IAHvB,CAGsB,CAAC,AAF9B,SAAS,QAAQ,GACd,iBAAiB,CACS,CAAC,AADR,CAAC,GAAG,gBAAgB,CAAC,QAAQ,CACtB,CAAC,AADuB,CAAC,CAAC,GACpD,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAClC;+BAQuB,CAAC,IAHf,CAGc,CAAC,AAFtB,SAAS,QAAQ,GACd,SAAS,CACS,CAAC,AADR,CAAC,GAAG,QAAQ,CAAC,QAAQ,CACd,CAAC,AADe,CAAC,CAAC,GACpC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC1B;;;;;;;;;;;yBAe+D,CAAC,EAAxB,CAAC,IAAhC,GAAG,CAAC,IAAI,MAA8C,CAAC,AAAxC,GAAuC,CAAC,AAApC,CAAgB,CAAC,AAAf,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;;;;;yBAWvC,CAAC,IAHlB,CAGiB,CAAC,AAFzB,SAAS,QAAQ,GACd,CAAC,GAAG,IAAI,EAAE,UAAU,CACC,CAAC,AADA,CAAC,KAAK,UAAU,CACjB,CAAC,AADkB,CAAC,GACzC,IAAI,CAAiB,CAAC,AAAhB,EAAE,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CACvC;;;;4BAgBK,CAAC,IATG,CASJ,CAAC,AARJ,SAAS,OAAO,qBAAqB,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACpE,YAAY,CAAC,CAAC,CAAC,GACf,OAAO,CAMP,CAAC,AANQ,CAAC,SAAS,OAAO,qBAAqB,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACjF,YAAY,CAAC,CAAC,CAAC,GACf,OAAO,CAIP,CAAC,AAJQ,CAAC,SAAS,OAAO,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GACpD,eAAe,CAAC,CAAC,CAAC,GAGlB,CAAC,AAFA,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC9B,OAAO,CACP,CAAC,AADQ,CAAC,GACV,CAAC,CACN;wBAcK,CAAC,IATG,CASJ,CAAC,AARJ,SAAS,OAAO,qBAAqB,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACpE,CAAC,GACD,OAAO,CAMP,CAAC,AANQ,CAAC,SAAS,OAAO,qBAAqB,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACjF,CAAC,GACD,OAAO,CAIP,CAAC,AAJQ,CAAC,SAAS,OAAO,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GACpD,WAAW,CAAC,CAAC,CAAC,GAGd,CAAC,AAFA,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC9B,OAAO,CACP,CAAC,AADQ,CAAC,GACV,CAAC,CACN;;;;;kBAiBK,CAAC,IATG,CASJ,CAAC,AARJ,SAAS,QAAQ,GACd,CAAC,GAAG,IAAI,EAAE,UAAU,CAOpB,CAAC,AAPqB,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAOzD,CAAC,AAP0D,CAAC,CAAC,CAAC,CAAC,GAO/D,CAAC,AANA,SAAS,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,GACvC,GACG,CAAC,IAAI,MAIR,CAAC,AAJc,GAIf,CAAC,AAJkB,CAEX,CAAC,AAFY,CAAC,SAAS,QAAQ,GACjC,CAAC,GAAG,IAAI,EAAE,UAAU,CAG1B,CAAC,AAH2B,CACpB,CAAC,AADqB,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAGlE,CAAC,AAHmE,CAC5D,CAAC,AAD6D,CAAC,CAAC,CAAC,CAAC,CAAC,GAG3E,CAAC,AAFM,CAAC,CAAC,CAAC,GACT,GACD,CAAC,CACN;AA/PJ;;;;;;;GAOG;AACH,6CANkB,GAAG,KAAK,OAAO,CAAC,GAAG,CAAC,OAAS,GAAG,KAAK,OAAO,CAAC,GAAG,CAAC,kBACxD,OAAO,qBAAqB,EAAE,yBAAyB;;;kBAqBZ,CAAC,KAAD,CAAC,AADrC,KACC,kBAAkB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAOjD;;;;;;;;;;OAUG;mBAF+B,GAAC,KAAD,GAAC,AADvB,KACC,QAAQ,CAAC,WAAW,CAAC,GAAC,CAAC,CAAC;IAWrC;;;;;;;;OAQG;uBAF0B,GAAC,KAAD,GAAC,AADlB,KACC,OAAO,CAAC,OAAO,CAAC,GAAC,CAAC,CAAC;IAKhC;;;;;;;;OAQG;wBAFqD,GAAC,KAAD,GAAC,AAD7C,KACC,0BAA0B,CAAC,eAAe,CAAC,GAAC,CAAC,CAAC;IAW3D;;;;;;;;;;;;OAYG;oBAJ4C,GAAC,EAE3B,QAAQ,qCAAG,QAAQ,aAH7B,IAAI,CACgC,GAAC,AAD/B,CAAC,yBACC,OAAO,YAAY,EAAE,MAAM,CAAC,GAAC,CAAC,KAAK,IAAI,CAErC,QAAQ,AAFsC,CAAC,sCAChD,GAAG,KAAK,IAAI,CACA,QAAQ,AADC,CAAC,kBAC7B,OAAO,CAAC,QAAQ,GAAG,QAAQ,CAAC;MAgBhD"}
+{"version":3,"file":"E.d.ts","sourceRoot":"","sources":["E.js"],"names":[],"mappings":";uBAac,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG;qBAyRvB,UAAU,yBA1GN,GAAG,wBAA0B,GAAG;sBA1LjD,gBAAiB,CAAC,CAAC,uBAAsB,QAAS,gBAAgB,CAAC;;;;;oBA+MnD,CAAC,KAAD,CAAC;IAQV;;;;;;;;;;OAUG;mBAHQ,GAAC,KAAD,GAAC;IAYZ;;;;;;;;OAQG;uBAHQ,GAAC,KAAD,GAAC;IAMZ;;;;;;;;OAQG;wBAHQ,GAAC,KAAD,GAAC;IAYZ;;;;;;;;;;;;OAYG;oBAJuB,GAAC,+CADhB,IAAI,CACW,GAAC,AADV,CAAC,6FAEE,GAAG;OAqBA;;;;;qBAOG,CAAC,IAAtB,IAAI,CAAiB,CAAC,AAAhB,EAAE,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;iBAMjB,CAAC,IAAlB,WAAW,CAAM,CAAC,AAAL,CAAC,GAAG,CAAC;sBAM4B,CAAC,+BAA7C,UAAU,CAAkC,CAAC,AAAjC,CAAC;qBAQT,CAAC,IAFP,EACZ,QAAY,EAAE,CAAC,IAAI,MACD,CAAC,AADO,GACR,CAAC,AADW,CACV,CAAC,AADW,CAAC,SAAS,QAAQ,GAC1C,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACf,KAAK,GACV;qBAQqB,CAAC,IAHb,EACZ,QAAY,EAAE,CAAC,IAAI,MAEK,CAAC,AAFC,GAEF,CAAC,AAFK,CAEJ,CAAC,AAFK,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAEtC,CAAC,AADhB,CACiB,CAAC,AADhB,CAAC,GACJ,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC3B;8BAK8B,CAAC,qBAAtB,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC;6BAO3B,CAAC,IAFf,EACZ,QAAY,EAAE,CAAC,IAAI,MACO,CAAC,AADD,GACA,CAAC,AADG,CACF,CAAC,AADG,CAAC,SAAS,QAAQ,GAC1C,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvB,KAAK,GACV;uCAQ+B,CAAC,IAHvB,CAGsB,CAAC,AAF9B,SAAS,QAAQ,GACd,iBAAiB,CACS,CAAC,AADR,CAAC,GAAG,gBAAgB,CAAC,QAAQ,CACtB,CAAC,AADuB,CAAC,CAAC,GACpD,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAClC;+BAQuB,CAAC,IAHf,CAGc,CAAC,AAFtB,SAAS,QAAQ,GACd,SAAS,CACS,CAAC,AADR,CAAC,GAAG,QAAQ,CAAC,QAAQ,CACd,CAAC,AADe,CAAC,CAAC,GACpC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC1B;;;;;;;;;;;yBAe+D,CAAC,EAAxB,CAAC,IAAhC,GAAG,CAAC,IAAI,MAA8C,CAAC,AAAxC,GAAuC,CAAC,AAApC,CAAgB,CAAC,AAAf,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;;;;;yBAWvC,CAAC,IAHlB,CAGiB,CAAC,AAFzB,SAAS,QAAQ,GACd,CAAC,GAAG,IAAI,EAAE,UAAU,CACC,CAAC,AADA,CAAC,KAAK,UAAU,CACjB,CAAC,AADkB,CAAC,GACzC,IAAI,CAAiB,CAAC,AAAhB,EAAE,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CACvC;;;;4BAgBK,CAAC;wBAeD,CAAC;;;;;kBAkBD,CAAC,IATG,CASJ,CAAC,AARJ,SAAS,QAAQ,GACd,CAAC,GAAG,IAAI,EAAE,UAAU,CAOpB,CAAC,AAPqB,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAOzD,CAAC,AAP0D,CAAC,CAAC,CAAC,CAAC,GAO/D,CAAC,AANA,SAAS,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,GACvC,GACG,CAAC,IAAI,MAIR,CAAC,AAJc,GAIf,CAAC,AAJkB,CAEX,CAAC,AAFY,CAAC,SAAS,QAAQ,GACjC,CAAC,GAAG,IAAI,EAAE,UAAU,CAG1B,CAAC,AAH2B,CACpB,CAAC,AADqB,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAGlE,CAAC,AAHmE,CAC5D,CAAC,AAD6D,CAAC,CAAC,CAAC,CAAC,CAAC,GAG3E,CAAC,AAFM,CAAC,CAAC,CAAC,GACT,GACD,CAAC,CACN;AA/PJ;;;;;;;GAOG;AACH,6CANkB,GAAG,KAAK,OAAO,CAAC,GAAG,CAAC,OAAS,GAAG,KAAK,OAAO,CAAC,GAAG,CAAC;sBA1LlE,gBAAiB,CAAC,CAAC,uBAAsB,QAAS,gBAAgB,CAAC;;;;;kBAgNd,CAAC,KAAD,CAAC,AADrC,KACC,kBAAkB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAOjD;;;;;;;;;;OAUG;mBAF+B,GAAC,KAAD,GAAC,AADvB,KACC,QAAQ,CAAC,WAAW,CAAC,GAAC,CAAC,CAAC;IAWrC;;;;;;;;OAQG;uBAF0B,GAAC,KAAD,GAAC,AADlB,KACC,OAAO,CAAC,OAAO,CAAC,GAAC,CAAC,CAAC;IAKhC;;;;;;;;OAQG;wBAFqD,GAAC,KAAD,GAAC,AAD7C,KACC,0BAA0B,CAAC,eAAe,CAAC,GAAC,CAAC,CAAC;IAW3D;;;;;;;;;;;;OAYG;oBAJuB,GAAC,EAEN,QAAQ,gBAAG,QAAQ,aAH7B,IAAI,CACW,GAAC,AADV,CAAC,yCACe,IAAI,CAEhB,QAAQ,AAFiB,CAAC,sCAC3B,GAAG,KAAK,IAAI,CACA,QAAQ,AADC,CAAC,kBAC7B,OAAO,CAAC,QAAQ,GAAG,QAAQ,CAAC;MAgBhD;4BAvR+B,YAAY;oCADkB,qBAAqB;yBACnD,YAAY"}

package/src/E.js

@@ -7,6 +7,10 @@ const { assign, create } = Object;
 
 const onSend = makeMessageBreakpointTester('ENDO_SEND_BREAKPOINTS');
 
+/**
+ * @import { HandledPromiseConstructor, RemotableBrand } from '@endo/eventual-send'
+ * @import { Unwrap, Vow } from './types.js'
+ */
 /** @typedef {(...args: any[]) => any} Callable */
 
 /** @type {ProxyHandler<any>} */
@@ -38,7 +42,7 @@ const baseFreezableProxyHandler = {
  * A Proxy handler for E(x).
  *
  * @param {any} recipient Any value passed to E(x)
- * @param {import('@endo/eventual-send').HandledPromiseConstructor} HandledPromise
+ * @param {HandledPromiseConstructor} HandledPromise
  * @param {(x: any) => Promise<any>} unwrap
  * @returns {ProxyHandler<any>} the Proxy handler
  */
@@ -103,7 +107,7 @@ const makeEProxyHandler = (recipient, HandledPromise, unwrap) =>
  * It is a variant on the E(x) Proxy handler.
  *
  * @param {any} recipient Any value passed to E.sendOnly(x)
- * @param {import('@endo/eventual-send').HandledPromiseConstructor} HandledPromise
+ * @param {HandledPromiseConstructor} HandledPromise
  * @param {(x: any) => Promise<any>} unwrap
  * @returns {ProxyHandler<any>} the Proxy handler
  */
@@ -166,7 +170,7 @@ const makeESendOnlyProxyHandler = (recipient, HandledPromise, unwrap) =>
  * It is a variant on the E(x) Proxy handler.
  *
  * @param {any} x Any value passed to E.get(x)
- * @param {import('@endo/eventual-send').HandledPromiseConstructor} HandledPromise
+ * @param {HandledPromiseConstructor} HandledPromise
  * @param {(x: any) => Promise<any>} unwrap
  * @returns {ProxyHandler<any>} the Proxy handler
  */
@@ -183,7 +187,7 @@ const resolve = x => HandledPromise.resolve(x);
 /**
  * @template [A={}]
  * @template {(x: any) => Promise<any>} [U=(x: any) => Promise<any>]
- * @param {import('@endo/eventual-send').HandledPromiseConstructor} HandledPromise
+ * @param {HandledPromiseConstructor} HandledPromise
  * @param {object} [powers]
  * @param {U} [powers.unwrap]
  * @param {A} [powers.additional]
@@ -263,10 +267,10 @@ const makeE = (
          * unwrapped(x).then(onfulfilled, onrejected)
          *
          * @template T
-         * @template [TResult1=import('./types.js').Unwrap<T>]
+         * @template [TResult1=Unwrap<T>]
          * @template [TResult2=never]
          * @param {ERef<T>} x value to convert to a handled promise
-         * @param {(value: import('./types.js').Unwrap<T>) => ERef<TResult1>} [onfulfilled]
+         * @param {(value: Unwrap<T>) => ERef<TResult1>} [onfulfilled]
          * @param {(reason: any) => ERef<TResult2>} [onrejected]
          * @returns {Promise<TResult1 | TResult2>}
          * @readonly
@@ -307,7 +311,7 @@ export default makeE;
 /**
  * @template {Callable} T
  * @typedef {(
- *   (...args: Parameters<T>) => Promise<import('./types.js').Unwrap<ReturnType<T>>>
+ *   (...args: Parameters<T>) => Promise<Unwrap<ReturnType<T>>>
  * )} ECallable
  */
 
@@ -393,11 +397,11 @@ export default makeE;
  *
  * @template T
  * @typedef {(
- *   T extends import('@endo/eventual-send').RemotableBrand<infer L, infer R>     // if a given T is some remote interface R
+ *   T extends RemotableBrand<infer L, infer R>     // if a given T is some remote interface R
  *     ? PickCallable<R>                                              // then return the callable properties of R
- *     : Awaited<T> extends import('@endo/eventual-send').RemotableBrand<infer L, infer R> // otherwise, if the final resolution of T is some remote interface R
+ *     : Awaited<T> extends RemotableBrand<infer L, infer R> // otherwise, if the final resolution of T is some remote interface R
  *     ? PickCallable<R>                                              // then return the callable properties of R
- *     : Awaited<T> extends import('./types.js').Vow<infer U>
+ *     : Awaited<T> extends Vow<infer U>
  *     ? RemoteFunctions<U>                                           // then extract the remotable functions of U
  *     : T extends PromiseLike<infer U>                               // otherwise, if T is a promise
  *     ? Awaited<T>                                                   // then return resolved value T
@@ -408,11 +412,11 @@ export default makeE;
 /**
  * @template T
  * @typedef {(
- *   T extends import('@endo/eventual-send').RemotableBrand<infer L, infer R>
+ *   T extends RemotableBrand<infer L, infer R>
  *     ? L
- *     : Awaited<T> extends import('@endo/eventual-send').RemotableBrand<infer L, infer R>
+ *     : Awaited<T> extends RemotableBrand<infer L, infer R>
  *     ? L
- *     : Awaited<T> extends import('./types.js').Vow<infer U>
+ *     : Awaited<T> extends Vow<infer U>
  *     ? LocalRecord<U>
  *     : T extends PromiseLike<infer U>
  *     ? Awaited<T>

package/src/tools.d.ts

@@ -1,9 +1,10 @@
-export function prepareVowTools(zone: import("@agoric/base-zone").Zone, powers?: {
+export function prepareVowTools(zone: Zone, powers?: {
     isRetryableReason?: ((reason: any) => boolean) | undefined;
 } | undefined): {
     when: <T, TResult1 = import("./types.js").Unwrap<T>, TResult2 = never>(specimenP: T, onFulfilled?: ((value: import("./types.js").Unwrap<T>) => TResult1 | PromiseLike<TResult1>) | undefined, onRejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | undefined) => Promise<TResult1 | TResult2>;
-    watch: <T_1 = unknown, TResult1_1 = T_1, TResult2_1 = T_1, C = unknown>(specimenP: import("./types.js").ERef<T_1 | import("./types.js").Vow<T_1>>, watcher?: import("./types.js").Watcher<T_1, TResult1_1, TResult2_1, any> | undefined, watcherContext?: C | undefined) => import("./types.js").Vow<TResult1_1 | TResult2_1>;
+    watch: <T_1 = unknown, TResult1_1 = T_1, TResult2_1 = T_1, C = unknown>(specimenP: import("./types.js").ERef<T_1 | import("./types.js").Vow<T_1>>, watcher?: import("./types.js").Watcher<T_1, TResult1_1, TResult2_1> | undefined, watcherContext?: C | undefined) => import("./types.js").Vow<TResult1_1 | TResult2_1>;
     makeVowKit: <T_2>() => import("./types.js").VowKit<T_2>;
     allVows: (vows: any) => import("./types.js").Vow<any>;
 };
+import type { Zone } from '@agoric/base-zone';
 //# sourceMappingURL=tools.d.ts.map

package/src/tools.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tools.d.ts","sourceRoot":"","sources":["tools.js"],"names":[],"mappings":"AAWO,sCAJI,OAAO,mBAAmB,EAAE,IAAI;kCAEvB,GAAG,KAAK,OAAO;;sFAEU,CAAC,yBACR,OAAQ,YAC1C,EAAE,MAAM,CAAC,CAAC,CAAC;uFAWwtG,OAAO,YAAY,EAAE,IAAI,CAAC,GAAC,GAAE,OAAQ,YAAY,EAAE,GAAG,CAAC,GAAC,CAAC,CAAC;;;EAFhyG"}
+{"version":3,"file":"tools.d.ts","sourceRoot":"","sources":["tools.js"],"names":[],"mappings":"AAaO;kCAFa,GAAG,KAAK,OAAO;;sFAEc,CAAC;;;;EAWjD;0BAlBuB,mBAAmB"}

package/src/tools.js

@@ -4,8 +4,10 @@ import { prepareVowKit } from './vow.js';
 import { prepareWatch } from './watch.js';
 import { prepareWatchUtils } from './watch-utils.js';
 
+/** @import {Zone} from '@agoric/base-zone' */
+
 /**
- * @param {import('@agoric/base-zone').Zone} zone
+ * @param {Zone} zone
  * @param {object} [powers]
  * @param {(reason: any) => boolean} [powers.isRetryableReason]
  */

package/src/types.d.ts

@@ -17,12 +17,13 @@ export type DataOnly<T> = (IsPrimitive<T> extends true ? T : T extends Callable
  * Follow the chain of vow shortening to the end, returning the final value.
  * This is used within E, so we must narrow the type to its remote form.
  */
-export type Unwrap<T> = (T extends PromiseLike<infer U> ? Unwrap<U> : T extends import("./types").Vow<infer U> ? Unwrap<U> : IsPrimitive<T> extends true ? T : T extends import("@endo/eventual-send").RemotableBrand<infer Local, infer Primary> ? Local & T : T);
+export type Unwrap<T> = T extends PromiseLike<infer U> ? Unwrap<U> : T extends Vow<infer U_1> ? Unwrap<U_1> : IsPrimitive<T> extends true ? T : T extends RemotableBrand<infer Local, infer Primary> ? Local & T : T;
 /**
- * A type that doesn't assume its parameter is local, but is
- * satisfied with both local and remote references.
+ * A type that
+ * doesn't assume its parameter is local, but is satisfied with both local
+ * and remote references.
  */
-export type Remote<Primary, Local = DataOnly<Primary>> = Primary | import("@endo/eventual-send").RemotableBrand<Local, Primary>;
+export type Remote<Primary, Local = DataOnly<Primary>> = Primary | RemotableBrand<Local, Primary>;
 /**
  * The first version of the vow implementation
  * object.  CAVEAT: These methods must never be changed or added to, to provide
@@ -41,7 +42,11 @@ export type VowV0<T = any> = {
 export type VowPayload<T = any> = {
     vowV0: Remote<VowV0<T>>;
 };
-export type Vow<T = any> = import("@endo/pass-style").CopyTagged<"Vow", VowPayload<T>>;
+export type Vow<T = any> = {
+    [passStyle: symbol]: string;
+    payload: VowPayload<T>;
+    [Symbol.toStringTag]: "Vow";
+};
 export type VowKit<T = any> = {
     vow: Vow<T>;
     resolver: VowResolver<T>;
@@ -59,13 +64,12 @@ export type Watcher<T = any, TResult1 = T, TResult2 = T, C = any> = {
     onFulfilled?: ((value: T, context?: C) => Vow<TResult1> | PromiseVow<TResult1> | TResult1) | undefined;
     onRejected?: ((reason: any) => Vow<TResult2> | PromiseVow<TResult2> | TResult2) | undefined;
 };
-export type Specimen<T = any> = import("./types.js").ERef<T | import("./types.js").Vow<T>>;
-export type VowTools = ReturnType<(zone: import("@agoric/base-zone").Zone, powers?: {
-    isRetryableReason?: ((reason: any) => boolean) | undefined;
-} | undefined) => {
-    when: <T, TResult1 = Unwrap<T>, TResult2 = never>(specimenP: T, onFulfilled?: ((value: import("./types").Unwrap<T>) => TResult1 | PromiseLike<TResult1>) | undefined, onRejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | undefined) => Promise<TResult1 | TResult2>;
-    watch: <T_1 = unknown, TResult1_1 = T_1, TResult2_1 = T_1, C = unknown>(specimenP: import("./types").ERef<T_1 | import("./types").Vow<T_1>>, watcher?: Watcher<T_1, TResult1_1, TResult2_1, any> | undefined, watcherContext?: C | undefined) => Vow<TResult1_1 | TResult2_1>;
+export type Specimen<T = any> = ERef<T | Vow<T>>;
+export type VowTools = {
+    when: <T, TResult1 = Unwrap<T>, TResult2 = never>(specimenP: T, onFulfilled?: ((value: Unwrap<T>) => TResult1 | PromiseLike<TResult1>) | undefined, onRejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | undefined) => Promise<TResult1 | TResult2>;
+    watch: <T_1 = unknown, TResult1_1 = T_1, TResult2_1 = T_1, C = unknown>(specimenP: ERef<T_1 | Vow<T_1>>, watcher?: Watcher<T_1, TResult1_1, TResult2_1> | undefined, watcherContext?: C | undefined) => Vow<TResult1_1 | TResult2_1>;
     makeVowKit: <T_2>() => VowKit<T_2>;
     allVows: (vows: any) => Vow<any>;
-}>;
+};
+import type { RemotableBrand } from '@endo/eventual-send';
 //# sourceMappingURL=types.d.ts.map

package/src/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":"uBAGc,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG;;;;;uBAIR,CAAC,IAAjB,OAAO,CAAS,CAAC,AAAR,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;iBAMH,CAAC,IAAD,CAAC,AAAhB,GAAG,WAAW,CAAC,CAAC,CAAC;;;;wBAY9B,CAAK,IAPO,CAOZ,CAAK,AANA,SAAS,MAAM,GAAG,IAAI,GAM3B,CAAK,AALA,SAAS,OAAO,GAAG,IAAI,GAK5B,CAAK,AAJA,SAAS,IAAI,GAAG,IAAI,GAIzB,CAAK,AAHA,SAAS,MAAM,GAAG,IAAI,GAG3B,CAAK,AAFA,SAAS,MAAM,GAAG,IAAI,GAE3B,CAAK,AADA,SAAS,MAAM,GAAG,IAAI,GAC3B,CAAK,SAAS,SAAS,GAAG,IAAI,GAC9B,KAAS,CACN;;;;qBAQiE,CAAC,IAHzD,CACZ,WAAe,CAEqD,CAAC,AAFpD,CAAC,SAAS,IAAI,GAEqC,CAAC,AAFlC,GAEiC,CAAC,AADhE,SAAS,QAAQ,GAAG,KAAK,GAC9B,GAAO,CAAC,IAAI,MAAwD,CAAC,AAAlD,IAAiD,CAAC,AAA7C,CAA8C,CAAC,AAA7C,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAkB,CAAC,AAAf,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAE,CACxE;;;;;mBAYH,CAAK,IALO,CAKZ,CAAK,AAJA,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAI9C,CAAK,AAHA,SAAS,OAAO,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GACxD,WAAe,CAEf,CAAK,AAFY,CAAC,SAAS,IAAI,GAE/B,CAAK,AAF8B,GAEnC,CAAK,AADA,SAAS,OAAO,qBAAqB,EAAE,cAAc,CAAC,MAAM,KAAK,EAAE,MAAM,OAAO,CAAC,GAAG,KAAK,GAC9F,CAAK,AAD6F,GAClG,CAAK,CACF;;;;;mBASqD,OAAO,EAAd,KAAK,wBAAE,OAAO,AAD5C,GACnB,OAAW,qBAAqB,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC;;;;;;;kBAYrC,CAAC;;;;;;;aAAf,MAAM,OAAO,CAAC,CAAC,CAAC;;uBASH,CAAC;WAAd,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;;gBAMP,CAAC,UADX,OAAO,kBAAkB,EAAE,UAAU,CACjD,KAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CACrB;mBAOuB,CAAC,UAFf;IACZ,GAAO,EAAE,GAAG,CACc,CAAC,AADb,CAAC,CAAC;IAChB,QAAY,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;CAC1B;0BAQkB,CAAC,UAHV;IACZ,GAAO,EAAE,GAAG,CAES,CAAC,AAFR,CAAC,CAAC;IAChB,QAAY,EAAE,WAAW,CACJ,CAAC,AADK,CAAC,CAAC;IAC7B,OAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CACpB;wBAK0C,CAAC,UAAlC;IAAE,OAAO,CAAC,KAAK,CAAC,EAAiB,CAAC,AAAf,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;IAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,IAAI,CAAA;CAAE;oBAS/D,CAAC,QAAyD,QAAQ,MAClB,QAAQ,MAD3C,CAAC;2BAAd,CAAC,YAAY,CAAC,KAAK,GAAG,CAAoC,QAAQ,AAAnC,CAAC,GAAG,UAAU,CAAa,QAAQ,AAAZ,CAAC,GAAG,QAAQ;2BACjE,GAAG,KAAK,GAAG,CAAoC,QAAQ,AAAnC,CAAC,GAAG,UAAU,CAAa,QAAQ,AAAZ,CAAC,GAAG,QAAQ;;qBAKV,CAAC,UAAxD,OAAO,YAAY,EAAE,IAAI,CAA8B,CAAC,AAA7B,GAAG,OAAO,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;uBAGzD,UAAU,QArHvB,OAEC,mBAEA,EAAE,IAAI;;;iEAQQ,CAAC,yBAEZ,OAAQ,SAAY,EAAE,MACzB,CAAG,CAAD,CAAC;uFAuGorB,OAAO,SAAY,EAAE,IAAI,CAAC,GAAC,GAAE,OAAQ,SAAY,EAAE,GAAG,CAAC,GAAC,CAAC,CAAC;;;EADrrB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":"uBASc,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG;;;;;uBAIR,CAAC,IAAjB,OAAO,CAAS,CAAC,AAAR,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;iBAMH,CAAC,IAAD,CAAC,AAAhB,GAAG,WAAW,CAAC,CAAC,CAAC;;;;wBAY9B,CAAK,IAPO,CAOZ,CAAK,AANA,SAAS,MAAM,GAAG,IAAI,GAM3B,CAAK,AALA,SAAS,OAAO,GAAG,IAAI,GAK5B,CAAK,AAJA,SAAS,IAAI,GAAG,IAAI,GAIzB,CAAK,AAHA,SAAS,MAAM,GAAG,IAAI,GAG3B,CAAK,AAFA,SAAS,MAAM,GAAG,IAAI,GAE3B,CAAK,AADA,SAAS,MAAM,GAAG,IAAI,GAC3B,CAAK,SAAS,SAAS,GAAG,IAAI,GAC9B,KAAS,CACN;;;;qBAQiE,CAAC,IAHzD,CACZ,WAAe,CAEqD,CAAC,AAFpD,CAAC,SAAS,IAAI,GAEqC,CAAC,AAFlC,GAEiC,CAAC,AADhE,SAAS,QAAQ,GAAG,KAAK,GAC9B,GAAO,CAAC,IAAI,MAAwD,CAAC,AAAlD,IAAiD,CAAC,AAA7C,CAA8C,CAAC,AAA7C,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAkB,CAAC,AAAf,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAE,CACxE;;;;;mBAYH,CAAK;;;;;;mBASuC,OAAO,EAAd,KAAK;;;;;;;kBAYf,CAAC;;;;;;;aAAf,MAAM,OAAO,CAAC,CAAC,CAAC;;uBASH,CAAC;WAAd,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;;gBAKY,CAAC;;;;;mBAOhB,CAAC,UAFf;IACZ,GAAO,EAAE,GAAG,CACc,CAAC,AADb,CAAC,CAAC;IAChB,QAAY,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;CAC1B;0BAQkB,CAAC,UAHV;IACZ,GAAO,EAAE,GAAG,CAES,CAAC,AAFR,CAAC,CAAC;IAChB,QAAY,EAAE,WAAW,CACJ,CAAC,AADK,CAAC,CAAC;IAC7B,OAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CACpB;wBAK0C,CAAC,UAAlC;IAAE,OAAO,CAAC,KAAK,CAAC,EAAiB,CAAC,AAAf,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;IAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,IAAI,CAAA;CAAE;oBAS/D,CAAC,QAAyD,QAAQ,MAClB,QAAQ,MAD3C,CAAC;2BAAd,CAAC,YAAY,CAAC,KAAK,GAAG,CAAoC,QAAQ,AAAnC,CAAC,GAAG,UAAU,CAAa,QAAQ,AAAZ,CAAC,GAAG,QAAQ;2BACjE,GAAG,KAAK,GAAG,CAAoC,QAAQ,AAAnC,CAAC,GAAG,UAAU,CAAa,QAAQ,AAAZ,CAAC,GAAG,QAAQ;;qBAKpD,CAAC,UAAd,IAAI,CAAS,CAAC,AAAR,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;;iEA3GR,CAAC;;;;;oCAfW,qBAAqB"}

package/src/types.js

@@ -1,6 +1,12 @@
 // @ts-check
 export {};
 
+/**
+ * @import {RemotableBrand} from '@endo/eventual-send'
+ * @import {CopyTagged} from '@endo/pass-style'
+ * @import {prepareVowTools} from './tools.js'
+ */
+
 /** @typedef {(...args: any[]) => any} Callable */
 
 /**
@@ -43,9 +49,9 @@ export {};
  * @template T
  * @typedef {(
  *   T extends PromiseLike<infer U> ? Unwrap<U> :
- *   T extends import('./types').Vow<infer U> ? Unwrap<U> :
+ *   T extends Vow<infer U> ? Unwrap<U> :
  *   IsPrimitive<T> extends true ? T :
- *   T extends import('@endo/eventual-send').RemotableBrand<infer Local, infer Primary> ? Local & T :
+ *   T extends RemotableBrand<infer Local, infer Primary> ? Local & T :
  *   T
  * )} Unwrap
  */
@@ -55,10 +61,9 @@ export {};
  * returned from `Remotable` or `Far`.
  * @template Primary The type of the primary reference.
  * @template [Local=DataOnly<Primary>] The local properties of the object.
- * @typedef {Primary |
- *   import('@endo/eventual-send').RemotableBrand<Local, Primary>
- * } Remote A type that doesn't assume its parameter is local, but is
- * satisfied with both local and remote references.
+ * @typedef {Primary | RemotableBrand<Local, Primary>} Remote A type that
+ * doesn't assume its parameter is local, but is satisfied with both local
+ * and remote references.
  */
 
 /**
@@ -82,9 +87,7 @@ export {};
 
 /**
  * @template [T=any]
- * @typedef {import('@endo/pass-style').CopyTagged<
- *   'Vow', VowPayload<T>
- * >} Vow
+ * @typedef {CopyTagged<'Vow', VowPayload<T>>} Vow
  */
 
 /**
@@ -121,7 +124,7 @@ export {};
 
 /**
  * @template [T=any]
- * @typedef {import('./types.js').ERef<T | import('./types.js').Vow<T>>} Specimen
+ * @typedef {ERef<T | Vow<T>>} Specimen
  */
 
-/** @typedef {ReturnType<import('./tools.js').prepareVowTools>} VowTools */
+/** @typedef {ReturnType<typeof prepareVowTools>} VowTools */

package/src/vow-utils.d.ts

@@ -1,6 +1,7 @@
 export { basicE };
 export const VowShape: import("@endo/patterns").Matcher;
 export function isVow(specimen: any): boolean;
-export function getVowPayload<T>(specimen: any): import("./types").VowPayload<T> | undefined;
+export function getVowPayload<T>(specimen: any): VowPayload<T> | undefined;
 import { E as basicE } from '@endo/eventual-send';
+import type { VowPayload } from './types';
 //# sourceMappingURL=vow-utils.d.ts.map

package/src/vow-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vow-utils.d.ts","sourceRoot":"","sources":["vow-utils.js"],"names":[],"mappings":";AAOA,wDAKE;AAEK,8CAC8C;AAc9C,8BAFmC,CAAC,YADhC,GAAG,GACD,OAAO,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAWvD;4BArC2B,qBAAqB"}
+{"version":3,"file":"vow-utils.d.ts","sourceRoot":"","sources":["vow-utils.js"],"names":[],"mappings":";AASA,wDAKE;AAEK,8CAC8C;AAc9C,8BAFiB,CAAC,YADd,GAAG,6BAUb;4BArC2B,qBAAqB;gCAId,SAAS"}

package/src/vow-utils.js

@@ -3,6 +3,8 @@ import { E as basicE } from '@endo/eventual-send';
 import { isPassable } from '@endo/pass-style';
 import { M, matches } from '@endo/patterns';
 
+/** @import {VowPayload, Vow} from './types' */
+
 export { basicE };
 
 export const VowShape = M.tagged(
@@ -25,16 +27,14 @@ harden(isVow);
  *
  * @template T
  * @param {any} specimen any value to verify as a vow
- * @returns {import('./types').VowPayload<T> | undefined} undefined if specimen is not a vow, otherwise the vow's payload.
+ * @returns {VowPayload<T> | undefined} undefined if specimen is not a vow, otherwise the vow's payload.
  */
 export const getVowPayload = specimen => {
   if (!isVow(specimen)) {
     return undefined;
   }
 
-  const vow = /** @type {import('./types').Vow<T>} */ (
-    /** @type {unknown} */ (specimen)
-  );
+  const vow = /** @type {Vow<T>} */ (/** @type {unknown} */ (specimen));
   return vow.payload;
 };
 harden(getVowPayload);

package/src/vow.d.ts

@@ -1,3 +1,6 @@
-export function prepareVowKit(zone: import("@agoric/base-zone").Zone): <T>() => import("./types.js").VowKit<T>;
-export type VowEphemera = Partial<import("@endo/promise-kit").PromiseKit<any>> & Pick<import("@endo/promise-kit").PromiseKit<any>, "promise">;
+export function prepareVowKit(zone: Zone): <T>() => VowKit<T>;
+export type VowEphemera = Partial<PromiseKit<any>> & Pick<PromiseKit<any>, "promise">;
+import type { Zone } from '@agoric/base-zone';
+import type { VowKit } from './types.js';
+import type { PromiseKit } from '@endo/promise-kit';
 //# sourceMappingURL=vow.d.ts.map

package/src/vow.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vow.d.ts","sourceRoot":"","sources":["vow.js"],"names":[],"mappings":"AAiBO,oCAFI,OAAO,mBAAmB,EAAE,IAAI,IA8GA,CAAC,OAA7B,OAAO,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,CAS5C;0BA5HY,OAAO,CAAC,OAAO,mBAAmB,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,GAChE,IAAQ,CAAC,OAAO,mBAAmB,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC"}
+{"version":3,"file":"vow.d.ts","sourceRoot":"","sources":["vow.js"],"names":[],"mappings":"AAuBO,4CA4Ge,CAAC,iBAStB;;0BApIsB,mBAAmB;4BACJ,YAAY;gCAFrB,mBAAmB"}

package/src/vow.js

@@ -4,25 +4,31 @@ import { M } from '@endo/patterns';
 import { makeTagged } from '@endo/pass-style';
 import { PromiseWatcherI } from '@agoric/base-zone';
 
+/**
+ * @import {PromiseKit} from '@endo/promise-kit'
+ * @import {Zone} from '@agoric/base-zone'
+ * @import {VowResolver, VowKit} from './types.js'
+ */
+
 const sink = () => {};
 harden(sink);
 
 /**
- * @typedef {Partial<import('@endo/promise-kit').PromiseKit<any>> &
- *   Pick<import('@endo/promise-kit').PromiseKit<any>, 'promise'>} VowEphemera
+ * @typedef {Partial<PromiseKit<any>> &
+ *   Pick<PromiseKit<any>, 'promise'>} VowEphemera
  */
 
 /**
- * @param {import('@agoric/base-zone').Zone} zone
+ * @param {Zone} zone
  */
 export const prepareVowKit = zone => {
-  /** @type {WeakMap<import('./types.js').VowResolver, VowEphemera>} */
+  /** @type {WeakMap<VowResolver, VowEphemera>} */
   const resolverToEphemera = new WeakMap();
 
   /**
    * Get the current incarnation's promise kit associated with a vowV0.
    *
-   * @param {import('./types.js').VowResolver} resolver
+   * @param {VowResolver} resolver
    */
   const provideCurrentKit = resolver => {
     let pk = resolverToEphemera.get(resolver);
@@ -37,7 +43,7 @@ export const prepareVowKit = zone => {
   };
 
   /**
-   * @param {import('./types.js').VowResolver} resolver
+   * @param {VowResolver} resolver
    */
   const getPromiseKitForResolution = resolver => {
     const kit = provideCurrentKit(resolver);
@@ -123,7 +129,7 @@ export const prepareVowKit = zone => {
 
   /**
    * @template T
-   * @returns {import('./types.js').VowKit<T>}
+   * @returns {VowKit<T>}
    */
   const makeVowKit = () => {
     const { resolver, vowV0 } = makeVowInternalsKit();

package/src/watch-utils.d.ts

@@ -1,8 +1,11 @@
-export function prepareWatchUtils(zone: import("@agoric/base-zone").Zone, watch: import("./watch.js").Watch, makeVowKit: () => import("./types.js").VowKit<any>): () => import("@endo/exo").Guarded<{
+export function prepareWatchUtils(zone: Zone, watch: <T = unknown, TResult1 = T, TResult2 = T, C = unknown>(specimenP: import("./types.js").ERef<T | import("./types.js").Vow<T>>, watcher?: import("./types.js").Watcher<T, TResult1, TResult2> | undefined, watcherContext?: C | undefined) => import("./types.js").Vow<TResult1 | TResult2>, makeVowKit: () => VowKit<any>): () => import("@endo/exo").Guarded<{
     /**
      * @template [T=any]
-     * @param {import('./types.js').Specimen<T>[]} vows
+     * @param {Specimen<T>[]} vows
      */
-    all<T = any>(vows: import("./types.js").Specimen<T>[]): import("./types.js").Vow<any>;
+    all<T_1 = any>(vows: Specimen<T_1>[]): import("./types.js").Vow<any>;
 }>;
+import type { Zone } from '@agoric/base-zone';
+import type { VowKit } from './types.js';
+import type { Specimen } from './types.js';
 //# sourceMappingURL=watch-utils.d.ts.map

package/src/watch-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"watch-utils.d.ts","sourceRoot":"","sources":["watch-utils.js"],"names":[],"mappings":"AAkBO,wCAJI,OAAO,mBAAmB,EAAE,IAAI,SAChC,OAAO,YAAY,EAAE,KAAK,cAC1B,MAAM,OAAO,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC;IAgCzC;;;OAGG;QADsC,CAAC,cAA/B,OAAO,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;GA8EpD"}
+{"version":3,"file":"watch-utils.d.ts","sourceRoot":"","sources":["watch-utils.js"],"names":[],"mappings":"AAuBO;IA8BC;;;OAGG;QADiB,GAAC;GA8E5B;0BA/HwB,mBAAmB;4BAET,YAAY;8BAAZ,YAAY"}

package/src/watch-utils.js

@@ -2,7 +2,12 @@
 
 import { M } from '@endo/patterns';
 
-/** @import {MapStore} from '@agoric/store/src/types.js' */
+/**
+ * @import {MapStore} from '@agoric/store/src/types.js'
+ * @import { Zone } from '@agoric/base-zone'
+ * @import { Watch } from './watch.js'
+ * @import {Specimen, VowKit} from './types.js'
+ */
 
 const VowShape = M.tagged(
   'Vow',
@@ -12,9 +17,9 @@ const VowShape = M.tagged(
 );
 
 /**
- * @param {import('@agoric/base-zone').Zone} zone
- * @param {import('./watch.js').Watch} watch
- * @param {() => import('./types.js').VowKit<any>} makeVowKit
+ * @param {Zone} zone
+ * @param {Watch} watch
+ * @param {() => VowKit<any>} makeVowKit
  */
 export const prepareWatchUtils = (zone, watch, makeVowKit) => {
   const detached = zone.detached();
@@ -34,7 +39,7 @@ export const prepareWatchUtils = (zone, watch, makeVowKit) => {
        * @typedef {object} VowState
        * @property {number} remaining
        * @property {MapStore<number, any>} resultsMap
-       * @property {import('./types.js').VowKit['resolver']} resolver
+       * @property {VowKit['resolver']} resolver
        */
       /** @type {MapStore<bigint, VowState>} */
       const idToVowState = detached.mapStore('idToVowState');
@@ -48,7 +53,7 @@ export const prepareWatchUtils = (zone, watch, makeVowKit) => {
       utils: {
         /**
          * @template [T=any]
-         * @param {import('./types.js').Specimen<T>[]} vows
+         * @param {Specimen<T>[]} vows
          */
         all(vows) {
           const { nextId: id, idToVowState } = this.state;

package/src/watch.d.ts

@@ -1,3 +1,8 @@
-export function prepareWatch(zone: import("@agoric/base-zone").Zone, makeVowKit: () => import("./types.js").VowKit<any>, isRetryableReason?: ((reason: any) => boolean) | undefined): <T = unknown, TResult1 = T, TResult2 = T, C = unknown>(specimenP: import("./types.js").ERef<T | import("./types.js").Vow<T>>, watcher?: import("./types.js").Watcher<T, TResult1, TResult2, any> | undefined, watcherContext?: C | undefined) => import("./types.js").Vow<TResult1 | TResult2>;
+export function prepareWatch(zone: Zone, makeVowKit: () => VowKit<any>, isRetryableReason?: ((reason: any) => boolean) | undefined): <T = unknown, TResult1 = T, TResult2 = T, C = unknown>(specimenP: ERef<T | Vow<T>>, watcher?: Watcher<T, TResult1, TResult2> | undefined, watcherContext?: C | undefined) => Vow<TResult1 | TResult2>;
 export type Watch = ReturnType<typeof prepareWatch>;
+import type { Zone } from '@agoric/base-zone';
+import type { VowKit } from './types.js';
+import type { Vow } from './types.js';
+import type { ERef } from './types.js';
+import type { Watcher } from './types.js';
 //# sourceMappingURL=watch.d.ts.map

package/src/watch.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"watch.d.ts","sourceRoot":"","sources":["watch.js"],"names":[],"mappings":"AAoHO,mCAJI,OAAO,mBAAmB,EAAE,IAAI,cAChC,MAAM,OAAO,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,gCAC7B,GAAG,KAAK,OAAO,iBAmBiC,CAAC,gEAAxD,OAAO,YAAY,EAAE,IAAI,CAA8B,CAAC,AAA7B,GAAG,OAAO,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,mKAwBtE;oBAIa,UAAU,CAAC,OAAO,YAAY,CAAC"}
+{"version":3,"file":"watch.d.ts","sourceRoot":"","sources":["watch.js"],"names":[],"mappings":"AAyHO,sGAFa,GAAG,KAAK,OAAO,iBAmBT,CAAC,oMAwB1B;oBAIa,UAAU,CAAC,OAAO,YAAY,CAAC;0BA/JJ,mBAAmB;4BACA,YAAY;yBAAZ,YAAY;0BAAZ,YAAY;6BAAZ,YAAY"}

package/src/watch.js

@@ -5,7 +5,12 @@ import { getVowPayload, basicE } from './vow-utils.js';
 const { apply } = Reflect;
 
 /**
- * @param {import('@agoric/base-zone').Zone} zone
+ * @import { PromiseWatcher, Zone } from '@agoric/base-zone';
+ * @import { ERef, Vow, VowKit, VowResolver, Watcher } from './types.js';
+ */
+
+/**
+ * @param {Zone} zone
  */
 const makeWatchNextStep =
   zone =>
@@ -15,7 +20,7 @@ const makeWatchNextStep =
    * (usually durable) watcher object with the promise.
    *
    * @param {any} specimen
-   * @param {import('@agoric/base-zone').PromiseWatcher} promiseWatcher
+   * @param {PromiseWatcher} promiseWatcher
    */
   (specimen, promiseWatcher) => {
     let promise;
@@ -29,9 +34,9 @@ const makeWatchNextStep =
   };
 
 /**
- * @param {import('./types.js').VowResolver | undefined} resolver
- * @param {import('./types.js').Watcher<unknown, unknown, unknown> | undefined} watcher
- * @param {keyof Required<import('./types.js').Watcher>} wcb
+ * @param {VowResolver | undefined} resolver
+ * @param {Watcher<unknown, unknown, unknown> | undefined} watcher
+ * @param {keyof Required<Watcher>} wcb
  * @param {unknown} value
  * @param {unknown} [watcherContext]
  */
@@ -56,7 +61,7 @@ const settle = (resolver, watcher, wcb, value, watcherContext) => {
 };
 
 /**
- * @param {import('@agoric/base-zone').Zone} zone
+ * @param {Zone} zone
  * @param {(reason: any) => boolean} isRetryableReason
  * @param {ReturnType<typeof makeWatchNextStep>} watchNextStep
  */
@@ -68,8 +73,8 @@ const preparePromiseWatcher = (zone, isRetryableReason, watchNextStep) =>
      * @template [T=any]
      * @template [TResult1=T]
      * @template [TResult2=never]
-     * @param {import('./types.js').VowResolver<TResult1 | TResult2>} resolver
-     * @param {import('./types.js').Watcher<T, TResult1, TResult2>} [watcher]
+     * @param {VowResolver<TResult1 | TResult2>} resolver
+     * @param {Watcher<T, TResult1, TResult2>} [watcher]
      * @param {unknown} [watcherContext]
      */
     (resolver, watcher, watcherContext) => {
@@ -82,7 +87,7 @@ const preparePromiseWatcher = (zone, isRetryableReason, watchNextStep) =>
       return /** @type {Partial<typeof state>} */ (state);
     },
     {
-      /** @type {Required<import('@agoric/base-zone').PromiseWatcher>['onFulfilled']} */
+      /** @type {Required<PromiseWatcher>['onFulfilled']} */
       onFulfilled(value) {
         const { watcher, watcherContext, resolver } = this.state;
         if (getVowPayload(value)) {
@@ -95,7 +100,7 @@ const preparePromiseWatcher = (zone, isRetryableReason, watchNextStep) =>
         this.state.resolver = undefined;
         settle(resolver, watcher, 'onFulfilled', value, watcherContext);
       },
-      /** @type {Required<import('@agoric/base-zone').PromiseWatcher>['onRejected']} */
+      /** @type {Required<PromiseWatcher>['onRejected']} */
       onRejected(reason) {
         const { vow, watcher, watcherContext, resolver } = this.state;
         if (vow && isRetryableReason(reason)) {
@@ -110,8 +115,8 @@ const preparePromiseWatcher = (zone, isRetryableReason, watchNextStep) =>
   );
 
 /**
- * @param {import('@agoric/base-zone').Zone} zone
- * @param {() => import('./types.js').VowKit<any>} makeVowKit
+ * @param {Zone} zone
+ * @param {() => VowKit<any>} makeVowKit
  * @param {(reason: any) => boolean} [isRetryableReason]
  */
 export const prepareWatch = (
@@ -131,12 +136,12 @@ export const prepareWatch = (
    * @template [TResult1=T]
    * @template [TResult2=T]
    * @template [C=unknown] watcher context
-   * @param {import('./types.js').ERef<T | import('./types.js').Vow<T>>} specimenP
-   * @param {import('./types.js').Watcher<T, TResult1, TResult2>} [watcher]
+   * @param {ERef<T | Vow<T>>} specimenP
+   * @param {Watcher<T, TResult1, TResult2>} [watcher]
    * @param {C} [watcherContext]
    */
   const watch = (specimenP, watcher, watcherContext) => {
-    /** @type {import('./types.js').VowKit<TResult1 | TResult2>} */
+    /** @type {VowKit<TResult1 | TResult2>} */
     const { resolver, vow } = makeVowKit();
 
     // Create a promise watcher to track vows, retrying upon rejection as

package/src/when.d.ts

@@ -1,3 +1,4 @@
-export function makeWhen(isRetryableReason?: ((reason: any) => boolean) | undefined): <T, TResult1 = import("./types.js").Unwrap<T>, TResult2 = never>(specimenP: T, onFulfilled?: ((value: import("./types.js").Unwrap<T>) => TResult1 | PromiseLike<TResult1>) | undefined, onRejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | undefined) => Promise<TResult1 | TResult2>;
+export function makeWhen(isRetryableReason?: ((reason: any) => boolean) | undefined): <T, TResult1 = Unwrap<T>, TResult2 = never>(specimenP: T, onFulfilled?: ((value: Unwrap<T>) => TResult1 | PromiseLike<TResult1>) | undefined, onRejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | undefined) => Promise<TResult1 | TResult2>;
 export type When = ReturnType<typeof makeWhen>;
+import type { Unwrap } from './types.js';
 //# sourceMappingURL=when.d.ts.map

package/src/when.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"when.d.ts","sourceRoot":"","sources":["when.js"],"names":[],"mappings":"AAMO,uDAFa,GAAG,KAAK,OAAO,iBAUc,CAAC,EAE3B,QAAQ,mCAAG,QAAQ,qBAFO,CAAC,AADpC,yBACO,OAAO,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,KAE5B,QAAQ,AAFiC,GAAG,WAAW,CAEvD,QAAQ,AAFwD,CAAC,sCAClE,GAAG,KACS,QAAQ,AADJ,GAAG,WAAW,CAClB,QAAQ,AADmB,CAAC,kBAC/C,OAAO,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAkC1C;mBAIa,UAAU,CAAC,OAAO,QAAQ,CAAC"}
+{"version":3,"file":"when.d.ts","sourceRoot":"","sources":["when.js"],"names":[],"mappings":"AAQO,uDAFa,GAAG,KAAK,OAAO,iBAUP,CAAC,EAEN,QAAQ,cAAG,QAAQ,qBAFd,CAAC,AADf,uCAGS,QAAQ,AAFY,GAAG,WAAW,CAElC,QAAQ,AAFmC,CAAC,sCAC7C,GAAG,KACS,QAAQ,AADJ,GAAG,WAAW,CAClB,QAAQ,AADmB,CAAC,kBAC/C,OAAO,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAkC1C;mBAIa,UAAU,CAAC,OAAO,QAAQ,CAAC;4BArDb,YAAY"}

package/src/when.js

@@ -1,6 +1,8 @@
 // @ts-check
 import { getVowPayload, basicE } from './vow-utils.js';
 
+/** @import { Unwrap } from './types.js' */
+
 /**
  * @param {(reason: any) => boolean} [isRetryableReason]
  */
@@ -9,10 +11,10 @@ export const makeWhen = (isRetryableReason = () => false) => {
    * Shorten `specimenP` until we achieve a final result.
    *
    * @template T
-   * @template [TResult1=import('./types.js').Unwrap<T>]
+   * @template [TResult1=Unwrap<T>]
    * @template [TResult2=never]
    * @param {T} specimenP value to unwrap
-   * @param {(value: import('./types.js').Unwrap<T>) => TResult1 | PromiseLike<TResult1>} [onFulfilled]
+   * @param {(value: Unwrap<T>) => TResult1 | PromiseLike<TResult1>} [onFulfilled]
    * @param {(reason: any) => TResult2 | PromiseLike<TResult2>} [onRejected]
    * @returns {Promise<TResult1 | TResult2>}
    */
@@ -37,7 +39,7 @@ export const makeWhen = (isRetryableReason = () => false) => {
       payload = getVowPayload(result);
     }
 
-    const unwrapped = /** @type {import('./types.js').Unwrap<T>} */ (result);
+    const unwrapped = /** @type {Unwrap<T>} */ (result);
 
     // We've extracted the final result.
     if (onFulfilled == null && onRejected == null) {