@agoric/zoe 0.26.3-dev-727699e.0 → 0.26.3-dev-baa7c08.0

package/src/contracts/types-ambient.js

@@ -4,7 +4,7 @@
  * @property {() => Amount} getAvailableItems
  *
  * @typedef {object} SellItemsCreatorOnly
- * @property {() => Promise<Invitation>} makeBuyerInvitation
+ * @property {() => Promise<import('../types-index').Invitation>} makeBuyerInvitation
  *
  * @typedef {SellItemsPublicFacet & SellItemsCreatorOnly} SellItemsCreatorFacet
  */
@@ -31,22 +31,22 @@
 /**
  * @typedef {object} AutomaticRefundPublicFacet
  * @property {() => bigint} getOffersCount
- * @property {() => Promise<Invitation>} makeInvitation
+ * @property {() => Promise<import('../types-index').Invitation>} makeInvitation
  */
 
 /**
  * @typedef {object} AutoswapPublicFacet
- * @property {() => Promise<Invitation>} makeSwapInvitation synonym for
+ * @property {() => Promise<import('../types-index').Invitation>} makeSwapInvitation synonym for
  * makeSwapInInvitation
- * @property {() => Promise<Invitation>} makeSwapInInvitation make an invitation
+ * @property {() => Promise<import('../types-index').Invitation>} makeSwapInInvitation make an invitation
  * that allows one to do a swap in which the In amount is specified and the Out
  * amount is calculated
- * @property {() => Promise<Invitation>} makeSwapOutInvitation make an invitation
+ * @property {() => Promise<import('../types-index').Invitation>} makeSwapOutInvitation make an invitation
  * that allows one to do a swap in which the Out amount is specified and the In
  * amount is calculated
- * @property {() => Promise<Invitation>} makeAddLiquidityInvitation make an
+ * @property {() => Promise<import('../types-index').Invitation>} makeAddLiquidityInvitation make an
  * invitation that allows one to add liquidity to the pool.
- * @property {() => Promise<Invitation>} makeRemoveLiquidityInvitation make an
+ * @property {() => Promise<import('../types-index').Invitation>} makeRemoveLiquidityInvitation make an
  * invitation that allows one to remove liquidity from the pool.
  * @property {() => Issuer} getLiquidityIssuer
  * @property {() => bigint} getLiquiditySupply get the current value of

package/src/contracts/valueVow.contract.d.ts

@@ -1,4 +1,5 @@
 /**
+ * @import {ContractMeta, ContractStartFn, HandleOffer, Invitation, OfferHandler, TransferPart, ZCF, ZCFSeat} from '@agoric/zoe';
  * @import { Baggage } from '@agoric/vat-data';
  */
 /** @type {ContractMeta<typeof start>} */
@@ -13,5 +14,8 @@ export function start(zcf: ZCF<{}>, _privateArgs: undefined, baggage: Baggage):
         }>>;
     }>;
 };
+import type { ContractMeta } from '@agoric/zoe';
+import type { ZCF } from '@agoric/zoe';
 import type { Baggage } from '@agoric/vat-data';
+import type { Invitation } from '@agoric/zoe';
 //# sourceMappingURL=valueVow.contract.d.ts.map

package/src/contracts/valueVow.contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"valueVow.contract.d.ts","sourceRoot":"","sources":["valueVow.contract.js"],"names":[],"mappings":"AAGA;;GAEG;AAEH,yCAAyC;AACzC,mBADW,YAAY,CAAC,OAAO,KAAK,CAAC,CAGnC;AAYK,2BAJI,GAAG,CAAC,EAAE,CAAC,gBACP,SAAS,WACT,OAAO;;;;;;mBA8B4B,OAAO;;;EAWpD;6BAzD2B,kBAAkB"}
+{"version":3,"file":"valueVow.contract.d.ts","sourceRoot":"","sources":["valueVow.contract.js"],"names":[],"mappings":"AAGA;;;GAGG;AAEH,yCAAyC;AACzC,mBADW,aAAa,OAAO,KAAK,CAAC,CAGnC;AAYK,2BAJI,IAAI,EAAE,CAAC,gBACP,SAAS,WACT,OAAO;;;;;;mBA8B4B,OAAO;;;EAWpD;kCA1DkH,aAAa;yBAAb,aAAa;6BACpG,kBAAkB;gCADqE,aAAa"}

package/src/contracts/valueVow.contract.js

@@ -2,6 +2,7 @@ import { prepareVowTools } from '@agoric/vow';
 import { makeDurableZone } from '@agoric/zone/durable.js';
 
 /**
+ * @import {ContractMeta, ContractStartFn, HandleOffer, Invitation, OfferHandler, TransferPart, ZCF, ZCFSeat} from '@agoric/zoe';
  * @import { Baggage } from '@agoric/vat-data';
  */
 

package/src/internal-types.d.ts

@@ -117,7 +117,7 @@ type ZCFRoot = {
 };
 type ExecuteContractResult = {
     creatorFacet: object;
-    creatorInvitation?: Promise<Invitation<unknown, undefined>> | undefined;
+    creatorInvitation?: Promise<globalThis.Invitation> | undefined;
     publicFacet: object;
     handleOfferObj: HandleOfferObj;
 };
@@ -162,4 +162,9 @@ type InstanceState = {
     getBrands: () => BrandKeywordRecord;
     assertUniqueKeyword: (keyword: Keyword) => void;
 };
+import type { Completion } from '@agoric/zoe';
+import type { ContractStartFn } from '@agoric/zoe';
+import type { PaymentPKeywordRecord } from '@agoric/zoe';
+import type { UserSeat } from '@agoric/zoe';
+import type { Pattern } from '@endo/patterns';
 //# sourceMappingURL=internal-types.d.ts.map

package/src/internal-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";cAKc,cAAc;uBACd,UAAU;gBACV,UAAU;gBACV,MAAM;;;;;qCAOT,UAAU,KACR,qBAAqB;;sBAKpB,CAAC,UAAU,EAAC,UAAU,KAAK,qBAAqB;;;sBAKhD,CAAC,YAAY,EAAE,YAAY,KAAK,IAAI;eACpC,CAAC,YAAY,EAAE,YAAY,KAAK,OAAO;;;cAKvC,QAAQ;kBACR,YAAY;;;;;+CAMf,UAAU,uBACV,mBAAmB,YACnB,cAAc,iBACd,aAAa,WACb,IAAI,CAAC,OAAO,CAAC,gBACb,IAAI,CAAC,OAAO,CAAC,WACb,OAAO,kBAAkB,EAAE,OAAO,KAChC,eAAe;sCAKjB,UAAU,KACR,IAAI;;uBAKH,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;UAChC,gBAAgB;;;;;UAChB,OAAO,sBAAsB,EAAE,mBAAmB;uBAElD,MAAM,UAAU,CAAC,mBAAmB,CAAC;;oBAGtC,OAAO,eAAe,EAAE,eAAe,GAAG,mBAAmB;;wBAS5D,OAAO,CAAC,OAAO,eAAe,EAAE,QAAQ,CAAC;aACzC,OAAO;;;;;;;;2BASP,MAAM,IAAI;kBACV,CAAC,gBAAgB,EAAE,gBAAgB,EAC1C,iBAAiB,EAAE,UAAU,EAC7B,QAAQ,EAAE,cAAc,EACxB,SAAS,CAAC,EAAE,MAAM,KACjB,QAAQ;sBACF,gBAAgB;iBAChB,MAAM,QAAQ;oBACd,MAAM,MAAM;gBACZ,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;cACxB,MAAM,MAAM;oBACZ,MAAM,MAAM,EAAE;qBACd,MAAM,YAAY;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;yBAClD,MAAM,IAAI;eACV,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO;sBAC3B,CAAC,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,KAAK,IAAI;oBAC9D,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI;;;;;;;;iBAS3B,CAAC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,QAAQ,KACd,iBAAiB;;yDAKzB,gBAAgB,eAChB,MAAM,mEAEN,OAAO,KACL,UAAU;;oBAKT,8BAA8B;gBAC9B,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAClC,OAAO,EAAE,OAAO,KACZ,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;iBAC7E,WAAW;qBACX,eAAe;sBACf,gBAAgB;wBAChB,kBAAkB;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;cAClD,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,KAAK,IAAI;cACxD,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,KAAK,IAAI;yBAC/C,MAAM,IAAI;oBACV,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI;oBAChC,MAAM,KAAK,CAAC,MAAM,CAAC;uBACnB,CAAC,UAAU,EAAE,UAAU,KAAK,UAAU,CAAC,mBAAmB,CAAC;qCAC3D,MAAM,IAAI;;iCAKb,OAAO,wBACP,aAAa,KAEX,OAAO,CAAC,KAAK,CAAC;0CAKhB,OAAO,kBACP,SAAS;6BAMT,OAAO;;;mBAIL,OAAO;4CAKT,UAAU,YACV,cAAc,WACd,OAAO,cACP,UAAU,KACR,QAAQ;kDAKV,oBAAoB,EAAE;;gBAKnB,UAAU;gBACV,UAAU;;aAIE,CAAC,SAAb,SAAU;qBAEV,MAAM,YAAY,CAAC,CAAC,CAAC;mBACrB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;;;;;qBAChC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;cAShC,QAAQ;qBACR,eAAe;;;kBAKf,MAAM;;iBAEN,MAAM;oBACN,cAAc;;mCAKjB,IAAI,CAAC,gBAAgB,CAAC,yBACtB,cAAc,wBACd,aAAa,gBACb,MAAM,KACJ,OAAO,CAAC,qBAAqB,CAAC;sCAKhC,MAAM,KACJ,OAAO,CAAC,gCAAgC,CAAC;8BAK3C,cAAc,gBACd,OAAO,KACL,OAAO;;UAKN,MAAM,IAAI;;kBAIX,MAAM,CAAC,MAAM,CAAC;;;;;;mCAShB,KAAK,KACH,SAAS;qBAIT,KAAK,CAAC,YAAY,CAAC;8BAKrB,QAAQ,KACN,OAAO;;;;;+BAQP,IAAI;;iBAKH,WAAW;uBACX,iBAAiB;;;gBAKjB,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,KAAK,IAAI;;;;;;wCASxD,OAAO,gBACP,YAAY,KACV,IAAI;;eAKH,sBAAsB;uBACtB,MAAM,cAAc;cACpB,MAAM,QAAQ;qBACd,MAAM,YAAY;gBAClB,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;yBACxB,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI"}
+{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";cAUc,cAAc;uBACd,UAAU;gBACV,UAAU;gBACV,MAAM;;;;;qCAOT,UAAU,KACR,qBAAqB;;sBAKpB,CAAC,UAAU,EAAC,UAAU,KAAK,qBAAqB;;;sBAKhD,CAAC,YAAY,EAAE,YAAY,KAAK,IAAI;eACpC,CAAC,YAAY,EAAE,YAAY,KAAK,OAAO;;;cAKvC,QAAQ;kBACR,YAAY;;;;;+CAMf,UAAU,uBACV,mBAAmB,YACnB,cAAc,iBACd,aAAa,WACb,IAAI,CAAC,OAAO,CAAC,gBACb,IAAI,CAAC,OAAO,CAAC,WACb,OAAO,kBAAkB,EAAE,OAAO,KAChC,eAAe;sCAKjB,UAAU,KACR,IAAI;;uBAKH,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;UAChC,gBAAgB;;;;;UAChB,OAAO,sBAAsB,EAAE,mBAAmB;uBAElD,MAAM,UAAU,CAAC,mBAAmB,CAAC;;oBAGtC,OAAO,eAAe,EAAE,eAAe,GAAG,mBAAmB;;wBAS5D,OAAO,CAAC,OAAO,eAAe,EAAE,QAAQ,CAAC;aACzC,OAAO;;;;;;;;2BASP,MAAM,IAAI;kBACV,CAAC,gBAAgB,EAAE,gBAAgB,EAC1C,iBAAiB,EAAE,UAAU,EAC7B,QAAQ,EAAE,cAAc,EACxB,SAAS,CAAC,EAAE,MAAM,KACjB,QAAQ;sBACF,gBAAgB;iBAChB,MAAM,QAAQ;oBACd,MAAM,MAAM;gBACZ,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;cACxB,MAAM,MAAM;oBACZ,MAAM,MAAM,EAAE;qBACd,MAAM,YAAY;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;yBAClD,MAAM,IAAI;eACV,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO;sBAC3B,CAAC,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,KAAK,IAAI;oBAC9D,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI;;;;;;;;iBAS3B,CAAC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,QAAQ,KACd,iBAAiB;;yDAKzB,gBAAgB,eAChB,MAAM,mEAEN,OAAO,KACL,UAAU;;oBAKT,8BAA8B;gBAC9B,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAClC,OAAO,EAAE,OAAO,KACZ,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;iBAC7E,WAAW;qBACX,eAAe;sBACf,gBAAgB;wBAChB,kBAAkB;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;cAClD,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,KAAK,IAAI;cACxD,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,KAAK,IAAI;yBAC/C,MAAM,IAAI;oBACV,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI;oBAChC,MAAM,KAAK,CAAC,MAAM,CAAC;uBACnB,CAAC,UAAU,EAAE,UAAU,KAAK,UAAU,CAAC,mBAAmB,CAAC;qCAC3D,MAAM,IAAI;;iCAKb,OAAO,wBACP,aAAa,KAEX,OAAO,CAAC,KAAK,CAAC;0CAKhB,OAAO,kBACP,SAAS;6BAMT,OAAO;;;mBAIL,OAAO;4CAKT,UAAU,YACV,cAAc,WACd,OAAO,cACP,UAAU,KACR,QAAQ;kDAKV,oBAAoB,EAAE;;gBAKnB,UAAU;gBACV,UAAU;;aAIE,CAAC,SAAb,SAAU;qBAEV,MAAM,YAAY,CAAC,CAAC,CAAC;mBACrB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;;;;;qBAChC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;cAShC,QAAQ;qBACR,eAAe;;;kBAKf,MAAM;;iBAEN,MAAM;oBACN,cAAc;;mCAKjB,IAAI,CAAC,gBAAgB,CAAC,yBACtB,cAAc,wBACd,aAAa,gBACb,MAAM,KACJ,OAAO,CAAC,qBAAqB,CAAC;sCAKhC,MAAM,KACJ,OAAO,CAAC,gCAAgC,CAAC;8BAK3C,cAAc,gBACd,OAAO,KACL,OAAO;;UAKN,MAAM,IAAI;;kBAIX,MAAM,CAAC,MAAM,CAAC;;;;;;mCAShB,KAAK,KACH,SAAS;qBAIT,KAAK,CAAC,YAAY,CAAC;8BAKrB,QAAQ,KACN,OAAO;;;;;+BAQP,IAAI;;iBAKH,WAAW;uBACX,iBAAiB;;;gBAKjB,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,KAAK,IAAI;;;;;;wCASxD,OAAO,gBACP,YAAY,KACV,IAAI;;eAKH,sBAAsB;uBACtB,MAAM,cAAc;cACpB,MAAM,QAAQ;qBACd,MAAM,YAAY;gBAClB,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;yBACxB,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI;;gCAlTuC,aAAa;qCAAb,aAAa;2CAAb,aAAa;8BAAb,aAAa;6BAClE,gBAAgB"}

package/src/internal-types.js

@@ -1,6 +1,11 @@
 // @jessie-check
 /// <reference types="@agoric/ertp/exported" />
 
+/**
+ * @import {Completion, ContractStartFn, PaymentPKeywordRecord, UserSeat} from '@agoric/zoe';
+ * @import {Pattern} from '@endo/patterns';
+ */
+
 /**
  * @typedef {object} SeatData
  * @property {ProposalRecord} proposal

package/src/typeGuards.d.ts

@@ -1,5 +1,6 @@
 /**
  * @import {TypedPattern} from '@agoric/internal';
+ * @import {AfterDeadlineExitRule} from '@agoric/zoe';
  */
 export const KeywordShape: import("@endo/patterns").Matcher;
 /** @type {TypedPattern<InvitationHandle>} */
@@ -38,10 +39,10 @@ export namespace FullProposalShape {
 export const ProposalShape: import("@endo/patterns").Matcher;
 export const EmptyProposalShape: import("@endo/patterns").Matcher;
 export function isOnDemandExitRule(exit: any): boolean;
-export function isWaivedExitRule(exit: ExitRule): exit is WaivedExitRule;
-export function isAfterDeadlineExitRule(exit: ExitRule): exit is AfterDeadlineExitRule;
-/** @type {TypedPattern<InvitationDetails>} */
-export const InvitationElementShape: TypedPattern<InvitationDetails>;
+export function isWaivedExitRule(exit: import("./types-index").ExitRule): exit is WaivedExitRule;
+export function isAfterDeadlineExitRule(exit: import("./types-index").ExitRule): exit is AfterDeadlineExitRule;
+/** @type {TypedPattern<import('./types-index').InvitationDetails>} */
+export const InvitationElementShape: TypedPattern<import("./types-index").InvitationDetails>;
 export const OfferHandlerI: import("@endo/patterns").InterfaceGuard<{
     handle: import("@endo/patterns").MethodGuard;
 }>;
@@ -166,8 +167,9 @@ export const HandleOfferI: import("@endo/patterns").InterfaceGuard<{
 }>;
 export namespace PriceQuoteShape {
     export { AmountShape as quoteAmount };
-    export let quotePayment: globalThis.Pattern;
+    export let quotePayment: Pattern;
 }
 import type { TypedPattern } from '@agoric/internal';
+import type { AfterDeadlineExitRule } from '@agoric/zoe';
 import { AmountShape } from '@agoric/ertp';
 //# sourceMappingURL=typeGuards.d.ts.map

package/src/typeGuards.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAeA;;GAEG;AAGH,4DAAuC;AAEvC,6CAA6C;AAC7C,oCADW,aAAa,gBAAgB,CAAC,CAC4B;AACrE,uCAAuC;AACvC,8BADW,aAAa,UAAU,CAAC,CACsB;AACzD,mEAAiE;AACjE,yCAAyC;AACzC,gCADW,aAAa,YAAY,CAAC,CACwB;AAC7D,yDAA6C;AAE7C,wEAA8E;AAC9E,+EAGE;AACF,0EAGE;AACF,wEAA8E;AAC9E,yEAGE;AACF,uEAA4E;AAE5E,iEAOE;;;;;;;;;;AAeF,kEAAiD;AAE1C,6EAA4D;AACnE,0DAAmD;;;;;;AA4BnD,2BAA2B;AAC3B,6DAAsE;AAEtE,kEAIG;AAEI,uDAGN;AAOM,uCAHI,QAAQ,GACN,IAAI,IAAI,cAAc,CAKlC;AAOM,8CAHI,QAAQ,GACN,IAAI,IAAI,qBAAqB,CAKzC;AAGD,8CAA8C;AAC9C,qCADW,aAAa,iBAAiB,CAAC,CAMvC;AAEH;;GAEG;AAEH,0EAGG;AAEH,4DAAmD;AACnD;;;;GAIG;AAEH,kEAA+D;AAE/D;;GAEG;AAEH,+DAAsD;AACtD,kEAA+D;AAC/D;;;;;;;;;;;;;;;;;GAkCG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkDH,8DAAuD;AACvD,2DAGE;AAEF,0EAQE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8DF;;;;;;;;;;;;;;;;;;;GA6CG;AAEH;;;;;GAKG;AAEH,6DASE;AAEF;;GAKG;;;;;kCA7X4B,kBAAkB;4BAN1C,cAAc"}
+{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAeA;;;GAGG;AAGH,4DAAuC;AAEvC,6CAA6C;AAC7C,oCADW,aAAa,gBAAgB,CAAC,CAC4B;AACrE,uCAAuC;AACvC,8BADW,aAAa,UAAU,CAAC,CACsB;AACzD,mEAAiE;AACjE,yCAAyC;AACzC,gCADW,aAAa,YAAY,CAAC,CACwB;AAC7D,yDAA6C;AAE7C,wEAA8E;AAC9E,+EAGE;AACF,0EAGE;AACF,wEAA8E;AAC9E,yEAGE;AACF,uEAA4E;AAE5E,iEAOE;;;;;;;;;;AAeF,kEAAiD;AAE1C,6EAA4D;AACnE,0DAAmD;;;;;;AA4BnD,2BAA2B;AAC3B,6DAAsE;AAEtE,kEAIG;AAEI,uDAGN;AAOM,uCAHI,OAAO,eAAe,EAAE,QAAQ,GAC9B,IAAI,IAAI,cAAc,CAKlC;AAOM,8CAHI,OAAO,eAAe,EAAE,QAAQ,GAC9B,IAAI,IAAI,qBAAqB,CAKzC;AAGD,sEAAsE;AACtE,qCADW,aAAa,OAAO,eAAe,EAAE,iBAAiB,CAAC,CAM/D;AAEH;;GAEG;AAEH,0EAGG;AAEH,4DAAmD;AACnD;;;;GAIG;AAEH,kEAA+D;AAE/D;;GAEG;AAEH,+DAAsD;AACtD,kEAA+D;AAC/D;;;;;;;;;;;;;;;;;GAkCG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkDH,8DAAuD;AACvD,2DAGE;AAEF,0EAQE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8DF;;;;;;;;;;;;;;;;;;;GA6CG;AAEH;;;;;GAKG;AAEH,6DASE;AAEF;;GAKG;;;;;kCA9X4B,kBAAkB;2CACT,aAAa;4BAP9C,cAAc"}

package/src/typeGuards.js

@@ -15,6 +15,7 @@ import { TimestampShape } from '@agoric/time';
 
 /**
  * @import {TypedPattern} from '@agoric/internal';
+ * @import {AfterDeadlineExitRule} from '@agoric/zoe';
  */
 
 // keywords have an initial cap
@@ -114,7 +115,7 @@ export const isOnDemandExitRule = exit => {
 harden(isOnDemandExitRule);
 
 /**
- * @param {ExitRule} exit
+ * @param {import('./types-index').ExitRule} exit
  * @returns {exit is WaivedExitRule}
  */
 export const isWaivedExitRule = exit => {
@@ -124,7 +125,7 @@ export const isWaivedExitRule = exit => {
 harden(isWaivedExitRule);
 
 /**
- * @param {ExitRule} exit
+ * @param {import('./types-index').ExitRule} exit
  * @returns {exit is AfterDeadlineExitRule}
  */
 export const isAfterDeadlineExitRule = exit => {
@@ -133,7 +134,7 @@ export const isAfterDeadlineExitRule = exit => {
 };
 harden(isAfterDeadlineExitRule);
 
-/** @type {TypedPattern<InvitationDetails>} */
+/** @type {TypedPattern<import('./types-index').InvitationDetails>} */
 export const InvitationElementShape = M.splitRecord({
   description: M.string(),
   handle: InvitationHandleShape,

package/src/types-index.d.ts

@@ -0,0 +1,3 @@
+// Export all the types this package provides
+export type * from './contractFacet/types.js';
+export type * from './zoeService/types.js';

package/src/types-index.js

@@ -0,0 +1,2 @@
+// Empty JS file to correspond with its .d.ts twin
+export {};

package/src/zoeService/feeMint.d.ts

@@ -20,4 +20,5 @@ export function prepareFeeMint(zoeBaggage: import("@agoric/vat-data").Baggage, f
     };
     feeMintAccess: {};
 }>;
+import type { FeeIssuerConfig } from '@agoric/zoe';
 //# sourceMappingURL=feeMint.d.ts.map

package/src/zoeService/feeMint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"feeMint.d.ts","sourceRoot":"","sources":["feeMint.js"],"names":[],"mappings":";;;;;;;;;AA2BA;;;;GAIG;AACH,2CAJW,OAAO,kBAAkB,EAAE,OAAO,mBAClC,eAAe,kBACf,OAAO,sBAAsB,EAAE,mBAAmB;;;;;;;GA2D5D"}
+{"version":3,"file":"feeMint.d.ts","sourceRoot":"","sources":["feeMint.js"],"names":[],"mappings":";;;;;;;;;AA+BA;;;;GAIG;AACH,2CAJW,OAAO,kBAAkB,EAAE,OAAO,mBAClC,eAAe,kBACf,OAAO,sBAAsB,EAAE,mBAAmB;;;;;;;GA2D5D;qCA5E6C,aAAa"}

package/src/zoeService/feeMint.js

@@ -14,6 +14,10 @@ import {
 import { Fail, q } from '@endo/errors';
 import { FeeMintAccessShape } from '../typeGuards.js';
 
+/**
+ * @import {FeeIssuerConfig, ZoeService} from '@agoric/zoe';
+ */
+
 /** @deprecated Redundant. Just omit it. */
 const FEE_MINT_KIT = 'FeeMintKit';
 

package/src/zoeService/installationStorage.d.ts

@@ -1,6 +1,6 @@
 export function makeInstallationStorage(getBundleCapForID: GetBundleCapForID, zoeBaggage: Baggage): import("@endo/exo").Guarded<{
-    installBundle(allegedBundle: any, bundleLabel: any): Promise<Installation<any>>;
-    installBundleID(bundleID: any, bundleLabel?: any): Promise<Installation<unknown>>;
+    installBundle(allegedBundle: any, bundleLabel: any): Promise<globalThis.Installation>;
+    installBundleID(bundleID: any, bundleLabel?: any): Promise<globalThis.Installation<unknown>>;
     unwrapInstallation(installation: any): {
         bundleCap: any;
         bundleID: string;
@@ -15,4 +15,5 @@ export function makeInstallationStorage(getBundleCapForID: GetBundleCapForID, zo
     getBundleIDFromInstallation(allegedInstallation: any): Promise<string | undefined>;
 }>;
 import type { Baggage } from '@agoric/swingset-liveslots';
+import type { SourceBundle } from '@agoric/zoe';
 //# sourceMappingURL=installationStorage.d.ts.map

package/src/zoeService/installationStorage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"installationStorage.d.ts","sourceRoot":"","sources":["installationStorage.js"],"names":[],"mappings":"AAwBO,2DAHI,iBAAiB,cACjB,OAAO;;;;;;;;;;;;;;;GA6IjB;6BArJyB,4BAA4B"}
+{"version":3,"file":"installationStorage.d.ts","sourceRoot":"","sources":["installationStorage.js"],"names":[],"mappings":"AAyBO,2DAHI,iBAAiB,cACjB,OAAO;;;;;;;;;;;;;;;GA6IjB;6BAtJyB,4BAA4B;kCAIvB,aAAa"}

package/src/zoeService/installationStorage.js

@@ -16,6 +16,7 @@ import {
  * @import {LegacyWeakMap, WeakMapStore} from '@agoric/store';
  * @import {MapStore} from '@agoric/swingset-liveslots';
  * @import {BundleID, BundleCap} from '@agoric/swingset-vat';
+ * @import {SourceBundle} from '@agoric/zoe';
  */
 
 /**

package/src/zoeService/internal-types.d.ts

@@ -73,9 +73,9 @@ type ZoeStorageManager = {
     getBrands: GetBrands;
     getIssuers: GetIssuers;
     getTerms: import("./utils.js").GetTerms;
-    getOfferFilter: GetOfferFilter;
-    setOfferFilter: SetOfferFilter;
-    getInstallationForInstance: GetInstallationForInstance;
+    getOfferFilter: (instance: import("./utils.js").Instance<any>) => string[];
+    setOfferFilter: (instance: Instance, strings: string[]) => any;
+    getInstallationForInstance: (instance: import("./utils.js").Instance<any>) => Promise<Installation>;
     getInstanceAdmin: GetInstanceAdmin;
     unwrapInstallation: UnwrapInstallation;
     getProposalShapeForInvitation: (invitationHandle: InvitationHandle) => import("@endo/patterns").Pattern | undefined;
@@ -86,4 +86,10 @@ type ZoeStorageManager = {
  */
 type CreateZCFVat = (contractBundleCap: BundleCap, contractLabel: string) => Promise<import("@agoric/swingset-vat").CreateVatResults>;
 type GetFeeIssuerKit = (feeMintAccess: FeeMintAccess) => IssuerKit<"nat">;
+import type { FeeMintAccess } from './types.js';
+import type { GetBrands } from './types.js';
+import type { GetBundleIDFromInstallation } from './types.js';
+import type { GetIssuers } from './types.js';
+import type { InstallBundle } from './types.js';
+import type { InstallBundleID } from './types.js';
 //# sourceMappingURL=internal-types.d.ts.map

package/src/zoeService/internal-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";;;4BAMW,MAAM,SACN,KAAK,KACH,IAAI,CAAC,IAAI,CAAC;;;;;;;;kCAWZ,MAAM,SACN,KAAK,KACH,KAAK;;;;;;;kCAUP,cAAc,YACd,qBAAqB,KACnB,OAAO,CAAC,UAAU,CAAC;oCAKrB,QAAQ,iBACR,aAAa,KACX,IAAI;mCAKN,QAAQ,KACN,aAAa;sCAKf,QAAQ,KACN,IAAI;;;;;0CASN,IAAI,CAAC,YAAY,CAAC,KAChB,IAAI,CAAC;IACb,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,YAAY,EAAC,YAAY,CAAA;CAC1B,CAAC;8BAMQ,aAAa;;cAKZ,MAAM,QAAQ;gBACd,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;gBACxB,GAAG,CAAC,YAAY,CAAC;iBACjB,WAAW;qBACX,eAAe;uBACf,MAAM,cAAc;sBACpB,gBAAgB;uBAChB,iBAAiB;yBACjB,mBAAmB;oBACnB,8BAA8B;yBAC9B,MAAM,MAAM;;;;aACZ,MAAM,MAAM;;;;kBACZ,MAAM,OAAO,sBAAsB,EAAE,aAAa;;;;;;;;oDAUrD,YAAY,eACZ,MAAM,8BACN,mBAAmB,YACnB,QAAQ,qBACR,SAAS,iBACT,MAAM,KACJ,OAAO,CAAC,yBAAyB,CAAC;8BAKpC,QAAQ,KACN,OAAO,CAAC,SAAS,CAAC;;mCAKjB,6BAA6B;yBAC7B,mBAAmB;qBACnB,eAAe;sBACf,MAAM,CAAC,KAAK,CAAC;mBACb,aAAa;qBACb,eAAe;iCACf,2BAA2B;oBAC3B,OAAO,YAAY,EAAE,cAAc;eACnC,SAAS;gBACT,UAAU;cACV,OAAO,YAAY,EAAE,QAAQ;oBAC7B,cAAc;oBACd,cAAc;gCACd,0BAA0B;sBAC1B,gBAAgB;wBAChB,kBAAkB;mCAClB,CAAC,gBAAgB,EAAE,gBAAgB,KAAK,OAAO,gBAAgB,EAAE,OAAO,GAAG,SAAS;;;;;;wCAQvF,SAAS,iBACT,MAAM,KACJ,OAAO,CAAC,OAAO,sBAAsB,EAAE,gBAAgB,CAAC;uCAK1D,aAAa,KACX,SAAS,CAAC,KAAK,CAAC"}
+{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";;;4BAWW,MAAM,SACN,KAAK,KACH,IAAI,CAAC,IAAI,CAAC;;;;;;;;kCAWZ,MAAM,SACN,KAAK,KACH,KAAK;;;;;;;kCAUP,cAAc,YACd,qBAAqB,KACnB,OAAO,CAAC,UAAU,CAAC;oCAKrB,QAAQ,iBACR,aAAa,KACX,IAAI;mCAKN,QAAQ,KACN,aAAa;sCAKf,QAAQ,KACN,IAAI;;;;;0CASN,IAAI,CAAC,YAAY,CAAC,KAChB,IAAI,CAAC;IACb,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,YAAY,EAAC,YAAY,CAAA;CAC1B,CAAC;8BAMQ,aAAa;;cAKZ,MAAM,QAAQ;gBACd,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;gBACxB,GAAG,CAAC,YAAY,CAAC;iBACjB,WAAW;qBACX,eAAe;uBACf,MAAM,cAAc;sBACpB,gBAAgB;uBAChB,iBAAiB;yBACjB,mBAAmB;oBACnB,8BAA8B;yBAC9B,MAAM,MAAM;;;;aACZ,MAAM,MAAM;;;;kBACZ,MAAM,OAAO,sBAAsB,EAAE,aAAa;;;;;;;;oDAUrD,YAAY,eACZ,MAAM,8BACN,mBAAmB,YACnB,QAAQ,qBACR,SAAS,iBACT,MAAM,KACJ,OAAO,CAAC,yBAAyB,CAAC;8BAKpC,QAAQ,KACN,OAAO,CAAC,SAAS,CAAC;;mCAKjB,6BAA6B;yBAC7B,mBAAmB;qBACnB,eAAe;sBACf,MAAM,CAAC,KAAK,CAAC;mBACb,aAAa;qBACb,eAAe;iCACf,2BAA2B;oBAC3B,OAAO,YAAY,EAAE,cAAc;eACnC,SAAS;gBACT,UAAU;cACV,OAAO,YAAY,EAAE,QAAQ;oBAC7B,CAAC,QAAQ,EAAE,OAAO,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,MAAM,EAAE;oBAC1D,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,GAAG;gCAC9C,CAAC,QAAQ,EAAE,OAAO,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,YAAY,CAAC;sBACvE,gBAAgB;wBAChB,kBAAkB;mCAClB,CAAC,gBAAgB,EAAE,gBAAgB,KAAK,OAAO,gBAAgB,EAAE,OAAO,GAAG,SAAS;;;;;;wCAQvF,SAAS,iBACT,MAAM,KACJ,OAAO,CAAC,OAAO,sBAAsB,EAAE,gBAAgB,CAAC;uCAK1D,aAAa,KACX,SAAS,CAAC,KAAK,CAAC;mCAvJuF,YAAY;+BAAZ,YAAY;iDAAZ,YAAY;gCAAZ,YAAY;mCAAZ,YAAY;qCAAZ,YAAY"}

package/src/zoeService/internal-types.js

@@ -1,4 +1,9 @@
 // @jessie-check
+/// <reference types="@agoric/zoe/exported" />
+
+/**
+ * @import {FeeMintAccess, GetBrands, GetBundleIDFromInstallation, GetIssuers, InstallBundle, InstallBundleID} from './types.js';
+ */
 
 /**
  * Create a purse for a new issuer
@@ -127,9 +132,9 @@
  * @property {GetBrands} getBrands
  * @property {GetIssuers} getIssuers
  * @property {import('./utils.js').GetTerms} getTerms
- * @property {GetOfferFilter} getOfferFilter
- * @property {SetOfferFilter} setOfferFilter
- * @property {GetInstallationForInstance} getInstallationForInstance
+ * @property {(instance: import('./utils.js').Instance<any>) => string[]} getOfferFilter
+ * @property {(instance: Instance, strings: string[]) => any} setOfferFilter
+ * @property {(instance: import('./utils.js').Instance<any>) => Promise<Installation>} getInstallationForInstance
  * @property {GetInstanceAdmin} getInstanceAdmin
  * @property {UnwrapInstallation} unwrapInstallation
  * @property {(invitationHandle: InvitationHandle) => import('@endo/patterns').Pattern | undefined} getProposalShapeForInvitation

package/src/zoeService/invitationQueries.d.ts

@@ -1,6 +1,6 @@
 export function makeInvitationQueryFns(invitationIssuer: any): {
-    getInstance: GetInstance;
-    getInstallation: GetInstallation;
-    getInvitationDetails: GetInvitationDetails;
+    getInstance: import("./types.ts").GetInstance;
+    getInstallation: import("./types.ts").GetInstallation;
+    getInvitationDetails: import("./types.ts").GetInvitationDetails;
 };
 //# sourceMappingURL=invitationQueries.d.ts.map

package/src/zoeService/invitationQueries.js

@@ -4,7 +4,7 @@ import { X, Fail, q, makeError, annotateError } from '@endo/errors';
 import { E } from '@endo/eventual-send';
 
 export const makeInvitationQueryFns = invitationIssuer => {
-  /** @type {GetInvitationDetails} */
+  /** @type {import('./types.ts').GetInvitationDetails} */
   const getInvitationDetails = async invitationP => {
     const onRejected = reason => {
       const err = makeError(
@@ -21,11 +21,11 @@ export const makeInvitationQueryFns = invitationIssuer => {
     return invAmount.value[0];
   };
 
-  /** @type {GetInstance} */
+  /** @type {import('./types.ts').GetInstance} */
   const getInstance = invitation =>
     E.get(getInvitationDetails(invitation)).instance;
 
-  /** @type {GetInstallation} */
+  /** @type {import('./types.ts').GetInstallation} */
   const getInstallation = invitation =>
     E.get(getInvitationDetails(invitation)).installation;
 

package/src/zoeService/makeInvitation.d.ts

@@ -2,4 +2,5 @@ export function prepareInvitationKit(baggage: import("@agoric/vat-data").Baggage
     invitationIssuer: globalThis.Issuer<"set", InvitationDetails>;
     invitationKit: globalThis.IssuerKit<"set", InvitationDetails>;
 };
+import type { InvitationDetails } from '@agoric/zoe';
 //# sourceMappingURL=makeInvitation.d.ts.map

package/src/zoeService/makeInvitation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"makeInvitation.d.ts","sourceRoot":"","sources":["makeInvitation.js"],"names":[],"mappings":"AAgBO,8CAHI,OAAO,kBAAkB,EAAE,OAAO,mBAClC,OAAO,sBAAsB,EAAE,mBAAmB,GAAG,SAAS;;;EA+BxE"}
+{"version":3,"file":"makeInvitation.d.ts","sourceRoot":"","sources":["makeInvitation.js"],"names":[],"mappings":"AAmBO,8CAHI,OAAO,kBAAkB,EAAE,OAAO,mBAClC,OAAO,sBAAsB,EAAE,mBAAmB,GAAG,SAAS;;;EA+BxE;uCAzCoD,aAAa"}

package/src/zoeService/makeInvitation.js

@@ -4,6 +4,9 @@ import { Fail, q } from '@endo/errors';
 import { provideDurableMapStore } from '@agoric/vat-data';
 import { AssetKind, hasIssuer, prepareIssuerKit } from '@agoric/ertp';
 import { InvitationElementShape } from '../typeGuards.js';
+/**
+ * @import {FeeIssuerConfig, InvitationDetails} from '@agoric/zoe';
+ */
 
 /**
  * Not deprecated because the first use below is still correct.

package/src/zoeService/offer/offer.d.ts

@@ -1,2 +1,3 @@
 export function makeOfferMethod(offerDataAccess: any): Offer;
+import type { Offer } from '@agoric/zoe';
 //# sourceMappingURL=offer.d.ts.map

package/src/zoeService/offer/offer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"offer.d.ts","sourceRoot":"","sources":["offer.js"],"names":[],"mappings":"AAaO,6DA0DN"}
+{"version":3,"file":"offer.d.ts","sourceRoot":"","sources":["offer.js"],"names":[],"mappings":"AAeO,6DA0DN;2BA7DuB,aAAa"}

package/src/zoeService/offer/offer.js

@@ -9,7 +9,9 @@ import { cleanProposal } from '../../cleanProposal.js';
 import { burnInvitation } from './burnInvitation.js';
 import { makeInvitationQueryFns } from '../invitationQueries.js';
 
-import '../internal-types.js';
+/**
+ * @import {Offer} from '@agoric/zoe';
+ */
 
 export const makeOfferMethod = offerDataAccess => {
   /** @type {Offer} */

package/src/zoeService/types-ambient.d.ts

@@ -1,227 +1 @@
-/**
- * Zoe provides a framework for deploying and working with smart
- * contracts. It is accessed as a long-lived and well-trusted service
- * that enforces offer safety for the contracts that use it. Zoe has a
- * single `invitationIssuer` for the entirety of its lifetime. By
- * having a reference to Zoe, a user can get the `invitationIssuer`
- * and thus validate any `invitation` they receive from someone else.
- *
- * Zoe has two different facets: the public Zoe service and the
- * contract facet (ZCF). Each contract instance has a copy of ZCF
- * within its vat. The contract and ZCF never have direct access to
- * the users' payments or the Zoe purses.
- */
-type ZoeService = {
-    /**
-     * Zoe has a single `invitationIssuer` for the entirety of its
-     * lifetime. By having a reference to Zoe, a user can get the
-     * `invitationIssuer` and thus validate any `invitation` they receive
-     * from someone else. The mint associated with the invitationIssuer
-     * creates the ERTP payments that represent the right to interact with
-     * a smart contract in particular ways.
-     */
-    getInvitationIssuer: GetInvitationIssuer;
-    install: InstallBundle;
-    installBundleID: InstallBundleID;
-    startInstance: import("./utils.js").StartInstance;
-    offer: Offer;
-    getPublicFacet: import("./utils.js").GetPublicFacet;
-    getIssuers: GetIssuers;
-    getBrands: GetBrands;
-    getTerms: import("./utils.js").GetTerms;
-    getOfferFilter: GetOfferFilter;
-    getInstallationForInstance: GetInstallationForInstance;
-    getInstance: GetInstance;
-    getInstallation: GetInstallation;
-    /**
-     *   Return an object with the instance, installation, description, invitation
-     *   handle, and any custom properties specific to the contract.
-     */
-    getInvitationDetails: GetInvitationDetails;
-    getFeeIssuer: GetFeeIssuer;
-    getConfiguration: GetConfiguration;
-    getBundleIDFromInstallation: GetBundleIDFromInstallation;
-    /**
-     *   Return the pattern (if any) associated with the invitationHandle that a
-     *   proposal is required to match to be accepted by zoe.offer().
-     */
-    getProposalShapeForInvitation: (invitationHandle: InvitationHandle) => import("@endo/patterns").Pattern | undefined;
-};
-type GetInvitationIssuer = () => Promise<Issuer<"set", InvitationDetails>>;
-type GetFeeIssuer = () => Promise<Issuer<"nat">>;
-type GetConfiguration = () => {
-    feeIssuerConfig: FeeIssuerConfig;
-};
-type GetIssuers = (instance: import("./utils.js").Instance<any>) => Promise<IssuerKeywordRecord>;
-type GetBrands = (instance: import("./utils.js").Instance<any>) => Promise<BrandKeywordRecord>;
-type GetOfferFilter = (instance: import("./utils.js").Instance<any>) => string[];
-type SetOfferFilter = (instance: Instance, strings: string[]) => any;
-type GetInstallationForInstance = (instance: import("./utils.js").Instance<any>) => Promise<Installation>;
-type GetInstance = (invitation: ERef<Invitation>) => Promise<import("./utils.js").Instance<any>>;
-type GetInstallation = (invitation: ERef<Invitation>) => Promise<Installation>;
-type GetInvitationDetails = (invitation: ERef<Invitation<any, any>>) => Promise<InvitationDetails>;
-/**
- * Create an installation by safely evaluating the code and
- * registering it with Zoe. Returns an installation.
- */
-type InstallBundle = (bundle: Bundle | SourceBundle, bundleLabel?: string | undefined) => Promise<Installation>;
-/**
- * Create an installation from a Bundle ID. Returns an installation.
- */
-type InstallBundleID = (bundleID: BundleID, bundleLabel?: string | undefined) => Promise<Installation>;
-/**
- * Verify that an alleged Installation is real, and return the Bundle ID it
- * will use for contract code.
- */
-type GetBundleIDFromInstallation = (allegedInstallation: ERef<Installation>) => Promise<BundleID>;
-/**
- * To redeem an invitation, the user normally provides a proposal (their
- * rules for the offer) as well as payments to be escrowed by Zoe.  If
- * either the proposal or payments would be empty, indicate this by
- * omitting that argument or passing undefined, rather than passing an
- * empty record.
- *
- * The proposal has three parts: `want` and `give` are used by Zoe to
- * enforce offer safety, and `exit` is used to specify the particular
- * payout-liveness policy that Zoe can guarantee. `want` and `give`
- * are objects with keywords as keys and amounts as values.
- * `paymentKeywordRecord` is a record with keywords as keys, and the
- * values are the actual payments to be escrowed. A payment is
- * expected for every rule under `give`.
- */
-type Offer = <Result, Args = undefined>(invitation: ERef<Invitation<Result, Args>>, proposal?: Proposal, paymentKeywordRecord?: PaymentPKeywordRecord, offerArgs?: Args) => Promise<UserSeat<Result>>;
-/**
- * Zoe uses seats to access or manipulate offers. They let contracts and users
- * interact with them. Zoe has two kinds of seats. ZCFSeats are used within
- * contracts and with zcf methods. UserSeats represent offers external to Zoe
- * and the contract. The party who exercises an invitation and sends the offer()
- * message to Zoe gets a UserSeat that can check payouts' status or retrieve the
- * result of processing the offer in the contract. This varies, but examples are
- * a string and an invitation for another seat.
- *
- * Also, a UserSeat can be handed to an agent outside Zoe and the contract,
- * letting them query or monitor the current state, access the payouts and
- * result, and, if it's allowed for this seat, call tryExit().
- *
- * Since anyone can attempt to exit the seat if they have a reference to it, you
- * should only share a UserSeat with trusted parties.
- *
- * UserSeat includes queries for the associated offer's current state and an
- * operation to request that the offer exit, as follows:
- */
-type UserSeat<OR extends unknown = unknown> = {
-    getProposal: () => Promise<ProposalRecord>;
-    /**
-     * returns a promise for a KeywordPaymentRecord containing all the payouts from
-     * this seat. The promise will resolve after the seat has exited.
-     */
-    getPayouts: () => Promise<PaymentPKeywordRecord>;
-    /**
-     * returns a promise for the Payment corresponding to the indicated keyword.
-     * The promise will resolve after the seat has exited. If there is no payment
-     * corresponding to the keyword, an error will be thrown. (It used to return
-     * undefined.)
-     */
-    getPayout: (keyword: Keyword) => Promise<Payment<any, any>>;
-    getOfferResult: () => Promise<OR>;
-    /**
-     * Note: Only works if the seat's `proposal` has an `OnDemand` `exit` clause. Zoe's
-     * offer-safety guarantee applies no matter how a seat's interaction with a
-     * contract ends. Under normal circumstances, the participant might be able to
-     * call `tryExit()`, or the contract might do something explicitly. On exiting,
-     * the seat holder gets its current `allocation` and the `seat` can no longer
-     * interact with the contract.
-     */
-    tryExit?: (() => void) | undefined;
-    /**
-     * Returns true if the seat has exited, false if it is still active.
-     */
-    hasExited: () => Promise<boolean>;
-    /**
-     * returns 1 if the proposal's
-     * want clause was satisfied by the final allocation, otherwise 0. This is
-     * numeric to support a planned enhancement called "multiples" which will allow
-     * the return value to be any non-negative number. The promise will resolve
-     * after the seat has exited.
-     */
-    numWantsSatisfied: () => Promise<0 | 1>;
-    /**
-     * return a promise for the final allocation. The promise will resolve after the
-     * seat has exited.
-     */
-    getFinalAllocation: () => Promise<Allocation>;
-    /**
-     * returns a subscriber that
-     * will be notified when the seat has exited or failed.
-     */
-    getExitSubscriber: () => Subscriber<Completion>;
-};
-type Proposal = Partial<ProposalRecord>;
-type ProposalRecord = {
-    give: AmountKeywordRecord;
-    want: AmountKeywordRecord;
-    exit: ExitRule;
-};
-/**
- * The keys are keywords, and the values are amounts. For example:
- * { Asset: AmountMath.make(assetBrand, 5n), Price:
- * AmountMath.make(priceBrand, 9n) }
- */
-type AmountKeywordRecord = Record<Keyword, import("@agoric/ertp/src/types.js").AnyAmount>;
-type Waker = {
-    wake: () => void;
-};
-type OnDemandExitRule = {
-    onDemand: null;
-};
-type WaivedExitRule = {
-    waived: null;
-};
-type AfterDeadlineExitRule = {
-    afterDeadline: {
-        timer: import("@agoric/time").TimerService;
-        deadline: import("@agoric/time").Timestamp;
-    };
-};
-/**
- * The possible keys are 'waived', 'onDemand', and 'afterDeadline'.
- * `timer` and `deadline` only are used for the `afterDeadline` key.
- * The possible records are:
- * `{ waived: null }`
- * `{ onDemand: null }`
- * `{ afterDeadline: { timer :Timer<Deadline>, deadline :Deadline } }`
- */
-type ExitRule = OnDemandExitRule | WaivedExitRule | AfterDeadlineExitRule;
-type Instance = import("./utils.js").Instance<any>;
-type ZCFSpec = {
-    bundleCap: import("@agoric/swingset-vat").BundleCap;
-} | {
-    name: string;
-} | {
-    id: BundleID;
-};
-/**
- * Opaque type for a JSONable source bundle
- */
-type SourceBundle = Record<string, any>;
-type PaymentPKeywordRecord = Record<Keyword, ERef<Payment<any>>>;
-type PaymentKeywordRecord = Record<Keyword, Payment<any>>;
-type InvitationDetails = {
-    installation: Installation;
-    instance: import("./utils.js").Instance<any>;
-    handle: InvitationHandle;
-    description: string;
-    customDetails?: Record<string, any> | undefined;
-};
-type Installation<SF = any> = import("./utils.js").Installation<SF>;
-type InstallationStart<I extends Installation> = import("./utils.js").InstallationStart<I>;
-type FeeIssuerConfig = {
-    name: string;
-    assetKind: AssetKind;
-    displayInfo: DisplayInfo;
-};
-type ZoeFeesConfig = {
-    getPublicFacetFee: NatValue;
-};
-type FeeMintAccess = Handle<"feeMintAccess">;
 //# sourceMappingURL=types-ambient.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;yBAmBc,mBAAmB;aASnB,aAAa;qBACb,eAAe;mBACf,OAAO,YAAY,EAAE,aAAa;WAClC,KAAK;oBACL,OAAO,YAAY,EAAE,cAAc;gBACnC,UAAU;eACV,SAAS;cACT,OAAO,YAAY,EAAE,QAAQ;oBAC7B,cAAc;gCACd,0BAA0B;iBAC1B,WAAW;qBACX,eAAe;;;;;0BACf,oBAAoB;kBAGpB,YAAY;sBACZ,gBAAgB;iCAChB,2BAA2B;;;;;mCAC3B,CAAC,gBAAgB,EAAE,gBAAgB,KAAK,OAAO,gBAAgB,EAAE,OAAO,GAAG,SAAS;;iCAOrF,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;0BAKzC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;8BAKtB;IACR,eAAe,EAAE,eAAe,CAAC;CAClC;6BAKO,OAAO,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,KAChC,OAAO,CAAC,mBAAmB,CAAC;4BAK9B,OAAO,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,KAChC,OAAO,CAAC,kBAAkB,CAAC;iCAK7B,OAAO,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,KAChC,MAAM,EAAE;iCAKV,QAAQ,WACR,MAAM,EAAE;6CAKR,OAAO,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,KAChC,OAAO,CAAC,YAAY,CAAC;gCAKvB,IAAI,CAAC,UAAU,CAAC,KACd,OAAO,CAAC,OAAO,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;oCAK7C,IAAI,CAAC,UAAU,CAAC,KACd,OAAO,CAAC,YAAY,CAAC;yCAKvB,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KACxB,OAAO,CAAC,iBAAiB,CAAC;;;;;8BAW5B,MAAM,GAAG,YAAY,uCAEnB,OAAO,CAAC,YAAY,CAAC;;;;kCAUvB,QAAQ,uCAEN,OAAO,CAAC,YAAY,CAAC;;;;;yDASvB,IAAI,CAAC,YAAY,CAAC,KAChB,OAAO,CAAC,QAAQ,CAAC;;;;;;;;;;;;;;;;aAIjB,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,EACjC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAC1C,QAAQ,CAAC,EAAE,QAAQ,EACnB,oBAAoB,CAAC,EAAE,qBAAqB,EAC5C,SAAS,CAAC,EAAE,IAAI,KACX,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;cAsCZ,EAAE;iBAEX,MAAM,OAAO,CAAC,cAAc,CAAC;;;;;gBAC7B,MAAM,OAAO,CAAC,qBAAqB,CAAC;;;;;;;eAGpC,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;oBAKhD,MAAM,OAAO,CAAC,EAAE,CAAC;;;;;;;;;qBACX,IAAI;;;;eAOV,MAAM,OAAO,CAAC,OAAO,CAAC;;;;;;;;uBAEtB,MAAM,OAAO,CAAC,CAAC,GAAC,CAAC,CAAC;;;;;wBAKlB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;uBAGzB,MAAM,UAAU,CAAC,UAAU,CAAC;;gBAK7B,OAAO,CAAC,cAAc,CAAC;sBAEvB;IAAC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAA;CACd;;;;;;2BAID,MAAM,CAAC,OAAO,EAAE,OAAO,2BAA2B,EAAE,SAAS,CAAC;;UAS7D,MAAM,IAAI;;;cAKV,IAAI;;;YAKJ,IAAI;;;mBAKJ;QAAC,KAAK,EAAE,OAAO,cAAc,EAAE,YAAY,CAAC;QAAC,QAAQ,EAAE,OAAO,cAAc,EAAE,SAAS,CAAA;KAAC;;;;;;;;;;gBAIzF,gBAAgB,GAAG,cAAc,GAAG,qBAAqB;gBAWzD,OAAO,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC;eAIlC;IAAC,SAAS,EAAE,OAAO,sBAAsB,EAAE,SAAS,CAAA;CAAE,GAAG;IAAC,IAAI,EAAE,MAAM,CAAA;CAAC,GAAG;IAAC,EAAE,EAAE,QAAQ,CAAA;CAAC;;;;oBAIxF,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;6BAKnB,MAAM,CAAC,OAAO,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;4BAClC,MAAM,CAAC,OAAO,EAAC,OAAO,CAAC,GAAG,CAAC,CAAC;;kBAK3B,YAAY;cACZ,OAAO,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC;YAClC,gBAAgB;iBAChB,MAAM;;;kBAKN,EAAE,UACH,OAAO,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;uBAItB,CAAC,SAAf,YAAa,IACd,OAAO,YAAY,EAAE,iBAAiB,CAAC,CAAC,CAAC;;UAKxC,MAAM;eACN,SAAS;iBACT,WAAW;;;uBAKX,QAAQ;;qBAIT,MAAM,CAAC,eAAe,CAAC"}
+{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":""}