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

package/src/contractFacet/zcfMint.js

@@ -6,15 +6,15 @@ import { prepareExoClass } from '@agoric/vat-data';
 import { coerceAmountKeywordRecord } from '../cleanProposal.js';
 import { assertFullIssuerRecord, makeIssuerRecord } from '../issuerRecord.js';
 import { addToAllocation, subtractFromAllocation } from './allocationMath.js';
-
-import '../internal-types.js';
 import { ZcfMintI } from './typeGuards.js';
-import './internal-types.js';
-import './types-ambient.js';
+
+/**
+ * @import {ZCFMint, ZCFSeat} from '@agoric/zoe';
+ */
 
 /**
  * @param {AmountKeywordRecord} amr
- * @param {IssuerRecord} issuerRecord
+ * @param {ZoeIssuerRecord} issuerRecord
  * @returns {Amount}
  */
 export const sumAmountKeywordRecord = (amr, issuerRecord) => {
@@ -31,7 +31,7 @@ export const sumAmountKeywordRecord = (amr, issuerRecord) => {
 
 /**
  * @param {import('@agoric/vat-data').Baggage} zcfBaggage
- * @param {{ (keyword: string, issuerRecord: IssuerRecord): void }} recordIssuer
+ * @param {{ (keyword: string, issuerRecord: ZoeIssuerRecord): void }} recordIssuer
  * @param {GetAssetKindByBrand} getAssetKindByBrand
  * @param {(exit?: undefined) => { zcfSeat: any; userSeat: Promise<UserSeat> }} makeEmptySeatKit
  * @param {ZcfMintReallocator} reallocator
@@ -51,7 +51,7 @@ export const prepareZcMint = (
      * @template {AssetKind} [K=AssetKind]
      * @param {string} keyword
      * @param {ZoeMint<K>} zoeMint
-     * @param {Required<IssuerRecord<K>>} issuerRecord
+     * @param {Required<ZoeIssuerRecord<K>>} issuerRecord
      */
     (keyword, zoeMint, issuerRecord) => {
       const {

package/src/contractFacet/zcfSeat.d.ts

@@ -1,5 +1,7 @@
-export function createSeatManager(zoeInstanceAdmin: ERef<ZoeInstanceAdmin>, getAssetKindByBrand: GetAssetKindByBrand, shutdownWithFailure: import("@agoric/swingset-vat").ShutdownWithFailure, zcfBaggage: import("@agoric/vat-data").Baggage): {
+export function createSeatManager(zoeInstanceAdmin: ERef<ZoeInstanceAdmin>, getAssetKindByBrand: GetAssetKindByBrand, shutdownWithFailure: ShutdownWithFailure, zcfBaggage: Baggage): {
     seatManager: ZcfSeatManager;
     zcfMintReallocator: ZcfMintReallocator;
 };
+import type { ShutdownWithFailure } from '@agoric/swingset-vat';
+import type { Baggage } from '@agoric/vat-data';
 //# sourceMappingURL=zcfSeat.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"zcfSeat.d.ts","sourceRoot":"","sources":["zcfSeat.js"],"names":[],"mappings":"AAqCO,oDANI,IAAI,CAAC,gBAAgB,CAAC,uBACtB,mBAAmB,uBACnB,OAAO,sBAAsB,EAAE,mBAAmB,cAClD,OAAO,kBAAkB,EAAE,OAAO,GAChC;IAAE,WAAW,EAAE,cAAc,CAAC;IAAC,kBAAkB,EAAE,kBAAkB,CAAA;CAAE,CAuTnF"}
+{"version":3,"file":"zcfSeat.d.ts","sourceRoot":"","sources":["zcfSeat.js"],"names":[],"mappings":"AAuCO,oDANI,IAAI,CAAC,gBAAgB,CAAC,uBACtB,mBAAmB,uBACnB,mBAAmB,cACnB,OAAO,GACL;IAAE,WAAW,EAAE,cAAc,CAAC;IAAC,kBAAkB,EAAE,kBAAkB,CAAA;CAAE,CAuTnF;yCApUqC,sBAAsB;6BAClC,kBAAkB"}

package/src/contractFacet/zcfSeat.js

@@ -21,8 +21,10 @@ 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 {ShutdownWithFailure} from '@agoric/swingset-vat';
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {Allocation} from './types.js';
  */
 
 /**
@@ -31,8 +33,8 @@ import { TransferPartShape } from '../contractSupport/atomicTransfer.js';
  *
  * @param {ERef<ZoeInstanceAdmin>} zoeInstanceAdmin
  * @param {GetAssetKindByBrand} getAssetKindByBrand
- * @param {import('@agoric/swingset-vat').ShutdownWithFailure} shutdownWithFailure
- * @param {import('@agoric/vat-data').Baggage} zcfBaggage
+ * @param {ShutdownWithFailure} shutdownWithFailure
+ * @param {Baggage} zcfBaggage
  * @returns {{ seatManager: ZcfSeatManager, zcfMintReallocator: ZcfMintReallocator }}
  */
 export const createSeatManager = (

package/src/contractFacet/zcfZygote.d.ts

@@ -1,2 +1,9 @@
-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?: Baggage): Promise<ZCFZygote>;
+export type ZCFZygote = {
+    startContract: (instanceAdminFromZoe: ERef<ZoeInstanceAdmin>, instanceRecordFromZoe: InstanceRecord, issuerStorageFromZoe: IssuerRecords, privateArgs?: object) => Promise<ExecuteContractResult>;
+    restartContract: (privateArgs?: object) => void;
+};
+import type { Baggage } from '@agoric/vat-data';
 //# 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,GACL,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;;6BAZlB,kBAAkB"}

package/src/contractFacet/zcfZygote.js

@@ -29,10 +29,22 @@ import { HandleOfferI, InvitationHandleShape } from '../typeGuards.js';
 import { prepareZcMint } from './zcfMint.js';
 import { ZcfI } from './typeGuards.js';
 
-/// <reference path="../internal-types.js" />
-/// <reference path="./internal-types.js" />
+/**
+ * @import {ShutdownWithFailure} from '@agoric/swingset-vat';
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {IssuerOptionsRecord} from '@agoric/ertp';
+ * @import {ZoeIssuerRecord, ZCFRegisterFeeMint, ContractStartFn, SetTestJig} from './types.js';
+ */
 
-/** @import {IssuerOptionsRecord} from '@agoric/ertp' */
+/**
+ * @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,9 +54,9 @@ 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
+ * @param {Baggage} zcfBaggage
  * @returns {Promise<ZCFZygote>}
  */
 export const makeZCFZygote = async (
@@ -76,7 +88,7 @@ export const makeZCFZygote = async (
     instantiate: instantiateIssuerStorage,
   } = provideIssuerStorage(zcfBaggage);
 
-  /** @type {import('@agoric/swingset-vat').ShutdownWithFailure} */
+  /** @type {ShutdownWithFailure} */
   const shutdownWithFailure = reason => {
     void E(zoeInstanceAdmin).failAllSeats(reason);
     seatManager.dropAllReferences();
@@ -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/prepare-ownable.d.ts

@@ -1,4 +1,4 @@
-export function prepareOwnable<MN extends (string | symbol)[]>(zone: import("@agoric/base-zone").Zone, makeInvitation: ZCF["makeInvitation"], uKindName: string, uMethodNames: MN, options?: OwnableOptions): <U>(underlying: U) => Pick<U, MN[number]> & {
+export function prepareOwnable<MN extends (string | symbol)[]>(zone: import("@agoric/base-zone").Zone, makeInvitation: ZCF["makeInvitation"], uKindName: string, uMethodNames: MN, options?: OwnableOptions): <U>(underlying: U) => Partial<U> & {
     makeTransferInvitation: () => Invitation<U>;
 };
 export type OwnableOptions = {

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

@@ -1 +1 @@
-{"version":3,"file":"prepare-ownable.d.ts","sourceRoot":"","sources":["prepare-ownable.js"],"names":[],"mappings":"AA0CO,+BAlB4B,EAAE,SAAvB,CAAC,MAAM,GAAG,MAAM,CAAC,EAAG,QACvB,OAAO,mBAAmB,EAAE,IAAI,kBAChC,GAAG,CAAC,gBAAgB,CAAC,aAQrB,MAAM,gBAEN,EAAE,YAGF,cAAc,GACZ,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG;IAAC,sBAAsB,EAAE,MAAM,UAAU,CAAC,CAAC,CAAC,CAAA;CAAC,CAyDrG"}
+{"version":3,"file":"prepare-ownable.d.ts","sourceRoot":"","sources":["prepare-ownable.js"],"names":[],"mappings":"AA0CO,+BAlB4B,EAAE,SAAvB,CAAC,MAAM,GAAG,MAAM,CAAC,EAAG,QACvB,OAAO,mBAAmB,EAAE,IAAI,kBAChC,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,UAAU,CAAC,CAAC,CAAC,CAAA;CAAC,CA6D5F"}

package/src/contractSupport/prepare-ownable.js

@@ -38,7 +38,7 @@ const TransferProposalShape = M.splitRecord({
  *   The method names of the underlying exo class that should be represented
  *   by transparently-forwarding methods of the wrapping ownable object.
  * @param {OwnableOptions} [options]
- * @returns {<U>(underlying: U) => Pick<U, MN[number]> & {makeTransferInvitation: () => Invitation<U>}}
+ * @returns {<U>(underlying: U) => Partial<U> & {makeTransferInvitation: () => Invitation<U>}}
  */
 export const prepareOwnable = (
   zone,
@@ -94,6 +94,10 @@ export const prepareOwnable = (
   );
 
   const makeOwnable = underlying => makeRevocable(underlying);
+  // Using at-ts-ignore rather than at-ts-expect-error because the vscode
+  // ts server says it is an error but `yarn lint` says it is not.
+  // eslint-disable-next-line @typescript-eslint/ban-ts-comment
+  // @ts-ignore Return type is more precise than revocable supports
   return harden(makeOwnable);
 };
 harden(prepareOwnable);

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;
@@ -37,8 +37,8 @@ export function start(zcf: ZCF<{
             timeAuthority: import("@agoric/time").TimerService;
             bids: string | any[];
         };
-    } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
-        makeBidInvitation: () => Promise<Invitation<unknown, never>>;
+    } & RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+        makeBidInvitation: () => Promise<globalThis.Invitation<unknown, never>>;
         getSessionDetails: () => {
             auctionedAssets: any;
             minimumBid: any;
@@ -60,7 +60,7 @@ export function start(zcf: ZCF<{
             timeAuthority: import("@agoric/time").TimerService;
             bids: string | any[];
         };
-    } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+    } & RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
         getCurrentBids: () => any[] | "Bids are hidden for \"second price\" auctions";
         getSessionDetails: () => {
             auctionedAssets: 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>>;
-    } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+        makeInvitation: () => Promise<globalThis.Invitation<unknown, never>>;
+    } & 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>>;
-    } & import("@endo/pass-style").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
-        makeInvitation: () => Promise<Invitation<unknown, never>>;
+        makeInvitation: () => Promise<globalThis.Invitation<unknown, never>>;
+    } & RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+        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<{}, {
+    } & 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/liquidate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"liquidate.d.ts","sourceRoot":"","sources":["liquidate.js"],"names":[],"mappings":"AAKO,wIA6CN;AAeM,+BAJI,GAAG,UACH,sBAAsB,GACpB,OAAO,CAAC,IAAI,CAAC,CAiBzB"}
+{"version":3,"file":"liquidate.d.ts","sourceRoot":"","sources":["liquidate.js"],"names":[],"mappings":"AASO,wIA6CN;AAeM,+BAJI,GAAG,UACH,sBAAsB,GACpB,OAAO,CAAC,IAAI,CAAC,CAiBzB"}

package/src/contracts/loan/liquidate.js

@@ -3,6 +3,10 @@ import { AmountMath } from '@agoric/ertp';
 
 import { offerTo } from '../../contractSupport/zoeHelpers.js';
 
+/**
+ * @import {ShutdownWithFailure} from '@agoric/swingset-vat';
+ */
+
 export const doLiquidation = async (
   zcf,
   collateralSeat,
@@ -37,7 +41,7 @@ export const doLiquidation = async (
     zcf.shutdown('your loan had to be liquidated');
   };
 
-  /** @type {import('@agoric/swingset-vat').ShutdownWithFailure} */
+  /** @type {ShutdownWithFailure} */
   const closeWithFailure = err => {
     lenderSeat.fail(err);
     collateralSeat.fail(err);