@agoric/zoe 0.27.0-u19.2 → 0.27.0-u20.0

package/src/contractFacet/zcfSeat.js

@@ -21,8 +21,8 @@ import { makeAllocationMap } from './reallocate.js';
 import { TransferPartShape } from '../contractSupport/atomicTransfer.js';
 
 /**
- * @import {LegacyWeakMap, WeakMapStore} from '@agoric/store';
- * @import {MapStore} from '@agoric/swingset-liveslots';
+ * @import {WeakMapStore} from '@agoric/store';
+ * @import {TransferPart, ZCFSeat} from '@agoric/zoe';
  */
 
 /**

package/src/contractFacet/zcfZygote.d.ts

@@ -1,2 +1,10 @@
-export function makeZCFZygote(powers: VatPowers, zoeService: ERef<ZoeService>, invitationIssuer: Issuer<"set">, testJigSetter: TestJigSetter, contractBundleCap: BundleCap, zcfBaggage?: import("@agoric/vat-data").Baggage): Promise<ZCFZygote>;
+export function makeZCFZygote(powers: VatPowers, zoeService: ERef<ZoeService>, invitationIssuer: Issuer<"set">, testJigSetter: ({ zcf }: {
+    zcf: ZCF;
+}) => void, contractBundleCap: BundleCap, zcfBaggage?: import("@agoric/vat-data").Baggage): Promise<ZCFZygote>;
+export type ZCFZygote = {
+    startContract: (instanceAdminFromZoe: ERef<ZoeInstanceAdmin>, instanceRecordFromZoe: InstanceRecord, issuerStorageFromZoe: IssuerRecords, privateArgs?: object) => Promise<ExecuteContractResult>;
+    restartContract: (privateArgs?: object) => void;
+};
+import type { ZoeService } from '@agoric/zoe';
+import type { ZCF } from '@agoric/zoe';
 //# sourceMappingURL=zcfZygote.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"zcfZygote.d.ts","sourceRoot":"","sources":["zcfZygote.js"],"names":[],"mappings":"AAiDO,sCARI,SAAS,cACT,IAAI,CAAC,UAAU,CAAC,oBAChB,MAAM,CAAC,KAAK,CAAC,iBACb,aAAa,qBACb,SAAS,eACT,OAAO,kBAAkB,EAAE,OAAO,GAChC,OAAO,CAAC,SAAS,CAAC,CAod9B"}
+{"version":3,"file":"zcfZygote.d.ts","sourceRoot":"","sources":["zcfZygote.js"],"names":[],"mappings":"AA6DO,sCARI,SAAS,cACT,IAAI,CAAC,UAAU,CAAC,oBAChB,MAAM,CAAC,KAAK,CAAC,iBACb,CAAE,EAAC,GAAG,EAAC,EAAE;IAAC,GAAG,EAAE,GAAG,CAAA;CAAC,KAAM,IAAI,qBAC7B,SAAS,eACT,OAAO,kBAAkB,EAAE,OAAO,GAChC,OAAO,CAAC,SAAS,CAAC,CAod9B;;mBAvea,CAAC,oBAAoB,EAAE,IAAI,CAAC,gBAAgB,CAAC,EACpD,qBAAqB,EAAE,cAAc,EACrC,oBAAoB,EAAE,aAAa,EACnC,WAAW,CAAC,EAAE,MAAM,KACnB,OAAO,CAAC,qBAAqB,CAAC;qBACxB,CAAC,WAAW,CAAC,EAAE,MAAM,KAAK,IAAI;;gCAV8D,aAAa;yBAAb,aAAa"}

package/src/contractFacet/zcfZygote.js

@@ -30,9 +30,21 @@ import { prepareZcMint } from './zcfMint.js';
 import { ZcfI } from './typeGuards.js';
 
 /// <reference path="../internal-types.js" />
-/// <reference path="./internal-types.js" />
 
-/** @import {IssuerOptionsRecord} from '@agoric/ertp' */
+/**
+ * @import {IssuerOptionsRecord} from '@agoric/ertp';
+ * @import {ContractMeta, ContractStartFn, SetTestJig, ZCF, ZCFMint, ZCFRegisterFeeMint, ZoeService} from '@agoric/zoe';
+ */
+
+/**
+ * @typedef ZCFZygote
+ * @property {(instanceAdminFromZoe: ERef<ZoeInstanceAdmin>,
+ *     instanceRecordFromZoe: InstanceRecord,
+ *     issuerStorageFromZoe: IssuerRecords,
+ *     privateArgs?: object,
+ * ) => Promise<ExecuteContractResult>} startContract
+ * @property {(privateArgs?: object) => void} restartContract
+ */
 
 /**
  * Make the ZCF vat in zygote-usable form. First, a generic ZCF is
@@ -42,7 +54,7 @@ import { ZcfI } from './typeGuards.js';
  * @param {VatPowers} powers
  * @param {ERef<ZoeService>} zoeService
  * @param {Issuer<'set'>} invitationIssuer
- * @param {TestJigSetter} testJigSetter
+ * @param {( {zcf}: {zcf: ZCF} ) => void} testJigSetter
  * @param {BundleCap} contractBundleCap
  * @param {import('@agoric/vat-data').Baggage} zcfBaggage
  * @returns {Promise<ZCFZygote>}
@@ -92,7 +104,7 @@ export const makeZCFZygote = async (
 
   /**
    * @param {string} keyword
-   * @param {IssuerRecord} issuerRecord
+   * @param {ZoeIssuerRecord} issuerRecord
    */
   const recordIssuer = (keyword, issuerRecord) => {
     getInstanceRecHolder().addIssuer(keyword, issuerRecord);
@@ -238,7 +250,7 @@ export const makeZCFZygote = async (
     } else {
       bundle = contractBundleCap;
     }
-    return evalContractBundle(bundle);
+    return /** @type {any} */ (evalContractBundle(bundle));
   };
   // evaluate the contract (either the first version, or an upgrade)
   const bundleResult = await evaluateContract();

package/src/contractSupport/atomicTransfer.d.ts

@@ -1,6 +1,12 @@
+/**
+ * @import {TransferPart, ZCF, ZCFSeat} from '@agoric/zoe';
+ */
 export const TransferPartShape: import("@endo/patterns").Matcher;
 export function atomicRearrange(zcf: ZCF, transfers: TransferPart[]): void;
 export function fromOnly(fromSeat: ZCFSeat, fromAmounts: AmountKeywordRecord): TransferPart;
 export function toOnly(toSeat: ZCFSeat, toAmounts: AmountKeywordRecord): TransferPart;
 export function atomicTransfer(zcf: ZCF, fromSeat?: ZCFSeat, toSeat?: ZCFSeat, fromAmounts?: AmountKeywordRecord, toAmounts?: AmountKeywordRecord): void;
+import type { ZCF } from '@agoric/zoe';
+import type { TransferPart } from '@agoric/zoe';
+import type { ZCFSeat } from '@agoric/zoe';
 //# sourceMappingURL=atomicTransfer.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"atomicTransfer.d.ts","sourceRoot":"","sources":["atomicTransfer.js"],"names":[],"mappings":"AAGA,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"}
+{"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;yBAhGjC,aAAa;kCAAb,aAAa;6BAAb,aAAa"}

package/src/contractSupport/atomicTransfer.js

@@ -1,6 +1,10 @@
 import { M } from '@agoric/store';
 import { AmountKeywordRecordShape, SeatShape } from '../typeGuards.js';
 
+/**
+ * @import {TransferPart, ZCF, ZCFSeat} from '@agoric/zoe';
+ */
+
 export const TransferPartShape = M.splitArray(
   harden([M.opt(SeatShape), M.opt(SeatShape), M.opt(AmountKeywordRecordShape)]),
   harden([M.opt(AmountKeywordRecordShape)]),

package/src/contractSupport/bondingCurves.js

@@ -2,7 +2,7 @@
 
 import { Nat } from '@endo/nat';
 import { Fail } from '@endo/errors';
-import { natSafeMath } from './safeMath.js';
+import { natSafeMath } from '@agoric/ertp/src/safeMath.js';
 
 const { subtract, add, multiply, floorDivide } = natSafeMath;
 

package/src/contractSupport/index.d.ts

@@ -1,5 +1,6 @@
-export { natSafeMath } from "./safeMath.js";
+export { natSafeMath } from "@agoric/ertp/src/safeMath.js";
 export { makeStateMachine } from "./stateMachine.js";
+export * from "@agoric/ertp/src/ratio.js";
 export * from "./durability.js";
 export * from "./prepare-ownable.js";
 export * from "./priceAuthority.js";
@@ -10,5 +11,4 @@ export * from "./topics.js";
 export { getInputPrice, getOutputPrice, calcLiqValueToMint, calcValueToRemove, calcSecondaryRequired } from "./bondingCurves.js";
 export { atomicRearrange, atomicTransfer, fromOnly, toOnly } from "./atomicTransfer.js";
 export { defaultAcceptanceMsg, swap, fitProposalShape, assertProposalShape, assertIssuerKeywords, satisfies, assertNatAssetKind, swapExact, depositToSeat, withdrawFromSeat, saveAllIssuers, offerTo } from "./zoeHelpers.js";
-export { makeRatio, makeRatioFromAmounts, floorMultiplyBy, floorDivideBy, ceilMultiplyBy, ceilDivideBy, assertIsRatio, invertRatio, oneMinus, addRatios, multiplyRatios, ratiosSame, quantize, ratioGTE, subtractRatios, ratioToNumber } from "./ratio.js";
 //# sourceMappingURL=index.d.ts.map

package/src/contractSupport/index.js

@@ -8,7 +8,7 @@ export {
   calcSecondaryRequired,
 } from './bondingCurves.js';
 
-export { natSafeMath } from './safeMath.js';
+export { natSafeMath } from '@agoric/ertp/src/safeMath.js';
 
 export { makeStateMachine } from './stateMachine.js';
 
@@ -34,24 +34,7 @@ export {
   offerTo,
 } from './zoeHelpers.js';
 
-export {
-  makeRatio,
-  makeRatioFromAmounts,
-  floorMultiplyBy,
-  floorDivideBy,
-  ceilMultiplyBy,
-  ceilDivideBy,
-  assertIsRatio,
-  invertRatio,
-  oneMinus,
-  addRatios,
-  multiplyRatios,
-  ratiosSame,
-  quantize,
-  ratioGTE,
-  subtractRatios,
-  ratioToNumber,
-} from './ratio.js';
+export * from '@agoric/ertp/src/ratio.js';
 
 export * from './durability.js';
 export * from './prepare-ownable.js';

package/src/contractSupport/priceAuthorityInitial.d.ts

@@ -1,4 +1,6 @@
 export function makeInitialTransform(priceOutPerIn: Ratio, priceAuthority: PriceAuthority, quoteMint: ERef<Mint<"set", PriceDescription>>, brandIn: Brand<"nat">, brandOut: Brand<"nat">): PriceAuthority;
 import type { PriceAuthority } from '@agoric/zoe/tools/types.js';
 import type { PriceDescription } from '@agoric/zoe/tools/types.js';
+import type { Mint } from '@agoric/ertp';
+import type { Brand } from '@agoric/ertp';
 //# sourceMappingURL=priceAuthorityInitial.d.ts.map

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/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,5 +1,6 @@
 /**
  * @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;
@@ -14,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<{
@@ -30,5 +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;;GAEG;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,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;;;;;;;6BAnBJ,gBAAgB"}
+{"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

@@ -9,6 +9,7 @@ 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`;

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/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
  *