@agoric/zoe 0.27.0-upgrade-19-devnet-dev-5428c4d.0 → 0.27.0-upgrade-21-dev-16519b2.0

package/src/internal-types.d.ts

@@ -22,7 +22,7 @@ type ZoeSeatAdminKit = {
 /**
  * Make the Zoe seat admin, user seat and a notifier
  */
-type MakeZoeSeatAdminKit = (initialAllocation: Allocation, instanceAdminHelper: InstanceAdminHelper, proposal: ProposalRecord, withdrawFacet: WithdrawFacet, exitObj: ERef<ExitObj>, offerResult?: ERef<unknown>, baggage: import("@agoric/vat-data").Baggage) => ZoeSeatAdminKit;
+type MakeZoeSeatAdminKit = (initialAllocation: Allocation, instanceAdminHelper: InstanceAdminHelper, proposal: ProposalRecord, withdrawFacet: WithdrawFacet, exitObj: ERef<ExitObj>, offerResult?: ERef<unknown>, baggage: Baggage) => ZoeSeatAdminKit;
 type ZoeSeatAdminExit = (completion?: Completion) => void;
 type ZoeSeatAdminMethods = {
     replaceAllocation: (allocation: Allocation) => void;
@@ -31,12 +31,12 @@ type ZoeSeatAdminMethods = {
      * called with the reason
      * for calling fail on this seat, where reason is normally an instanceof Error.
      */
-    fail: import("@agoric/swingset-vat").ShutdownWithFailure;
+    fail: ShutdownWithFailure;
     getExitSubscriber: () => Subscriber<AmountKeywordRecord>;
 };
-type ZoeSeatAdmin = import("@endo/marshal").RemotableObject & ZoeSeatAdminMethods;
+type ZoeSeatAdmin = RemotableObject & ZoeSeatAdminMethods;
 type HandleOfferResult = {
-    offerResultPromise: Promise<import("@endo/marshal").Passable>;
+    offerResultPromise: Promise<Passable>;
     exitObj: ExitObj;
 };
 /**
@@ -56,7 +56,7 @@ type InstanceAdmin = {
     getOfferFilter: () => string[];
     getInstallation: () => Installation;
     exitAllSeats: (completion: Completion) => void;
-    failAllSeats: import("@agoric/swingset-vat").ShutdownWithFailure;
+    failAllSeats: ShutdownWithFailure;
     stopAcceptingOffers: () => void;
     isBlocked: (string: string) => boolean;
     initDelayedState: (handleOfferObj: HandleOfferObj, publicFacet: unknown) => void;
@@ -73,13 +73,13 @@ type HandleOfferObj = {
 type ZoeInstanceAdminMakeInvitation = (invitationHandle: InvitationHandle, description: string, customDetails?: Record<string, any> | undefined, proposalShape?: Pattern) => Invitation;
 type ZoeInstanceAdmin = {
     makeInvitation: ZoeInstanceAdminMakeInvitation;
-    saveIssuer: <I extends Issuer>(issuerP: ERef<I>, keyword: Keyword) => Promise<I extends Issuer<infer K, infer M> ? IssuerRecord<K, M> : never>;
+    saveIssuer: <I extends Issuer>(issuerP: ERef<I>, keyword: Keyword) => Promise<I extends Issuer<infer K, infer M> ? ZoeIssuerRecord<K, M> : never>;
     makeZoeMint: MakeZoeMint;
     registerFeeMint: RegisterFeeMint;
     makeNoEscrowSeat: MakeNoEscrowSeat;
     replaceAllocations: ReplaceAllocations;
     exitAllSeats: (completion: Completion) => void;
-    failAllSeats: import("@agoric/swingset-vat").ShutdownWithFailure;
+    failAllSeats: ShutdownWithFailure;
     exitSeat: (seatHandle: SeatHandle, completion: Completion) => void;
     failSeat: (seatHandle: SeatHandle, reason: Error) => void;
     stopAcceptingOffers: () => void;
@@ -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;
 };
@@ -134,7 +134,7 @@ type SeatHandle = Handle<"Seat">;
  * To be deleted when brands have a property for assetKind
  */
 type GetAssetKindByBrand = (brand: Brand) => AssetKind;
-type IssuerRecords = Array<IssuerRecord>;
+type IssuerRecords = Array<ZoeIssuerRecord>;
 type MakeZCFSeat = (seatData: SeatData) => ZCFSeat;
 /**
  * Drops all of the references in the seat-related weakStores by
@@ -152,7 +152,7 @@ type ZcfMintReallocator = {
  * Add an issuer and its keyword to the instanceRecord for the
  * contract instance
  */
-type InstanceStateAddIssuer = (keyword: Keyword, issuerRecord: IssuerRecord) => void;
+type InstanceStateAddIssuer = (keyword: Keyword, issuerRecord: ZoeIssuerRecord) => void;
 type InstanceState = {
     addIssuer: InstanceStateAddIssuer;
     getInstanceRecord: () => InstanceRecord;
@@ -162,4 +162,19 @@ type InstanceState = {
     getBrands: () => BrandKeywordRecord;
     assertUniqueKeyword: (keyword: Keyword) => void;
 };
+import type { RemotableObject } from '@endo/pass-style';
+import type { Passable } from '@endo/pass-style';
+import type { Pattern } from '@endo/patterns';
+import type { ShutdownWithFailure } from '@agoric/swingset-vat';
+import type { Baggage } from '@agoric/vat-data';
+import type { IssuerOptionsRecord } from '@agoric/ertp';
+import type { IssuerRecord } from '@agoric/ertp';
+import type { Allocation } from './types-index.js';
+import type { PaymentPKeywordRecord } from './types-index.js';
+import type { UserSeat } from './types-index.js';
+import type { Completion } from './types-index.js';
+import type { ZoeIssuerRecord } from './types-index.js';
+import type { InvitationHandle } from './types.js';
+import type { BrandKeywordRecord } from './types.js';
+import type { AnyTerms } from './types.js';
 //# 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":";cAec,cAAc;uBACd,UAAU;gBACV,UAAU;gBACV,MAAM;;;;;qCAOT,UAAU,KACR,qBAAqB;;sBAKpB,CAAC,UAAU,EAAE,UAAU,KAAK,qBAAqB;;;sBAKjD,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,KACL,eAAe;sCAKjB,UAAU,KACR,IAAI;;uBAKH,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;UAChC,gBAAgB;;;;;UAChB,mBAAmB;uBAEnB,MAAM,UAAU,CAAC,mBAAmB,CAAC;;oBAGtC,eAAe,GAAG,mBAAmB;;wBASpC,OAAO,CAAC,QAAQ,CAAC;aACjB,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,mBAAmB;yBACnB,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,gBAAgB,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;iBAChF,WAAW;qBACX,eAAe;sBACf,gBAAgB;wBAChB,kBAAkB;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,mBAAmB;cACnB,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,aAAa,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,eAAe,CAAC;8BAKxB,QAAQ,KACN,OAAO;;;;;+BAQP,IAAI;;iBAKH,WAAW;uBACX,iBAAiB;;;gBAKjB,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,KAAK,IAAI;;;;;;wCASxD,OAAO,gBACP,eAAe,KACb,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;;qCAvTI,kBAAkB;8BAAlB,kBAAkB;6BACpC,gBAAgB;yCACJ,sBAAsB;6BAClC,kBAAkB;yCACQ,cAAc;kCAAd,cAAc;gCACyB,kBAAkB;2CAAlB,kBAAkB;8BAAlB,kBAAkB;gCAAlB,kBAAkB;qCAAlB,kBAAkB;sCAC5C,YAAY;wCAAZ,YAAY;8BAAZ,YAAY"}

package/src/internal-types.js

@@ -1,6 +1,16 @@
 // @jessie-check
 /// <reference types="@agoric/ertp/exported" />
 
+/**
+ * @import {RemotableObject, Passable} from '@endo/pass-style';
+ * @import {Pattern} from '@endo/patterns';
+ * @import {ShutdownWithFailure} from '@agoric/swingset-vat';
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {IssuerOptionsRecord, IssuerRecord} from '@agoric/ertp';
+ * @import {Allocation, PaymentPKeywordRecord, UserSeat, Completion, ZoeIssuerRecord} from './types-index.js';
+ * @import {InvitationHandle, BrandKeywordRecord, AnyTerms} from './types.js';
+ */
+
 /**
  * @typedef {object} SeatData
  * @property {ProposalRecord} proposal
@@ -19,7 +29,7 @@
 
 /**
  * @typedef WithdrawFacet
- * @property {(allocation:Allocation) => PaymentPKeywordRecord} withdrawPayments
+ * @property {(allocation: Allocation) => PaymentPKeywordRecord} withdrawPayments
  */
 
 /**
@@ -43,7 +53,7 @@
  * @param {WithdrawFacet} withdrawFacet
  * @param {ERef<ExitObj>} exitObj
  * @param {ERef<unknown>} [offerResult]
- * @param {import('@agoric/vat-data').Baggage} baggage
+ * @param {Baggage} baggage
  * @returns {ZoeSeatAdminKit}
  */
 
@@ -57,12 +67,12 @@
  * @typedef ZoeSeatAdminMethods
  * @property {(allocation: Allocation) => void} replaceAllocation
  * @property {ZoeSeatAdminExit} exit
- * @property {import('@agoric/swingset-vat').ShutdownWithFailure} fail called with the reason
+ * @property {ShutdownWithFailure} fail called with the reason
  * for calling fail on this seat, where reason is normally an instanceof Error.
  * @property {() => Subscriber<AmountKeywordRecord>} getExitSubscriber
  */
 /**
- * @typedef {import('@endo/marshal').RemotableObject & ZoeSeatAdminMethods} ZoeSeatAdmin
+ * @typedef {RemotableObject & ZoeSeatAdminMethods} ZoeSeatAdmin
  */
 
 /**
@@ -71,7 +81,7 @@
 
 /**
  * @typedef {object} HandleOfferResult
- * @property {Promise<import('@endo/marshal').Passable>} offerResultPromise
+ * @property {Promise<Passable>} offerResultPromise
  * @property {ExitObj} exitObj
  */
 
@@ -96,7 +106,7 @@
  * @property {() => string[]} getOfferFilter
  * @property {() => Installation} getInstallation
  * @property {(completion: Completion) => void} exitAllSeats
- * @property {import('@agoric/swingset-vat').ShutdownWithFailure} failAllSeats
+ * @property {ShutdownWithFailure} failAllSeats
  * @property {() => void} stopAcceptingOffers
  * @property {(string: string) => boolean} isBlocked
  * @property {(handleOfferObj: HandleOfferObj, publicFacet: unknown) => void} initDelayedState
@@ -128,13 +138,13 @@
  * @property {ZoeInstanceAdminMakeInvitation} makeInvitation
  * @property {<I extends Issuer>(issuerP: ERef<I>,
  *             keyword: Keyword
- *            ) => Promise<I extends Issuer<infer K, infer M> ? IssuerRecord<K, M> : never>} saveIssuer
+ *            ) => Promise<I extends Issuer<infer K, infer M> ? ZoeIssuerRecord<K, M> : never>} saveIssuer
  * @property {MakeZoeMint} makeZoeMint
  * @property {RegisterFeeMint} registerFeeMint
  * @property {MakeNoEscrowSeat} makeNoEscrowSeat
  * @property {ReplaceAllocations} replaceAllocations
  * @property {(completion: Completion) => void} exitAllSeats
- * @property {import('@agoric/swingset-vat').ShutdownWithFailure} failAllSeats
+ * @property {ShutdownWithFailure} failAllSeats
  * @property {(seatHandle: SeatHandle, completion: Completion) => void} exitSeat
  * @property {(seatHandle: SeatHandle, reason: Error) => void} failSeat
  * @property {() => void} stopAcceptingOffers
@@ -164,7 +174,7 @@
  * @param {Keyword} keyword
  * @param {AssetKind} [assetKind]
  * @param {AdditionalDisplayInfo} [displayInfo]
- * @param {import('@agoric/ertp').IssuerOptionsRecord} [options]
+ * @param {IssuerOptionsRecord} [options]
  * @returns {ZoeMint}
  */
 
@@ -256,7 +266,7 @@
  */
 
 /**
- * @typedef {Array<IssuerRecord>} IssuerRecords
+ * @typedef {Array<ZoeIssuerRecord>} IssuerRecords
  */
 
 /**
@@ -291,7 +301,7 @@
  * contract instance
  *
  * @param {Keyword} keyword
- * @param {IssuerRecord} issuerRecord
+ * @param {ZoeIssuerRecord} issuerRecord
  * @returns {void}
  */
 

package/src/issuerRecord.d.ts

@@ -1,3 +1,4 @@
-export function makeIssuerRecord<K extends AssetKind>(brand: Brand<K>, issuer: Issuer<K>, displayInfo: DisplayInfo<K>): IssuerRecord<K>;
-export function assertFullIssuerRecord(issuerRecord: IssuerRecord): asserts issuerRecord is Required<IssuerRecord>;
+export function makeIssuerRecord<K extends AssetKind>(brand: Brand<K>, issuer: Issuer<K>, displayInfo: DisplayInfo<K>): ZoeIssuerRecord<K>;
+export function assertFullIssuerRecord(issuerRecord: IssuerRecord<any>): asserts issuerRecord is Required<IssuerRecord>;
+import type { IssuerRecord } from '@agoric/ertp';
 //# sourceMappingURL=issuerRecord.d.ts.map

package/src/issuerRecord.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"issuerRecord.d.ts","sourceRoot":"","sources":["issuerRecord.js"],"names":[],"mappings":"AAaO,iCANkB,CAAC,SAAZ,SAAU,SACb,KAAK,CAAC,CAAC,CAAC,UACR,MAAM,CAAC,CAAC,CAAC,eACT,WAAW,CAAC,CAAC,CAAC,GACZ,YAAY,CAAC,CAAC,CAAC,CAQxB;AAMG,qDAHI,YAAY,GACV,QAAQ,YAAY,IAAI,QAAQ,CAAC,YAAY,CAAC,CAM1D"}
+{"version":3,"file":"issuerRecord.d.ts","sourceRoot":"","sources":["issuerRecord.js"],"names":[],"mappings":"AAiBO,iCANkB,CAAC,SAAZ,SAAU,SACb,KAAK,CAAC,CAAC,CAAC,UACR,MAAM,CAAC,CAAC,CAAC,eACT,WAAW,CAAC,CAAC,CAAC,GACZ,gBAAgB,CAAC,CAAC,CAQ3B;AAMG,qDAHI,aAAa,GAAG,CAAC,GACf,QAAQ,YAAY,IAAI,QAAQ,CAAC,YAAY,CAAC,CAM1D;kCA7B8B,cAAc"}

package/src/issuerRecord.js

@@ -1,6 +1,10 @@
 // @jessie-check
 import { Fail } from '@endo/errors';
 
+/**
+ * @import {IssuerRecord} from '@agoric/ertp';
+ */
+
 /**
  * Put together information about the issuer in a standard format that
  * is synchronously accessible.
@@ -9,7 +13,7 @@ import { Fail } from '@endo/errors';
  * @param {Brand<K>} brand
  * @param {Issuer<K>} issuer
  * @param {DisplayInfo<K>} displayInfo
- * @returns {IssuerRecord<K>}
+ * @returns {ZoeIssuerRecord<K>}
  */
 export const makeIssuerRecord = (brand, issuer, displayInfo) =>
   harden({
@@ -20,7 +24,7 @@ export const makeIssuerRecord = (brand, issuer, displayInfo) =>
   });
 
 /**
- * @param {IssuerRecord} issuerRecord
+ * @param {IssuerRecord<any>} issuerRecord
  * @returns {asserts issuerRecord is Required<IssuerRecord>}
  */
 export const assertFullIssuerRecord = issuerRecord => {

package/src/issuerStorage.d.ts

@@ -3,12 +3,13 @@ export function provideIssuerStorage(zcfBaggage: import("@agoric/vat-data").Bagg
         issuers: IssuerKeywordRecord;
         brands: BrandKeywordRecord;
     }>;
-    storeIssuer: (issuerP: ERef<Issuer>) => Promise<IssuerRecord>;
-    storeIssuerRecord: (issuerRecord: IssuerRecord) => IssuerRecord;
+    storeIssuer: (issuerP: ERef<Issuer>) => Promise<ZoeIssuerRecord>;
+    storeIssuerRecord: (issuerRecord: ZoeIssuerRecord) => ZoeIssuerRecord;
     getAssetKindByBrand: GetAssetKindByBrand;
     getBrandForIssuer: <K extends AssetKind>(issuer: Issuer<K>) => Brand<K>;
     getIssuerForBrand: <K extends AssetKind>(brand: Brand<K>) => Issuer<K>;
     getIssuerRecords: (issuers: Issuer[]) => IssuerRecords;
     instantiate: (issuerRecords?: any[]) => void;
 };
+import type { ZoeIssuerRecord } from '@agoric/zoe';
 //# sourceMappingURL=issuerStorage.d.ts.map

package/src/issuerStorage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"issuerStorage.d.ts","sourceRoot":"","sources":["issuerStorage.js"],"names":[],"mappings":"AAmBO,iDAFI,OAAO,kBAAkB,EAAE,OAAO;2DAwHhC,mBAAmB,KACjB,OAAO,CAAC;QAAE,OAAO,EAAE,mBAAmB,CAAC;QAC7B,MAAM,EAAE,kBAAkB,CAAA;KAAE,CAAC;2BAnDzC,IAAI,CAAC,MAAM,CAAC,KACV,OAAO,CAAC,YAAY,CAAC;sCAzBvB,YAAY,KACV,YAAY;;wBAyFA,CAAC,SAAZ,SAAU,UACb,MAAM,CAAC,CAAC,CAAC,KACP,KAAK,CAAC,CAAC,CAAC;wBASI,CAAC,SAAZ,SAAU,SACb,KAAK,CAAC,CAAC,CAAC,KACN,MAAM,CAAC,CAAC,CAAC;gCASX,MAAM,EAAE,KACN,aAAa;;EA2B3B"}
+{"version":3,"file":"issuerStorage.d.ts","sourceRoot":"","sources":["issuerStorage.js"],"names":[],"mappings":"AAoBO,iDAFI,OAAO,kBAAkB,EAAE,OAAO;2DAwHhC,mBAAmB,KACjB,OAAO,CAAC;QAAE,OAAO,EAAE,mBAAmB,CAAC;QAC7B,MAAM,EAAE,kBAAkB,CAAA;KAAE,CAAC;2BAnDzC,IAAI,CAAC,MAAM,CAAC,KACV,OAAO,CAAE,eAAe,CAAC;sCAzB3B,eAAe,KACb,eAAe;;wBAyFH,CAAC,SAAZ,SAAU,UACb,MAAM,CAAC,CAAC,CAAC,KACP,KAAK,CAAC,CAAC,CAAC;wBASI,CAAC,SAAZ,SAAU,SACb,KAAK,CAAC,CAAC,CAAC,KACN,MAAM,CAAC,CAAC,CAAC;gCASX,MAAM,EAAE,KACN,aAAa;;EA2B3B;qCAjMiC,aAAa"}

package/src/issuerStorage.js

@@ -10,6 +10,7 @@ const STORAGE_INSTANTIATED_KEY = 'IssuerStorageInstantiated';
 
 /**
  * @import {LegacyWeakMap, WeakMapStore} from '@agoric/store';
+ * @import {ZoeIssuerRecord} from '@agoric/zoe';
  */
 
 /**
@@ -18,12 +19,12 @@ const STORAGE_INSTANTIATED_KEY = 'IssuerStorageInstantiated';
  * @param {import('@agoric/vat-data').Baggage} zcfBaggage
  */
 export const provideIssuerStorage = zcfBaggage => {
-  /** @type {WeakMapStore<Brand,IssuerRecord>} */
+  /** @type {WeakMapStore<Brand, ZoeIssuerRecord>} */
   const brandToIssuerRecord = provideDurableWeakMapStore(
     zcfBaggage,
     'brandToIssuerRecord',
   );
-  /** @type {WeakMapStore<Issuer,IssuerRecord>} */
+  /** @type {WeakMapStore<Issuer, ZoeIssuerRecord>} */
   const issuerToIssuerRecord = provideDurableWeakMapStore(
     zcfBaggage,
     'issuerToIssuerRecord',
@@ -62,8 +63,8 @@ export const provideIssuerStorage = zcfBaggage => {
    * to add the issuer again in ZCF.
    *
    *
-   * @param {IssuerRecord} issuerRecord
-   * @returns {IssuerRecord}
+   * @param {ZoeIssuerRecord} issuerRecord
+   * @returns {ZoeIssuerRecord}
    */
   const storeIssuerRecord = issuerRecord => {
     assertInstantiated();
@@ -87,7 +88,7 @@ export const provideIssuerStorage = zcfBaggage => {
    * Otherwise, make and save the issuerRecord.
    *
    * @param {ERef<Issuer>} issuerP
-   * @returns {Promise<IssuerRecord>}
+   * @returns {Promise< ZoeIssuerRecord>}
    */
   const storeIssuer = async issuerP => {
     assertInstantiated();

package/src/typeGuards.d.ts

@@ -1,5 +1,6 @@
 /**
  * @import {TypedPattern} from '@agoric/internal';
+ * @import {AfterDeadlineExitRule, ZoeIssuerRecord} from '@agoric/zoe';
  */
 export const KeywordShape: import("@endo/patterns").Matcher;
 /** @type {TypedPattern<InvitationHandle>} */
@@ -16,7 +17,8 @@ export const PaymentPKeywordRecordShape: import("@endo/patterns").Matcher;
 export const IssuerKeywordRecordShape: import("@endo/patterns").Matcher;
 export const IssuerPKeywordRecordShape: import("@endo/patterns").Matcher;
 export const BrandKeywordRecordShape: import("@endo/patterns").Matcher;
-export const IssuerRecordShape: import("@endo/patterns").Matcher;
+/** @type {TypedPattern<ZoeIssuerRecord>} */
+export const IssuerRecordShape: TypedPattern<ZoeIssuerRecord>;
 export namespace TermsShape {
     export { IssuerKeywordRecordShape as issuers };
     export { BrandKeywordRecordShape as brands };
@@ -38,10 +40,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 +168,10 @@ 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 { ZoeIssuerRecord } from '@agoric/zoe';
+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,4CAA4C;AAC5C,gCADW,aAAa,eAAe,CAAC,CAQtC;;;;;;;;;;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;;;;;kCA/X4B,kBAAkB;qCACQ,aAAa;2CAAb,aAAa;4BAP/D,cAAc"}

package/src/typeGuards.js

@@ -15,6 +15,7 @@ import { TimestampShape } from '@agoric/time';
 
 /**
  * @import {TypedPattern} from '@agoric/internal';
+ * @import {AfterDeadlineExitRule, ZoeIssuerRecord} from '@agoric/zoe';
  */
 
 // keywords have an initial cap
@@ -45,6 +46,7 @@ export const IssuerPKeywordRecordShape = M.recordOf(
 );
 export const BrandKeywordRecordShape = M.recordOf(KeywordShape, BrandShape);
 
+/** @type {TypedPattern<ZoeIssuerRecord>} */
 export const IssuerRecordShape = M.splitRecord(
   {
     brand: BrandShape,
@@ -114,7 +116,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 +126,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 +135,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,
@@ -278,7 +280,7 @@ export const ZoeStorageManagerIKit = {
     getBundleIDFromInstallation: M.call(InstallationShape).returns(
       M.eref(M.string()),
     ),
-    installBundle: M.call(M.or(InstanceHandleShape, BundleShape))
+    installBundle: M.call(BundleShape)
       .optional(M.string())
       .returns(M.promise()),
     installBundleID: M.call(M.string())
@@ -311,7 +313,7 @@ export const ZoeStorageManagerIKit = {
       InstallationShape,
       M.any(),
       IssuerPKeywordRecordShape,
-      M.or(InstanceHandleShape, BundleShape),
+      InstanceHandleShape,
       M.or(BundleCapShape, BundleShape),
       M.string(),
     ).returns(M.promise()),

package/src/types-ambient.d.ts

@@ -1,41 +1 @@
-/**
- * Alias for RemotableObject
- */
-type Handle<H extends string> = import("@endo/marshal").RemotableObject<H>;
-type Keyword = string;
-/**
- * - an opaque handle for an invitation
- */
-type InvitationHandle = Handle<"Invitation">;
-type IssuerKeywordRecord = Record<Keyword, Issuer<any>>;
-type IssuerPKeywordRecord = Record<Keyword, import("@endo/far").ERef<Issuer<any>>>;
-type BrandKeywordRecord = Record<Keyword, Brand<any>>;
-type StandardTerms = {
-    /**
-     * - record with
-     * keywords keys, issuer values
-     */
-    issuers: IssuerKeywordRecord;
-    /**
-     * - record with keywords
-     * keys, brand values
-     */
-    brands: BrandKeywordRecord;
-};
-type AnyTerms = StandardTerms & Record<string, any>;
-type InstanceRecord = {
-    installation: import("./zoeService/utils.js").Installation<any>;
-    instance: import("./zoeService/utils.js").Instance<any>;
-    /**
-     * - contract parameters
-     */
-    terms: AnyTerms;
-};
-type IssuerRecord<K extends AssetKind = globalThis.AssetKind, M extends import("@endo/patterns").Key = import("@endo/patterns").Key> = {
-    brand: Brand<K>;
-    issuer: Issuer<K, M>;
-    assetKind: K;
-    displayInfo?: globalThis.DisplayInfo<K> | undefined;
-};
-type Allocation = Record<Keyword, import("@agoric/ertp/src/types.js").AnyAmount>;
 //# sourceMappingURL=types-ambient.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";;;YAGsB,CAAC,SAAV,MAAQ,IACR,OAAO,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC;eAI1C,MAAM;;;;wBACN,MAAM,CAAC,YAAY,CAAC;2BACpB,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;4BAC5B,MAAM,CAAC,OAAO,EAAE,OAAO,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;0BACtD,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;;;;;;aAK1B,mBAAmB;;;;;YAEnB,kBAAkB;;gBAGnB,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;kBAGlC,OAAO,uBAAuB,EAAE,YAAY,CAAC,GAAG,CAAC;cACjD,OAAO,uBAAuB,EAAE,QAAQ,CAAC,GAAG,CAAC;;;;WAC7C,QAAQ;;kBAII,CAAC,SAAb,SAAU,yBACqB,CAAC,SAAjC,OAAQ,gBAAgB,EAAE,GAAI;WAE7B,KAAK,CAAC,CAAC,CAAC;YACR,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;eACZ,CAAC;;;kBAKF,MAAM,CAAC,OAAO,EAAE,OAAO,2BAA2B,EAAE,SAAS,CAAC"}
+{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":""}

package/src/types-ambient.js

@@ -1,43 +1,5 @@
-// @jessie-check
+/** @file @deprecated */
 
-/**
- * @template {string} H - the name of the handle
- * @typedef {import('@endo/marshal').RemotableObject<H>} Handle Alias for RemotableObject
- */
-
-/**
- * @typedef {string} Keyword
- * @typedef {Handle<'Invitation'>} InvitationHandle - an opaque handle for an invitation
- * @typedef {Record<Keyword, Issuer<any>>} IssuerKeywordRecord
- * @typedef {Record<Keyword, import('@endo/far').ERef<Issuer<any>>>} IssuerPKeywordRecord
- * @typedef {Record<Keyword, Brand<any>>} BrandKeywordRecord
- */
-
-/**
- * @typedef {object} StandardTerms
- * @property {IssuerKeywordRecord} issuers - record with
- * keywords keys, issuer values
- * @property {BrandKeywordRecord} brands - record with keywords
- * keys, brand values
- *
- * @typedef {StandardTerms & Record<string, any>} AnyTerms
- *
- * @typedef {object} InstanceRecord
- * @property {import('./zoeService/utils.js').Installation<any>} installation
- * @property {import('./zoeService/utils.js').Instance<any>} instance
- * @property {AnyTerms} terms - contract parameters
- */
-
-/**
- * @template {AssetKind} [K=AssetKind]
- * @template {import('@endo/patterns').Key} [M=import('@endo/patterns').Key] member kind, for Amounts that have member values
- * @typedef {object} IssuerRecord
- * @property {Brand<K>} brand
- * @property {Issuer<K, M>} issuer
- * @property {K} assetKind
- * @property {DisplayInfo<K>} [displayInfo]
- */
-
-/**
- * @typedef {Record<Keyword, import('@agoric/ertp/src/types.js').AnyAmount>} Allocation
- */
+console.error(
+  'NOTICE: src/types-ambient.js no longer provides types; use explicit imports or the top level `/exported.js`',
+);

package/src/types-index.d.ts

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

package/src/types-index.js

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

package/src/types.d.ts

@@ -0,0 +1,29 @@
+import type { Brand, Issuer } from '@agoric/ertp';
+import type { RemotableObject } from '@endo/pass-style';
+/**
+ * Alias for RemotableObject
+ */
+export type Handle<H extends string> = RemotableObject<H>;
+/** Must start with a capital letter. */
+export type Keyword = string;
+/**
+ * - an opaque handle for an invitation
+ */
+export type InvitationHandle = Handle<'Invitation'>;
+export type IssuerKeywordRecord = Record<Keyword, Issuer<any>>;
+export type IssuerPKeywordRecord = Record<Keyword, import('@endo/far').ERef<Issuer<any>>>;
+export type BrandKeywordRecord = Record<Keyword, Brand<any>>;
+export type StandardTerms = {
+    /**
+     * - record with
+     * keywords keys, issuer values
+     */
+    issuers: IssuerKeywordRecord;
+    /**
+     * - record with keywords
+     * keys, brand values
+     */
+    brands: BrandKeywordRecord;
+};
+export type AnyTerms = StandardTerms & Record<string, any>;
+//# sourceMappingURL=types.d.ts.map

package/src/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC;AAK1D,wCAAwC;AACxC,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;AACpD,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;AAC/D,MAAM,MAAM,oBAAoB,GAAG,MAAM,CACvC,OAAO,EACP,OAAO,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CACtC,CAAC;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7D,MAAM,MAAM,aAAa,GAAG;IAC1B;;;OAGG;IACH,OAAO,EAAE,mBAAmB,CAAC;IAC7B;;;OAGG;IACH,MAAM,EAAE,kBAAkB,CAAC;CAC5B,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC"}

package/src/types.ts

@@ -0,0 +1,37 @@
+import type { Brand, Issuer } from '@agoric/ertp';
+import type { RemotableObject } from '@endo/pass-style';
+
+/**
+ * Alias for RemotableObject
+ */
+export type Handle<H extends string> = RemotableObject<H>;
+
+// Typing this as Capitalize<string> would be more accurate but requires
+// frequent casting. Revisit once .ts syntax is more common. Even then,
+// may not be worth the effort since Zoe 2 probably will not have keywords.
+/** Must start with a capital letter. */
+export type Keyword = string;
+
+/**
+ * - an opaque handle for an invitation
+ */
+export type InvitationHandle = Handle<'Invitation'>;
+export type IssuerKeywordRecord = Record<Keyword, Issuer<any>>;
+export type IssuerPKeywordRecord = Record<
+  Keyword,
+  import('@endo/far').ERef<Issuer<any>>
+>;
+export type BrandKeywordRecord = Record<Keyword, Brand<any>>;
+export type StandardTerms = {
+  /**
+   * - record with
+   * keywords keys, issuer values
+   */
+  issuers: IssuerKeywordRecord;
+  /**
+   * - record with keywords
+   * keys, brand values
+   */
+  brands: BrandKeywordRecord;
+};
+export type AnyTerms = StandardTerms & Record<string, any>;

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

@@ -1 +1 @@
-{"version":3,"file":"escrowStorage.d.ts","sourceRoot":"","sources":["escrowStorage.js"],"names":[],"mappings":"AAqBO,8CAFI,OAAO,kBAAkB,EAAE,OAAO;;;;;EA8G5C"}
+{"version":3,"file":"escrowStorage.d.ts","sourceRoot":"","sources":["escrowStorage.js"],"names":[],"mappings":"AAoBO,8CAFI,OAAO,kBAAkB,EAAE,OAAO;;;;;EA8G5C"}

package/src/zoeService/escrowStorage.js

@@ -5,12 +5,11 @@ import { deeplyFulfilledObject, objectMap } from '@agoric/internal';
 import { provideDurableWeakMapStore } from '@agoric/vat-data';
 
 /// <reference path="./types.js" />
-import './internal-types.js';
 
 import { cleanKeywords } from '../cleanProposal.js';
 
 /**
- * @import {LegacyWeakMap, WeakMapStore} from '@agoric/store';
+ * @import {WeakMapStore} from '@agoric/store';
  */
 
 /**