@agoric/internal 0.3.3-dev-776528e.0.776528e → 0.3.3-dev-cbcea8c.0.cbcea8c

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/internal",
-  "version": "0.3.3-dev-776528e.0.776528e",
+  "version": "0.3.3-dev-cbcea8c.0.cbcea8c",
   "description": "Externally unsupported utilities internal to agoric-sdk",
   "repository": {
     "type": "git",
@@ -24,28 +24,28 @@
     "lint:types": "yarn run -T tsgo --tsBuildInfoFile tsconfig.tsgo.tsbuildinfo"
   },
   "dependencies": {
-    "@agoric/base-zone": "0.1.1-dev-776528e.0.776528e",
+    "@agoric/base-zone": "0.1.1-dev-cbcea8c.0.cbcea8c",
     "@endo/cache-map": "^1.1.0",
-    "@endo/common": "^1.2.13",
-    "@endo/compartment-mapper": "^1.6.3",
-    "@endo/errors": "^1.2.13",
-    "@endo/eventual-send": "^1.3.4",
+    "@endo/common": "^1.4.0",
+    "@endo/compartment-mapper": "^2.3.0",
+    "@endo/errors": "^1.3.1",
+    "@endo/eventual-send": "^1.5.0",
     "@endo/far": "^1.1.14",
-    "@endo/init": "^1.1.12",
-    "@endo/marshal": "^1.8.0",
-    "@endo/nat": "^5.1.3",
-    "@endo/pass-style": "^1.6.3",
-    "@endo/patterns": "^1.7.0",
-    "@endo/promise-kit": "^1.1.13",
-    "@endo/stream": "^1.2.13",
+    "@endo/init": "^1.1.13",
+    "@endo/marshal": "^1.10.0",
+    "@endo/nat": "^5.2.0",
+    "@endo/pass-style": "^1.8.1",
+    "@endo/patterns": "^1.9.1",
+    "@endo/promise-kit": "^1.2.1",
+    "@endo/stream": "^1.3.1",
     "import-meta-resolve": "^4.1.0",
     "jessie.js": "^0.3.4"
   },
   "devDependencies": {
-    "@agoric/cosmic-proto": "0.4.1-dev-776528e.0.776528e",
-    "@endo/exo": "^1.5.12",
-    "@endo/init": "^1.1.12",
-    "@endo/ses-ava": "^1.3.2",
+    "@agoric/cosmic-proto": "0.4.1-dev-cbcea8c.0.cbcea8c",
+    "@endo/exo": "^1.7.0",
+    "@endo/init": "^1.1.13",
+    "@endo/ses-ava": "^1.4.2",
     "@fast-check/ava": "^3.0.1",
     "ava": "^7.0.0",
     "tsd": "^0.33.0"
@@ -70,5 +70,5 @@
   "typeCoverage": {
     "atLeast": 92.84
   },
-  "gitHead": "776528eb7ca6f31911f2ca21a9702e20fdca2595"
+  "gitHead": "cbcea8c2415f2c9c4bc1ea9ff90730f2773bafaa"
 }

package/src/callback.d.ts

@@ -12,7 +12,7 @@ export function prepareAttenuator<M extends PropertyKey>(zone: Zone, methodNames
     target?: any;
     isSync?: boolean | undefined;
     overrides?: { [K_1 in M]?: Callback<any> | null | undefined; } | undefined;
-}) => import("@endo/exo").Guarded<{ [K_2 in M]: (this: any, ...args: any[]) => any; }>;
+}) => import("@endo/exo").Guarded<{ [K_2 in M]: (this: any, ...args: any[]) => any; }, InterfaceGuard>;
 export function prepareGuardedAttenuator<G extends InterfaceGuard>(zone: Zone, interfaceGuard: G, opts?: {
     tag?: string | undefined;
 }): MakeAttenuator<any>;

package/src/callback.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"callback.d.ts","sourceRoot":"","sources":["callback.js"],"names":[],"mappings":"AAuDO,yBALgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,YAC3B,aAAa,CAAC,CAAC,WACf,UAAU,CAAC,CAAC,CAAC,GACX,UAAU,CAAC,CAAC,CAAC,CAQzB;AAWM,sBALgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,YAC3B,SAAS,CAAC,CAAC,WACX,UAAU,CAAC,CAAC,CAAC,GACX,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAQ3C;AAaM,yCAPgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,EAC+B,CAAC,SAAzD,CAAE,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAE,MAC7C,CAAC,SAAT,GAAG,EAAG,eACT,CAAC,YACD,CAAC,GACC,aAAa,CAAC,CAAC,CAQ3B;AAaM,qCAPgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,EACqC,CAAC,SAA/D,KAAM,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAE,YACnD,CAAC,SAAT,GAAG,EAAG,eACT,CAAC,YACD,CAAC,GACC,SAAS,CAAC,CAAC,CAQvB;AAiBM,uCAXgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,EACX,CAAC,SAAd,WAAY,EAGnB,CAAC,SAFK,GACP,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,GAC9D,MAAO,CAAC,cACS,CAAC,SAAT,GAAG,EAAG,eACT,CAAC,cACD,CAAC,YACD,CAAC,GACC,aAAa,CAAC,CAAC,CAW3B;AAiBM,mCAXgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,EACX,CAAC,SAAd,WAAY,EAGlB,CAAC,SAFI,KAAM,GACb,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,GAC/D,CAAE,WAAY,CAAC,eACG,CAAC,SAAT,GAAG,EAAG,eACT,CAAC,cACD,CAAC,YACD,CAAC,GACC,SAAS,CAAC,CAAC,CAWvB;AAOM,qCAHI,GAAG,GACD,QAAQ,IAAI,SAAS,GAAG,CAAC,CAcrC;AAgBM,kCAVoB,CAAC,SAAd,WAAY,QACf,IAAI,eACJ,CAAC,EAAE,4BAEX;IAEU,cAAc,qBADrB,CAAC;IAGkB,GAAG;CAC3B;aAgEc,GAAG;;;uDArDgB,GAAG,WAAW,GAAG,EAAE,KAAK,GAAG,KAwF5D;AAYM,yCANuB,CAAC,SAAlB,cAAgB,QAClB,IAAI,kBACJ,CAAC,SAET;IAAsB,GAAG;CAAC,GAQT,cAAc,CAAC,GAAG,CAAC,CACtC;2BAvSsB,CAAC,SAAX,OAAS,IACT,CACZ,GAAO,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,KACtD,QAAQ,CAAC,CAAC;kCAdwB,YAAY;8BAAZ,YAAY;0BAP/B,WAAW;0BAGX,mBAAmB;iCAEZ,gBAAgB;oCADb,gBAAgB;6BAHvB,WAAW;6BACX,WAAW"}
+{"version":3,"file":"callback.d.ts","sourceRoot":"","sources":["callback.js"],"names":[],"mappings":"AAuDO,yBALgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,YAC3B,aAAa,CAAC,CAAC,WACf,UAAU,CAAC,CAAC,CAAC,GACX,UAAU,CAAC,CAAC,CAAC,CAQzB;AAWM,sBALgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,YAC3B,SAAS,CAAC,CAAC,WACX,UAAU,CAAC,CAAC,CAAC,GACX,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAQ3C;AAaM,yCAPgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,EAC+B,CAAC,SAAzD,CAAE,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAE,MAC7C,CAAC,SAAT,GAAG,EAAG,eACT,CAAC,YACD,CAAC,GACC,aAAa,CAAC,CAAC,CAQ3B;AAaM,qCAPgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,EACqC,CAAC,SAA/D,KAAM,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAE,YACnD,CAAC,SAAT,GAAG,EAAG,eACT,CAAC,YACD,CAAC,GACC,SAAS,CAAC,CAAC,CAQvB;AAiBM,uCAXgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,EACX,CAAC,SAAd,WAAY,EAGnB,CAAC,SAFK,GACP,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,GAC9D,MAAO,CAAC,cACS,CAAC,SAAT,GAAG,EAAG,eACT,CAAC,cACD,CAAC,YACD,CAAC,GACC,aAAa,CAAC,CAAC,CAW3B;AAiBM,mCAXgC,CAAC,SAA3B,CAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAI,EACX,CAAC,SAAd,WAAY,EAGlB,CAAC,SAFI,KAAM,GACb,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,GAC/D,CAAE,WAAY,CAAC,eACG,CAAC,SAAT,GAAG,EAAG,eACT,CAAC,cACD,CAAC,YACD,CAAC,GACC,SAAS,CAAC,CAAC,CAWvB;AAOM,qCAHI,GAAG,GACD,QAAQ,IAAI,SAAS,GAAG,CAAC,CAcrC;AAgBM,kCAVoB,CAAC,SAAd,WAAY,QACf,IAAI,eACJ,CAAC,EAAE,4BAEX;IAEU,cAAc,qBADrB,CAAC;IAGkB,GAAG;CAC3B;aAiEc,GAAG;;;uDAtDgB,GAAG,WAAW,GAAG,EAAE,KAAK,GAAG,qBAyF5D;AAYM,yCANuB,CAAC,SAAlB,cAAgB,QAClB,IAAI,kBACJ,CAAC,SAET;IAAsB,GAAG;CAAC,GAQT,cAAc,CAAC,GAAG,CAAC,CACtC;2BAxSsB,CAAC,SAAX,OAAS,IACT,CACZ,GAAO,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,KACtD,QAAQ,CAAC,CAAC;kCAdwB,YAAY;8BAAZ,YAAY;0BAP/B,WAAW;0BAGX,mBAAmB;iCAEZ,gBAAgB;oCADb,gBAAgB;6BAHvB,WAAW;6BACX,WAAW"}

package/src/callback.js

@@ -261,6 +261,7 @@ export const prepareAttenuator = (
    */
   const makeAttenuator = zone.exoClass(
     tag,
+    // @ts-expect-error optional InterfaceGuard doesn't match either overload
     interfaceGuard,
     /**
      * @param {object} opts

package/src/lib-chainStorage.d.ts

@@ -10,17 +10,11 @@
  * @param {boolean} [rootOptions.sequence] employ a wrapping structure that
  *   preserves each value set within a single block, and default child nodes to
  *   do the same
+ * @returns {StorageNode}
  */
 export function makeChainStorageRoot(handleStorageMessage: (message: StorageMessage) => any, rootPath: string, rootOptions?: {
     sequence?: boolean | undefined;
-}): import("@endo/exo").Guarded<{
-    getPath(): string;
-    getStoreKey(): Promise<VStorageKey>;
-    makeChildNode(name: string, childNodeOptions?: {
-        sequence?: boolean;
-    }): StorageNode;
-    setValue(value: string): Promise<void>;
-}>;
+}): StorageNode;
 /**
  * Convenience function for returning a storage node at or under its input,
  * falling back to an inert object with the correct interface (but incomplete
@@ -32,22 +26,28 @@ export function makeChainStorageRoot(handleStorageMessage: (message: StorageMess
  */
 export function makeStorageNodeChild(storageNodeRef: ERef<Remote<StorageNode> | null>, childName: string): Promise<Remote<StorageNode>>;
 /**
+ * @import {RemotableBrand} from '@endo/eventual-send';
  * @import {ERef} from '@endo/far';
  * @import {Marshal, Passable} from '@endo/marshal';
- * @import {Remote, ERemote, TypedPattern} from './types.js';
+ * @import {Remote, ERemote} from './types.js';
  * @import {EMarshaller} from './marshal/wrap-marshaller.js';
  * @import {Zone} from '@agoric/base-zone';
  * @import {Callback} from './types.js';
+ * @import {CastedPattern} from '@endo/patterns';
+ * @import {MatcherOf} from '@endo/patterns';
  */
 /** @typedef {Marshal<unknown>} Marshaller */
 /** @typedef {Pick<Marshaller, 'fromCapData'>} Unserializer */
 /**
  * Defined by vstorageStoreKey in vstorage.go
  *
+ * The backend provides all properties but for mock data flexibility we allow
+ * some to be optional in the JS typedef.
+ *
  * @typedef VStorageKey
  * @property {string} storeName
  * @property {string} storeSubkey
- * @property {string} dataPrefixBytes
+ * @property {string} [dataPrefixBytes]
  * @property {string} [noDataValue]
  */
 /**
@@ -57,31 +57,27 @@ export function makeStorageNodeChild(storageNodeRef: ERef<Remote<StorageNode> |
  *   (decimal representation of a natural number)
  * @property {T[]} values
  */
-/** @type {TypedPattern<StreamCell>} */
-export const StreamCellShape: TypedPattern<StreamCell>;
+/** @type {CastedPattern<StreamCell>} */
+export const StreamCellShape: CastedPattern<StreamCell>;
 export function isStreamCell(cell: any): cell is StreamCell;
 /** @type {(name: string) => void} */
 export const assertPathSegment: (name: string) => void;
-export function prepareChainStorageNode(zone: Zone): (messenger: Callback<(message: StorageMessage) => any>, path: string, args_2?: {
-    sequence?: boolean | undefined;
-} | undefined) => import("@endo/exo").Guarded<{
-    getPath(): string;
-    getStoreKey(): Promise<VStorageKey>;
-    makeChildNode(name: string, childNodeOptions?: {
-        sequence?: boolean;
-    }): StorageNode;
-    setValue(value: string): Promise<void>;
-}>;
+export function prepareChainStorageNode(zone: Zone): (messenger: Callback<(message: StorageMessage) => any>, path: string, options?: {
+    sequence?: boolean;
+}) => StorageNode;
 export function makeSerializeToStorage(storageNode: ERemote<StorageNode>, marshaller: ERemote<EMarshaller>): (value: Passable) => Promise<void>;
 export type Marshaller = Marshal<unknown>;
 export type Unserializer = Pick<Marshaller, "fromCapData">;
 /**
  * Defined by vstorageStoreKey in vstorage.go
+ *
+ * The backend provides all properties but for mock data flexibility we allow
+ * some to be optional in the JS typedef.
  */
 export type VStorageKey = {
     storeName: string;
     storeSubkey: string;
-    dataPrefixBytes: string;
+    dataPrefixBytes?: string | undefined;
     noDataValue?: string | undefined;
 };
 export type StreamCell<T = unknown> = {
@@ -101,25 +97,12 @@ export type StreamCell<T = unknown> = {
  * Vstorage is a hierarchical externally-reachable storage structure that
  * identifies children by restricted ASCII name and is associated with arbitrary
  * string-valued data for each node, defaulting to the empty string.
+ *
+ * Defined as an interface in ./types.ts so its per-property documentation
+ * survives declaration emit. Re-exported here as an alias so existing
+ * `from '@agoric/internal/src/lib-chainStorage.js'` importers keep working.
  */
-export type StorageNode = {
-    /**
-     * publishes some data
-     */
-    setValue: (data: string) => Promise<void>;
-    /**
-     * the chain storage path at which the node was
-     * constructed
-     */
-    getPath: () => string;
-    /**
-     * DEPRECATED use getPath
-     */
-    getStoreKey: () => Promise<VStorageKey>;
-    makeChildNode: (subPath: string, options?: {
-        sequence?: boolean;
-    }) => StorageNode;
-};
+export type StorageNode = import("./types.js").StorageNode;
 export type StoredFacet = {
     /**
      * the chain storage path at which the
@@ -172,7 +155,7 @@ export type StorageMessage = {
 };
 import type { Remote } from './types.js';
 import type { ERef } from '@endo/far';
-import type { TypedPattern } from './types.js';
+import type { CastedPattern } from '@endo/patterns';
 import type { Zone } from '@agoric/base-zone';
 import type { Callback } from './types.js';
 import type { ERemote } from './types.js';

package/src/lib-chainStorage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lib-chainStorage.d.ts","sourceRoot":"","sources":["lib-chainStorage.js"],"names":[],"mappings":"AAiPA;;;;;;;;;;;;GAYG;AACH,2DATW,CAAC,OAAO,EAAE,cAAc,KAAK,GAAG,YAGhC,MAAM,gBAEd;IAA8B,QAAQ;CAGxC;;mBAnEqB,OAAO,CAAC,WAAW,CAAC;wBAWzB,MAAM,qBACO;QAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;KAAE,GACtC,WAAW;oBAYA,MAAM,GAAK,OAAO,CAAC,IAAI,CAAC;GAqDhD;AAcD;;;;;;;;GAQG;AACH,qDAJW,KAAK,OAAO,WAAW,CAAC,GAAG,IAAI,CAAC,aAChC,MAAM,GACJ,OAAO,CAAC,OAAO,WAAW,CAAC,CAAC,CAMxC;AA3RD;;;;;;;GAOG;AAEH,6CAA6C;AAC7C,8DAA8D;AAE9D;;;;;;;;GAQG;AAEH;;;;;;GAMG;AAEH,uCAAuC;AACvC,8BADW,aAAa,UAAU,CAAC,CAIhC;AAwCI,mCAHI,GAAG,GACD,IAAI,IAAI,UAAU,CAOa;AAmB5C,qCAAqC;AACrC,gCADW,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAI/B;AAyCK,8CAFI,IAAI,kCAqBmB,cAAc,KAAK,GAAG;;;;mBAgBlC,OAAO,CAAC,WAAW,CAAC;wBAWzB,MAAM,qBACO;QAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;KAAE,GACtC,WAAW;oBAYA,MAAM,GAAK,OAAO,CAAC,IAAI,CAAC;GA0BhD;AA+DM,oDAJI,QAAQ,WAAW,CAAC,cACpB,QAAQ,WAAW,CAAC,GAClB,CAAC,KAAK,EAAE,QAAQ,KAAK,OAAO,CAAC,IAAI,CAAC,CAQ9C;yBAjSa,QAAQ,OAAO,CAAC;2BAChB,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;;;;;eAM/B,MAAM;iBACN,MAAM;qBACN,MAAM;;;uBAKN,CAAC;;;;;iBAED,MAAM;YAEN,CAAC,EAAE;;;;;;;;;;;;;;;;cAoBH,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;;;;;aAC/B,MAAM,MAAM;;;;iBAEZ,MAAM,OAAO,CAAC,WAAW,CAAC;mBAC1B,CACT,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;KAAE,KAC7B,WAAW;;;;;;;aA8BL,MAAM,OAAO,CAAC,MAAM,CAAC;;;;iBAErB,WAAW,CAAC,aAAa,CAAC;;;;;qBAC1B,MAAM,YAAY;;;;;4CAqBnB,KAAK,GACX,aAAa,GACb,KAAK,GACL,UAAU,GACV,SAAS,GACT,QAAQ,GACR,MAAM;;;;gDAGA,KAAK,GAAG,kBAAkB,GAAG,QAAQ;;;;mCAGrC,6BAA6B,GACnC,iCAAiC;;;;0CAG3B,CAAC,IAAI,EAAE,MAAM,CAAC;;;;2BAEd,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;;;;8CAErC,YAAY,EAAE;;;;6BAEd;IACJ,MAAM,EAAE,6BAA6B,CAAC;IACtC,IAAI,EAAE,2BAA2B,CAAC;CACnC,GACD;IACE,MAAM,EAAE,iCAAiC,CAAC;IAC1C,IAAI,EAAE,+BAA+B,CAAC;CACvC;4BAtIwC,YAAY;0BAFrC,WAAW;kCAEc,YAAY;0BAErC,mBAAmB;8BACf,YAAY;6BAHS,YAAY;iCAC9B,8BAA8B;8BAFxB,eAAe;6BAAf,eAAe"}
+{"version":3,"file":"lib-chainStorage.d.ts","sourceRoot":"","sources":["lib-chainStorage.js"],"names":[],"mappings":"AAwQA;;;;;;;;;;;;;GAaG;AACH,2DAVW,CAAC,OAAO,EAAE,cAAc,KAAK,GAAG,YAGhC,MAAM,gBAEd;IAA8B,QAAQ;CAGtC,GAAU,WAAW,CAYvB;AAcD;;;;;;;;GAQG;AACH,qDAJW,KAAK,OAAO,WAAW,CAAC,GAAG,IAAI,CAAC,aAChC,MAAM,GACJ,OAAO,CAAC,OAAO,WAAW,CAAC,CAAC,CAMxC;AAnTD;;;;;;;;;;GAUG;AAEH,6CAA6C;AAC7C,8DAA8D;AAE9D;;;;;;;;;;;GAWG;AAEH;;;;;;GAMG;AAEH,wCAAwC;AACxC,8BADW,cAAc,UAAU,CAAC,CAIjC;AAoDI,mCAHI,GAAG,GACD,IAAI,IAAI,UAAU,CAOa;AAmB5C,qCAAqC;AACrC,gCADW,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAI/B;AA8CK,8CAPI,IAAI,GACF,CACR,SAAS,EAAE,SAAS,CAAC,OAAO,EAAE,cAAc,KAAK,GAAG,CAAC,EACrD,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,KAC7B,WAAW,CAwFlB;AAgEM,oDAJI,QAAQ,WAAW,CAAC,cACpB,QAAQ,WAAW,CAAC,GAClB,CAAC,KAAK,EAAE,QAAQ,KAAK,OAAO,CAAC,IAAI,CAAC,CAQ9C;yBAtTa,QAAQ,OAAO,CAAC;2BAChB,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;;;;;;;;eAS/B,MAAM;iBACN,MAAM;;;;uBAMN,CAAC;;;;;iBAED,MAAM;YAEN,CAAC,EAAE;;;;;;;;;;;;;;;;0BAwBJ,OAAO,YAAY,EAAE,WAAW;;;;;;aA6C/B,MAAM,OAAO,CAAC,MAAM,CAAC;;;;iBAErB,WAAW,CAAC,aAAa,CAAC;;;;;qBAC1B,MAAM,YAAY;;;;;4CAqBnB,KAAK,GACX,aAAa,GACb,KAAK,GACL,UAAU,GACV,SAAS,GACT,QAAQ,GACR,MAAM;;;;gDAGA,KAAK,GAAG,kBAAkB,GAAG,QAAQ;;;;mCAGrC,6BAA6B,GACnC,iCAAiC;;;;0CAG3B,CAAC,IAAI,EAAE,MAAM,CAAC;;;;2BAEd,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;;;;8CAErC,YAAY,EAAE;;;;6BAEd;IACJ,MAAM,EAAE,6BAA6B,CAAC;IACtC,IAAI,EAAE,2BAA2B,CAAC;CACnC,GACD;IACE,MAAM,EAAE,iCAAiC,CAAC;IAC1C,IAAI,EAAE,+BAA+B,CAAC;CACvC;4BAvJ0B,YAAY;0BAFvB,WAAW;mCAMF,gBAAgB;0BAFzB,mBAAmB;8BACf,YAAY;6BAHL,YAAY;iCAChB,8BAA8B;8BAFxB,eAAe;6BAAf,eAAe"}

package/src/lib-chainStorage.js

@@ -7,12 +7,15 @@ import { makeHeapZone } from '@agoric/base-zone/heap.js';
 import * as cb from './callback.js';
 
 /**
+ * @import {RemotableBrand} from '@endo/eventual-send';
  * @import {ERef} from '@endo/far';
  * @import {Marshal, Passable} from '@endo/marshal';
- * @import {Remote, ERemote, TypedPattern} from './types.js';
+ * @import {Remote, ERemote} from './types.js';
  * @import {EMarshaller} from './marshal/wrap-marshaller.js';
  * @import {Zone} from '@agoric/base-zone';
  * @import {Callback} from './types.js';
+ * @import {CastedPattern} from '@endo/patterns';
+ * @import {MatcherOf} from '@endo/patterns';
  */
 
 /** @typedef {Marshal<unknown>} Marshaller */
@@ -21,10 +24,13 @@ import * as cb from './callback.js';
 /**
  * Defined by vstorageStoreKey in vstorage.go
  *
+ * The backend provides all properties but for mock data flexibility we allow
+ * some to be optional in the JS typedef.
+ *
  * @typedef VStorageKey
  * @property {string} storeName
  * @property {string} storeSubkey
- * @property {string} dataPrefixBytes
+ * @property {string} [dataPrefixBytes]
  * @property {string} [noDataValue]
  */
 
@@ -36,12 +42,13 @@ import * as cb from './callback.js';
  * @property {T[]} values
  */
 
-/** @type {TypedPattern<StreamCell>} */
+/** @type {CastedPattern<StreamCell>} */
 export const StreamCellShape = harden({
   blockHeight: M.string(),
   values: M.array(),
 });
 
+// eslint-disable-next-line @agoric/group-jsdoc-imports, @agoric/no-typedef-import -- top level import would conflict
 /**
  * This represents a node in an IAVL tree.
  *
@@ -52,24 +59,35 @@ export const StreamCellShape = harden({
  * identifies children by restricted ASCII name and is associated with arbitrary
  * string-valued data for each node, defaulting to the empty string.
  *
- * @typedef {object} StorageNode
- * @property {(data: string) => Promise<void>} setValue publishes some data
- * @property {() => string} getPath the chain storage path at which the node was
- *   constructed
- * @property {() => Promise<VStorageKey>} getStoreKey DEPRECATED use getPath
- * @property {(
- *   subPath: string,
- *   options?: { sequence?: boolean },
- * ) => StorageNode} makeChildNode
+ * Defined as an interface in ./types.ts so its per-property documentation
+ * survives declaration emit. Re-exported here as an alias so existing
+ * `from '@agoric/internal/src/lib-chainStorage.js'` importers keep working.
+ *
+ * @typedef {import('./types.js').StorageNode} StorageNode
  */
 
 const ChainStorageNodeI = M.interface('StorageNode', {
   setValue: M.callWhen(M.string()).returns(),
   getPath: M.call().returns(M.string()),
-  getStoreKey: M.callWhen().returns(M.record()),
+  getStoreKey: M.callWhen().returns(
+    M.splitRecord(
+      {
+        storeName: M.string(),
+        storeSubkey: M.string(),
+      },
+      {
+        dataPrefixBytes: M.string(),
+        noDataValue: M.string(),
+      },
+    ),
+  ),
   makeChildNode: M.call(M.string())
     .optional(M.splitRecord({}, { sequence: M.boolean() }, {}))
-    .returns(M.remotable('StorageNode')),
+    .returns(
+      /** @type {MatcherOf<'remotable', StorageNode>} */ (
+        M.remotable('StorageNode')
+      ),
+    ),
 });
 
 /**
@@ -148,6 +166,11 @@ harden(assertPathSegment);
 
 /**
  * @param {Zone} zone
+ * @returns {(
+ *   messenger: Callback<(message: StorageMessage) => any>,
+ *   path: string,
+ *   options?: { sequence?: boolean },
+ * ) => StorageNode}
  */
 export const prepareChainStorageNode = zone => {
   /**
@@ -251,6 +274,7 @@ const makeHeapChainStorageNode = prepareChainStorageNode(makeHeapZone());
  * @param {boolean} [rootOptions.sequence] employ a wrapping structure that
  *   preserves each value set within a single block, and default child nodes to
  *   do the same
+ * @returns {StorageNode}
  */
 export function makeChainStorageRoot(
   handleStorageMessage,

package/src/storage-test-utils.d.ts

@@ -24,14 +24,7 @@ export function makeAsyncQueue<T>(): {
 export function makeFakeStorageKit(rootPath: string, rootOptions?: Parameters<typeof makeChainStorageRoot>[2], { eachMessage }?: {
     eachMessage?: (m: StorageMessage) => void;
 }): {
-    rootNode: import("@endo/exo").Guarded<{
-        getPath(): string;
-        getStoreKey(): Promise<VStorageKey>;
-        makeChildNode(name: string, childNodeOptions?: {
-            sequence?: boolean;
-        }): StorageNode;
-        setValue(value: string): Promise<void>;
-    }>;
+    rootNode: import("./types.js").StorageNode;
     data: Map<string, string>;
     updateNewCellBlockHeight: (blockHeight?: number) => void;
     getValues: (path: string) => string[];
@@ -70,7 +63,7 @@ export type MockChainStorageRootMethods = {
 export type MockChainStorageRoot = StorageNode & MockChainStorageRootMethods;
 import { makeChainStorageRoot } from './lib-chainStorage.js';
 import type { StorageMessage } from './lib-chainStorage.js';
-import type { StorageNode } from './lib-chainStorage.js';
 import type { ExecutionContext } from 'ava';
 import type { Marshaller } from './lib-chainStorage.js';
+import type { StorageNode } from './lib-chainStorage.js';
 //# sourceMappingURL=storage-test-utils.d.ts.map

package/src/storage-test-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"storage-test-utils.d.ts","sourceRoot":"","sources":["storage-test-utils.js"],"names":[],"mappings":"AA0BO,yCAHI,MAAM,UACN,MAAM,0GAGC;AAElB;;;GAGG;AACH;;;;;EAEG;;eAMU,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO;mBAEzB,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM;;AA8CjC,8CAtBuB,GAAG,KAAK,GAAG,CAsB+B;AAa1D,+BAFM,CAAC;oBASA,CAAC;;;;;EA6Bd;AAWM,6CAJI,MAAM,gBACN,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC,oBAC1C;IAAE,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,cAAc,KAAK,IAAI,CAAA;CAAE;;;;;oBAwD3B,CAAC;;;;UA4FT,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;;sBAd3B,MAAM,KACJ,MAAM,EAAE;;0BA/FP,cAAc;;;2IAAd,cAAc;;;;EAkH7B;AAoBM,4CADO,oBAAoB,CA2BjC;AAUM,yCAPI,iBAAiB,OAAO,CAAC,WACzB,oBAAoB,GAAG,cAAc,QACrC,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9D,CAAK;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,EAAE,CAAC,GAAG;IAChD,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC;CACpC,iBAoDL;6BAxGa,UAAU,CAAC,OAAO,kBAAkB,CAAC;;;;;;;;aAIrC,CACT,IAAI,EAAE,MAAM,EACZ,UAAU,CAAC,EAAE,UAAU,EACvB,KAAK,CAAC,EAAE,MAAM,KACX,OAAO;UAKD,MAAM,MAAM,EAAE;;mCAEd,WAAW,GAAG,2BAA2B;qCAxTJ,uBAAuB;oCAOU,uBAAuB;iCAAvB,uBAAuB;sCACxE,KAAK;gCAD4C,uBAAuB"}
+{"version":3,"file":"storage-test-utils.d.ts","sourceRoot":"","sources":["storage-test-utils.js"],"names":[],"mappings":"AA0BO,yCAHI,MAAM,UACN,MAAM,0GAGC;AAElB;;;GAGG;AACH;;;;;EAEG;;eAMU,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO;mBAEzB,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM;;AA8CjC,8CAtBuB,GAAG,KAAK,GAAG,CAsB+B;AAa1D,+BAFM,CAAC;oBASA,CAAC;;;;;EA6Bd;AAWM,6CAJI,MAAM,gBACN,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC,oBAC1C;IAAE,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,cAAc,KAAK,IAAI,CAAA;CAAE;;UAoJnC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;;sBAd3B,MAAM,KACJ,MAAM,EAAE;;0BA/FP,cAAc;;;2IAAd,cAAc;;;;EAkH7B;AAoBM,4CADO,oBAAoB,CA2BjC;AAUM,yCAPI,iBAAiB,OAAO,CAAC,WACzB,oBAAoB,GAAG,cAAc,QACrC,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9D,CAAK;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,EAAE,CAAC,GAAG;IAChD,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC;CACpC,iBAoDL;6BAxGa,UAAU,CAAC,OAAO,kBAAkB,CAAC;;;;;;;;aAIrC,CACT,IAAI,EAAE,MAAM,EACZ,UAAU,CAAC,EAAE,UAAU,EACvB,KAAK,CAAC,EAAE,MAAM,KACX,OAAO;UAKD,MAAM,MAAM,EAAE;;mCAEd,WAAW,GAAG,2BAA2B;qCAxTJ,uBAAuB;oCAOU,uBAAuB;sCACxE,KAAK;gCAD4C,uBAAuB;iCAAvB,uBAAuB"}

package/src/typeCheck.d.ts

@@ -1,9 +1,5 @@
-/**
- * @import {MustMatch, PatternType, TypedPattern} from './types.js';
- */
-/** @type {MustMatch} */
-export const mustMatch: MustMatch;
-export function cast<M>(specimen: unknown, patt: TypedPattern<M>): M;
-import type { MustMatch } from './types.js';
-import type { TypedPattern } from './types.js';
+export { mustMatch };
+export function cast<M>(specimen: unknown, patt: CastedPattern<M>): M;
+import { mustMatch } from '@endo/patterns';
+import type { CastedPattern } from '@endo/patterns';
 //# sourceMappingURL=typeCheck.d.ts.map

package/src/typeCheck.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typeCheck.d.ts","sourceRoot":"","sources":["typeCheck.js"],"names":[],"mappings":"AAGA;;GAEG;AAEH,wBAAwB;AACxB,wBADW,SAAS,CACuB;AAQpC,qBALM,CAAC,YACH,OAAO,QACP,aAAa,CAAC,CAAC,GACb,CAAC,CAQb;+BAlBsD,YAAY;kCAAZ,YAAY"}
+{"version":3,"file":"typeCheck.d.ts","sourceRoot":"","sources":["typeCheck.js"],"names":[],"mappings":";AAqBO,qBALM,CAAC,YACH,OAAO,QACP,cAAc,CAAC,CAAC,GACd,CAAC,CAUb;0BA5ByB,gBAAgB;mCAGV,gBAAgB"}

package/src/typeCheck.js

@@ -1,17 +1,22 @@
 // @ts-check
-import { mustMatch as typelessMustMatch } from '@endo/patterns';
+import { mustMatch } from '@endo/patterns';
 
 /**
- * @import {MustMatch, PatternType, TypedPattern} from './types.js';
+ * @import {CastedPattern} from '@endo/patterns';
  */
 
-/** @type {MustMatch} */
-export const mustMatch = typelessMustMatch;
+/**
+ * Re-exported from `@endo/patterns`, which now narrows `specimen` to the
+ * pattern's type. Prefer importing `mustMatch` from `@endo/patterns` directly.
+ *
+ * @deprecated import from `@endo/patterns` instead
+ */
+export { mustMatch };
 
 /**
  * @template M
  * @param {unknown} specimen
- * @param {TypedPattern<M>} patt
+ * @param {CastedPattern<M>} patt
  * @returns {M}
  */
 export const cast = (specimen, patt) => {
@@ -19,5 +24,7 @@ export const cast = (specimen, patt) => {
   // type but a function can't both narrow and return a type. That is by design:
   // https://github.com/microsoft/TypeScript/issues/34636#issuecomment-545025916
   mustMatch(specimen, patt);
-  return specimen;
+  // The assertion narrows `specimen`, but inside this generic body TS keeps an
+  // `unknown extends M` conditional that doesn't collapse to `M`, so re-assert.
+  return /** @type {M} */ (specimen);
 };

package/src/typeGuards.d.ts

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

package/src/typeGuards.d.ts.map

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

package/src/typeGuards.js

@@ -3,7 +3,7 @@
 import { M } from '@endo/patterns';
 
 /**
- * @import {TypedPattern} from './types.js';
+ * @import {CastedPattern} from '@endo/patterns';
  */
 
 export const StorageNodeShape = M.remotable('StorageNode');
@@ -23,6 +23,6 @@ export const UnguardedHelperI = M.interface(
  */
 
 /**
- * @type {TypedPattern<BridgeBigInt>}
+ * @type {CastedPattern<BridgeBigInt>}
  */
 export const BridgeBigIntShape = M.or(M.number(), M.string());

package/src/types.d.ts

@@ -1,7 +1,8 @@
 import type { ERef, RemotableBrand } from '@endo/eventual-send';
 import type { Primitive, RemotableObject } from '@endo/pass-style';
-import type { Pattern } from '@endo/patterns';
+import type { CastedPattern } from '@endo/patterns';
 import type { Callable } from './ses-utils.js';
+import type { VStorageKey } from './lib-chainStorage.js';
 /**
  * A mapping of a tuple type (as from `Parameters<...>`) into a corresponding
  * object type with named fields.
@@ -79,22 +80,33 @@ export type Remote<Primary, Local = DataOnly<Primary>> = Primary | RemotableBran
  * near or marshalled. @see {ERef} and @see {Remote}.
  */
 export type ERemote<Primary, Local = DataOnly<Primary>> = ERef<Remote<Primary, Local>>;
-declare const validatedType: 'Symbol(validatedType)';
 /**
- * Tag a pattern with the static type it represents.
+ * Tag a pattern with the static type it represents. Endo's `mustMatch` and
+ * `matches` narrow a specimen to this type.
+ *
+ * @deprecated Use {@link CastedPattern} from `@endo/patterns` directly.
  */
-export type TypedPattern<T> = Pattern & {
-    [validatedType]?: T;
-};
-export declare type PatternType<TM extends TypedPattern<any>> = TM extends TypedPattern<infer T> ? T : never;
+export type TypedPattern<T> = CastedPattern<T>;
+export type { TraceLogger } from './debug.js';
 /**
- * Returning normally indicates success. Match failure is indicated by
- * throwing.
+ * This represents a node in an IAVL tree.
  *
- * Note: remotables can only be matched as "remotable", not the specific kind.
+ * The active implementation is x/vstorage, an Agoric extension of the Cosmos
+ * SDK.
  *
- * @see {endoMustMatch} for the implementation. This one has a type annotation to narrow if the pattern is a TypedPattern.
+ * Vstorage is a hierarchical externally-reachable storage structure that
+ * identifies children by restricted ASCII name and is associated with arbitrary
+ * string-valued data for each node, defaulting to the empty string.
  */
-export declare type MustMatch = <P extends Pattern>(specimen: unknown, pattern: P, label?: string | number) => asserts specimen is P extends TypedPattern<any> ? PatternType<P> : unknown;
-export type { TraceLogger } from './debug.js';
+export interface StorageNode extends RemotableObject {
+    /** publishes some data */
+    setValue: (data: string) => Promise<void>;
+    /** the chain storage path at which the node was constructed */
+    getPath: () => string;
+    /** @deprecated use getPath */
+    getStoreKey: () => Promise<VStorageKey>;
+    makeChildNode: (subPath: string, options?: {
+        sequence?: boolean;
+    }) => StorageNode;
+}
 //# sourceMappingURL=types.d.ts.map

package/src/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGnE,OAAO,KAAK,EAA8B,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C;;;;;;;;;GASG;AACH,MAAM,MAAM,eAAe,CACzB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,KAAK,SAAS,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,IACjE;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,GAAG,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;CAAE,CAAC;AAEvE;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG;IACpD,6EAA6E;IAC7E,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;CACpB,CAAC;AACF,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAC9C,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAChB,IAAI,GACJ,MAAM,GACN,OAAO,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAAE,CAAC,CAAC;AAEzE,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAC7D;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAC7B,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACtB,KAAK,GACP,KAAK;CACV,GACD,CAAC,CAAC;AAEN,MAAM,CAAC,OAAO,OAAO,QAAQ,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG;IAC7D,OAAO,CAAC,KAAK,CAAI;IAEV,MAAM,EAAE,GAAG,CAAC;IAEZ,UAAU,CAAC,EAAE,WAAW,CAAC;IAEzB,KAAK,EAAE,OAAO,EAAE,CAAC;IAEjB,MAAM,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,CAAC,OAAO,OAAO,YAAY,CAC/B,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,CACrC,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACnB,OAAO,CAAC,SAAS,CAAI;IAEd,MAAM,EAAE,IAAI,CAAC;CACrB;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAGpE,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,eAAe,GAClD,IAAI,GACJ,CAAC,SAAS,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,GAChC,IAAI,GACJ,KAAK,CAAC;AAEZ,2DAA2D;AAC3D,MAAM,MAAM,QAAQ,CAAC,CAAC,IACpB,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GACvB,CAAC,GACD,CAAC,SAAS,QAAQ,GAChB,KAAK,GACL;KAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEhF;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IACjD,OAAO,GACP,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAGnC;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAC5D,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CACvB,CAAC;AAwBF,OAAO,CAAC,MAAM,aAAa,EAAE,uBAAuB,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,OAAO,GAAG;IAAE,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAEhE,MAAM,CAAC,OAAO,MAAM,WAAW,CAAC,EAAE,SAAS,YAAY,CAAC,GAAG,CAAC,IAC1D,EAAE,SAAS,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAG/C;;;;;;;GAOG;AACH,MAAM,CAAC,OAAO,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,OAAO,EAChD,QAAQ,EAAE,OAAO,EACjB,OAAO,EAAE,CAAC,EACV,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,KACpB,OAAO,CAAC,QAAQ,IAAI,CAAC,SAAS,YAAY,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;AAEhF,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEpD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD;;;;;;;;;GASG;AACH,MAAM,MAAM,eAAe,CACzB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,KAAK,SAAS,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,IACjE;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,GAAG,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;CAAE,CAAC;AAEvE;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG;IACpD,6EAA6E;IAC7E,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;CACpB,CAAC;AACF,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAC9C,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAChB,IAAI,GACJ,MAAM,GACN,OAAO,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAAE,CAAC,CAAC;AAEzE,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAC7D;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAC7B,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACtB,KAAK,GACP,KAAK;CACV,GACD,CAAC,CAAC;AAEN,MAAM,CAAC,OAAO,OAAO,QAAQ,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG;IAC7D,OAAO,CAAC,KAAK,CAAI;IAEV,MAAM,EAAE,GAAG,CAAC;IAEZ,UAAU,CAAC,EAAE,WAAW,CAAC;IAEzB,KAAK,EAAE,OAAO,EAAE,CAAC;IAEjB,MAAM,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,CAAC,OAAO,OAAO,YAAY,CAC/B,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,CACrC,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACnB,OAAO,CAAC,SAAS,CAAI;IAEd,MAAM,EAAE,IAAI,CAAC;CACrB;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAGpE,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,eAAe,GAClD,IAAI,GACJ,CAAC,SAAS,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,GAChC,IAAI,GACJ,KAAK,CAAC;AAEZ,2DAA2D;AAC3D,MAAM,MAAM,QAAQ,CAAC,CAAC,IACpB,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GACvB,CAAC,GACD,CAAC,SAAS,QAAQ,GAChB,KAAK,GACL;KAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEhF;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IACjD,OAAO,GACP,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAGnC;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAC5D,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CACvB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC;AAE/C,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAY,SAAQ,eAAe;IAClD,0BAA0B;IAC1B,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1C,+DAA+D;IAC/D,OAAO,EAAE,MAAM,MAAM,CAAC;IACtB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,CAAC;IACxC,aAAa,EAAE,CACb,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;KAAE,KAC7B,WAAW,CAAC;CAClB"}

package/src/types.js

@@ -1,10 +1,10 @@
 /* eslint-disable max-classes-per-file */
                                                                 
                                                                    
+                                                    
 
-// eslint-disable-next-line @typescript-eslint/no-unused-vars -- used in JSDoc
-                                                                          
                                                
+                                                         
 
 /**
  * A mapping of a tuple type (as from `Parameters<...>`) into a corresponding
@@ -123,51 +123,35 @@
                         
   
 
-/*
- * Stop-gap until https://github.com/Agoric/agoric-sdk/issues/6160
- * explictly specify the type that the Pattern will verify through a match.
- *
- * TODO move all this pattern typing stuff to @endo/patterns
- *
- * CAVEAT: We use a constant string here to avoid exposing a `unique symbol`
- * type publicly, such as with:
- *
- * @example
- *   declare const mySymbol: unique symbol;
- *
- * Without this workaround, we've observed errors when using at least
- * `typescript@5.9.3`'s `tsc` to generate declaration files (.d.ts) for
- * consumers of modules that in turn import the declaration:
- *
- * @example
- *   error TS9006: Declaration emit for this file requires using private name
- *   'tag' from module '.../internal/src/tagged"'. An explicit
- *   type annotation may unblock declaration emit.
- */
-// declare const validatedType: unique symbol;
-                                                     
-
 /**
- * Tag a pattern with the static type it represents.
+ * Tag a pattern with the static type it represents. Endo's `mustMatch` and
+ * `matches` narrow a specimen to this type.
+ *
+ * @deprecated Use {@link CastedPattern} from `@endo/patterns` directly.
  */
-                                                                
-
-                                                               
                                                
 
-// TODO make Endo's mustMatch do this
+                                              
+
 /**
- * Returning normally indicates success. Match failure is indicated by
- * throwing.
+ * This represents a node in an IAVL tree.
  *
- * Note: remotables can only be matched as "remotable", not the specific kind.
+ * The active implementation is x/vstorage, an Agoric extension of the Cosmos
+ * SDK.
  *
- * @see {endoMustMatch} for the implementation. This one has a type annotation to narrow if the pattern is a TypedPattern.
+ * Vstorage is a hierarchical externally-reachable storage structure that
+ * identifies children by restricted ASCII name and is associated with arbitrary
+ * string-valued data for each node, defaulting to the empty string.
  */
-                                                    
+                                                      
+                            
+                                            
+                                                                 
+                        
+                                
+                                          
+                  
                     
-             
-                          
-                                                                                
-
-                                              
+                                     
+                   
+ 

package/src/upgrade-api.d.ts

@@ -1,7 +1,7 @@
 export namespace UpgradeDisconnectionShape {
     let name: string;
-    let upgradeMessage: import("@endo/patterns").Matcher;
-    let incarnationNumber: import("@endo/patterns").Matcher;
+    let upgradeMessage: import("@endo/patterns").MatcherOf<"string", string>;
+    let incarnationNumber: import("@endo/patterns").MatcherOf<"number", number>;
 }
 export function makeUpgradeDisconnection(upgradeMessage: string, toIncarnationNumber: number): UpgradeDisconnection;
 export function isUpgradeDisconnection(reason: any): reason is UpgradeDisconnection;