@agoric/casting 0.4.3-other-dev-3eb1a1d.0 → 0.4.3-other-dev-d15096d.0.d15096d

package/package.json

@@ -1,54 +1,55 @@
 {
   "name": "@agoric/casting",
-  "version": "0.4.3-other-dev-3eb1a1d.0+3eb1a1d",
+  "version": "0.4.3-other-dev-d15096d.0.d15096d",
   "description": "Agoric's OCap broadcasting system",
   "type": "module",
   "main": "src/main.js",
   "repository": "https://github.com/Agoric/agoric-sdk",
   "scripts": {
     "build": "exit 0",
-    "prepack": "tsc --build tsconfig.build.json",
-    "postpack": "git clean -f '*.d.ts*' '*.tsbuildinfo'",
+    "prepack": "yarn run -T tsc --build tsconfig.build.json",
+    "postpack": "git clean -f '*.d.*ts*' '*.tsbuildinfo'",
     "demo": "node -e 'import(\"./test/fake-rpc-server.js\").then(ns => ns.develop())'",
     "test": "ava",
-    "test:c8": "c8 --all $C8_OPTIONS ava",
+    "test:c8": "c8 --all ${C8_OPTIONS:-} ava",
     "test:xs": "exit 0",
     "lint-fix": "yarn lint:eslint --fix",
-    "lint": "run-s --continue-on-error lint:*",
-    "lint:types": "tsc",
-    "lint:eslint": "eslint --ext .js,.ts ."
+    "lint": "yarn run -T run-s --continue-on-error 'lint:*'",
+    "lint:types": "yarn run -T tsc",
+    "lint:eslint": "yarn run -T eslint ."
   },
   "keywords": [],
   "author": "Agoric",
   "license": "Apache-2.0",
   "dependencies": {
-    "@agoric/internal": "0.3.3-other-dev-3eb1a1d.0+3eb1a1d",
-    "@agoric/notifier": "0.6.3-other-dev-3eb1a1d.0+3eb1a1d",
-    "@agoric/store": "0.9.3-other-dev-3eb1a1d.0+3eb1a1d",
-    "@cosmjs/encoding": "^0.32.3",
-    "@cosmjs/proto-signing": "^0.32.3",
-    "@cosmjs/stargate": "^0.32.3",
-    "@cosmjs/tendermint-rpc": "^0.32.3",
-    "@endo/errors": "^1.2.8",
-    "@endo/far": "^1.1.9",
-    "@endo/init": "^1.1.7",
-    "@endo/lockdown": "^1.0.13",
-    "@endo/marshal": "^1.6.2",
-    "@endo/promise-kit": "^1.1.8"
+    "@agoric/internal": "0.3.3-other-dev-d15096d.0.d15096d",
+    "@agoric/notifier": "0.6.3-other-dev-d15096d.0.d15096d",
+    "@agoric/store": "0.9.3-other-dev-d15096d.0.d15096d",
+    "@cosmjs/encoding": "^0.36.0",
+    "@cosmjs/proto-signing": "^0.36.0",
+    "@cosmjs/stargate": "^0.36.0",
+    "@cosmjs/tendermint-rpc": "^0.36.0",
+    "@endo/errors": "^1.2.13",
+    "@endo/far": "^1.1.14",
+    "@endo/init": "^1.1.12",
+    "@endo/lockdown": "^1.0.18",
+    "@endo/marshal": "^1.8.0",
+    "@endo/promise-kit": "^1.1.13"
   },
   "devDependencies": {
-    "@agoric/cosmic-proto": "0.4.1-other-dev-3eb1a1d.0+3eb1a1d",
-    "@endo/ses-ava": "^1.2.8",
+    "@agoric/cosmic-proto": "0.4.1-other-dev-d15096d.0.d15096d",
+    "@endo/ses-ava": "^1.3.2",
     "ava": "^5.3.0",
-    "c8": "^10.1.2",
+    "c8": "^10.1.3",
     "express": "^5.0.1",
+    "tsd": "^0.33.0",
     "ws": "^7.2.0"
   },
   "publishConfig": {
     "access": "public"
   },
   "engines": {
-    "node": "^18.12 || ^20.9"
+    "node": "^20.9 || ^22.11"
   },
   "ava": {
     "files": [
@@ -58,7 +59,7 @@
     "workerThreads": false
   },
   "typeCoverage": {
-    "atLeast": 88.91
+    "atLeast": 89.19
   },
-  "gitHead": "3eb1a1d2d75b2b4a94807cd3bf759bc9fc531f05"
+  "gitHead": "d15096dc4ff8b96e9b6cd11954c20d3a9efbb393"
 }

package/src/casting-spec.d.ts

@@ -2,15 +2,16 @@ export function vstorageKeySpecToPath({ storeName, storeSubkey }: VStorageKey):
 /**
  * @param {string} storagePath
  * @param {string} [storeName]
- * @returns {import('./types.js').CastingSpec}
+ * @returns {CastingSpec}
  */
-export function DEFAULT_PATH_CONVERTER(storagePath: string, storeName?: string | undefined): import("./types.js").CastingSpec;
+export function DEFAULT_PATH_CONVERTER(storagePath: string, storeName?: string): CastingSpec;
 /**
- * @type {Record<string, (path: string) => import('./types.js').CastingSpec>}
+ * @type {Record<string, (path: string) => CastingSpec>}
  */
-export const pathPrefixToConverters: Record<string, (path: string) => import("./types.js").CastingSpec>;
-export function makeCastingSpecFromString(specString: string): import("./types.js").CastingSpec;
-export function makeCastingSpecFromObject(specObj: any): import("./types.js").CastingSpec;
-export function makeCastingSpecFromRef(specCap: ERef<any>): Promise<import("./types.js").CastingSpec>;
-export function makeCastingSpec(sourceP: ERef<unknown>): Promise<import("./types.js").CastingSpec>;
+export const pathPrefixToConverters: Record<string, (path: string) => CastingSpec>;
+export function makeCastingSpecFromString(specString: string): CastingSpec;
+export function makeCastingSpecFromObject(specObj: any): CastingSpec;
+export function makeCastingSpecFromRef(specCap: ERef<any>): Promise<CastingSpec>;
+export function makeCastingSpec(sourceP: ERef<unknown>): Promise<CastingSpec>;
+import type { CastingSpec } from './types.js';
 //# sourceMappingURL=casting-spec.d.ts.map

package/src/casting-spec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"casting-spec.d.ts","sourceRoot":"","sources":["casting-spec.js"],"names":[],"mappings":"AA6CO,kEAHI,WAAW,GACT,MAAM,CAYlB;AAlCD;;;;GAIG;AACH,oDAJW,MAAM,mCAEJ,OAAO,YAAY,EAAE,WAAW,CAa5C;AAsBD;;GAEG;AACH,qCAFU,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,YAAY,EAAE,WAAW,CAAC,CAMzE;AAMI,sDAHI,MAAM,GACJ,OAAO,YAAY,EAAE,WAAW,CAc5C;AAQM,mDAHI,GAAG,GACD,OAAO,YAAY,EAAE,WAAW,CAmC5C;AAMM,gDAHI,IAAI,CAAC,GAAG,CAAC,GACP,OAAO,CAAC,OAAO,YAAY,EAAE,WAAW,CAAC,CAKrD;AAQM,yCAHI,IAAI,CAAC,OAAO,CAAC,GACX,OAAO,CAAC,OAAO,YAAY,EAAE,WAAW,CAAC,CAgBrD"}
+{"version":3,"file":"casting-spec.d.ts","sourceRoot":"","sources":["casting-spec.js"],"names":[],"mappings":"AAiDO,kEAHI,WAAW,GACT,MAAM,CAYlB;AAlCD;;;;GAIG;AACH,oDAJW,MAAM,cACN,MAAM,GACJ,WAAW,CAavB;AAsBD;;GAEG;AACH,qCAFU,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,WAAW,CAAC,CAMpD;AAMI,sDAHI,MAAM,GACJ,WAAW,CAcvB;AAQM,mDAHI,GAAG,GACD,WAAW,CAmCvB;AAMM,gDAHI,IAAI,CAAC,GAAG,CAAC,GACP,OAAO,CAAC,WAAW,CAAC,CAKhC;AAQM,yCAHI,IAAI,CAAC,OAAO,CAAC,GACX,OAAO,CAAC,WAAW,CAAC,CAgBhC;iCA5J6B,YAAY"}

package/src/casting-spec.js

@@ -1,11 +1,15 @@
 import * as encodingStar from '@cosmjs/encoding';
 import { E, getInterfaceOf } from '@endo/far';
 
+/**
+ * @import {CastingSpec} from './types.js';
+ */
+
 const { toAscii } = encodingStar;
 
 /**
  * @param {string} storagePath
- * @returns {import('./types.js').CastingSpec}
+ * @returns {CastingSpec}
  */
 const swingsetPathToCastingSpec = storagePath =>
   harden({
@@ -22,7 +26,7 @@ const NO_DATA_VALUE = new Uint8Array([255]);
 /**
  * @param {string} storagePath
  * @param {string} [storeName]
- * @returns {import('./types.js').CastingSpec}
+ * @returns {CastingSpec}
  */
 const vstoragePathToCastingSpec = (storagePath, storeName = 'vstorage') => {
   const elems = storagePath ? storagePath.split('.') : [];
@@ -58,7 +62,7 @@ export const vstorageKeySpecToPath = ({ storeName, storeSubkey }) => {
 export const DEFAULT_PATH_CONVERTER = vstoragePathToCastingSpec;
 
 /**
- * @type {Record<string, (path: string) => import('./types.js').CastingSpec>}
+ * @type {Record<string, (path: string) => CastingSpec>}
  */
 export const pathPrefixToConverters = harden({
   'swingset:': swingsetPathToCastingSpec,
@@ -68,7 +72,7 @@ export const pathPrefixToConverters = harden({
 
 /**
  * @param {string} specString
- * @returns {import('./types.js').CastingSpec}
+ * @returns {CastingSpec}
  */
 export const makeCastingSpecFromString = specString => {
   assert.typeof(specString, 'string');
@@ -88,7 +92,7 @@ const te = new TextEncoder();
 
 /**
  * @param {any} specObj
- * @returns {import('./types.js').CastingSpec}
+ * @returns {CastingSpec}
  */
 export const makeCastingSpecFromObject = specObj => {
   const {
@@ -127,7 +131,7 @@ export const makeCastingSpecFromObject = specObj => {
 
 /**
  * @param {ERef<any>} specCap
- * @returns {Promise<import('./types.js').CastingSpec>}
+ * @returns {Promise<CastingSpec>}
  */
 export const makeCastingSpecFromRef = async specCap => {
   const specObj = await E(specCap).getStoreKey();
@@ -138,7 +142,7 @@ export const makeCastingSpecFromRef = async specCap => {
  * Create an abstract type from a given source representation
  *
  * @param {ERef<unknown>} sourceP
- * @returns {Promise<import('./types.js').CastingSpec>}
+ * @returns {Promise<CastingSpec>}
  */
 export const makeCastingSpec = async sourceP => {
   const spec = await sourceP;

package/src/change-follower.d.ts

@@ -1,2 +1,5 @@
-export function makePollingChangeFollower(leader: import("./types.js").Leader): Promise<import("./types.js").Follower<import("./types.js").CastingChange>>;
+export function makePollingChangeFollower(leader: Leader): Promise<Follower<CastingChange>>;
+import type { Leader } from './types.js';
+import type { CastingChange } from './types.js';
+import type { Follower } from './types.js';
 //# sourceMappingURL=change-follower.d.ts.map

package/src/change-follower.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"change-follower.d.ts","sourceRoot":"","sources":["change-follower.js"],"names":[],"mappings":"AASO,kDAHI,OAAO,YAAY,EAAE,MAAM,GACzB,OAAO,CAAC,OAAO,YAAY,EAAE,QAAQ,CAAC,OAAO,YAAY,EAAE,aAAa,CAAC,CAAC,CA6CtF"}
+{"version":3,"file":"change-follower.d.ts","sourceRoot":"","sources":["change-follower.js"],"names":[],"mappings":"AAeO,kDAHI,MAAM,GACJ,OAAO,CAAC,SAAS,aAAa,CAAC,CAAC,CA6C5C;4BAtDwB,YAAY;mCAEL,YAAY;8BADjB,YAAY"}

package/src/change-follower.js

@@ -1,11 +1,17 @@
 import { E, Far } from '@endo/far';
 import { DEFAULT_KEEP_POLLING } from './defaults.js';
 
+/**
+ * @import {Leader} from './types.js';
+ * @import {Follower} from './types.js';
+ * @import {CastingChange} from './types.js';
+ */
+
 /**
  * Just return an unspecified allegedValue every poll period.
  *
- * @param {import('./types.js').Leader} leader
- * @returns {Promise<import('./types.js').Follower<import('./types.js').CastingChange>>}
+ * @param {Leader} leader
+ * @returns {Promise<Follower<CastingChange>>}
  */
 export const makePollingChangeFollower = async leader => {
   const { keepPolling = DEFAULT_KEEP_POLLING } = await E(leader).getOptions();

package/src/defaults.d.ts

@@ -1,3 +1,6 @@
+/**
+ * @import {Unserializer} from './types.js';
+ */
 /**
  * Default to the local chain.
  */
@@ -5,17 +8,22 @@ export const DEFAULT_BOOTSTRAP: "http://localhost:26657";
 export const DEFAULT_JITTER_SECONDS: 5;
 export const DEFAULT_POLL_WITH_EVENTS_SECONDS: 600;
 export const DEFAULT_KEEP_POLLING_SECONDS: 5;
+/**
+ * Default backoff is the block interval.
+ */
+export const DEFAULT_MAX_BACKOFF: 6000;
 export function delay(ms: number): Promise<void>;
-export function randomBackoff(range: number, cap?: number | undefined): number;
-export function exponentialBackoff(attempt?: number | undefined, base?: number | undefined, cap?: number | undefined): number;
+export function randomBackoff(range: number, cap?: number): number;
+export function exponentialBackoff(attempt?: number, base?: number, cap?: number): number;
 export function DEFAULT_JITTER(where: string): Promise<void>;
-export function DEFAULT_RETRY_CALLBACK(where: string, err: any, attempt?: number | undefined): Promise<void>;
+export function DEFAULT_RETRY_CALLBACK(where: string, err: any, attempt?: number): Promise<void>;
 export function DEFAULT_KEEP_POLLING(): Promise<boolean>;
 export function MAKE_DEFAULT_DECODER(): (str: any) => any;
 /**
  * Unserialize the JSONable data.
  *
- * @type {() => import('./types.js').Unserializer}
+ * @type {() => Unserializer}
  */
-export const MAKE_DEFAULT_UNSERIALIZER: () => import("./types.js").Unserializer;
+export const MAKE_DEFAULT_UNSERIALIZER: () => Unserializer;
+import type { Unserializer } from './types.js';
 //# sourceMappingURL=defaults.d.ts.map

package/src/defaults.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"defaults.d.ts","sourceRoot":"","sources":["defaults.js"],"names":[],"mappings":"AAIA;;GAEG;AACH,yDAA0D;AAE1D,uCAAwC;AAExC,mDAAoD;AAEpD,6CAA8C;AAUvC,0BAHI,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC,CAEgD;AAMnE,qCAHI,MAAM,oCAKhB;AAOM,8HAEN;AAQM,sCAHI,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC,CAMzB;AAUM,8CALI,MAAM,OACN,GAAG,iCAED,OAAO,CAAC,IAAI,CAAC,CASzB;AAOM,wCAFM,OAAO,CAAC,OAAO,CAAC,CAGgD;AAEtE,0DAaN;AAED;;;;GAIG;AACH,wCAFU,MAAM,OAAO,YAAY,EAAE,YAAY,CA2B/C"}
+{"version":3,"file":"defaults.d.ts","sourceRoot":"","sources":["defaults.js"],"names":[],"mappings":"AAIA;;GAEG;AAEH;;GAEG;AACH,gCAAiC,wBAAwB,CAAC;AAE1D,qCAAsC,CAAC,CAAC;AAExC,+CAAgD,GAAG,CAAC;AAEpD,2CAA4C,CAAC,CAAC;AAE9C;;GAEG;AACH,kCAAmC,IAAK,CAAC;AAUlC,0BAHI,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC,CAEgD;AAMnE,qCAHI,MAAM,QACN,MAAM,UAIhB;AAOM,6CAJI,MAAM,SACN,MAAM,QACN,MAAM,UAQhB;AAQM,sCAHI,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC,CAMzB;AAUM,8CALI,MAAM,OACN,GAAG,YACH,MAAM,GACJ,OAAO,CAAC,IAAI,CAAC,CASzB;AAOM,wCAFM,OAAO,CAAC,OAAO,CAAC,CAGgD;AAEtE,0DAaN;AAED;;;;GAIG;AACH,wCAFU,MAAM,YAAY,CA2B1B;kCApI6B,YAAY"}

package/src/defaults.js

@@ -2,6 +2,10 @@
 import { Far } from '@endo/far';
 import { makeMarshal } from '@endo/marshal';
 
+/**
+ * @import {Unserializer} from './types.js';
+ */
+
 /**
  * Default to the local chain.
  */
@@ -13,6 +17,11 @@ export const DEFAULT_POLL_WITH_EVENTS_SECONDS = 600;
 
 export const DEFAULT_KEEP_POLLING_SECONDS = 5;
 
+/**
+ * Default backoff is the block interval.
+ */
+export const DEFAULT_MAX_BACKOFF = 6_000;
+
 /**
  * Resolve a Promise after a given number of milliseconds.
  *
@@ -36,7 +45,11 @@ export const randomBackoff = (range, cap = range) => {
  * @param {number} [base]
  * @param {number} [cap]
  */
-export const exponentialBackoff = (attempt = 0, base = 1_000, cap = 30_000) => {
+export const exponentialBackoff = (
+  attempt = 0,
+  base = 1_000,
+  cap = DEFAULT_MAX_BACKOFF,
+) => {
   return randomBackoff(2 ** attempt * base, cap);
 };
 
@@ -95,7 +108,7 @@ export const MAKE_DEFAULT_DECODER = () => {
 /**
  * Unserialize the JSONable data.
  *
- * @type {() => import('./types.js').Unserializer}
+ * @type {() => Unserializer}
  */
 export const MAKE_DEFAULT_UNSERIALIZER = () => {
   const ifaceAllegedPrefix = 'Alleged: ';

package/src/follower-cosmjs.d.ts

@@ -1,5 +1,5 @@
-export function makeCosmjsFollower<T>(sourceP: any, leaderOrMaker?: import("./types.js").LeaderOrMaker | undefined, options?: import("./types.js").FollowerOptions | undefined): ValueFollower<T>;
-export type ValueFollower<T> = import("./types.js").Follower<import("./types.js").ValueFollowerElement<T>>;
+export function makeCosmjsFollower<T>(sourceP: any, leaderOrMaker?: LeaderOrMaker, options?: FollowerOptions): ValueFollower<T>;
+export type ValueFollower<T> = Follower<ValueFollowerElement<T>>;
 /**
  * The response of an ABCI query to Tendermint.
  * This is a subset of `tendermint34.AbciQueryResponse` in order
@@ -9,4 +9,8 @@ export type QueryStoreResponse = {
     readonly value: Uint8Array;
     readonly height: number;
 };
+import type { LeaderOrMaker } from './types.js';
+import type { FollowerOptions } from './types.js';
+import type { ValueFollowerElement } from './types.js';
+import type { Follower } from './types.js';
 //# sourceMappingURL=follower-cosmjs.d.ts.map

package/src/follower-cosmjs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"follower-cosmjs.d.ts","sourceRoot":"","sources":["follower-cosmjs.js"],"names":[],"mappings":"AAwGO,mCANM,CAAC,WACH,GAAG,+HAGD,aAAa,CAAC,CAAC,CAAC,CAsf5B;0BAnkBa,CAAC,IAAW,OAAO,YAAY,EAAE,QAAQ,CAAC,OAAO,YAAY,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;;;;;;iCAIxF;IACZ,QAAY,CAAC,KAAK,EAAE,UAAU,CAAC;IAC/B,QAAY,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB"}
+{"version":3,"file":"follower-cosmjs.d.ts","sourceRoot":"","sources":["follower-cosmjs.js"],"names":[],"mappings":"AAqHO,mCANM,CAAC,WACH,GAAG,kBACH,aAAa,YACb,eAAe,GACb,aAAa,CAAC,CAAC,CAAC,CA4f5B;0BA7kBa,CAAC,IAAW,SAAS,qBAAqB,CAAC,CAAC,CAAC;;;;;;iCAI9C;IACZ,QAAY,CAAC,KAAK,EAAE,UAAU,CAAC;IAC/B,QAAY,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;mCA1B4B,YAAY;qCACV,YAAY;0CAFP,YAAY;8BADxB,YAAY"}

package/src/follower-cosmjs.js

@@ -10,6 +10,15 @@ import { MAKE_DEFAULT_DECODER, MAKE_DEFAULT_UNSERIALIZER } from './defaults.js';
 import { makeCastingSpec } from './casting-spec.js';
 import { makeLeader as defaultMakeLeader } from './leader-netconfig.js';
 
+/**
+ * @import {Follower} from './types.js';
+ * @import {ValueFollowerElement} from './types.js';
+ * @import {LeaderOrMaker} from './types.js';
+ * @import {FollowerOptions} from './types.js';
+ * @import {QueryClient} from '@cosmjs/stargate';
+ * @import {StreamCell} from './types.js';
+ */
+
 // A lot of cosmjs classes end up hardened through instances shared by this
 // package so preemptively harden them all.
 // However we cannot directly harden a module namespace object (exotic behavior
@@ -23,7 +32,7 @@ const { QueryClient } = stargateStar;
 const { Tendermint34Client } = tendermint34;
 const textDecoder = new TextDecoder();
 
-/** @template T @typedef {import('./types.js').Follower<import('./types.js').ValueFollowerElement<T>>} ValueFollower */
+/** @template T @typedef {Follower<ValueFollowerElement<T>>} ValueFollower */
 
 // Copied from https://github.com/cosmos/cosmjs/pull/1328/files until release
 /**
@@ -92,14 +101,18 @@ const collectSingle = values => {
   return head[0];
 };
 
+// NB: 'none' is the only value that works. We've left the other cases
+// in anticipation of the ecosystem providing JS proofs again.
+// See https://github.com/cosmos/cosmjs/issues/1618#issuecomment-2574934505
+// and https://github.com/cosmos/ics23/pull/353?email_source=slack
 // Coordinate with switch/case of tryGetDataAtHeight.
 const proofs = ['strict', 'none', 'optimistic'];
 
 /**
  * @template T
  * @param {any} sourceP
- * @param {import('./types.js').LeaderOrMaker} [leaderOrMaker]
- * @param {import('./types.js').FollowerOptions} [options]
+ * @param {LeaderOrMaker} [leaderOrMaker]
+ * @param {FollowerOptions} [options]
  * @returns {ValueFollower<T>}
  */
 export const makeCosmjsFollower = (
@@ -110,7 +123,7 @@ export const makeCosmjsFollower = (
   const {
     decode = MAKE_DEFAULT_DECODER(),
     unserializer = MAKE_DEFAULT_UNSERIALIZER(),
-    proof = 'optimistic',
+    proof = 'none',
     crasher = null,
   } = options;
 
@@ -147,7 +160,7 @@ export const makeCosmjsFollower = (
     return clientP;
   };
 
-  /** @type {Map<string, import('@cosmjs/stargate').QueryClient>} */
+  /** @type {Map<string, QueryClient>} */
   const endpointToQueryClient = new Map();
 
   /**
@@ -217,14 +230,20 @@ export const makeCosmjsFollower = (
   };
 
   /**
+   * @deprecated no longer supported https://github.com/cosmos/cosmjs/pull/1623
    * @param {number} [height]
    * @returns {Promise<QueryStoreResponse>}
    */
   const getProvenDataAtHeight = async height => {
-    return retryGetPrefixedData(async (endpoint, storeName, storeSubkey) => {
-      const queryClient = await provideQueryClient(endpoint);
-      return E(queryClient).queryStoreVerified(storeName, storeSubkey, height);
-    });
+    console.error(
+      'getProvenDataAtHeight',
+      height,
+      'is no longer supported; use',
+      { proof: 'none' },
+    );
+    throw makeError(
+      X`Verified queries are no longer supported; use { proof: 'none' }`,
+    );
   };
 
   /**
@@ -332,7 +351,7 @@ export const makeCosmjsFollower = (
    * @param {any} data
    * @param {number} blockHeight
    * @param {number} currentBlockHeight
-   * @returns {Promise<import('./types.js').ValueFollowerElement<T>>}
+   * @returns {Promise<ValueFollowerElement<T>>}
    */
   const followerElementFromStreamCellValue = async (
     data,
@@ -352,7 +371,7 @@ export const makeCosmjsFollower = (
   };
 
   /**
-   * @param {import('./types.js').StreamCell<T>} streamCell
+   * @param {StreamCell<T>} streamCell
    * @param {number} currentBlockHeight
    * @yields {ValueFollowerElement<T>}
    */
@@ -368,7 +387,7 @@ export const makeCosmjsFollower = (
   harden(allValuesFromCell);
 
   /**
-   * @param {import('./types.js').StreamCell<T>} streamCell
+   * @param {StreamCell<T>} streamCell
    * @param {number} currentBlockHeight
    * @yields {ValueFollowerElement<T>}
    */
@@ -384,7 +403,7 @@ export const makeCosmjsFollower = (
   harden(reverseValuesFromCell);
 
   /**
-   * @param {import('./types.js').StreamCell<T>} streamCell
+   * @param {StreamCell<T>} streamCell
    * @param {number} currentBlockHeight
    * @yields {ValueFollowerElement<T>}
    */

package/src/follower.d.ts

@@ -1,2 +1,6 @@
-export function makeFollower<T>(specP: ERef<import("./types.js").CastingSpec> | string, leaderOrMaker?: import("./types.js").LeaderOrMaker | undefined, options?: import("./types.js").FollowerOptions | undefined): Promise<import("./follower-cosmjs.js").ValueFollower<T>>;
+export function makeFollower<T>(specP: ERef<CastingSpec> | string, leaderOrMaker?: LeaderOrMaker, options?: FollowerOptions): Promise<ValueFollower<T>>;
+import type { CastingSpec } from './types.js';
+import type { LeaderOrMaker } from './types.js';
+import type { FollowerOptions } from './types.js';
+import type { ValueFollower } from './follower-cosmjs.js';
 //# sourceMappingURL=follower.d.ts.map

package/src/follower.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"follower.d.ts","sourceRoot":"","sources":["follower.js"],"names":[],"mappings":"AA4DO,6BANM,CAAC,SACH,IAAI,CAAC,OAAO,YAAY,EAAE,WAAW,CAAC,GAAG,MAAM,+HAG7C,OAAO,CAAC,OAAO,sBAAsB,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CASpE"}
+{"version":3,"file":"follower.d.ts","sourceRoot":"","sources":["follower.js"],"names":[],"mappings":"AAqEO,6BANM,CAAC,SACH,IAAI,CAAC,WAAW,CAAC,GAAG,MAAM,kBAC1B,aAAa,YACb,eAAe,GACb,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CASrC;iCAhE6B,YAAY;mCAGV,YAAY;qCACV,YAAY;mCACd,sBAAsB"}

package/src/follower.js

@@ -9,14 +9,23 @@ import {
 import { makeCosmjsFollower } from './follower-cosmjs.js';
 import { makeCastingSpec } from './casting-spec.js';
 
+/**
+ * @import {CastingSpec} from './types.js';
+ * @import {Follower} from './types.js';
+ * @import {ValueFollowerElement} from './types.js';
+ * @import {LeaderOrMaker} from './types.js';
+ * @import {FollowerOptions} from './types.js';
+ * @import {ValueFollower} from './follower-cosmjs.js';
+ */
+
 /**
  * @template T
- * @param {ERef<import('./types.js').CastingSpec>} spec
+ * @param {ERef<CastingSpec>} spec
  */
 const makeSubscriptionFollower = spec => {
   const transform = value =>
     harden({ value, blockHeight: NaN, currentBlockHeight: NaN });
-  /** @type {import('./types.js').Follower<import('./types.js').ValueFollowerElement<T>>} */
+  /** @type {Follower<ValueFollowerElement<T>>} */
   const follower = Far('subscription/notifier follower', {
     getLatestIterable: async () => {
       const { notifier, subscription } = await spec;
@@ -53,10 +62,10 @@ const makeSubscriptionFollower = spec => {
 
 /**
  * @template T
- * @param {ERef<import('./types.js').CastingSpec> | string} specP
- * @param {import('./types.js').LeaderOrMaker} [leaderOrMaker]
- * @param {import('./types.js').FollowerOptions} [options]
- * @returns {Promise<import('./follower-cosmjs.js').ValueFollower<T>>}
+ * @param {ERef<CastingSpec> | string} specP
+ * @param {LeaderOrMaker} [leaderOrMaker]
+ * @param {FollowerOptions} [options]
+ * @returns {Promise<ValueFollower<T>>}
  */
 export const makeFollower = async (specP, leaderOrMaker, options) => {
   const spec = await makeCastingSpec(specP);

package/src/iterable.d.ts

@@ -1,24 +1,26 @@
 export function mapAsyncIterable<TIn, TOut>(iterable: AsyncIterable<TIn>, transform: (value: TIn) => TOut): AsyncIterable<TOut>;
-export function iterateLatest<T>(follower: ERef<import("./types.js").Follower<T>>): {
+export function iterateLatest<T>(follower: ERef<Follower<T>>): {
     /** @returns {AsyncIterator<T>} */
     [Symbol.asyncIterator]: () => AsyncIterator<T>;
 } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
     /** @returns {AsyncIterator<T>} */
     [Symbol.asyncIterator]: () => AsyncIterator<T>;
 }>;
-export function iterateEach<T>(follower: ERef<import("./types.js").Follower<T>>, options?: import("./types.js").IterateEachOptions | undefined): {
+export function iterateEach<T>(follower: ERef<Follower<T>>, options?: IterateEachOptions): {
     /** @returns {AsyncIterator<T>} */
     [Symbol.asyncIterator]: () => AsyncIterator<T>;
 } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
     /** @returns {AsyncIterator<T>} */
     [Symbol.asyncIterator]: () => AsyncIterator<T>;
 }>;
-export function iterateReverse<T>(follower: ERef<import("./types.js").Follower<T>>, options?: import("./types.js").IterateEachOptions | undefined): {
+export function iterateReverse<T>(follower: ERef<Follower<T>>, options?: IterateEachOptions): {
     /** @returns {AsyncIterator<T>} */
     [Symbol.asyncIterator]: () => AsyncIterator<T>;
 } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
     /** @returns {AsyncIterator<T>} */
     [Symbol.asyncIterator]: () => AsyncIterator<T>;
 }>;
+import type { Follower } from './types.js';
+import type { IterateEachOptions } from './types.js';
 export { subscribeEach, subscribeLatest } from "@agoric/notifier/subscribe.js";
 //# sourceMappingURL=iterable.d.ts.map

package/src/iterable.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"iterable.d.ts","sourceRoot":"","sources":["iterable.js"],"names":[],"mappings":"AAWO,iCANM,GAAG,EACH,IAAI,YACN,aAAa,CAAC,GAAG,CAAC,aAClB,CAAC,KAAK,EAAE,GAAG,KAAK,IAAI,GAClB,aAAa,CAAC,IAAI,CAAC,CAU/B;AAQM,8BAHM,CAAC,YACH,IAAI,CAAC,OAAO,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAK7C,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;;IAA9B,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;GAQ9B;AASG,4BAJM,CAAC,YACH,IAAI,CAAC,OAAO,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAM7C,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;;IAA9B,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;GAQ9B;AAOG,+BAJM,CAAC,YACH,IAAI,CAAC,OAAO,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAM7C,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;;IAA9B,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;GAQ9B"}
+{"version":3,"file":"iterable.d.ts","sourceRoot":"","sources":["iterable.js"],"names":[],"mappings":"AAgBO,iCANM,GAAG,EACH,IAAI,YACN,aAAa,CAAC,GAAG,CAAC,aAClB,CAAC,KAAK,EAAE,GAAG,KAAK,IAAI,GAClB,aAAa,CAAC,IAAI,CAAC,CAU/B;AAQM,8BAHM,CAAC,YACH,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAKxB,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;;IAA9B,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;GAQ9B;AASG,4BAJM,CAAC,YACH,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,YACjB,kBAAkB;IAKzB,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;;IAA9B,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;GAQ9B;AAOG,+BAJM,CAAC,YACH,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,YACjB,kBAAkB;IAKzB,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;;IAA9B,kCAAkC;kCAApB,aAAa,CAAC,CAAC,CAAC;GAQ9B;8BA9EuB,YAAY;wCACF,YAAY"}

package/src/iterable.js

@@ -1,5 +1,10 @@
 import { E, Far } from '@endo/far';
 
+/**
+ * @import {Follower} from './types.js';
+ * @import {IterateEachOptions} from './types.js';
+ */
+
 export { subscribeEach, subscribeLatest } from '@agoric/notifier/subscribe.js';
 
 /**
@@ -23,7 +28,7 @@ export const mapAsyncIterable = (iterable, transform) => {
  * TODO: Remove this function when we have an @endo/publish-kit that suppports pull topics
  *
  * @template T
- * @param {ERef<import('./types.js').Follower<T>>} follower
+ * @param {ERef<Follower<T>>} follower
  */
 export const iterateLatest = follower =>
   // For now, just pass through the iterable.
@@ -42,8 +47,8 @@ export const iterateLatest = follower =>
  * TODO: Remove this function when we have an @endo/publish-kit that suppports pull topics
  *
  * @template T
- * @param {ERef<import('./types.js').Follower<T>>} follower
- * @param {import('./types.js').IterateEachOptions} [options]
+ * @param {ERef<Follower<T>>} follower
+ * @param {IterateEachOptions} [options]
  */
 export const iterateEach = (follower, options) =>
   // For now, just pass through the iterable.
@@ -60,8 +65,8 @@ export const iterateEach = (follower, options) =>
 
 /**
  * @template T
- * @param {ERef<import('./types.js').Follower<T>>} follower
- * @param {import('./types.js').IterateEachOptions} [options]
+ * @param {ERef<Follower<T>>} follower
+ * @param {IterateEachOptions} [options]
  */
 export const iterateReverse = (follower, options) =>
   // For now, just pass through the iterable.

package/src/leader-netconfig.d.ts

@@ -1,4 +1,6 @@
-export function makeLeaderFromRpcAddresses(rpcAddrs: string[], leaderOptions?: import("./types.js").LeaderOptions | undefined): import("./types.js").Leader;
-export function makeLeaderFromNetworkConfig(netconfigURL: string, options?: import("./types.js").LeaderOptions | undefined): Promise<any>;
-export function makeLeader(bootstrap?: string | undefined, options?: import("./types.js").LeaderOptions | undefined): ERef<import("./types.js").Leader>;
+export function makeLeaderFromRpcAddresses(rpcAddrs: string[], leaderOptions?: LeaderOptions): Leader;
+export function makeLeaderFromNetworkConfig(netconfigURL: string, options?: LeaderOptions): Promise<any>;
+export function makeLeader(bootstrap?: string, options?: LeaderOptions): ERef<Leader>;
+import type { LeaderOptions } from './types.js';
+import type { Leader } from './types.js';
 //# sourceMappingURL=leader-netconfig.d.ts.map

package/src/leader-netconfig.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"leader-netconfig.d.ts","sourceRoot":"","sources":["leader-netconfig.js"],"names":[],"mappings":"AAeO,qDAJI,MAAM,EAAE,mEAEN,OAAO,YAAY,EAAE,MAAM,CAevC;AAMM,0DAHI,MAAM,0EAoChB;AAOM,sHAFM,IAAI,CAAC,OAAO,YAAY,EAAE,MAAM,CAAC,CAO7C"}
+{"version":3,"file":"leader-netconfig.d.ts","sourceRoot":"","sources":["leader-netconfig.js"],"names":[],"mappings":"AAoBO,qDAJI,MAAM,EAAE,kBACR,aAAa,GACX,MAAM,CAelB;AAMM,0DAHI,MAAM,YACN,aAAa,gBAmCvB;AAOM,uCAJI,MAAM,YACN,aAAa,GACX,IAAI,CAAC,MAAM,CAAC,CAOxB;mCAzE+B,YAAY;4BACnB,YAAY"}

package/src/leader-netconfig.js

@@ -8,10 +8,15 @@ import {
 } from './defaults.js';
 import { assertNetworkConfig } from './netconfig.js';
 
+/**
+ * @import {LeaderOptions} from './types.js';
+ * @import {Leader} from './types.js';
+ */
+
 /**
  * @param {string[]} rpcAddrs
- * @param {import('./types.js').LeaderOptions} [leaderOptions]
- * @returns {import('./types.js').Leader}
+ * @param {LeaderOptions} [leaderOptions]
+ * @returns {Leader}
  */
 export const makeLeaderFromRpcAddresses = (rpcAddrs, leaderOptions) => {
   Array.isArray(rpcAddrs) || Fail`rpcAddrs ${rpcAddrs} must be an array`;
@@ -30,12 +35,12 @@ export const makeLeaderFromRpcAddresses = (rpcAddrs, leaderOptions) => {
 
 /**
  * @param {string} netconfigURL
- * @param {import('./types.js').LeaderOptions} [options]
+ * @param {LeaderOptions} [options]
  */
 export const makeLeaderFromNetworkConfig = (netconfigURL, options = {}) => {
   const { retryCallback = DEFAULT_RETRY_CALLBACK, jitter = DEFAULT_JITTER } =
     options;
-  /** @type {import('./types.js').LeaderOptions['retryCallback']} */
+  /** @type {LeaderOptions['retryCallback']} */
   const retry = async (where, err, attempt) => {
     if (retryCallback) {
       return retryCallback(where, err, attempt);
@@ -69,8 +74,8 @@ export const makeLeaderFromNetworkConfig = (netconfigURL, options = {}) => {
 
 /**
  * @param {string} [bootstrap]
- * @param {import('./types.js').LeaderOptions} [options]
- * @returns {ERef<import('./types.js').Leader>}
+ * @param {LeaderOptions} [options]
+ * @returns {ERef<Leader>}
  */
 export const makeLeader = (bootstrap = DEFAULT_BOOTSTRAP, options) => {
   if (bootstrap.includes('network-config')) {

package/src/leader.d.ts

@@ -1,2 +1,4 @@
-export function makeRoundRobinLeader(endpoints: string[], leaderOptions?: import("./types.js").LeaderOptions): import("./types.js").Leader;
+export function makeRoundRobinLeader(endpoints: string[], leaderOptions?: LeaderOptions): Leader;
+import type { LeaderOptions } from './types.js';
+import type { Leader } from './types.js';
 //# sourceMappingURL=leader.d.ts.map

package/src/leader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"leader.d.ts","sourceRoot":"","sources":["leader.js"],"names":[],"mappings":"AAWO,gDAHI,MAAM,EAAE,kBACR,OAAO,YAAY,EAAE,aAAa,+BAuE5C"}
+{"version":3,"file":"leader.d.ts","sourceRoot":"","sources":["leader.js"],"names":[],"mappings":"AAgBO,gDAHI,MAAM,EAAE,kBACR,aAAa,UAuEvB;mCA/E+B,YAAY;4BACnB,YAAY"}

package/src/leader.js

@@ -3,11 +3,16 @@ import { DEFAULT_RETRY_CALLBACK, DEFAULT_JITTER } from './defaults.js';
 import { shuffle } from './shuffle.js';
 import { makePollingChangeFollower } from './change-follower.js';
 
+/**
+ * @import {LeaderOptions} from './types.js';
+ * @import {Leader} from './types.js';
+ */
+
 /**
  * Create a chain leader that rotates through a list of endpoints.
  *
  * @param {string[]} endpoints
- * @param {import('./types.js').LeaderOptions} leaderOptions
+ * @param {LeaderOptions} leaderOptions
  */
 export const makeRoundRobinLeader = (endpoints, leaderOptions = {}) => {
   const { retryCallback = DEFAULT_RETRY_CALLBACK, jitter = DEFAULT_JITTER } =
@@ -21,7 +26,7 @@ export const makeRoundRobinLeader = (endpoints, leaderOptions = {}) => {
   let thisAttempt = 0;
   let retrying;
 
-  /** @type {import('./types.js').Leader} */
+  /** @type {Leader} */
   const leader = Far('round robin leader', {
     getOptions: () => leaderOptions,
     jitter: async where => jitter && jitter(where),

package/src/main.js

@@ -1,6 +1,6 @@
 // @jessie-check
 
-/// <reference types="@agoric/internal/exported" />
+/// <reference types="@agoric/internal/exported.js" />
 
 // eslint-disable-next-line import/export
 export * from './types.js'; // no named exports

package/src/makeHttpClient.d.ts

@@ -1,3 +1,4 @@
-export function makeTendermintRpcClient(url: string, fetch: typeof window.fetch): import("@cosmjs/tendermint-rpc").RpcClient;
-export function makeHttpClient(url: string, fetch: typeof window.fetch): import("@cosmjs/tendermint-rpc").RpcClient;
+export function makeTendermintRpcClient(url: string, fetch: typeof window.fetch): RpcClient;
+export function makeHttpClient(url: string, fetch: typeof window.fetch): RpcClient;
+import type { RpcClient } from '@cosmjs/tendermint-rpc';
 //# sourceMappingURL=makeHttpClient.d.ts.map

package/src/makeHttpClient.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"makeHttpClient.d.ts","sourceRoot":"","sources":["makeHttpClient.js"],"names":[],"mappings":"AA2BO,6CAJI,MAAM,SACN,OAAO,MAAM,CAAC,KAAK,GACjB,OAAO,wBAAwB,EAAE,SAAS,CA8BtD;AA5BM,oCAJI,MAAM,SACN,OAAO,MAAM,CAAC,KAAK,GACjB,OAAO,wBAAwB,EAAE,SAAS,CA8BtD"}
+{"version":3,"file":"makeHttpClient.d.ts","sourceRoot":"","sources":["makeHttpClient.js"],"names":[],"mappings":"AAgCO,6CAJI,MAAM,SACN,OAAO,MAAM,CAAC,KAAK,GACjB,SAAS,CA8BrB;AA5BM,oCAJI,MAAM,SACN,OAAO,MAAM,CAAC,KAAK,GACjB,SAAS,CA8BrB;+BAzD2B,wBAAwB"}

package/src/makeHttpClient.js

@@ -1,5 +1,10 @@
 // @ts-check
 
+/**
+ * @import {RpcClient} from '@cosmjs/tendermint-rpc';
+ * @import {JsonRpcRequest} from '@cosmjs/json-rpc';
+ */
+
 const { freeze } = Object;
 
 const filterBadStatus = res => {
@@ -23,7 +28,7 @@ const filterBadStatus = res => {
  *
  * @param {string} url
  * @param {typeof window.fetch} fetch
- * @returns {import('@cosmjs/tendermint-rpc').RpcClient}
+ * @returns {RpcClient}
  */
 export const makeTendermintRpcClient = (url, fetch) => {
   const headers = {}; // XXX needed?
@@ -37,7 +42,7 @@ export const makeTendermintRpcClient = (url, fetch) => {
     },
 
     /**
-     * @param {import('@cosmjs/json-rpc').JsonRpcRequest} request
+     * @param {JsonRpcRequest} request
      */
     execute: async request => {
       const settings = {

package/src/types.d.ts

@@ -30,21 +30,21 @@ export type ValueFollowerElement<T> = ValueFollowerBase & ({
     value: undefined;
     error: any;
 });
-export type Unserializer = Pick<import("@endo/marshal").Marshal<unknown>, "fromCapData" | "unserialize">;
+export type Unserializer = Pick<Marshal<unknown>, "fromCapData" | "unserialize">;
 export type Crasher = {
     crash: (...args: unknown[]) => void;
 };
 export type FollowerOptions = {
-    unserializer?: import("jessie.js").FarRef<Unserializer, import("@endo/eventual-send").DataOnly<Unserializer>> | null | undefined;
+    unserializer?: FarRef<Unserializer> | null | undefined;
     decode?: ((text: string) => any) | undefined;
     proof?: "none" | "strict" | "optimistic" | undefined;
-    crasher?: import("jessie.js").FarRef<Crasher, import("@endo/eventual-send").DataOnly<Crasher>> | undefined;
+    crasher?: FarRef<Crasher> | undefined;
 };
 export type CastingSpec = {
     storeName?: string | undefined;
-    storeSubkey?: Uint8Array | undefined;
-    dataPrefixBytes?: Uint8Array | undefined;
-    noDataValue?: Uint8Array | undefined;
+    storeSubkey?: Uint8Array<ArrayBufferLike> | undefined;
+    dataPrefixBytes?: Uint8Array<ArrayBufferLike> | undefined;
+    noDataValue?: Uint8Array<ArrayBufferLike> | undefined;
     subscription?: globalThis.ERef<Subscription<any>> | undefined;
     notifier?: globalThis.ERef<Notifier<any>> | undefined;
 };
@@ -55,6 +55,8 @@ export type StreamCell<T> = {
     blockHeight: number;
     values: Array<T>;
 };
+import type { Marshal } from '@endo/marshal';
+import type { FarRef } from '@endo/far';
 import type { Subscription } from '@agoric/notifier';
 import type { Notifier } from '@agoric/notifier';
 //# 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":";6BAW8B,MAAM,OAAO,GAAG,YAAY,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;sBAC5D,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;2BACxB,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC;;;;YAMnC,UAAU,EAAE;;;WAKZ,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;YAC9D,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;gBAChC,MAAM,aAAa;kBACnB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC;kBAC9E,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;;4BAG7D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;qBAGpC,CAAC;uBAEA,MAAM,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;qBAC/B,CAAC,OAAO,CAAC,EAAE,kBAAkB,KAAK,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;wBAC3D,CAAC,OAAO,CAAC,EAAE,kBAAkB,KAAK,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;;;iBAK3D,MAAM;wBACN,MAAM;;iCAKP,CAAC,IACD,iBAAiB,GAAG,CAAC;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,GAAG,CAAA;CAAE,CAAC;2BAIrE,IAAI,CAAC,OAAO,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,aAAa,GAAG,aAAa,CAAC;;WAK5E,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,IAAI;;;;qBAMrB,MAAM,KAAK,GAAG;;;;;;;;;;;;;;;uBAqBtB,CAAC;iBAEA,MAAM;YACN,KAAK,CAAC,CAAC,CAAC;;kCAnFmB,kBAAkB;8BAAlB,kBAAkB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":";6BAa8B,MAAM,OAAO,GAAG,YAAY,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;sBAC5D,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;2BACxB,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC;;;;YAMnC,UAAU,EAAE;;;WAKZ,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;YAC9D,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;gBAChC,MAAM,aAAa;kBACnB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC;kBAC9E,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;;4BAG7D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;qBAGpC,CAAC;uBAEA,MAAM,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;qBAC/B,CAAC,OAAO,CAAC,EAAE,kBAAkB,KAAK,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;wBAC3D,CAAC,OAAO,CAAC,EAAE,kBAAkB,KAAK,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;;;iBAK3D,MAAM;wBACN,MAAM;;iCAKP,CAAC,IACD,iBAAiB,GAAG,CAAC;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,GAAG,CAAA;CAAE,CAAC;2BAIrE,IAAI,CAAC,QAAQ,OAAO,CAAC,EAAE,aAAa,GAAG,aAAa,CAAC;;WAKpD,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,IAAI;;;;qBAMrB,MAAM,KAAK,GAAG;;;;;;;;;;;;;;;uBAqBtB,CAAC;iBAEA,MAAM;YACN,KAAK,CAAC,CAAC,CAAC;;6BApFI,eAAe;4BAChB,WAAW;kCAFK,kBAAkB;8BAAlB,kBAAkB"}

package/src/types.js

@@ -5,6 +5,8 @@ export {};
 
 /**
  * @import {Notifier, Subscription} from '@agoric/notifier';
+ * @import {Marshal} from '@endo/marshal';
+ * @import {FarRef} from '@endo/far';
  */
 
 /**
@@ -52,7 +54,7 @@ export {};
  */
 
 /**
- * @typedef {Pick<import('@endo/marshal').Marshal<unknown>, 'fromCapData' | 'unserialize'>} Unserializer
+ * @typedef {Pick<Marshal<unknown>, 'fromCapData' | 'unserialize'>} Unserializer
  */
 
 /**
@@ -62,10 +64,10 @@ export {};
 
 /**
  * @typedef {object} FollowerOptions
- * @property {null | import('@endo/far').FarRef<Unserializer>} [unserializer]
+ * @property {null | FarRef<Unserializer>} [unserializer]
  * @property {(text: string) => any} [decode]
  * @property {'strict'|'optimistic'|'none'} [proof]
- * @property {import('@endo/far').FarRef<Crasher>} [crasher]
+ * @property {FarRef<Crasher>} [crasher]
  */
 
 /**

package/test/fake-rpc-server.js

@@ -8,6 +8,10 @@ import express from 'express';
 
 import { toAscii, toBase64 } from '@cosmjs/encoding';
 
+/**
+ * @import {ExecutionContext} from 'ava';
+ */
+
 const chainName = 'fakeChain';
 
 let lastPort = 8989;
@@ -72,7 +76,7 @@ const fakeStatusResult = {
   },
 };
 
-/** @typedef {Partial<import('ava').ExecutionContext<{cleanups: Array<() => void>}>> & {context}} FakeServerTestContext */
+/** @typedef {Partial<ExecutionContext<{cleanups: Array<() => void>}>> & {context}} FakeServerTestContext */
 /**
  * @param {FakeServerTestContext} t
  * @param {Array<{any}>} fakeValues

package/test/interpose-net-access.test.js

@@ -15,7 +15,12 @@ import {
 import { makeTendermintRpcClient } from '../src/makeHttpClient.js';
 import { captureIO, replayIO, web1, web2 } from './net-access-fixture.js';
 
-/** @type {import('ava').TestFn<Awaited<ReturnType<typeof makeTestContext>>>} */
+/**
+ * @import {EReturn} from '@endo/far';
+ * @import {TestFn} from 'ava';
+ */
+
+/** @type {TestFn<EReturn<typeof makeTestContext>>} */
 const test = /** @type {any} */ (anyTest);
 
 const RECORDING = false;

package/test/mvp.test.js

@@ -16,6 +16,11 @@ import {
 import { delay } from '../src/defaults.js';
 import { startFakeServer } from './fake-rpc-server.js';
 
+/**
+ * @import {LeaderOptions} from '../src/types.js';
+ * @import {FollowerOptions} from '../src/types.js';
+ */
+
 // TODO: Replace with test.macro({title, exec}).
 const testHappyPath = (label, ...input) => {
   // eslint-disable-next-line no-shadow
@@ -31,13 +36,13 @@ const testHappyPath = (label, ...input) => {
         options,
       );
       controller.advance(start);
-      /** @type {import('../src/types.js').LeaderOptions} */
+      /** @type {LeaderOptions} */
       const lo = {
         retryCallback: null, // fail fast, no retries
         keepPolling: () => delay(1000).then(() => true), // poll really quickly
         jitter: null, // no jitter
       };
-      /** @type {import('../src/types.js').FollowerOptions} */
+      /** @type {FollowerOptions} */
       const so = {
         proof: 'none',
       };
@@ -186,13 +191,13 @@ test('yields error on bad capdata without terminating', async t => {
     options,
   );
   controller.advance(0);
-  /** @type {import('../src/types.js').LeaderOptions} */
+  /** @type {LeaderOptions} */
   const lo = {
     retryCallback: null, // fail fast, no retries
     keepPolling: () => delay(1000).then(() => true), // poll really quickly
     jitter: null, // no jitter
   };
-  /** @type {import('../src/types.js').FollowerOptions} */
+  /** @type {FollowerOptions} */
   const so = {
     proof: 'none',
   };

package/test/netconfig.test.js

@@ -1,9 +1,13 @@
 import { test } from './prepare-test-env-ava.js';
 import { assertNetworkConfig } from '../src/netconfig.js';
 
+/**
+ * @import {NetworkConfig} from '@agoric/casting/src/netconfig.js';
+ */
+
 test('https://main.agoric.net/network-config 2022-10-27', t => {
   /**
-   * @type {import('@agoric/casting/src/netconfig.js').NetworkConfig}
+   * @type {NetworkConfig}
    */
   const specimen = {
     chainName: 'agoric-3',
@@ -23,7 +27,7 @@ test('https://main.agoric.net/network-config 2022-10-27', t => {
 
 test('https://ollinet.agoric.net/network-config 2022-10-27', t => {
   /**
-   * @type {import('@agoric/casting/src/netconfig.js').NetworkConfig}
+   * @type {NetworkConfig}
    */
   const specimen = {
     chainName: 'agoricollinet-44',

package/test/types.test-d.ts

@@ -0,0 +1,31 @@
+import { E } from '@endo/far';
+import { expectType } from 'tsd';
+import type { ValueFollower } from '../src/follower-cosmjs.js';
+import { makeFollower } from '../src/follower.js';
+import { iterateLatest } from '../src/iterable.js';
+import { makeLeader } from '../src/leader-netconfig.js';
+import type { ValueFollowerElement } from '../src/types.js';
+
+type ThePublishedDatum = { a: 1; b: 'two' };
+type TheFollowerElement = ValueFollowerElement<ThePublishedDatum>;
+
+const leader = makeLeader();
+
+{
+  const f = makeFollower<ThePublishedDatum>('', leader, {});
+  expectType<ValueFollower<ThePublishedDatum>>(await f);
+
+  expectType<AsyncIterable<TheFollowerElement>>(await E(f).getLatestIterable());
+
+  expectType<AsyncIterable<TheFollowerElement>>(await E(f).getLatestIterable());
+
+  expectType<AsyncIterable<TheFollowerElement>>(
+    await E(f).getReverseIterable(),
+  );
+
+  const iter = iterateLatest(f);
+  for await (const { value } of iter) {
+    assert(value, 'value undefined');
+    expectType<ThePublishedDatum>(value);
+  }
+}

package/tsconfig.build.tsbuildinfo

@@ -1 +1 @@
-{"root":["./src/casting-spec.js","./src/change-follower.js","./src/defaults.js","./src/follower-cosmjs.js","./src/follower.js","./src/iterable.js","./src/leader-netconfig.js","./src/leader.js","./src/main.js","./src/makeHttpClient.js","./src/netconfig.js","./src/shuffle.js","./src/types.js"],"version":"5.6.3"}
+{"root":["./src/casting-spec.js","./src/change-follower.js","./src/defaults.js","./src/follower-cosmjs.js","./src/follower.js","./src/iterable.js","./src/leader-netconfig.js","./src/leader.js","./src/main.js","./src/makeHttpClient.js","./src/netconfig.js","./src/shuffle.js","./src/types.js"],"version":"5.9.3"}

package/tsconfig.json

@@ -5,7 +5,7 @@
   "include": [
     "*.js",
     "public/**/*.js",
-    "src/**/*.js",
-    "test/**/*.js",
+    "src",
+    "test",
   ],
 }