@agoric/zoe 0.26.3-dev-14afd8f.0.14afd8f → 0.26.3-dev-cbcea8c.0.cbcea8c

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/zoe",
-  "version": "0.26.3-dev-14afd8f.0.14afd8f",
+  "version": "0.26.3-dev-cbcea8c.0.cbcea8c",
   "description": "Zoe: the Smart Contract Framework for Offer Enforcement",
   "type": "module",
   "main": "./src/zoeService/zoe.js",
@@ -40,35 +40,35 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/base-zone": "0.1.1-dev-14afd8f.0.14afd8f",
-    "@agoric/ertp": "0.16.3-dev-14afd8f.0.14afd8f",
-    "@agoric/internal": "0.3.3-dev-14afd8f.0.14afd8f",
-    "@agoric/notifier": "0.6.3-dev-14afd8f.0.14afd8f",
-    "@agoric/store": "0.9.3-dev-14afd8f.0.14afd8f",
-    "@agoric/swingset-liveslots": "0.10.3-dev-14afd8f.0.14afd8f",
-    "@agoric/swingset-vat": "0.32.3-dev-14afd8f.0.14afd8f",
-    "@agoric/time": "0.3.3-dev-14afd8f.0.14afd8f",
-    "@agoric/vat-data": "0.5.3-dev-14afd8f.0.14afd8f",
-    "@agoric/vow": "0.1.1-dev-14afd8f.0.14afd8f",
-    "@agoric/zone": "0.2.3-dev-14afd8f.0.14afd8f",
-    "@endo/bundle-source": "^4.1.2",
-    "@endo/captp": "^4.4.8",
-    "@endo/common": "^1.2.13",
-    "@endo/errors": "^1.2.13",
-    "@endo/eventual-send": "^1.3.4",
-    "@endo/exo": "^1.5.12",
+    "@agoric/base-zone": "0.1.1-dev-cbcea8c.0.cbcea8c",
+    "@agoric/ertp": "0.16.3-dev-cbcea8c.0.cbcea8c",
+    "@agoric/internal": "0.3.3-dev-cbcea8c.0.cbcea8c",
+    "@agoric/notifier": "0.6.3-dev-cbcea8c.0.cbcea8c",
+    "@agoric/store": "0.9.3-dev-cbcea8c.0.cbcea8c",
+    "@agoric/swingset-liveslots": "0.10.3-dev-cbcea8c.0.cbcea8c",
+    "@agoric/swingset-vat": "0.32.3-dev-cbcea8c.0.cbcea8c",
+    "@agoric/time": "0.3.3-dev-cbcea8c.0.cbcea8c",
+    "@agoric/vat-data": "0.5.3-dev-cbcea8c.0.cbcea8c",
+    "@agoric/vow": "0.1.1-dev-cbcea8c.0.cbcea8c",
+    "@agoric/zone": "0.2.3-dev-cbcea8c.0.cbcea8c",
+    "@endo/bundle-source": "^4.3.2",
+    "@endo/captp": "^4.5.1",
+    "@endo/common": "^1.4.0",
+    "@endo/errors": "^1.3.1",
+    "@endo/eventual-send": "^1.5.0",
+    "@endo/exo": "^1.7.0",
     "@endo/far": "^1.1.14",
-    "@endo/import-bundle": "^1.5.2",
-    "@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/import-bundle": "^1.7.0",
+    "@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",
     "yargs-parser": "^21.1.1"
   },
   "devDependencies": {
-    "@agoric/kmarshal": "0.1.1-dev-14afd8f.0.14afd8f",
-    "@endo/init": "^1.1.12",
+    "@agoric/kmarshal": "0.1.1-dev-cbcea8c.0.cbcea8c",
+    "@endo/init": "^1.1.13",
     "ava": "^7.0.0",
     "c8": "^10.1.3",
     "import-meta-resolve": "^4.1.0",
@@ -97,5 +97,5 @@
   "typeCoverage": {
     "atLeast": 84.84
   },
-  "gitHead": "14afd8f6884096db6427b91fdb31d8cb94dd7c54"
+  "gitHead": "cbcea8c2415f2c9c4bc1ea9ff90730f2773bafaa"
 }

package/src/cleanProposal.d.ts

@@ -3,7 +3,9 @@ export function assertKeywordName(keyword: any): void;
 export function cleanKeywords(uncleanKeywordRecord: {
     [name: string]: any;
 }): string[];
-export function coerceAmountPatternKeywordRecord(allegedAmountKeywordRecord: any, getAssetKindByBrand: any): Record<string | number | symbol, any>;
+export function coerceAmountPatternKeywordRecord(allegedAmountKeywordRecord: any, getAssetKindByBrand: any): {
+    [x: string]: any;
+};
 export function coerceAmountKeywordRecord(allegedAmountKeywordRecord: unknown, getAssetKindByBrand: any): AmountKeywordRecord;
 export function cleanProposal(proposal: Proposal, getAssetKindByBrand: GetAssetKindByBrand): ProposalRecord;
 import type { AmountKeywordRecord } from '@agoric/zoe';

package/src/cleanProposal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cleanProposal.d.ts","sourceRoot":"","sources":["cleanProposal.js"],"names":[],"mappings":"AASA,iCAAkC,GAAG,CAAC;AAkB/B,sDAYN;AAMM,oDAHI;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAA;CAAC,GACnB,MAAM,EAAE,CAcpB;AAEM,mJAsBN;AAQM,sEAJI,OAAO,uBACP,GAAC,GACC,mBAAmB,CAa/B;AA4CM,wCAJI,QAAQ,uBACR,mBAAmB,GACjB,cAAc,CA6B1B;yCA/JyE,aAAa;8BAAb,aAAa;yCACjD,qBAAqB;oCADe,aAAa"}
+{"version":3,"file":"cleanProposal.d.ts","sourceRoot":"","sources":["cleanProposal.js"],"names":[],"mappings":"AASA,iCAAkC,GAAG,CAAC;AAkB/B,sDAYN;AAMM,oDAHI;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAA;CAAC,GACnB,MAAM,EAAE,CAcpB;AAEM;;EAsBN;AAQM,sEAJI,OAAO,uBACP,GAAC,GACC,mBAAmB,CAa/B;AA4CM,wCAJI,QAAQ,uBACR,mBAAmB,GACjB,cAAc,CA6B1B;yCA/JyE,aAAa;8BAAb,aAAa;yCACjD,qBAAqB;oCADe,aAAa"}

package/src/contractFacet/evalContractCode.d.ts

@@ -1,2 +1,2 @@
-export function evalContractBundle(bundle: any, additionalEndowments?: {}): Promise<any>;
+export function evalContractBundle(bundle: any, additionalEndowments?: {}): any;
 //# sourceMappingURL=evalContractCode.d.ts.map

package/src/contractFacet/evalContractCode.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evalContractCode.d.ts","sourceRoot":"","sources":["evalContractCode.js"],"names":[],"mappings":"AAMA,yFA2BC"}
+{"version":3,"file":"evalContractCode.d.ts","sourceRoot":"","sources":["evalContractCode.js"],"names":[],"mappings":"AAMA,gFA2BC"}

package/src/contractFacet/typeGuards.d.ts

@@ -1,8 +1,48 @@
-export const ZcfSeatShape: import("@endo/patterns").Matcher;
+export const ZcfSeatShape: import("@endo/patterns").MatcherOf<"remotable", any>;
 export const ZcfMintI: import("@endo/patterns").InterfaceGuard<{
-    getIssuerRecord: import("@endo/patterns").MethodGuard;
-    mintGains: import("@endo/patterns").MethodGuard;
-    burnLosses: import("@endo/patterns").MethodGuard;
+    getIssuerRecord: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], (string & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (number & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (bigint & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (false & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (true & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (symbol & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (void & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (ArrayBuffer & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (import("@endo/eventual-send").RemotableBrand<any, any> & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (import("@endo/pass-style").RemotableObject<string> & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
+        "Symbol(castedType)"?: import("./types.js").ZoeIssuerRecord | undefined;
+    }), import("@endo/patterns").SyncValueGuard>;
+    mintGains: import("@endo/patterns").MethodGuard<"sync", [import("@endo/patterns").MatcherOf<"recordOf", [import("@endo/patterns").MatcherOf<"string", string>, {
+        brand: (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
+            "Symbol(castedType)"?: import("@agoric/ertp").Brand | undefined;
+        }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
+            "Symbol(castedType)"?: import("@agoric/ertp").Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }]>], [import("@endo/patterns").MatcherOf<"remotable", any>], import("@endo/patterns").MatcherOf<"remotable", any>, import("@endo/patterns").SyncValueGuard>;
+    burnLosses: import("@endo/patterns").MethodGuard<"sync", [import("@endo/patterns").MatcherOf<"recordOf", [import("@endo/patterns").MatcherOf<"string", string>, {
+        brand: (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
+            "Symbol(castedType)"?: import("@agoric/ertp").Brand | undefined;
+        }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
+            "Symbol(castedType)"?: import("@agoric/ertp").Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }]>, import("@endo/patterns").MatcherOf<"remotable", any>], import("@endo/patterns").ArgGuard[], any, import("@endo/patterns").SyncValueGuard>;
 }>;
 export const ZcfI: import("@endo/patterns").InterfaceGuard<any>;
 //# sourceMappingURL=typeGuards.d.ts.map

package/src/contractFacet/typeGuards.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAGA,4DAAmD;AAEnD;;;;GAMG;AAEH,gEAWE"}
+{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAGA,gFAAmD;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAMG;AAEH,gEAWE"}

package/src/contractFacet/types.d.ts

@@ -74,10 +74,20 @@ export type ZCF<CT = Record<string, unknown>> = {
     getOfferFilter: () => Promise<Array<string>>;
     getInstance: () => Instance;
 };
+/**
+ * A part of an `atomicRearrange` transfer.  Construct via `fromOnly`,
+ * `toOnly`, or directly as a 3- or 4-element array.
+ *
+ * The first three positions are required (any of them may be `undefined`)
+ * to match the runtime `TransferPartShape` guard, which expects at least
+ * three elements.  The fourth (`toAmounts`) is truly optional.  See
+ * `fromOnly` (returns a 3-element tuple) and `toOnly` (returns a 4-element
+ * tuple) for the canonical constructors.
+ */
 export type TransferPart = [
-    fromSeat?: ZCFSeat,
-    toSeat?: ZCFSeat,
-    fromAmounts?: AmountKeywordRecord,
+    fromSeat: ZCFSeat | undefined,
+    toSeat: ZCFSeat | undefined,
+    fromAmounts: AmountKeywordRecord | undefined,
     toAmounts?: AmountKeywordRecord
 ];
 export type ZCFRegisterFeeMint = (keyword: Keyword, allegedFeeMintAccess: FeeMintAccess) => Promise<ZCFMint<'nat'>>;

package/src/contractFacet/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,qBAAqB,EACrB,MAAM,EACN,SAAS,EACT,SAAS,EACT,KAAK,EACL,WAAW,EACX,MAAM,EACN,OAAO,EACR,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,iBAAiB,EACjB,OAAO,EACP,cAAc,EACd,aAAa,EACb,QAAQ,EACR,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAEpE;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;AAClC,MAAM,MAAM,mBAAmB,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,SAAS,KAAK,UAAU,CAAC;AAE9E,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;AAEhE,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB;IACF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrB,SAAS,EAAE,CAAC,CAAC;IACb,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;CAC9B,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;AAEpD;;;;;;;;GAQG;AACH,MAAM,MAAM,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IAC9C;;OAEG;IACH,eAAe,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,IAAI,CAAC;IACrD;;;;OAIG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;IAChD;;;;;;OAMG;IACH,UAAU,EAAE,CAAC,CAAC,SAAS,MAAM,EAC3B,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAChB,OAAO,EAAE,OAAO,KACb,OAAO,CACV,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CACnE,CAAC;IAEF;;;;;;;;;OASG;IACH,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,EAC/B,YAAY,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EACtC,WAAW,EAAE,MAAM,EACnB,aAAa,CAAC,EAAE,MAAM,EACtB,aAAa,CAAC,EAAE,OAAO,KACpB,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI,CAAC;IAC3C,mBAAmB,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC;IACxE,aAAa,EAAE,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,mBAAmB,EAAE,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC;IACzC,QAAQ,EAAE,MAAM,aAAa,GAAG,EAAE,CAAC;IACnC,iBAAiB,EAAE,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACxE,iBAAiB,EAAE,CAAC,GAAG,SAAS,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7E,YAAY,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC;IAC1C,WAAW,EAAE,CAAC,GAAG,SAAS,SAAS,GAAG,KAAK,EACzC,OAAO,EAAE,OAAO,EAChB,SAAS,CAAC,EAAE,GAAG,GAAG,SAAS,EAC3B,WAAW,CAAC,EAAE,qBAAqB,EACnC,OAAO,CAAC,EAAE,OAAO,cAAc,EAAE,mBAAmB,KACjD,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,eAAe,EAAE,kBAAkB,CAAC;IACpC,gBAAgB,EAAE,mBAAmB,CAAC;IACtC,UAAU,EAAE,UAAU,CAAC;IACvB,mBAAmB,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,cAAc,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,cAAc,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7C,WAAW,EAAE,MAAM,QAAQ,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,EAAE,OAAO;IAClB,MAAM,CAAC,EAAE,OAAO;IAChB,WAAW,CAAC,EAAE,mBAAmB;IACjC,SAAS,CAAC,EAAE,mBAAmB;CAChC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,CAC/B,OAAO,EAAE,OAAO,EAChB,oBAAoB,EAAE,aAAa,KAChC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7B;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IACzD,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,CAAC;AAC/B,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI;IACrD,eAAe,EAAE,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C;;;;;;;;;;OAUG;IACH,SAAS,EAAE,CAAC,KAAK,EAAE,mBAAmB,EAAE,OAAO,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC;IACtE;;;;;;;OAOG;IACH,UAAU,EAAE,CAAC,MAAM,EAAE,mBAAmB,EAAE,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;CACrE,CAAC;AACF;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,OAAO,KAAK,KAAK,CAAC;AACrD,MAAM,MAAM,OAAO,GAAG,OAAO,kBAAkB,EAAE,eAAe,GAAG;IACjE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,KAAK,IAAI,CAAC;IACxC,IAAI,EAAE,WAAW,CAAC;IAClB,aAAa,EAAE,MAAM,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACrD,SAAS,EAAE,MAAM,OAAO,CAAC;IACzB,WAAW,EAAE,MAAM,cAAc,CAAC;IAClC;;;OAGG;IACH,kBAAkB,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EACvC,OAAO,EAAE,OAAO,EAChB,KAAK,CAAC,EAAE,CAAC,KACN,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;IACnD,oBAAoB,EAAE,MAAM,UAAU,CAAC;IACvC,WAAW,EAAE,CAAC,aAAa,EAAE,UAAU,KAAK,OAAO,CAAC;CACrD,CAAC;AACF,MAAM,MAAM,UAAU,GAAG;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;CAC7B,CAAC;AACF,MAAM,MAAM,WAAW,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC;AACvE,MAAM,MAAM,YAAY,CAAC,EAAE,GAAG,OAAO,EAAE,EAAE,GAAG,KAAK,IAC7C,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,GACnB;IACE,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;CAC7B,CAAC;AACN,MAAM,MAAM,YAAY,CAAC,EAAE,SAAS,qBAAqB,IAAI;IAC3D,gBAAgB,CAAC,EAAE,MAAM,CACvB,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,EAC1D,OAAO,CACR,CAAC;IACF,gBAAgB,CAAC,EAAE;SAAG,CAAC,IAAI,MAAM,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO;KAAE,CAAC;IAC/D;;;;OAIG;IACH,aAAa,CAAC,EAAE,MAAM,GAAG,eAAe,GAAG,YAAY,GAAG,SAAS,CAAC;CACrE,CAAC;AACF;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,GAAG,IAAI,CACpE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EACZ,WAAW,EAAE,EAAE,EACf,OAAO,EAAE,OAAO,kBAAkB,EAAE,OAAO,KACxC,IAAI,CAAC,qBAAqB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,qBAAqB,CAAC,EAAE,EAAE,EAAE,IAAI;IAC1C,WAAW,CAAC,EAAE,EAAE,CAAC;IACjB,YAAY,CAAC,EAAE,EAAE,CAAC;IAClB,iBAAiB,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC;CAC/D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,wBAAwB,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;AAE1E,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AACzC,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAC;AACvC,MAAM,MAAM,UAAU,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,SAAS,IAAI,OAAO,CAC1D,KAAK,EACL,iBAAiB,CAClB,GAAG;IAEF,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;CACjB,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,qBAAqB,EACrB,MAAM,EACN,SAAS,EACT,SAAS,EACT,KAAK,EACL,WAAW,EACX,MAAM,EACN,OAAO,EACR,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,iBAAiB,EACjB,OAAO,EACP,cAAc,EACd,aAAa,EACb,QAAQ,EACR,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAEpE;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;AAClC,MAAM,MAAM,mBAAmB,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,SAAS,KAAK,UAAU,CAAC;AAE9E,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;AAEhE,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB;IACF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrB,SAAS,EAAE,CAAC,CAAC;IACb,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;CAC9B,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;AAEpD;;;;;;;;GAQG;AACH,MAAM,MAAM,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IAC9C;;OAEG;IACH,eAAe,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,IAAI,CAAC;IACrD;;;;OAIG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;IAChD;;;;;;OAMG;IACH,UAAU,EAAE,CAAC,CAAC,SAAS,MAAM,EAC3B,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAChB,OAAO,EAAE,OAAO,KACb,OAAO,CACV,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CACnE,CAAC;IAEF;;;;;;;;;OASG;IACH,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,EAC/B,YAAY,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EACtC,WAAW,EAAE,MAAM,EACnB,aAAa,CAAC,EAAE,MAAM,EACtB,aAAa,CAAC,EAAE,OAAO,KACpB,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI,CAAC;IAC3C,mBAAmB,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC;IACxE,aAAa,EAAE,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,mBAAmB,EAAE,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC;IACzC,QAAQ,EAAE,MAAM,aAAa,GAAG,EAAE,CAAC;IACnC,iBAAiB,EAAE,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACxE,iBAAiB,EAAE,CAAC,GAAG,SAAS,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7E,YAAY,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC;IAC1C,WAAW,EAAE,CAAC,GAAG,SAAS,SAAS,GAAG,KAAK,EACzC,OAAO,EAAE,OAAO,EAChB,SAAS,CAAC,EAAE,GAAG,GAAG,SAAS,EAC3B,WAAW,CAAC,EAAE,qBAAqB,EACnC,OAAO,CAAC,EAAE,OAAO,cAAc,EAAE,mBAAmB,KACjD,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,eAAe,EAAE,kBAAkB,CAAC;IACpC,gBAAgB,EAAE,mBAAmB,CAAC;IACtC,UAAU,EAAE,UAAU,CAAC;IACvB,mBAAmB,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,cAAc,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,cAAc,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7C,WAAW,EAAE,MAAM,QAAQ,CAAC;CAC7B,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,EAAE,OAAO,GAAG,SAAS;IAC7B,MAAM,EAAE,OAAO,GAAG,SAAS;IAC3B,WAAW,EAAE,mBAAmB,GAAG,SAAS;IAC5C,SAAS,CAAC,EAAE,mBAAmB;CAChC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,CAC/B,OAAO,EAAE,OAAO,EAChB,oBAAoB,EAAE,aAAa,KAChC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7B;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IACzD,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,CAAC;AAC/B,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI;IACrD,eAAe,EAAE,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C;;;;;;;;;;OAUG;IACH,SAAS,EAAE,CAAC,KAAK,EAAE,mBAAmB,EAAE,OAAO,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC;IACtE;;;;;;;OAOG;IACH,UAAU,EAAE,CAAC,MAAM,EAAE,mBAAmB,EAAE,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;CACrE,CAAC;AACF;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,OAAO,KAAK,KAAK,CAAC;AACrD,MAAM,MAAM,OAAO,GAAG,OAAO,kBAAkB,EAAE,eAAe,GAAG;IACjE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,KAAK,IAAI,CAAC;IACxC,IAAI,EAAE,WAAW,CAAC;IAClB,aAAa,EAAE,MAAM,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACrD,SAAS,EAAE,MAAM,OAAO,CAAC;IACzB,WAAW,EAAE,MAAM,cAAc,CAAC;IAClC;;;OAGG;IACH,kBAAkB,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EACvC,OAAO,EAAE,OAAO,EAChB,KAAK,CAAC,EAAE,CAAC,KACN,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;IACnD,oBAAoB,EAAE,MAAM,UAAU,CAAC;IACvC,WAAW,EAAE,CAAC,aAAa,EAAE,UAAU,KAAK,OAAO,CAAC;CACrD,CAAC;AACF,MAAM,MAAM,UAAU,GAAG;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;CAC7B,CAAC;AACF,MAAM,MAAM,WAAW,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC;AACvE,MAAM,MAAM,YAAY,CAAC,EAAE,GAAG,OAAO,EAAE,EAAE,GAAG,KAAK,IAC7C,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,GACnB;IACE,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;CAC7B,CAAC;AACN,MAAM,MAAM,YAAY,CAAC,EAAE,SAAS,qBAAqB,IAAI;IAC3D,gBAAgB,CAAC,EAAE,MAAM,CACvB,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,EAC1D,OAAO,CACR,CAAC;IACF,gBAAgB,CAAC,EAAE;SAAG,CAAC,IAAI,MAAM,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO;KAAE,CAAC;IAC/D;;;;OAIG;IACH,aAAa,CAAC,EAAE,MAAM,GAAG,eAAe,GAAG,YAAY,GAAG,SAAS,CAAC;CACrE,CAAC;AACF;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,GAAG,IAAI,CACpE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EACZ,WAAW,EAAE,EAAE,EACf,OAAO,EAAE,OAAO,kBAAkB,EAAE,OAAO,KACxC,IAAI,CAAC,qBAAqB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,qBAAqB,CAAC,EAAE,EAAE,EAAE,IAAI;IAC1C,WAAW,CAAC,EAAE,EAAE,CAAC;IACjB,YAAY,CAAC,EAAE,EAAE,CAAC;IAClB,iBAAiB,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC;CAC/D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,wBAAwB,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;AAE1E,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AACzC,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAC;AACvC,MAAM,MAAM,UAAU,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,SAAS,IAAI,OAAO,CAC1D,KAAK,EACL,iBAAiB,CAClB,GAAG;IAEF,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;CACjB,CAAC"}

package/src/contractFacet/types.js

@@ -118,10 +118,20 @@
                               
   
 
+/**
+ * A part of an `atomicRearrange` transfer.  Construct via `fromOnly`,
+ * `toOnly`, or directly as a 3- or 4-element array.
+ *
+ * The first three positions are required (any of them may be `undefined`)
+ * to match the runtime `TransferPartShape` guard, which expects at least
+ * three elements.  The fourth (`toAmounts`) is truly optional.  See
+ * `fromOnly` (returns a 3-element tuple) and `toOnly` (returns a 4-element
+ * tuple) for the canonical constructors.
+ */
                             
-                     
-                   
-                                    
+                                
+                              
+                                               
                                   
   
 

package/src/contractSupport/atomicTransfer.d.ts

@@ -1,7 +1,21 @@
 /**
  * @import {AmountKeywordRecord, TransferPart, ZCF, ZCFSeat} from '@agoric/zoe';
  */
-export const TransferPartShape: import("@endo/patterns").Matcher;
+export const TransferPartShape: import("@endo/patterns").MatcherOf<"splitArray", [[import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"remotable", any>, import("@endo/patterns").MatcherOf<"kind", "undefined">]>, import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"remotable", any>, import("@endo/patterns").MatcherOf<"kind", "undefined">]>, import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"recordOf", [import("@endo/patterns").MatcherOf<"string", string>, {
+    brand: (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
+        "Symbol(castedType)"?: import("@agoric/ertp").Brand | undefined;
+    }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
+        "Symbol(castedType)"?: import("@agoric/ertp").Brand | undefined;
+    });
+    value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+}]>, import("@endo/patterns").MatcherOf<"kind", "undefined">]>], [import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"recordOf", [import("@endo/patterns").MatcherOf<"string", string>, {
+    brand: (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
+        "Symbol(castedType)"?: import("@agoric/ertp").Brand | undefined;
+    }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
+        "Symbol(castedType)"?: import("@agoric/ertp").Brand | undefined;
+    });
+    value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+}]>, import("@endo/patterns").MatcherOf<"kind", "undefined">]>], never]>;
 export function atomicRearrange(zcf: ZCF, transfers: TransferPart[]): void;
 export function fromOnly(fromSeat: ZCFSeat, fromAmounts: AmountKeywordRecord): TransferPart;
 export function toOnly(toSeat: ZCFSeat, toAmounts: AmountKeywordRecord): TransferPart;

package/src/contractSupport/atomicTransfer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"atomicTransfer.d.ts","sourceRoot":"","sources":["atomicTransfer.js"],"names":[],"mappings":"AAGA;;GAEG;AAEH,iEAGE;AAyCK,qCAHI,GAAG,aACH,YAAY,EAAE,QAIxB;AAcM,mCAJI,OAAO,eACP,mBAAmB,GACjB,YAAY,CAGmB;AAcrC,+BAJI,OAAO,aACP,mBAAmB,GACjB,YAAY,CAG0B;AAW5C,oCANI,GAAG,aACH,OAAO,WACP,OAAO,gBACP,mBAAmB,cACnB,mBAAmB,QAQgD;yBAhGZ,aAAa;kCAAb,aAAa;6BAAb,aAAa;yCAAb,aAAa"}
+{"version":3,"file":"atomicTransfer.d.ts","sourceRoot":"","sources":["atomicTransfer.js"],"names":[],"mappings":"AAGA;;GAEG;AAUH;;;;;;;;;;;;;;yEAGE;AAyCK,qCAHI,GAAG,aACH,YAAY,EAAE,QAIxB;AAcM,mCAJI,OAAO,eACP,mBAAmB,GACjB,YAAY,CAGmB;AAcrC,+BAJI,OAAO,aACP,mBAAmB,GACjB,YAAY,CAG0B;AAW5C,oCANI,GAAG,aACH,OAAO,WACP,OAAO,gBACP,mBAAmB,cACnB,mBAAmB,QAQgD;yBAxGZ,aAAa;kCAAb,aAAa;6BAAb,aAAa;yCAAb,aAAa"}

package/src/contractSupport/atomicTransfer.js

@@ -5,9 +5,17 @@ import { AmountKeywordRecordShape, SeatShape } from '../typeGuards.js';
  * @import {AmountKeywordRecord, TransferPart, ZCF, ZCFSeat} from '@agoric/zoe';
  */
 
+// Pass tuple literals directly (without `harden(...)`) so TypeScript
+// preserves the positional tuple type during inference.  Wrapping with
+// `harden(...)` widens the literal to `(A | B | C)[]` which loses
+// element-by-element typing in `TypeFromPattern<typeof TransferPartShape>`,
+// breaking downstream guard/impl matching for methods that take a
+// `TransferPart`.  `M.splitArray` hardens its arguments internally via
+// `makeMatcher` → `makeTagged` → `harden(payload)`, so the user-side
+// `harden(...)` was redundant at runtime.
 export const TransferPartShape = M.splitArray(
-  harden([M.opt(SeatShape), M.opt(SeatShape), M.opt(AmountKeywordRecordShape)]),
-  harden([M.opt(AmountKeywordRecordShape)]),
+  [M.opt(SeatShape), M.opt(SeatShape), M.opt(AmountKeywordRecordShape)],
+  [M.opt(AmountKeywordRecordShape)],
 );
 
 /**

package/src/contractSupport/prepare-ownable.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prepare-ownable.d.ts","sourceRoot":"","sources":["prepare-ownable.js"],"names":[],"mappings":"AAgDO,+BAlB4B,EAAE,SAAvB,CAAC,MAAM,GAAG,MAAM,CAAC,EAAG,QACvB,IAAI,kBACJ,GAAG,CAAC,gBAAgB,CAAC,aAQrB,MAAM,gBAEN,EAAE,YAGF,cAAc,GACZ,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG;IAAC,sBAAsB,EAAE,MAAM,WAAW,CAAC,CAAC,CAAA;CAAC,CA6D5F;;;;;;;;0BAtGsB,mBAAmB;yBACpB,aAAa;gCACN,mBAAmB"}
+{"version":3,"file":"prepare-ownable.d.ts","sourceRoot":"","sources":["prepare-ownable.js"],"names":[],"mappings":"AAgDO,+BAlB4B,EAAE,SAAvB,CAAC,MAAM,GAAG,MAAM,CAAC,EAAG,QACvB,IAAI,kBACJ,GAAG,CAAC,gBAAgB,CAAC,aAQrB,MAAM,gBAEN,EAAE,YAGF,cAAc,GACZ,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG;IAAC,sBAAsB,EAAE,MAAM,WAAW,CAAC,CAAC,CAAA;CAAC,CA8D5F;;;;;;;;0BAvGsB,mBAAmB;yBACpB,aAAa;gCACN,mBAAmB"}

package/src/contractSupport/prepare-ownable.js

@@ -90,6 +90,7 @@ export const prepareOwnable = (
       underlying,
     }),
     {
+      /** @param {any} seat */
       handle(seat) {
         const { underlying } = this.state;
         const revocable = makeRevocable(underlying);

package/src/contractSupport/priceAuthority.d.ts

@@ -1,18 +1,158 @@
 export const PriceAuthorityI: import("@endo/patterns").InterfaceGuard<{
-    getQuoteIssuer: import("@endo/patterns").MethodGuard;
-    getTimerService: import("@endo/patterns").MethodGuard;
-    quoteGiven: import("@endo/patterns").MethodGuard;
-    quoteWanted: import("@endo/patterns").MethodGuard;
-    makeQuoteNotifier: import("@endo/patterns").MethodGuard;
-    quoteAtTime: import("@endo/patterns").MethodGuard;
-    quoteWhenLT: import("@endo/patterns").MethodGuard;
-    quoteWhenLTE: import("@endo/patterns").MethodGuard;
-    quoteWhenGTE: import("@endo/patterns").MethodGuard;
-    quoteWhenGT: import("@endo/patterns").MethodGuard;
-    mutableQuoteWhenLT: import("@endo/patterns").MethodGuard;
-    mutableQuoteWhenLTE: import("@endo/patterns").MethodGuard;
-    mutableQuoteWhenGTE: import("@endo/patterns").MethodGuard;
-    mutableQuoteWhenGT: import("@endo/patterns").MethodGuard;
+    getQuoteIssuer: import("@endo/patterns").MethodGuard<"sync", [import("@endo/patterns").CastedPattern<Brand>, import("@endo/patterns").CastedPattern<Brand>], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    getTimerService: import("@endo/patterns").MethodGuard<"sync", [import("@endo/patterns").CastedPattern<Brand>, import("@endo/patterns").CastedPattern<Brand>], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    quoteGiven: import("@endo/patterns").MethodGuard<"sync", [{
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, import("@endo/patterns").CastedPattern<Brand>], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    quoteWanted: import("@endo/patterns").MethodGuard<"sync", [import("@endo/patterns").CastedPattern<Brand>, {
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    makeQuoteNotifier: import("@endo/patterns").MethodGuard<"sync", [{
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, import("@endo/patterns").CastedPattern<Brand>], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    quoteAtTime: import("@endo/patterns").MethodGuard<"sync", [import("@endo/patterns").CastedPattern<bigint | import("@agoric/time").TimestampRecord>, {
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, import("@endo/patterns").CastedPattern<Brand>], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    quoteWhenLT: import("@endo/patterns").MethodGuard<"sync", [{
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, {
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    quoteWhenLTE: import("@endo/patterns").MethodGuard<"sync", [{
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, {
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    quoteWhenGTE: import("@endo/patterns").MethodGuard<"sync", [{
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, {
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    quoteWhenGT: import("@endo/patterns").MethodGuard<"sync", [{
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, {
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    mutableQuoteWhenLT: import("@endo/patterns").MethodGuard<"sync", [{
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, {
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    mutableQuoteWhenLTE: import("@endo/patterns").MethodGuard<"sync", [{
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, {
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    mutableQuoteWhenGTE: import("@endo/patterns").MethodGuard<"sync", [{
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, {
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
+    mutableQuoteWhenGT: import("@endo/patterns").MethodGuard<"sync", [{
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }, {
+        brand: (import("@endo/marshal").CopyRecordInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        }) | (import("@endo/marshal").CopyTaggedInterface<import("@endo/marshal").PassableCap, Error> & {
+            "Symbol(castedType)"?: Brand | undefined;
+        });
+        value: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
+    }], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"promise", any>, import("@endo/patterns").SyncValueGuard>;
 }>;
 export function makeOnewayPriceAuthorityKit(opts: {
     quoteIssuer: Issuer<"set", PriceDescription>;
@@ -24,13 +164,13 @@ export function makeOnewayPriceAuthorityKit(opts: {
 }): PriceAuthorityKit;
 export type CompareAmount = (amount: Amount, amountLimit: Amount) => boolean;
 export type Trigger = (createInstantQuote: PriceQuoteCreate) => Promise<void>;
+import type { Brand } from '@agoric/ertp';
 import type { PriceDescription } from '@agoric/zoe/tools/types.js';
 import type { Issuer } from '@agoric/ertp';
 import type { Notifier } from '@agoric/notifier';
 import type { ERef } from '@agoric/vow';
 import type { TimerService } from '@agoric/time';
 import type { PriceQuoteCreate } from '@agoric/zoe/tools/types.js';
-import type { Brand } from '@agoric/ertp';
 import type { PriceAuthorityKit } from '@agoric/zoe/tools/types.js';
 import type { Amount } from '@agoric/ertp';
 //# sourceMappingURL=priceAuthority.d.ts.map

package/src/contractSupport/priceAuthority.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"priceAuthority.d.ts","sourceRoot":"","sources":["priceAuthority.js"],"names":[],"mappings":"AAoDA;;;;;;;;;;;;;;;GAiBG;AAYI,kDARJ;IAA8C,WAAW,EAAjD,OAAO,KAAK,EAAE,gBAAgB,CAAC;IACD,QAAQ,EAAtC,KAAK,SAAS,OAAO,CAAC,CAAC;IACE,KAAK,EAA9B,KAAK,YAAY,CAAC;IACK,WAAW,EAAlC,gBAAgB;IACG,aAAa,EAAhC,MAAM,KAAK,CAAC;IACO,cAAc,EAAjC,MAAM,KAAK,CAAC;CACpB,GAAU,iBAAiB,CAwT7B;qCA7WU,MAAM,eACN,MAAM,KACJ,OAAO;2CAiBT,gBAAgB,KACd,OAAO,CAAC,IAAI,CAAC;sCAlCyI,4BAA4B;4BAItK,cAAc;8BAHZ,kBAAkB;0BAMtB,aAAa;kCALL,cAAc;sCAFsH,4BAA4B;2BAKvK,cAAc;uCAL6H,4BAA4B;4BAGtK,cAAc"}
+{"version":3,"file":"priceAuthority.d.ts","sourceRoot":"","sources":["priceAuthority.js"],"names":[],"mappings":"AAoDA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiBG;AAYI,kDARJ;IAA8C,WAAW,EAAjD,OAAO,KAAK,EAAE,gBAAgB,CAAC;IACD,QAAQ,EAAtC,KAAK,SAAS,OAAO,CAAC,CAAC;IACE,KAAK,EAA9B,KAAK,YAAY,CAAC;IACK,WAAW,EAAlC,gBAAgB;IACG,aAAa,EAAhC,MAAM,KAAK,CAAC;IACO,cAAc,EAAjC,MAAM,KAAK,CAAC;CACpB,GAAU,iBAAiB,CAwT7B;qCA7WU,MAAM,eACN,MAAM,KACJ,OAAO;2CAiBT,gBAAgB,KACd,OAAO,CAAC,IAAI,CAAC;2BA7BF,cAAc;sCAL6H,4BAA4B;4BAItK,cAAc;8BAHZ,kBAAkB;0BAMtB,aAAa;kCALL,cAAc;sCAFsH,4BAA4B;uCAA5B,4BAA4B;4BAGtK,cAAc"}

package/src/contractSupport/recorder.d.ts

@@ -1,5 +1,5 @@
-export function prepareRecorder(baggage: Baggage, marshaller: ERemote<EMarshaller>): (publisher: import("@agoric/notifier").Publisher<unknown>, storageNode: Remote<StorageNode>, valueShape?: TypedPattern<any> | undefined) => import("@endo/exo").Guarded<{
-    getStorageNode(): Remote<StorageNode>;
+export function prepareRecorder(baggage: Baggage, marshaller: ERemote<EMarshaller>): (publisher: import("@agoric/notifier").Publisher<unknown>, storageNode: Remote<import("@agoric/internal").StorageNode>, valueShape?: TypedPattern<any> | undefined) => import("@endo/exo").Guarded<{
+    getStorageNode(): Remote<import("@agoric/internal").StorageNode>;
     /**
      * Memoizes the remote call to the storage node
      *
@@ -34,8 +34,8 @@ export function prepareRecorderKitMakers(baggage: Baggage, marshaller: ERemote<E
     makeDurablePublishKit: <T>(options?: Parameters<(options?: {
         valueDurability?: "mandatory" | undefined;
     }) => import("@agoric/notifier").DurablePublishKitState>[0]) => PublishKit<T>;
-    makeRecorder: (publisher: import("@agoric/notifier").Publisher<unknown>, storageNode: Remote<StorageNode>, valueShape?: TypedPattern<any> | undefined) => import("@endo/exo").Guarded<{
-        getStorageNode(): Remote<StorageNode>;
+    makeRecorder: (publisher: import("@agoric/notifier").Publisher<unknown>, storageNode: Remote<import("@agoric/internal").StorageNode>, valueShape?: TypedPattern<any> | undefined) => import("@endo/exo").Guarded<{
+        getStorageNode(): Remote<import("@agoric/internal").StorageNode>;
         /**
          * Memoizes the remote call to the storage node
          *
@@ -61,8 +61,8 @@ export function prepareRecorderKitMakers(baggage: Baggage, marshaller: ERemote<E
     makeERecorderKit: <T>(storageNodeP: ERemote<StorageNode>, valueShape?: TypedPattern<T> | undefined) => EventualRecorderKit<T>;
 };
 export namespace RecorderKitShape {
-    let recorder: import("@endo/patterns").Matcher;
-    let subscriber: import("@endo/patterns").Matcher;
+    let recorder: import("@endo/patterns").MatcherOf<"remotable", any>;
+    let subscriber: import("@endo/patterns").MatcherOf<"remotable", any>;
 }
 export type Recorder<T> = {
     getStorageNode(): Remote<StorageNode>;
@@ -82,10 +82,10 @@ export type MakeERecorderKit = ReturnType<typeof defineERecorderKit>;
 import type { Baggage } from '@agoric/vat-data';
 import type { EMarshaller } from '@agoric/internal/src/marshal/wrap-marshaller.js';
 import type { ERemote } from '@agoric/internal';
-import type { StorageNode } from '@agoric/internal/src/lib-chainStorage.js';
 import type { Remote } from '@agoric/internal';
 import type { TypedPattern } from '@agoric/internal';
 import { prepareDurablePublishKit } from '@agoric/notifier';
+import type { StorageNode } from '@agoric/internal/src/lib-chainStorage.js';
 import type { PublishKit } from '@agoric/notifier';
 import type { ERef } from '@agoric/vow';
 //# sourceMappingURL=recorder.d.ts.map

package/src/contractSupport/recorder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"recorder.d.ts","sourceRoot":"","sources":["recorder.js"],"names":[],"mappings":"AAiDO,yCAHI,OAAO,cACP,QAAQ,WAAW,CAAC;;IAmCzB;;;;OAIG;sBADU,OAAO,CAAC,MAAM,CAAC;IAa5B;;;;;OAKG;iBAFQ,GAAG,GACD,OAAO,CAAC,IAAI,CAAC;IAa1B;;;;;OAKG;sBAFQ,GAAG,GACD,OAAO,CAAC,IAAI,CAAC;GAkB/B;AAWM,2EAFI;IAAC,YAAY,EAAE,YAAY,CAAC;IAAC,qBAAqB,EAAE,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAA;CAAC,IAI5F,CAAC,eACH,OAAO,WAAW,CAAC,+CAEjB,WAAW,CAAC,CAAC,CAAC,CAQ5B;AAUM,4EAFI;IAAC,YAAY,EAAE,YAAY,CAAC;IAAC,qBAAqB,EAAE,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAA;CAAC,IAI5F,CAAC,gBACH,QAAQ,WAAW,CAAC,+CAElB,mBAAmB,CAAC,CAAC,CAAC,CAUpC;AAaM,4CAHI,OAAO,cACP,QAAQ,WAAW,CAAC,IA/ChB,CAAC,eACH,OAAO,WAAW,CAAC,+CAEjB,WAAW,CAAC,CAAC,CAAC,CAqD5B;AAaM,kDAHI,OAAO,cACP,QAAQ,WAAW,CAAC;;;;;;QAvIzB;;;;WAIG;0BADU,OAAO,CAAC,MAAM,CAAC;QAa5B;;;;;WAKG;qBAFQ,GAAG,GACD,OAAO,CAAC,IAAI,CAAC;QAa1B;;;;;WAKG;0BAFQ,GAAG,GACD,OAAO,CAAC,IAAI,CAAC;;sBA+BjB,CAAC,eACH,OAAO,WAAW,CAAC,+CAEjB,WAAW,CAAC,CAAC,CAAC;uBAoBd,CAAC,gBACH,QAAQ,WAAW,CAAC,+CAElB,mBAAmB,CAAC,CAAC,CAAC;EAiEpC;;;;;qBApNY,CAAC,IACD;IAAE,cAAc,IAAI,OAAO,WAAW,CAAC,CAAC;IAAC,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAAC,UAAU,CAAC,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CAAE;wBAIjJ,CAAC,IACD,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG;IAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE;gCAI7D,CAAC,IACD,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG;IAAE,SAAS,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE;2BAmGnE,UAAU,CAAC,OAAO,eAAe,CAAC;8BAuBlC,UAAU,CAAC,OAAO,iBAAiB,CAAC;+BA0BpC,UAAU,CAAC,OAAO,kBAAkB,CAAC;6BAjLzB,kBAAkB;iCAFd,iDAAiD;6BAD/B,kBAAkB;iCAIpC,0CAA0C;4BAJxB,kBAAkB;kCAAlB,kBAAkB;yCAPzB,kBAAkB;gCAS9B,kBAAkB;0BAGxB,aAAa"}
+{"version":3,"file":"recorder.d.ts","sourceRoot":"","sources":["recorder.js"],"names":[],"mappings":"AAiDO,yCAHI,OAAO,cACP,QAAQ,WAAW,CAAC;;IAmCzB;;;;OAIG;sBADU,OAAO,CAAC,MAAM,CAAC;IAa5B;;;;;OAKG;iBAFQ,GAAG,GACD,OAAO,CAAC,IAAI,CAAC;IAa1B;;;;;OAKG;sBAFQ,GAAG,GACD,OAAO,CAAC,IAAI,CAAC;GAkB/B;AAWM,2EAFI;IAAC,YAAY,EAAE,YAAY,CAAC;IAAC,qBAAqB,EAAE,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAA;CAAC,IAI5F,CAAC,eACH,OAAO,WAAW,CAAC,+CAEjB,WAAW,CAAC,CAAC,CAAC,CAQ5B;AAUM,4EAFI;IAAC,YAAY,EAAE,YAAY,CAAC;IAAC,qBAAqB,EAAE,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAA;CAAC,IAI5F,CAAC,gBACH,QAAQ,WAAW,CAAC,+CAElB,mBAAmB,CAAC,CAAC,CAAC,CAUpC;AAaM,4CAHI,OAAO,cACP,QAAQ,WAAW,CAAC,IA/ChB,CAAC,eACH,OAAO,WAAW,CAAC,+CAEjB,WAAW,CAAC,CAAC,CAAC,CAqD5B;AAaM,kDAHI,OAAO,cACP,QAAQ,WAAW,CAAC;;;;;;QAvIzB;;;;WAIG;0BADU,OAAO,CAAC,MAAM,CAAC;QAa5B;;;;;WAKG;qBAFQ,GAAG,GACD,OAAO,CAAC,IAAI,CAAC;QAa1B;;;;;WAKG;0BAFQ,GAAG,GACD,OAAO,CAAC,IAAI,CAAC;;sBA+BjB,CAAC,eACH,OAAO,WAAW,CAAC,+CAEjB,WAAW,CAAC,CAAC,CAAC;uBAoBd,CAAC,gBACH,QAAQ,WAAW,CAAC,+CAElB,mBAAmB,CAAC,CAAC,CAAC;EAiEpC;;;;;qBApNY,CAAC,IACD;IAAE,cAAc,IAAI,OAAO,WAAW,CAAC,CAAC;IAAC,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAAC,UAAU,CAAC,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CAAE;wBAIjJ,CAAC,IACD,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG;IAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE;gCAI7D,CAAC,IACD,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG;IAAE,SAAS,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE;2BAmGnE,UAAU,CAAC,OAAO,eAAe,CAAC;8BAuBlC,UAAU,CAAC,OAAO,iBAAiB,CAAC;+BA0BpC,UAAU,CAAC,OAAO,kBAAkB,CAAC;6BAjLzB,kBAAkB;iCAFd,iDAAiD;6BAD/B,kBAAkB;4BAAlB,kBAAkB;kCAAlB,kBAAkB;yCAPzB,kBAAkB;iCAW7B,0CAA0C;gCAF3C,kBAAkB;0BAGxB,aAAa"}