@agoric/zoe 0.26.3-upgrade-18a-dev-4ee0508.0 → 0.26.3-upgrade-20-dev-086463b.0

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

@@ -1 +1 @@
-{"version":3,"file":"priceAuthorityInitial.d.ts","sourceRoot":"","sources":["priceAuthorityInitial.js"],"names":[],"mappings":"AA6BO,oDAPI,KAAK,kBACL,cAAc,aACd,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,WACnC,KAAK,CAAC,KAAK,CAAC,YACZ,KAAK,CAAC,KAAK,CAAC,GACV,cAAc,CAyF1B;oCAvG4F,4BAA4B;sCAA5B,4BAA4B"}
+{"version":3,"file":"priceAuthorityInitial.d.ts","sourceRoot":"","sources":["priceAuthorityInitial.js"],"names":[],"mappings":"AA+BO,oDAPI,KAAK,kBACL,cAAc,aACd,IAAI,CAAC,KAAK,KAAK,EAAE,gBAAgB,CAAC,CAAC,WACnC,MAAM,KAAK,CAAC,YACZ,MAAM,KAAK,CAAC,GACV,cAAc,CAyF1B;oCAvG4F,4BAA4B;sCAA5B,4BAA4B;0BAFnF,cAAc;2BAAd,cAAc"}

package/src/contractSupport/priceAuthorityInitial.js

@@ -7,10 +7,12 @@ import { Far } from '@endo/marshal';
 import { makeNotifier } from '@agoric/notifier';
 import { AmountMath } from '@agoric/ertp';
 
-import { multiplyBy } from './ratio.js';
+import { multiplyBy } from '@agoric/ertp/src/ratio.js';
 import { mintQuote } from './priceAuthorityTransform.js';
 
 /**
+ * @import {Amount, Brand, Mint} from '@agoric/ertp';
+ * @import {Notifier} from '@agoric/notifier';
  * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
  */
 

package/src/contractSupport/priceQuote.d.ts

@@ -4,6 +4,7 @@ export function getAmountOut(quote: PriceQuote): import("@agoric/ertp").NatAmoun
 /** @type {(quote: PriceQuote) => import('@agoric/time').Timestamp} */
 export const getTimestamp: (quote: PriceQuote) => import("@agoric/time").Timestamp;
 export function unitAmount(brand: Brand<"nat">): Promise<import("@agoric/ertp").NatAmount>;
+export function makePriceQuoteIssuer(): IssuerKit<"set", PriceDescription>;
 import type { PriceQuote } from '@agoric/zoe/tools/types.js';
 import type { PriceDescription } from '@agoric/zoe/tools/types.js';
 //# sourceMappingURL=priceQuote.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"priceQuote.d.ts","sourceRoot":"","sources":["priceQuote.js"],"names":[],"mappings":"AAoBO,2CAHI,UAAU,GACR,gBAAgB,CAM5B;AAGM,mCADK,UAAU,oCACiD;AAEhE,oCADK,UAAU,oCACmD;AACzE,sEAAsE;AACtE,2BADW,CAAC,KAAK,EAAE,UAAU,KAAK,OAAO,cAAc,EAAE,SAAS,CACQ;AAGnE,kCADK,KAAK,CAAC,KAAK,CAAC,6CAMvB;gCA/B4F,4BAA4B;sCAA5B,4BAA4B"}
+{"version":3,"file":"priceQuote.d.ts","sourceRoot":"","sources":["priceQuote.js"],"names":[],"mappings":"AAoBO,2CAHI,UAAU,GACR,gBAAgB,CAM5B;AAGM,mCADK,UAAU,oCACiD;AAEhE,oCADK,UAAU,oCACmD;AACzE,sEAAsE;AACtE,2BADW,CAAC,KAAK,EAAE,UAAU,KAAK,OAAO,cAAc,EAAE,SAAS,CACQ;AAGnE,kCADK,KAAK,CAAC,KAAK,CAAC,6CAMvB;AAGM,wCACM,SAAS,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAE5C;gCArC0F,4BAA4B;sCAA5B,4BAA4B"}

package/src/contractSupport/priceQuote.js

@@ -3,7 +3,7 @@
 import { Fail } from '@endo/errors';
 import { Nat } from '@endo/nat';
 import { E } from '@endo/eventual-send';
-import { AmountMath } from '@agoric/ertp';
+import { AmountMath, AssetKind, makeIssuerKit } from '@agoric/ertp';
 
 /**
  * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
@@ -39,3 +39,8 @@ export const unitAmount = async brand => {
   return AmountMath.make(brand, 10n ** Nat(decimalPlaces));
 };
 harden(unitAmount);
+
+export const makePriceQuoteIssuer = () =>
+  /** @type {IssuerKit<'set', PriceDescription>} */ (
+    makeIssuerKit('quote', AssetKind.SET)
+  );

package/src/contractSupport/recorder.d.ts

@@ -31,19 +31,9 @@ export function defineERecorderKit({ makeRecorder, makeDurablePublishKit }: {
 }): <T>(storageNodeP: ERef<StorageNode>, valueShape?: TypedPattern<T> | undefined) => EventualRecorderKit<T>;
 export function prepareRecorderKit(baggage: import("@agoric/vat-data").Baggage, marshaller: ERef<Marshaller>): <T>(storageNode: StorageNode | Awaited<import("@endo/far").FarRef<StorageNode>>, valueShape?: TypedPattern<T> | undefined) => RecorderKit<T>;
 export function prepareRecorderKitMakers(baggage: import("@agoric/vat-data").Baggage, marshaller: ERef<Marshaller>): {
-    makeDurablePublishKit: (options?: {
+    makeDurablePublishKit: <T>(options?: Parameters<(options?: {
         valueDurability?: "mandatory" | undefined;
-    } | undefined) => import("@endo/exo").GuardedKit<{
-        publisher: {
-            publish(value: any): void;
-            finish(finalValue: any): void;
-            fail(reason: any): void;
-        };
-        subscriber: {
-            subscribeAfter(publishCount?: bigint): Promise<any>;
-            getUpdateSince(updateCount: any): any;
-        };
-    }>;
+    }) => import("@agoric/notifier").DurablePublishKitState>[0]) => PublishKit<T>;
     makeRecorder: (publisher: globalThis.Publisher<unknown>, storageNode: import("@endo/eventual-send").DataOnly<globalThis.StorageNode> & import("@endo/eventual-send").RemotableBrand<import("@endo/eventual-send").DataOnly<globalThis.StorageNode>, globalThis.StorageNode>, valueShape?: TypedPattern<any> | undefined) => import("@endo/exo").Guarded<{
         getStorageNode(): import("@endo/eventual-send").DataOnly<globalThis.StorageNode> & import("@endo/eventual-send").RemotableBrand<import("@endo/eventual-send").DataOnly<globalThis.StorageNode>, globalThis.StorageNode>;
         /**
@@ -74,19 +64,9 @@ export function prepareMockRecorderKitMakers(): {
     storageNode: globalThis.StorageNode & {
         countSetValueCalls: () => number;
     };
-    makeDurablePublishKit: (options?: {
+    makeDurablePublishKit: <T>(options?: Parameters<(options?: {
         valueDurability?: "mandatory" | undefined;
-    } | undefined) => import("@endo/exo").GuardedKit<{
-        publisher: {
-            publish(value: any): void;
-            finish(finalValue: any): void;
-            fail(reason: any): void;
-        };
-        subscriber: {
-            subscribeAfter(publishCount?: bigint): Promise<any>;
-            getUpdateSince(updateCount: any): any;
-        };
-    }>;
+    }) => import("@agoric/notifier").DurablePublishKitState>[0]) => PublishKit<T>;
     makeRecorder: (publisher: globalThis.Publisher<unknown>, storageNode: import("@endo/eventual-send").DataOnly<globalThis.StorageNode> & import("@endo/eventual-send").RemotableBrand<import("@endo/eventual-send").DataOnly<globalThis.StorageNode>, globalThis.StorageNode>, valueShape?: TypedPattern<any> | undefined) => import("@endo/exo").Guarded<{
         getStorageNode(): import("@endo/eventual-send").DataOnly<globalThis.StorageNode> & import("@endo/eventual-send").RemotableBrand<import("@endo/eventual-send").DataOnly<globalThis.StorageNode>, globalThis.StorageNode>;
         /**
@@ -113,6 +93,10 @@ export function prepareMockRecorderKitMakers(): {
     makeRecorderKit: <T>(storageNode: StorageNode | Awaited<import("@endo/far").FarRef<StorageNode>>, valueShape?: TypedPattern<T> | undefined) => RecorderKit<T>;
     makeERecorderKit: <T>(storageNodeP: ERef<StorageNode>, valueShape?: TypedPattern<T> | undefined) => EventualRecorderKit<T>;
 };
+export namespace RecorderKitShape {
+    let recorder: import("@endo/patterns").Matcher;
+    let subscriber: import("@endo/patterns").Matcher;
+}
 export type Recorder<T> = {
     getStorageNode(): Awaited<import("@endo/far").FarRef<StorageNode>>;
     getStoragePath(): Promise<string>;

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

@@ -1 +1 @@
-{"version":3,"file":"recorder.d.ts","sourceRoot":"","sources":["recorder.js"],"names":[],"mappings":"AAgDO,yCAHI,OAAO,kBAAkB,EAAE,OAAO,cAClC,IAAI,CAAC,UAAU,CAAC;;IAmCrB;;;;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,WAAW,GAAG,OAAO,CAAC,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,+CAE5D,WAAW,CAAC,CAAC,CAAC,CAc5B;AAUM,4EAFI;IAAC,YAAY,EAAE,YAAY,CAAC;IAAC,qBAAqB,EAAE,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAA;CAAC,IAI5F,CAAC,gBACH,IAAI,CAAC,WAAW,CAAC,+CAEf,mBAAmB,CAAC,CAAC,CAAC,CAepC;AAaM,4CAHI,OAAO,kBAAkB,EAAE,OAAO,cAClC,IAAI,CAAC,UAAU,CAAC,IA1DZ,CAAC,eACH,WAAW,GAAG,OAAO,CAAC,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,+CAE5D,WAAW,CAAC,CAAC,CAAC,CAgE5B;AAaM,kDAHI,OAAO,kBAAkB,EAAE,OAAO,cAClC,IAAI,CAAC,UAAU,CAAC;;;;;;;;;;;;;;;;QAlJrB;;;;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,WAAW,GAAG,OAAO,CAAC,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,+CAE5D,WAAW,CAAC,CAAC,CAAC;uBA0Bd,CAAC,gBACH,IAAI,CAAC,WAAW,CAAC,+CAEf,mBAAmB,CAAC,CAAC,CAAC;EAsEpC;AAKM;;;;;;;;;;;;;;;;;;;QA/KD;;;;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,WAAW,GAAG,OAAO,CAAC,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,+CAE5D,WAAW,CAAC,CAAC,CAAC;uBA0Bd,CAAC,gBACH,IAAI,CAAC,WAAW,CAAC,+CAEf,mBAAmB,CAAC,CAAC,CAAC;EAkFpC;qBA3OY,CAAC,IACD;IAAE,cAAc,IAAI,OAAO,CAAC,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,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;wBAI9K,CAAC,IACD,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG;IAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE;gCAI7D,CAAC,IACD,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG;IAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE;2BAmGnE,UAAU,CAAC,OAAO,eAAe,CAAC;8BA6BlC,UAAU,CAAC,OAAO,iBAAiB,CAAC;+BA+BpC,UAAU,CAAC,OAAO,kBAAkB,CAAC;kCA1LpB,kBAAkB;yCAVR,kBAAkB"}
+{"version":3,"file":"recorder.d.ts","sourceRoot":"","sources":["recorder.js"],"names":[],"mappings":"AAgDO,yCAHI,OAAO,kBAAkB,EAAE,OAAO,cAClC,IAAI,CAAC,UAAU,CAAC;;IAmCrB;;;;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,WAAW,GAAG,OAAO,CAAC,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,+CAE5D,WAAW,CAAC,CAAC,CAAC,CAc5B;AAUM,4EAFI;IAAC,YAAY,EAAE,YAAY,CAAC;IAAC,qBAAqB,EAAE,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAA;CAAC,IAI5F,CAAC,gBACH,IAAI,CAAC,WAAW,CAAC,+CAEf,mBAAmB,CAAC,CAAC,CAAC,CAepC;AAaM,4CAHI,OAAO,kBAAkB,EAAE,OAAO,cAClC,IAAI,CAAC,UAAU,CAAC,IA1DZ,CAAC,eACH,WAAW,GAAG,OAAO,CAAC,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,+CAE5D,WAAW,CAAC,CAAC,CAAC,CAgE5B;AAaM,kDAHI,OAAO,kBAAkB,EAAE,OAAO,cAClC,IAAI,CAAC,UAAU,CAAC;;;;;;QAlJrB;;;;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,WAAW,GAAG,OAAO,CAAC,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,+CAE5D,WAAW,CAAC,CAAC,CAAC;uBA0Bd,CAAC,gBACH,IAAI,CAAC,WAAW,CAAC,+CAEf,mBAAmB,CAAC,CAAC,CAAC;EAsEpC;AAKM;;;;;;;;;QA/KD;;;;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,WAAW,GAAG,OAAO,CAAC,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,+CAE5D,WAAW,CAAC,CAAC,CAAC;uBA0Bd,CAAC,gBACH,IAAI,CAAC,WAAW,CAAC,+CAEf,mBAAmB,CAAC,CAAC,CAAC;EAkFpC;;;;;qBA3OY,CAAC,IACD;IAAE,cAAc,IAAI,OAAO,CAAC,OAAO,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,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;wBAI9K,CAAC,IACD,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG;IAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE;gCAI7D,CAAC,IACD,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG;IAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE;2BAmGnE,UAAU,CAAC,OAAO,eAAe,CAAC;8BA6BlC,UAAU,CAAC,OAAO,iBAAiB,CAAC;+BA+BpC,UAAU,CAAC,OAAO,kBAAkB,CAAC;kCA1LpB,kBAAkB;yCAVR,kBAAkB"}

package/src/contractSupport/recorder.js

@@ -262,3 +262,9 @@ export const prepareMockRecorderKitMakers = () => {
     storageNode: makeFakeStorage('mock recorder storage'),
   };
 };
+
+export const RecorderKitShape = {
+  recorder: M.remotable(),
+  subscriber: M.remotable(),
+};
+harden(RecorderKitShape);

package/src/contractSupport/types-ambient.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";UAMc,OAAO;;;;;WACP,mBAAmB;;;;;;;;YAEnB,mBAAmB;;;;;;;;;;;;;;;kBAqBtB,GAAG,YACH,OAAO,aACP,OAAO,KACL,MAAM;;;;;;;;;;uBAcR,GAAG,YACH,OAAO,aACP,OAAO,KACL,MAAM;;;;4BAIN,MAAM,CAAC,OAAO,EAAC,OAAO,CAAC;;;;;;qEAYvB,oBAAoB;;;;;;;mCAWtB,mBAAmB,GAAG,qBAAqB,GAAG,mBAAmB,GAAG,SAAS,kBAC7E,oBAAoB;;eAKjB,MAAM,CAAC,KAAK,CAAC;iBACb,MAAM,CAAC,KAAK,CAAC;;4BAKhB,MAAM,CAAC,KAAK,CAAC,SACb,KAAK,KACH,MAAM,CAAC,KAAK,CAAC"}
+{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";UAOc,OAAO;;;;;WACP,mBAAmB;;;;;;;;YAEnB,mBAAmB;;;;;;;;;;;;;;;kBAqBtB,GAAG,YACH,OAAO,aACP,OAAO,KACL,MAAM;;;;;;;;;;uBAcR,GAAG,YACH,OAAO,aACP,OAAO,KACL,MAAM;;;;4BAIN,MAAM,CAAC,OAAO,EAAC,OAAO,CAAC;;;;;;qEAYvB,oBAAoB;;;;;;;mCAWtB,mBAAmB,GAAG,qBAAqB,GAAG,mBAAmB,GAAG,SAAS,kBAC7E,oBAAoB;;eAKjB,MAAM,CAAC,KAAK,CAAC;iBACb,MAAM,CAAC,KAAK,CAAC;;4BAKhB,MAAM,CAAC,KAAK,CAAC,SACb,KAAK,KACH,MAAM,CAAC,KAAK,CAAC"}

package/src/contractSupport/types-ambient.js

@@ -1,6 +1,7 @@
 // @jessie-check
 
 /// <reference types="ses" />
+/// <reference types="@agoric/zoe/exported" />
 
 /**
  * @typedef {object} SeatGainsLossesRecord

package/src/contractSupport/zoeHelpers.d.ts

@@ -1,6 +1,10 @@
+/**
+ * @import {Pattern} from '@endo/patterns';
+ * @import {ContractMeta, Invitation, Proposal, ZCF, ZCFSeat} from '@agoric/zoe';
+ */
 export const defaultAcceptanceMsg: "The offer has been accepted. Once the contract has been completed, please check your payout";
 export function assertIssuerKeywords(zcf: any, expected: any): void;
-export function satisfies(zcf: ZCF, seat: ZcfSeatPartial, update: AmountKeywordRecord): 0 | 1;
+export function satisfies(_ignored: any, seat: ZcfSeatPartial, update: AmountKeywordRecord): 0 | 1;
 /** @type {Swap} */
 export const swap: Swap;
 /** @type {SwapExact} */
@@ -11,7 +15,7 @@ export function assertNatAssetKind(zcf: any, brand: any): void;
 export const depositToSeatSuccessMsg: "Deposit and reallocation successful.";
 export function depositToSeat(zcf: ZCF, recipientSeat: ZCFSeat, amounts: AmountKeywordRecord, payments: PaymentPKeywordRecord): Promise<string>;
 export function withdrawFromSeat(zcf: ZCF, seat: ZCFSeat, amounts: AmountKeywordRecord): Promise<PaymentPKeywordRecord>;
-export function saveAllIssuers(zcf: ZCF, issuerKeywordRecord?: IssuerKeywordRecord): Promise<(IssuerRecord<any, import("@endo/patterns").Key> | undefined)[]>;
+export function saveAllIssuers(zcf: ZCF, issuerKeywordRecord?: IssuerKeywordRecord): Promise<(ZoeIssuerRecord<any, import("@endo/patterns").Key> | undefined)[]>;
 /** @type {MapKeywords} */
 export const mapKeywords: MapKeywords;
 export function offerTo<Args extends unknown, Result extends unknown>(zcf: ZCF, invitation: ERef<Invitation<Result, Args>>, keywordMapping: KeywordKeywordRecord | undefined, proposal: Proposal, fromSeat: ZCFSeat, toSeat?: ZCFSeat, offerArgs?: Args): Promise<{
@@ -27,4 +31,9 @@ export type ExpectedRecord = {
     give?: Record<string, null> | undefined;
     exit?: Partial<Record<never, null>> | undefined;
 };
+import type { ZCFSeat } from '@agoric/zoe';
+import type { Pattern } from '@endo/patterns';
+import type { ZCF } from '@agoric/zoe';
+import type { Invitation } from '@agoric/zoe';
+import type { Proposal } from '@agoric/zoe';
 //# sourceMappingURL=zoeHelpers.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"zoeHelpers.d.ts","sourceRoot":"","sources":["zoeHelpers.js"],"names":[],"mappings":"AASA,iIAAkI;AAI3H,oEAON;AAuBM,+BALI,GAAG,QACH,cAAc,UACd,mBAAmB,GACjB,CAAC,GAAC,CAAC,CAOf;AAED,mBAAmB;AACnB,mBADW,IAAI,CAkBb;AAEF,wBAAwB;AACxB,wBADW,SAAS,CAqBlB;AAiBK,uCAHI,OAAO,iBACP,OAAO,QAIgD;AAsB3D,0CAHI,OAAO,YACP,cAAc,QA8BxB;AAGM,+DAGN;AAED,6EAA8E;AAavE,mCANI,GAAG,iBACH,OAAO,WACP,mBAAmB,YACnB,qBAAqB,GACnB,OAAO,CAAC,MAAM,CAAC,CA8B3B;AAYM,sCALI,GAAG,QACH,OAAO,WACP,mBAAmB,GACjB,OAAO,CAAC,qBAAqB,CAAC,CAQ1C;AAWM,oCAJI,GAAG,wBACH,mBAAmB,4EAgB7B;AAED,0BAA0B;AAC1B,0BADW,WAAW,CAYpB;AAiDK,wBAHe,IAAI,kBACJ,MAAM,uBA/BjB,GAAG,cAGH,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,kBAG9B,oBAAoB,GAAG,SAAS,YAKhC,QAAQ,YAGR,OAAO,WAGP,OAAO,cAIP,IAAI,GAGF,OAAO,CAAC;IAAC,eAAe,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAA;CAAC,CAAC,CA+D1G;;iBAxVa,MAAM,cAAc;0BACpB,MAAM,UAAU"}
+{"version":3,"file":"zoeHelpers.d.ts","sourceRoot":"","sources":["zoeHelpers.js"],"names":[],"mappings":"AASA;;;GAGG;AAEH,iIAAkI;AAI3H,oEAON;AAuBM,oCALI,GAAG,QACH,cAAc,UACd,mBAAmB,GACjB,CAAC,GAAC,CAAC,CAOf;AAED,mBAAmB;AACnB,mBADW,IAAI,CAkBb;AAEF,wBAAwB;AACxB,wBADW,SAAS,CAqBlB;AAiBK,uCAHI,OAAO,iBACP,OAAO,QAIgD;AAsB3D,0CAHI,OAAO,YACP,cAAc,QA8BxB;AAGM,+DAGN;AAED,6EAA8E;AAavE,mCANI,GAAG,iBACH,OAAO,WACP,mBAAmB,YACnB,qBAAqB,GACnB,OAAO,CAAC,MAAM,CAAC,CA8B3B;AAYM,sCALI,GAAG,QACH,OAAO,WACP,mBAAmB,GACjB,OAAO,CAAC,qBAAqB,CAAC,CAQ1C;AAWM,oCAJI,GAAG,wBACH,mBAAmB,+EAgB7B;AAED,0BAA0B;AAC1B,0BADW,WAAW,CAYpB;AAiDK,wBAHe,IAAI,kBACJ,MAAM,uBA/BjB,GAAG,cAGH,IAAI,CAAC,WAAW,MAAM,EAAE,IAAI,CAAC,CAAC,kBAG9B,oBAAoB,GAAG,SAAS,YAKhC,QAAQ,YAGR,OAAO,WAGP,OAAO,cAIP,IAAI,GAGF,OAAO,CAAC;IAAC,eAAe,EAAE,OAAO,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAA;CAAC,CAAC,CA+D1G;;iBAxVa,MAAM,cAAc;0BACpB,MAAM,UAAU;;;;;;;6BAnBqC,aAAa;6BADtD,gBAAgB;yBACyB,aAAa;gCAAb,aAAa;8BAAb,aAAa"}

package/src/contractSupport/zoeHelpers.js

@@ -7,6 +7,11 @@ import { fromUniqueEntries } from '@agoric/internal';
 import { satisfiesWant } from '../contractFacet/offerSafety.js';
 import { atomicTransfer, fromOnly, toOnly } from './atomicTransfer.js';
 
+/**
+ * @import {Pattern} from '@endo/patterns';
+ * @import {ContractMeta, Invitation, Proposal, ZCF, ZCFSeat} from '@agoric/zoe';
+ */
+
 export const defaultAcceptanceMsg = `The offer has been accepted. Once the contract has been completed, please check your payout`;
 
 const getKeysSorted = obj => harden(Reflect.ownKeys(obj || {}).sort());
@@ -36,12 +41,12 @@ export const assertIssuerKeywords = (zcf, expected) => {
  * false and 1 for true. When multiples are introduced, any
  * positive return value will mean true.
  *
- * @param {ZCF} zcf
+ * @param {any} _ignored no longer used.
  * @param {ZcfSeatPartial} seat
  * @param {AmountKeywordRecord} update
  * @returns {0|1}
  */
-export const satisfies = (zcf, seat, update) => {
+export const satisfies = (_ignored, seat, update) => {
   const currentAllocation = seat.getCurrentAllocation();
   const newAllocation = { ...currentAllocation, ...update };
   const proposal = seat.getProposal();

package/src/contracts/atomicSwap.d.ts

@@ -11,6 +11,6 @@
  * @param {ZCF} zcf
  */
 export function start(zcf: ZCF): {
-    creatorInvitation: Promise<Invitation<unknown, never>>;
+    creatorInvitation: Promise<globalThis.Invitation<unknown, never>>;
 };
 //# sourceMappingURL=atomicSwap.d.ts.map

package/src/contracts/auction/index.d.ts

@@ -26,8 +26,8 @@ export function start(zcf: ZCF<{
     winnerPriceOption?: "first-price" | "second-price";
     bidDuration: bigint;
 }>): {
-    creatorInvitation: Promise<Invitation<{
-        makeBidInvitation: () => Promise<Invitation<unknown, never>>;
+    creatorInvitation: Promise<globalThis.Invitation<{
+        makeBidInvitation: () => Promise<globalThis.Invitation<unknown, never>>;
         getSessionDetails: () => {
             auctionedAssets: any;
             minimumBid: any;
@@ -38,7 +38,7 @@ export function start(zcf: ZCF<{
             bids: string | any[];
         };
     } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
-        makeBidInvitation: () => Promise<Invitation<unknown, never>>;
+        makeBidInvitation: () => Promise<globalThis.Invitation<unknown, never>>;
         getSessionDetails: () => {
             auctionedAssets: any;
             minimumBid: any;

package/src/contracts/automaticRefund.d.ts

@@ -13,13 +13,13 @@
  * @param {ZCF<{}>} zcf
  */
 export function start(zcf: ZCF<{}>): {
-    creatorInvitation: Promise<Invitation<unknown, never>>;
+    creatorInvitation: Promise<globalThis.Invitation<unknown, never>>;
     publicFacet: {
         getOffersCount: () => bigint;
-        makeInvitation: () => Promise<Invitation<unknown, never>>;
+        makeInvitation: () => Promise<globalThis.Invitation<unknown, never>>;
     } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
         getOffersCount: () => bigint;
-        makeInvitation: () => Promise<Invitation<unknown, never>>;
+        makeInvitation: () => Promise<globalThis.Invitation<unknown, never>>;
     }>;
 };
 //# sourceMappingURL=automaticRefund.d.ts.map

package/src/contracts/autoswap.d.ts

@@ -1,3 +1,6 @@
+/**
+ * @import {OfferHandler, ZCF} from '@agoric/zoe';
+ */
 /**
  * Autoswap is a rewrite of Uniswap. Please see the documentation for
  * more https://agoric.com/documentation/zoe/guide/contracts/autoswap.html
@@ -40,4 +43,5 @@
 export function start(zcf: ZCF): Promise<{
     publicFacet: AutoswapPublicFacet;
 }>;
+import type { ZCF } from '@agoric/zoe';
 //# sourceMappingURL=autoswap.d.ts.map

package/src/contracts/autoswap.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"autoswap.d.ts","sourceRoot":"","sources":["autoswap.js"],"names":[],"mappings":"AAeA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,2BAFW,GAAG;;GAwVb"}
+{"version":3,"file":"autoswap.d.ts","sourceRoot":"","sources":["autoswap.js"],"names":[],"mappings":"AAeA;;GAEG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,2BAFW,GAAG;;GAwVb;yBAhYmC,aAAa"}

package/src/contracts/autoswap.js

@@ -13,6 +13,10 @@ import {
   calcSecondaryRequired,
 } from '../contractSupport/index.js';
 
+/**
+ * @import {OfferHandler, ZCF} from '@agoric/zoe';
+ */
+
 /**
  * Autoswap is a rewrite of Uniswap. Please see the documentation for
  * more https://agoric.com/documentation/zoe/guide/contracts/autoswap.html

package/src/contracts/barterExchange.d.ts

@@ -14,9 +14,9 @@
  */
 export function start(zcf: ZCF): {
     publicFacet: {
-        makeInvitation: () => Promise<Invitation<unknown, never>>;
+        makeInvitation: () => Promise<globalThis.Invitation<unknown, never>>;
     } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
-        makeInvitation: () => Promise<Invitation<unknown, never>>;
+        makeInvitation: () => Promise<globalThis.Invitation<unknown, never>>;
     }>;
 };
 //# sourceMappingURL=barterExchange.d.ts.map

package/src/contracts/callSpread/fundedCallSpread.d.ts

@@ -58,7 +58,7 @@ export function start(zcf: ZCF<{
     expiration: bigint;
     underlyingAmount: Amount;
 }>): Promise<{
-    creatorInvitation: Promise<Invitation<unknown, never>>;
+    creatorInvitation: Promise<globalThis.Invitation<unknown, never>>;
 }>;
 import type { PriceAuthority } from '@agoric/zoe/tools/types.js';
 //# sourceMappingURL=fundedCallSpread.d.ts.map

package/src/contracts/callSpread/pricedCallSpread.d.ts

@@ -53,13 +53,13 @@ export function start(zcf: ZCF<{
 }>): {
     creatorFacet: {
         makeInvitationPair: (longCollateralShare: any) => {
-            longInvitation: Promise<Invitation<unknown, never>>;
-            shortInvitation: Promise<Invitation<unknown, never>>;
+            longInvitation: Promise<globalThis.Invitation<unknown, never>>;
+            shortInvitation: Promise<globalThis.Invitation<unknown, never>>;
         };
     } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
         makeInvitationPair: (longCollateralShare: any) => {
-            longInvitation: Promise<Invitation<unknown, never>>;
-            shortInvitation: Promise<Invitation<unknown, never>>;
+            longInvitation: Promise<globalThis.Invitation<unknown, never>>;
+            shortInvitation: Promise<globalThis.Invitation<unknown, never>>;
         };
     }>;
 };

package/src/contracts/coveredCall-durable.d.ts

@@ -15,7 +15,7 @@
  */
 export function start(zcf: ZCF, _privateArgs: unknown, instanceBaggage: import("@agoric/vat-data").Baggage): Promise<{
     creatorFacet: import("@endo/exo").Guarded<{
-        makeInvitation(): Promise<Invitation<unknown, never>>;
+        makeInvitation(): Promise<globalThis.Invitation<unknown, never>>;
     }>;
 }>;
 //# sourceMappingURL=coveredCall-durable.d.ts.map

package/src/contracts/coveredCall.d.ts

@@ -59,6 +59,6 @@
  * @param {ZCF} zcf
  */
 export function start(zcf: ZCF): {
-    creatorInvitation: Promise<Invitation<unknown, never>>;
+    creatorInvitation: Promise<globalThis.Invitation<unknown, never>>;
 };
 //# sourceMappingURL=coveredCall.d.ts.map

package/src/contracts/coveredCall.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"coveredCall.d.ts","sourceRoot":"","sources":["coveredCall.js"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AACH,2BAFW,GAAG;;EA6Cb"}
+{"version":3,"file":"coveredCall.d.ts","sourceRoot":"","sources":["coveredCall.js"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AACH,2BAFW,GAAG;;EAwCb"}

package/src/contracts/coveredCall.js

@@ -1,5 +1,5 @@
 import { Fail, q } from '@endo/errors';
-import { M, mustMatch } from '@agoric/store';
+
 // Eventually will be importable from '@agoric/zoe-contract-support'
 import { swapExact } from '../contractSupport/index.js';
 import { isAfterDeadlineExitRule } from '../typeGuards.js';
@@ -69,11 +69,6 @@ const start = zcf => {
 
   /** @type {OfferHandler} */
   const makeOption = sellSeat => {
-    mustMatch(
-      sellSeat.getProposal(),
-      M.splitRecord({ exit: { afterDeadline: M.any() } }),
-      'exit afterDeadline',
-    );
     const sellSeatExitRule = sellSeat.getProposal().exit;
     if (!isAfterDeadlineExitRule(sellSeatExitRule)) {
       throw Fail`the seller must have an afterDeadline exitRule, but instead had ${q(

package/src/contracts/loan/index.d.ts

@@ -62,7 +62,7 @@ export function start(zcf: ZCF<{
     interestRate: Ratio;
     interestPeriod: bigint;
 }>): Promise<{
-    creatorInvitation: Promise<Invitation<unknown, undefined>>;
+    creatorInvitation: Promise<globalThis.Invitation<unknown, undefined>>;
 }>;
 import type { PriceAuthority } from '@agoric/zoe/tools/types.js';
 //# sourceMappingURL=index.d.ts.map

package/src/contracts/loan/types-ambient.d.ts

@@ -39,7 +39,7 @@ type LenderSeatProperty = {
     /**
      *   The ZCFSeat representing the lender's position in the contract.
      */
-    lenderSeat: ZCFSeat;
+    lenderSeat: import("../../types-index").ZCFSeat;
 };
 /**
  * The loan now has a lenderSeat, which is added to the config.
@@ -50,7 +50,7 @@ type BorrowerConfigProperties = {
      *   The ZCFSeat holding the collateral in escrow after the borrower
      *   escrows it
      */
-    collateralSeat: ZCFSeat;
+    collateralSeat: import("../../types-index").ZCFSeat;
     /**
      *   A function to get the current debt
      */
@@ -66,7 +66,7 @@ type BorrowerConfigPropertiesMinusDebt = {
      *   The ZCFSeat holding the collateral in escrow after the borrower
      *   escrows it
      */
-    collateralSeat: ZCFSeat;
+    collateralSeat: import("../../types-index").ZCFSeat;
     /**
      *   PromiseKit that includes a promise that resolves to a PriceQuote
      *   when liquidation is triggered
@@ -78,15 +78,15 @@ type BorrowerConfigPropertiesMinusDebt = {
  */
 type LoanConfigWithBorrower = LoanConfigWithLender & BorrowerConfigProperties;
 type LoanConfigWithBorrowerMinusDebt = LoanConfigWithLender & BorrowerConfigPropertiesMinusDebt;
-type ScheduleLiquidation = (zcf: ZCF, config: LoanConfigWithBorrower) => any;
-type MakeLendInvitation = (zcf: ZCF, config: LoanTerms) => Promise<Invitation>;
-type MakeBorrowInvitation = (zcf: ZCF, config: LoanConfigWithLender) => Promise<Invitation>;
-type MakeCloseLoanInvitation = (zcf: ZCF, config: LoanConfigWithBorrower) => Promise<Invitation>;
+type ScheduleLiquidation = (zcf: import("../../types-index").ZCF, config: LoanConfigWithBorrower) => any;
+type MakeLendInvitation = (zcf: import("../../types-index").ZCF, config: LoanTerms) => Promise<import("../../types-index").Invitation>;
+type MakeBorrowInvitation = (zcf: import("../../types-index").ZCF, config: LoanConfigWithLender) => Promise<import("../../types-index").Invitation>;
+type MakeCloseLoanInvitation = (zcf: import("../../types-index").ZCF, config: LoanConfigWithBorrower) => Promise<import("../../types-index").Invitation>;
 /**
  * Allows holder to add collateral to the contract. Exits the seat
  * after adding.
  */
-type MakeAddCollateralInvitation = (zcf: ZCF, config: LoanConfigWithBorrower) => Promise<Invitation>;
+type MakeAddCollateralInvitation = (zcf: import("../../types-index").ZCF, config: LoanConfigWithBorrower) => Promise<import("../../types-index").Invitation>;
 type MakeDebtCalculator = (debtCalculatorConfig: DebtCalculatorConfig) => any;
 type CalcInterestFn = (oldDebt: Amount<"nat">, interestRate: Ratio) => Amount<"nat">;
 type DebtCalculatorConfig = {
@@ -108,7 +108,7 @@ type DebtCalculatorConfig = {
      *  the period at which the outstanding debt increases by the interestRate
      */
     interestPeriod: import("@agoric/time").RelativeTime;
-    zcf: ZCF;
+    zcf: import("../../types-index").ZCF;
     configMinusGetDebt: LoanConfigWithBorrowerMinusDebt;
     /**
      * The starting point from which to calculate
@@ -117,7 +117,7 @@ type DebtCalculatorConfig = {
     basetime: import("@agoric/time").Timestamp;
 };
 type ConfigMinusGetDebt = {
-    collateralSeat: ZCFSeat;
+    collateralSeat: import("../../types-index").ZCFSeat;
     liquidationPromiseKit: PromiseRecord<any>;
     mmr?: bigint | undefined;
     autoswapInstance: Handle<"Instance">;
@@ -125,18 +125,18 @@ type ConfigMinusGetDebt = {
     periodNotifier: PeriodNotifier;
     interestRate: bigint;
     interestPeriod: import("@agoric/time").RelativeTime;
-    lenderSeat: ZCFSeat;
+    lenderSeat: import("../../types-index").ZCFSeat;
 };
 type BorrowFacet = {
     /**
      * Make an invitation to close the loan by repaying the debt
      *   (including interest).
      */
-    makeCloseLoanInvitation: () => Promise<Invitation>;
+    makeCloseLoanInvitation: () => Promise<import("../../types-index").Invitation>;
     /**
      * Make an invitation to add collateral to protect against liquidation
      */
-    makeAddCollateralInvitation: () => Promise<Invitation>;
+    makeAddCollateralInvitation: () => Promise<import("../../types-index").Invitation>;
     /**
      * Get a promise for a priceQuote that will resolve if liquidation
      * occurs. The priceQuote is for the value of the collateral that

package/src/contracts/loan/types-ambient.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";;;;;;;sBACa,QAAQ,CAAC,OAAO,cAAc,EAAE,eAAe,CAAC;;;;;;;wBAUhD,QAAQ;;;;;;SAUP,KAAK;sBAGL,gBAAgB;;;;;oBAEhB,OAAO,yBAAyB,EAAE,cAAc;oBAKhD,cAAc;;;;;kBAEd,KAAK;oBAIL,OAAO,cAAc,EAAE,YAAY;eAEnC,KAAK;qBACL,KAAK;;;;;;gBAKL,OAAO;;;;;4BAMR,SAAS,GAAG,kBAAkB;;;;;;oBAQ7B,OAAO;;;;aAKP,MAAM,MAAM,CAAC,KAAK,CAAC;;;;;2BAInB,aAAa,CAAC,OAAO,yBAAyB,EAAE,UAAU,CAAC;;;;;;;oBAS3D,OAAO;;;;;2BAKP,aAAa,CAAC,OAAO,yBAAyB,EAAE,UAAU,CAAC;;;;;8BAO5D,oBAAoB,GAAG,wBAAwB;uCAM/C,oBAAoB,GAAG,iCAAiC;iCAM1D,GAAG,UACH,sBAAsB;gCAKtB,GAAG,UACH,SAAS,KACP,OAAO,CAAC,UAAU,CAAC;kCAKrB,GAAG,UACH,oBAAoB,KAClB,OAAO,CAAC,UAAU,CAAC;qCAKrB,GAAG,UACH,sBAAsB,KACpB,OAAO,CAAC,UAAU,CAAC;;;;;yCAQrB,GAAG,UACH,sBAAsB,KACpB,OAAO,CAAC,UAAU,CAAC;iDAKrB,oBAAoB;gCAKpB,MAAM,CAAC,KAAK,CAAC,gBACb,KAAK,KACH,MAAM,CAAC,KAAK,CAAC;;;;;;oBAKZ,cAAc;;;;kBAKd,MAAM,CAAC,KAAK,CAAC;;;;oBAIb,cAAc;kBAId,KAAK;;;;oBACL,OAAO,cAAc,EAAE,YAAY;SAInC,GAAG;wBAEH,+BAA+B;;;;;cAC/B,OAAO,cAAc,EAAE,SAAS;;;oBAMhC,OAAO;2BACP,aAAa,CAAC,GAAG,CAAC;;sBAElB,MAAM,CAAC,UAAU,CAAC;oBAClB,OAAO,yBAAyB,EAAE,cAAc;oBAChD,cAAc;kBACd,MAAM;oBACN,OAAO,cAAc,EAAE,YAAY;gBACnC,OAAO;;;;;;;6BAMP,MAAM,OAAO,CAAC,UAAU,CAAC;;;;iCAKzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;;;2BAIzB,MAAM,OAAO,CAAC,OAAO,yBAAyB,EAAE,UAAU,CAAC;;;;iCAO3D,MAAM,OAAO,cAAc,EAAE,SAAS;;;;;qBAItC,MAAM,QAAQ,CAAC,MAAM,CAAC;;;;+BAKtB,MAAM,MAAM"}
+{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";;;;;;;sBACa,QAAQ,CAAC,OAAO,cAAc,EAAE,eAAe,CAAC;;;;;;;wBAUhD,QAAQ;;;;;;SAUP,KAAK;sBAGL,gBAAgB;;;;;oBAEhB,OAAO,yBAAyB,EAAE,cAAc;oBAKhD,cAAc;;;;;kBAEd,KAAK;oBAIL,OAAO,cAAc,EAAE,YAAY;eAEnC,KAAK;qBACL,KAAK;;;;;;gBAKL,OAAO,mBAAmB,EAAE,OAAO;;;;;4BAMpC,SAAS,GAAG,kBAAkB;;;;;;oBAQ7B,OAAO,mBAAmB,EAAE,OAAO;;;;aAKnC,MAAM,MAAM,CAAC,KAAK,CAAC;;;;;2BAInB,aAAa,CAAC,OAAO,yBAAyB,EAAE,UAAU,CAAC;;;;;;;oBAS3D,OAAO,mBAAmB,EAAE,OAAO;;;;;2BAKnC,aAAa,CAAC,OAAO,yBAAyB,EAAE,UAAU,CAAC;;;;;8BAO5D,oBAAoB,GAAG,wBAAwB;uCAM/C,oBAAoB,GAAG,iCAAiC;iCAM1D,OAAO,mBAAmB,EAAE,GAAG,UAC/B,sBAAsB;gCAKtB,OAAO,mBAAmB,EAAE,GAAG,UAC/B,SAAS,KACP,OAAO,CAAC,OAAO,mBAAmB,EAAE,UAAU,CAAC;kCAKjD,OAAO,mBAAmB,EAAE,GAAG,UAC/B,oBAAoB,KAClB,OAAO,CAAC,OAAO,mBAAmB,EAAE,UAAU,CAAC;qCAKjD,OAAO,mBAAmB,EAAE,GAAG,UAC/B,sBAAsB,KACpB,OAAO,CAAC,OAAO,mBAAmB,EAAE,UAAU,CAAC;;;;;yCAQjD,OAAO,mBAAmB,EAAE,GAAG,UAC/B,sBAAsB,KACpB,OAAO,CAAC,OAAO,mBAAmB,EAAE,UAAU,CAAC;iDAKjD,oBAAoB;gCAKpB,MAAM,CAAC,KAAK,CAAC,gBACb,KAAK,KACH,MAAM,CAAC,KAAK,CAAC;;;;;;oBAKZ,cAAc;;;;kBAKd,MAAM,CAAC,KAAK,CAAC;;;;oBAIb,cAAc;kBAId,KAAK;;;;oBACL,OAAO,cAAc,EAAE,YAAY;SAInC,OAAO,mBAAmB,EAAE,GAAG;wBAE/B,+BAA+B;;;;;cAC/B,OAAO,cAAc,EAAE,SAAS;;;oBAMhC,OAAO,mBAAmB,EAAE,OAAO;2BACnC,aAAa,CAAC,GAAG,CAAC;;sBAElB,MAAM,CAAC,UAAU,CAAC;oBAClB,OAAO,yBAAyB,EAAE,cAAc;oBAChD,cAAc;kBACd,MAAM;oBACN,OAAO,cAAc,EAAE,YAAY;gBACnC,OAAO,mBAAmB,EAAE,OAAO;;;;;;;6BAMnC,MAAM,OAAO,CAAC,OAAO,mBAAmB,EAAE,UAAU,CAAC;;;;iCAKrD,MAAM,OAAO,CAAC,OAAO,mBAAmB,EAAE,UAAU,CAAC;;;;;;;2BAIrD,MAAM,OAAO,CAAC,OAAO,yBAAyB,EAAE,UAAU,CAAC;;;;iCAO3D,MAAM,OAAO,cAAc,EAAE,SAAS;;;;;qBAItC,MAAM,QAAQ,CAAC,MAAM,CAAC;;;;+BAKtB,MAAM,MAAM"}

package/src/contracts/loan/types-ambient.js

@@ -43,7 +43,7 @@
 
 /**
  * @typedef LenderSeatProperty
- * @property {ZCFSeat} lenderSeat
+ * @property {import('../../types-index').ZCFSeat} lenderSeat
  *
  *   The ZCFSeat representing the lender's position in the contract.
  */
@@ -57,7 +57,7 @@
 /**
  * @typedef BorrowerConfigProperties
  *
- * @property {ZCFSeat} collateralSeat
+ * @property {import('../../types-index').ZCFSeat} collateralSeat
  *
  *   The ZCFSeat holding the collateral in escrow after the borrower
  *   escrows it
@@ -75,7 +75,7 @@
 /**
  * @typedef BorrowerConfigPropertiesMinusDebt
  *
- * @property {ZCFSeat} collateralSeat
+ * @property {import('../../types-index').ZCFSeat} collateralSeat
  *
  *   The ZCFSeat holding the collateral in escrow after the borrower
  *   escrows it
@@ -99,29 +99,29 @@
 
 /**
  * @callback ScheduleLiquidation
- * @param {ZCF} zcf
+ * @param {import('../../types-index').ZCF} zcf
  * @param {LoanConfigWithBorrower} config
  */
 
 /**
  * @callback MakeLendInvitation
- * @param {ZCF} zcf
+ * @param {import('../../types-index').ZCF} zcf
  * @param {LoanTerms} config
- * @returns {Promise<Invitation>} lendInvitation
+ * @returns {Promise<import('../../types-index').Invitation>} lendInvitation
  */
 
 /**
  * @callback MakeBorrowInvitation
- * @param {ZCF} zcf
+ * @param {import('../../types-index').ZCF} zcf
  * @param {LoanConfigWithLender} config
- * @returns {Promise<Invitation>} borrowInvitation
+ * @returns {Promise<import('../../types-index').Invitation>} borrowInvitation
  */
 
 /**
  * @callback MakeCloseLoanInvitation
- * @param {ZCF} zcf
+ * @param {import('../../types-index').ZCF} zcf
  * @param {LoanConfigWithBorrower} config
- * @returns {Promise<Invitation>} closeLoanInvitation
+ * @returns {Promise<import('../../types-index').Invitation>} closeLoanInvitation
  */
 
 /**
@@ -129,9 +129,9 @@
  * after adding.
  *
  * @callback MakeAddCollateralInvitation
- * @param {ZCF} zcf
+ * @param {import('../../types-index').ZCF} zcf
  * @param {LoanConfigWithBorrower} config
- * @returns {Promise<Invitation>} addCollateralInvitation
+ * @returns {Promise<import('../../types-index').Invitation>} addCollateralInvitation
  */
 
 /**
@@ -166,7 +166,7 @@
  *
  *  the period at which the outstanding debt increases by the interestRate
  *
- * @property {ZCF} zcf
+ * @property {import('../../types-index').ZCF} zcf
  *
  * @property {LoanConfigWithBorrowerMinusDebt} configMinusGetDebt
  * @property {import('@agoric/time').Timestamp} basetime The starting point from which to calculate
@@ -175,7 +175,7 @@
 
 /**
  * @typedef {object} ConfigMinusGetDebt
- * @property {ZCFSeat} collateralSeat
+ * @property {import('../../types-index').ZCFSeat} collateralSeat
  * @property {PromiseRecord<any>} liquidationPromiseKit
  * @property {bigint} [mmr]
  * @property {Handle<'Instance'>} autoswapInstance
@@ -183,18 +183,18 @@
  * @property {PeriodNotifier} periodNotifier
  * @property {bigint} interestRate
  * @property {import('@agoric/time').RelativeTime} interestPeriod
- * @property {ZCFSeat} lenderSeat
+ * @property {import('../../types-index').ZCFSeat} lenderSeat
  */
 
 /**
  * @typedef {object} BorrowFacet
  *
- * @property {() => Promise<Invitation>} makeCloseLoanInvitation
+ * @property {() => Promise<import('../../types-index').Invitation>} makeCloseLoanInvitation
  *
  * Make an invitation to close the loan by repaying the debt
  *   (including interest).
  *
- * @property {() => Promise<Invitation>} makeAddCollateralInvitation
+ * @property {() => Promise<import('../../types-index').Invitation>} makeAddCollateralInvitation
  *
  * Make an invitation to add collateral to protect against liquidation
  *

package/src/contracts/mintPayments.d.ts

@@ -15,10 +15,10 @@
  */
 export function start(zcf: ZCF): Promise<{
     creatorFacet: {
-        makeInvitation: (value?: bigint) => Promise<Invitation<string, undefined>>;
+        makeInvitation: (value?: bigint) => Promise<globalThis.Invitation<string, undefined>>;
         getTokenIssuer: () => globalThis.Issuer<"nat", import("@endo/patterns").Key>;
     } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
-        makeInvitation: (value?: bigint) => Promise<Invitation<string, undefined>>;
+        makeInvitation: (value?: bigint) => Promise<globalThis.Invitation<string, undefined>>;
         getTokenIssuer: () => globalThis.Issuer<"nat", import("@endo/patterns").Key>;
     }>;
     publicFacet: {