@agoric/zoe 0.26.2 → 0.26.3-calypso-dev-84eb287.0

package/src/internal-types.js

@@ -1,4 +1,5 @@
 // @jessie-check
+/// <reference types="@agoric/ertp/exported" />
 
 /**
  * @typedef {object} SeatData
@@ -53,13 +54,16 @@
  */
 
 /**
- * @typedef {object} ZoeSeatAdmin
+ * @typedef ZoeSeatAdminMethods
  * @property {(allocation: Allocation) => void} replaceAllocation
  * @property {ZoeSeatAdminExit} exit
- * @property {ShutdownWithFailure} fail called with the reason
+ * @property {import('@agoric/swingset-vat').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
+ */
 
 /**
  * @callback {(brand: Brand) => AssetKind} GetAssetKind
@@ -67,7 +71,7 @@
 
 /**
  * @typedef {object} HandleOfferResult
- * @property {Promise<unknown>} offerResultPromise
+ * @property {Promise<import('@endo/marshal').Passable>} offerResultPromise
  * @property {ExitObj} exitObj
  */
 
@@ -92,7 +96,7 @@
  * @property {() => string[]} getOfferFilter
  * @property {() => Installation} getInstallation
  * @property {(completion: Completion) => void} exitAllSeats
- * @property {ShutdownWithFailure} failAllSeats
+ * @property {import('@agoric/swingset-vat').ShutdownWithFailure} failAllSeats
  * @property {() => void} stopAcceptingOffers
  * @property {(string: string) => boolean} isBlocked
  * @property {(handleOfferObj: HandleOfferObj, publicFacet: unknown) => void} initDelayedState
@@ -122,21 +126,22 @@
 /**
  * @typedef {object} ZoeInstanceAdmin
  * @property {ZoeInstanceAdminMakeInvitation} makeInvitation
- * @property {(issuerP: ERef<Issuer>,
+ * @property {<I extends Issuer>(issuerP: ERef<I>,
  *             keyword: Keyword
- *            ) => Promise<IssuerRecord>} saveIssuer
+ *            ) => Promise<I extends Issuer<infer K, infer M> ? IssuerRecord<K, M> : never>} saveIssuer
  * @property {MakeZoeMint} makeZoeMint
  * @property {RegisterFeeMint} registerFeeMint
  * @property {MakeNoEscrowSeat} makeNoEscrowSeat
  * @property {ReplaceAllocations} replaceAllocations
  * @property {(completion: Completion) => void} exitAllSeats
- * @property {ShutdownWithFailure} failAllSeats
+ * @property {import('@agoric/swingset-vat').ShutdownWithFailure} failAllSeats
  * @property {(seatHandle: SeatHandle, completion: Completion) => void} exitSeat
  * @property {(seatHandle: SeatHandle, reason: Error) => void} failSeat
  * @property {() => void} stopAcceptingOffers
  * @property {(strings: Array<string>) => void} setOfferFilter
  * @property {() => Array<string>} getOfferFilter
  * @property {(seatHandle: SeatHandle) => Subscriber<AmountKeywordRecord>} getExitSubscriber
+ * @property {() => void} repairContractCompletionWatcher
  */
 
 /**
@@ -159,7 +164,7 @@
  * @param {Keyword} keyword
  * @param {AssetKind} [assetKind]
  * @param {AdditionalDisplayInfo} [displayInfo]
- * @param {IssuerOptionsRecord} [options]
+ * @param {import('@agoric/ertp').IssuerOptionsRecord} [options]
  * @returns {ZoeMint}
  */
 
@@ -204,7 +209,7 @@
 /**
  * @typedef {object} ExecuteContractResult
  * @property {object} creatorFacet
- * @property {Promise<Invitation>} creatorInvitation
+ * @property {Promise<Invitation>} [creatorInvitation]
  * @property {object} publicFacet
  * @property {HandleOfferObj} handleOfferObj
  */
@@ -280,19 +285,6 @@
  * @property {(zcfSeat: ZCFSeat, newAllocation: Allocation) => void} reallocate
  */
 
-/**
- * @callback CreateSeatManager
- *
- * The SeatManager holds the active zcfSeats and can reallocate and
- * make new zcfSeats.
- *
- * @param {ERef<ZoeInstanceAdmin>} zoeInstanceAdmin
- * @param {GetAssetKindByBrand} getAssetKindByBrand
- * @param {ShutdownWithFailure} shutdownWithFailure
- * @param {import('@agoric/vat-data').Baggage} zcfBaggage
- * @returns {{ seatManager: ZcfSeatManager, zcfMintReallocator: ZcfMintReallocator }}
- */
-
 /**
  * @callback InstanceStateAddIssuer
  *
@@ -304,44 +296,13 @@
  * @returns {void}
  */
 
-/**
- * @callback InstanceStateGetTerms
- * @returns {AnyTerms}
- */
-
-/**
- * @callback InstanceStateGetInstallation
- * @returns {Installation}
- */
-
-/**
- * @callback InstanceRecordGetIssuers
- * @returns {IssuerKeywordRecord}
- */
-
-/**
- * @callback InstanceRecordGetBrands
- * @returns {BrandKeywordRecord}
- */
-
 /**
  * @typedef {object} InstanceState
  * @property {InstanceStateAddIssuer} addIssuer
- * @property {GetInstanceRecord} getInstanceRecord
- * @property {InstanceStateGetTerms} getTerms
- * @property {InstanceStateGetInstallation} getInstallation
- * @property {InstanceRecordGetIssuers} getIssuers
- * @property {InstanceRecordGetBrands} getBrands
+ * @property {() => InstanceRecord} getInstanceRecord
+ * @property {() => AnyTerms} getTerms
+ * @property {() => Installation} getInstallation
+ * @property {() => IssuerKeywordRecord} getIssuers
+ * @property {() => BrandKeywordRecord} getBrands
  * @property {(keyword: Keyword) => void} assertUniqueKeyword
  */
-
-/**
- * @callback GetInstanceRecord
- * @returns {InstanceRecord}
- */
-
-/**
- * @callback IssuerStorageGetIssuerRecords
- * @param {Issuer[]} issuers
- * @returns {IssuerRecords}
- */

package/src/issuerRecord.d.ts

@@ -1,3 +1,3 @@
 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<AssetKind>>;
+export function assertFullIssuerRecord(issuerRecord: IssuerRecord): asserts issuerRecord is Required<IssuerRecord>;
 //# 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,wIAMH;AAMG,qDAHI,YAAY,6DAOtB"}
+{"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"}

package/src/issuerStorage.d.ts

@@ -1,4 +1,4 @@
-export function provideIssuerStorage(zcfBaggage: MapStore<string, unknown>): {
+export function provideIssuerStorage(zcfBaggage: import("@agoric/vat-data").Baggage): {
     storeIssuerKeywordRecord: (uncleanIssuerKeywordRecord: IssuerKeywordRecord) => Promise<{
         issuers: IssuerKeywordRecord;
         brands: BrandKeywordRecord;
@@ -7,8 +7,8 @@ export function provideIssuerStorage(zcfBaggage: MapStore<string, unknown>): {
     storeIssuerRecord: (issuerRecord: IssuerRecord) => IssuerRecord;
     getAssetKindByBrand: GetAssetKindByBrand;
     getBrandForIssuer: <K extends AssetKind>(issuer: Issuer<K>) => Brand<K>;
-    getIssuerForBrand: <K_1 extends AssetKind>(brand: Brand<K_1>) => Issuer<K_1>;
-    getIssuerRecords: IssuerStorageGetIssuerRecords;
+    getIssuerForBrand: <K extends AssetKind>(brand: Brand<K>) => Issuer<K>;
+    getIssuerRecords: (issuers: Issuer[]) => IssuerRecords;
     instantiate: (issuerRecords?: any[]) => void;
 };
 //# 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":"AAgBO;2DA2HM,mBAAmB;iBACE,mBAAmB;gBACpB,kBAAkB;;2BAxDtC,KAAK,MAAM,CAAC,KACV,QAAQ,YAAY,CAAC;sCAzBvB,YAAY,KACV,YAAY;;;;;;EAyJ1B"}
+{"version":3,"file":"issuerStorage.d.ts","sourceRoot":"","sources":["issuerStorage.js"],"names":[],"mappings":"AAgBO,iDAFI,OAAO,kBAAkB,EAAE,OAAO;2DAwHhC,mBAAmB,KACjB,OAAO,CAAC;QAAE,OAAO,EAAE,mBAAmB,CAAC;QACnD,MAA4B,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;;EAyB3B"}

package/src/issuerStorage.js

@@ -1,7 +1,7 @@
+import { deeplyFulfilledObject, objectMap } from '@agoric/internal';
 import { provideDurableWeakMapStore } from '@agoric/vat-data';
 import { E } from '@endo/eventual-send';
 
-import { arrayToObj } from './objArrayConversion.js';
 import { cleanKeywords } from './cleanProposal.js';
 import { makeIssuerRecord } from './issuerRecord.js';
 
@@ -124,11 +124,6 @@ export const provideIssuerStorage = zcfBaggage => {
     return getByBrand(brand);
   };
 
-  const storeIssuers = issuers => {
-    assertInstantiated();
-    return Promise.all(issuers.map(storeIssuer));
-  };
-
   /** @type {GetAssetKindByBrand} */
   const getAssetKindByBrand = brand => {
     assertInstantiated();
@@ -143,28 +138,14 @@ export const provideIssuerStorage = zcfBaggage => {
    */
   const storeIssuerKeywordRecord = async uncleanIssuerKeywordRecord => {
     assertInstantiated();
-    const keywords = cleanKeywords(uncleanIssuerKeywordRecord);
-    const issuerPs = keywords.map(
-      keyword => uncleanIssuerKeywordRecord[keyword],
-    );
-    // The issuers may not have been seen before, so we must wait for the
-    // issuer records to be available synchronously
-    const issuerRecords = await storeIssuers(issuerPs);
-    // AWAIT ///
-
-    const issuers = arrayToObj(
-      issuerRecords.map(record => record.issuer),
-      keywords,
+    cleanKeywords(uncleanIssuerKeywordRecord);
+    const issuerRecordPs = objectMap(uncleanIssuerKeywordRecord, issuerP =>
+      storeIssuer(issuerP),
     );
-    const brands = arrayToObj(
-      issuerRecords.map(record => record.brand),
-      keywords,
-    );
-
-    return harden({
-      issuers,
-      brands,
-    });
+    const issuerRecords = await deeplyFulfilledObject(issuerRecordPs);
+    const issuers = objectMap(issuerRecords, ({ issuer }) => issuer);
+    const brands = objectMap(issuerRecords, ({ brand }) => brand);
+    return harden({ issuers, brands });
   };
 
   /**
@@ -189,7 +170,10 @@ export const provideIssuerStorage = zcfBaggage => {
     return brandToIssuerRecord.get(brand).issuer;
   };
 
-  /** @type {IssuerStorageGetIssuerRecords} */
+  /**
+   * @param {Issuer[]} issuers
+   * @returns {IssuerRecords}
+   */
   const getIssuerRecords = issuers => {
     assertInstantiated();
     return issuers.map(issuerToIssuerRecord.get);

package/src/makeHandle.d.ts

@@ -1,4 +1,4 @@
-export function defineDurableHandle<H extends string>(baggage: MapStore<string, unknown>, handleType: H): H extends "Instance" ? () => Instance : () => Handle<H>;
+export function defineDurableHandle<H extends string>(baggage: Baggage, handleType: H): H extends "Instance" ? () => Instance : () => Handle<H>;
 export function makeHandle<H extends string>(handleType: H): H extends "Instance" ? Instance : Handle<H>;
-export type Baggage = import('@agoric/vat-data').Baggage;
+import type { Baggage } from '@agoric/vat-data';
 //# sourceMappingURL=makeHandle.d.ts.map

package/src/makeHandle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"makeHandle.d.ts","sourceRoot":"","sources":["makeHandle.js"],"names":[],"mappings":"AAkBO,uIAFmC,QAAQ,mBAajD;AAUM,yGAKN;sBAlCa,OAAO,kBAAkB,EAAE,OAAO"}
+{"version":3,"file":"makeHandle.d.ts","sourceRoot":"","sources":["makeHandle.js"],"names":[],"mappings":"AAkBO,oCALe,CAAC,SAAV,MAAQ,WACV,OAAO,cACP,CAAC,GACC,CAAC,SAAS,UAAU,GAAG,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,CAAC,CAAC,CAanE;AAUM,2BAJe,CAAC,SAAV,MAAQ,cACV,CAAC,GACC,CAAC,SAAS,UAAU,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAOvD;6BAlC0B,kBAAkB"}

package/src/makeHandle.js

@@ -8,7 +8,7 @@ import { HandleI } from './typeGuards.js';
 
 const { Fail } = assert;
 
-/** @typedef {import('@agoric/vat-data').Baggage} Baggage */
+/** @import {Baggage} from '@agoric/vat-data' */
 
 /**
  * @template {string} H

package/src/typeGuards.d.ts

@@ -18,53 +18,147 @@ export namespace TermsShape {
 export namespace InstanceRecordShape {
     export { InstallationShape as installation };
     export { InstanceHandleShape as instance };
-    export const terms: import("@endo/patterns").Matcher;
+    export let terms: import("@endo/patterns").Matcher;
 }
-export const HandleI: import("@endo/patterns").InterfaceGuard;
+export const HandleI: import("@endo/patterns").InterfaceGuard<{}>;
 export function makeHandleShape(name: any): import("@endo/patterns").Matcher;
 export const TimerShape: import("@endo/patterns").Matcher;
 export namespace FullProposalShape {
     export { AmountPatternKeywordRecordShape as want };
     export { AmountKeywordRecordShape as give };
-    export const exit: import("@endo/patterns").Matcher;
+    export let exit: import("@endo/patterns").Matcher;
 }
 /** @see {Proposal} type */
 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;
 export const InvitationElementShape: import("@endo/patterns").Matcher;
-export const OfferHandlerI: import("@endo/patterns").InterfaceGuard;
+export const OfferHandlerI: import("@endo/patterns").InterfaceGuard<{
+    handle: import("@endo/patterns").MethodGuard;
+}>;
 export const SeatHandleAllocationsShape: import("@endo/patterns").Matcher;
 export const ZoeMintShape: import("@endo/patterns").Matcher;
-export const ZoeMintI: import("@endo/patterns").InterfaceGuard;
-export const ZcfMintI: import("@endo/patterns").InterfaceGuard;
+export const ZoeMintI: import("@endo/patterns").InterfaceGuard<{
+    getIssuerRecord: import("@endo/patterns").MethodGuard;
+    mintAndEscrow: import("@endo/patterns").MethodGuard;
+    withdrawAndBurn: import("@endo/patterns").MethodGuard;
+}>;
 export const FeeMintAccessShape: import("@endo/patterns").Matcher;
-export const ExitObjectI: import("@endo/patterns").InterfaceGuard;
+export const ExitObjectI: import("@endo/patterns").InterfaceGuard<{
+    exit: import("@endo/patterns").MethodGuard;
+}>;
 export const ExitObjectShape: import("@endo/patterns").Matcher;
 export const InstanceAdminShape: import("@endo/patterns").Matcher;
-export const InstanceAdminI: import("@endo/patterns").InterfaceGuard;
+export const InstanceAdminI: import("@endo/patterns").InterfaceGuard<{
+    makeInvitation: import("@endo/patterns").MethodGuard;
+    saveIssuer: import("@endo/patterns").MethodGuard;
+    makeNoEscrowSeat: import("@endo/patterns").MethodGuard;
+    exitAllSeats: import("@endo/patterns").MethodGuard;
+    failAllSeats: import("@endo/patterns").MethodGuard;
+    exitSeat: import("@endo/patterns").MethodGuard;
+    failSeat: import("@endo/patterns").MethodGuard;
+    makeZoeMint: import("@endo/patterns").MethodGuard;
+    registerFeeMint: import("@endo/patterns").MethodGuard;
+    replaceAllocations: import("@endo/patterns").MethodGuard;
+    stopAcceptingOffers: import("@endo/patterns").MethodGuard;
+    setOfferFilter: import("@endo/patterns").MethodGuard;
+    getOfferFilter: import("@endo/patterns").MethodGuard;
+    getExitSubscriber: import("@endo/patterns").MethodGuard;
+    isBlocked: import("@endo/patterns").MethodGuard;
+    repairContractCompletionWatcher: import("@endo/patterns").MethodGuard;
+}>;
 export namespace InstanceStorageManagerIKit {
-    const instanceStorageManager: import("@endo/patterns").InterfaceGuard;
-    const withdrawFacet: import("@endo/patterns").InterfaceGuard;
-    const helpers: import("@endo/patterns").InterfaceGuard;
+    let instanceStorageManager: import("@endo/patterns").InterfaceGuard<{
+        getTerms: import("@endo/patterns").MethodGuard;
+        getIssuers: import("@endo/patterns").MethodGuard;
+        getBrands: import("@endo/patterns").MethodGuard;
+        getInstallation: import("@endo/patterns").MethodGuard;
+        getInvitationIssuer: import("@endo/patterns").MethodGuard;
+        saveIssuer: import("@endo/patterns").MethodGuard;
+        makeZoeMint: import("@endo/patterns").MethodGuard;
+        registerFeeMint: import("@endo/patterns").MethodGuard;
+        getInstanceRecord: import("@endo/patterns").MethodGuard;
+        getIssuerRecords: import("@endo/patterns").MethodGuard;
+        getWithdrawFacet: import("@endo/patterns").MethodGuard;
+        initInstanceAdmin: import("@endo/patterns").MethodGuard;
+        deleteInstanceAdmin: import("@endo/patterns").MethodGuard;
+        makeInvitation: import("@endo/patterns").MethodGuard;
+        getRoot: import("@endo/patterns").MethodGuard;
+        getAdminNode: import("@endo/patterns").MethodGuard;
+    }>;
+    let withdrawFacet: import("@endo/patterns").InterfaceGuard<{
+        withdrawPayments: import("@endo/patterns").MethodGuard;
+    }>;
+    let helpers: import("@endo/patterns").InterfaceGuard<{
+        wrapIssuerKitWithZoeMint: import("@endo/patterns").MethodGuard;
+    }>;
 }
 export const BundleCapShape: import("@endo/patterns").Matcher;
 export const BundleShape: import("@endo/patterns").Matcher;
 export const UnwrappedInstallationShape: import("@endo/patterns").Matcher;
 export namespace ZoeStorageManagerIKit {
-    const zoeServiceDataAccess: import("@endo/patterns").InterfaceGuard;
-    const makeOfferAccess: import("@endo/patterns").InterfaceGuard;
-    const startInstanceAccess: import("@endo/patterns").InterfaceGuard;
-    const invitationIssuerAccess: import("@endo/patterns").InterfaceGuard;
+    let zoeServiceDataAccess: import("@endo/patterns").InterfaceGuard<{
+        getTerms: import("@endo/patterns").MethodGuard;
+        getIssuers: import("@endo/patterns").MethodGuard;
+        getBrands: import("@endo/patterns").MethodGuard;
+        getInstallation: import("@endo/patterns").MethodGuard;
+        getInvitationIssuer: import("@endo/patterns").MethodGuard;
+        getBundleIDFromInstallation: import("@endo/patterns").MethodGuard;
+        installBundle: import("@endo/patterns").MethodGuard;
+        installBundleID: import("@endo/patterns").MethodGuard;
+        getPublicFacet: import("@endo/patterns").MethodGuard;
+        getOfferFilter: import("@endo/patterns").MethodGuard;
+        getProposalShapeForInvitation: import("@endo/patterns").MethodGuard;
+    }>;
+    let makeOfferAccess: import("@endo/patterns").InterfaceGuard<{
+        getAssetKindByBrand: import("@endo/patterns").MethodGuard;
+        getInstanceAdmin: import("@endo/patterns").MethodGuard;
+        getProposalShapeForInvitation: import("@endo/patterns").MethodGuard;
+        getInvitationIssuer: import("@endo/patterns").MethodGuard;
+        depositPayments: import("@endo/patterns").MethodGuard;
+    }>;
+    let startInstanceAccess: import("@endo/patterns").InterfaceGuard<{
+        makeZoeInstanceStorageManager: import("@endo/patterns").MethodGuard;
+        unwrapInstallation: import("@endo/patterns").MethodGuard;
+    }>;
+    let invitationIssuerAccess: import("@endo/patterns").InterfaceGuard<{
+        getInvitationIssuer: import("@endo/patterns").MethodGuard;
+    }>;
 }
-export const ZoeServiceI: import("@endo/patterns").InterfaceGuard;
-export const AdminFacetI: import("@endo/patterns").InterfaceGuard;
+export const ZoeServiceI: import("@endo/patterns").InterfaceGuard<{
+    install: import("@endo/patterns").MethodGuard;
+    installBundleID: import("@endo/patterns").MethodGuard;
+    startInstance: import("@endo/patterns").MethodGuard;
+    offer: import("@endo/patterns").MethodGuard;
+    getOfferFilter: import("@endo/patterns").MethodGuard;
+    getInvitationIssuer: import("@endo/patterns").MethodGuard;
+    getFeeIssuer: import("@endo/patterns").MethodGuard;
+    getBrands: import("@endo/patterns").MethodGuard;
+    getIssuers: import("@endo/patterns").MethodGuard;
+    getPublicFacet: import("@endo/patterns").MethodGuard;
+    getTerms: import("@endo/patterns").MethodGuard;
+    getInstallationForInstance: import("@endo/patterns").MethodGuard;
+    getBundleIDFromInstallation: import("@endo/patterns").MethodGuard;
+    getInstallation: import("@endo/patterns").MethodGuard;
+    getInstance: import("@endo/patterns").MethodGuard;
+    getConfiguration: import("@endo/patterns").MethodGuard;
+    getInvitationDetails: import("@endo/patterns").MethodGuard;
+    getProposalShapeForInvitation: import("@endo/patterns").MethodGuard;
+}>;
+export const AdminFacetI: import("@endo/patterns").InterfaceGuard<{
+    getVatShutdownPromise: import("@endo/patterns").MethodGuard;
+    restartContract: import("@endo/patterns").MethodGuard;
+    upgradeContract: import("@endo/patterns").MethodGuard;
+}>;
 export const SeatDataShape: import("@endo/patterns").Matcher;
-export const HandleOfferI: import("@endo/patterns").InterfaceGuard;
+export const HandleOfferI: import("@endo/patterns").InterfaceGuard<{
+    handleOffer: import("@endo/patterns").MethodGuard;
+}>;
 export namespace PriceQuoteShape {
     export { AmountShape as quoteAmount };
-    export const quotePayment: any;
+    export let quotePayment: globalThis.Pattern;
 }
-import { AmountShape } from "@agoric/ertp/src/typeGuards";
+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":"AAgBA,4DAAuC;AAEvC,qEAAqE;AACrE,+DAAyD;AACzD,mEAAiE;AACjE,iEAA6D;AAC7D,yDAA6C;AAE7C,wEAA8E;AAC9E,+EAGE;AACF,0EAGE;AACF,wEAA8E;AAC9E,yEAGE;AACF,uEAA4E;AAE5E,iEAOE;;;;;;;;;;AAaF,8DAAiD;AAE1C,6EAA4D;AACnE,0DAAmD;;;;;;AA0BnD,2BAA2B;AAC3B,6DAAsE;AAE/D,uDAGN;AAMM,uCAHI,QAAQ,0BAMlB;AAMM,8CAHI,QAAQ,iCAMlB;AAED,sEAKG;AAEH,oEAEG;AAEH,0EAKE;AAEF,4DAAmD;AACnD,+DAIG;AAEH,+DASG;AAEH,kEAA+D;AAE/D,kEAEG;AAEH,+DAAsD;AACtD,kEAA+D;AAC/D,qEAiCG;;;;;;AAiDH,8DAAuD;AACvD,2DAGE;AAEF,0EAUE;;;;;;;AA2DF,kEA6CG;AAEH,kEAIG;AAEH,6DASE;AAEF,mEAKG"}
+{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAgBA,4DAAuC;AAEvC,qEAAqE;AACrE,+DAAyD;AACzD,mEAAiE;AACjE,iEAA6D;AAC7D,yDAA6C;AAE7C,wEAA8E;AAC9E,+EAGE;AACF,0EAGE;AACF,wEAA8E;AAC9E,yEAGE;AACF,uEAA4E;AAE5E,iEAOE;;;;;;;;;;AAaF,kEAAiD;AAE1C,6EAA4D;AACnE,0DAAmD;;;;;;AA0BnD,2BAA2B;AAC3B,6DAAsE;AAEtE,kEAIG;AAEI,uDAGN;AAMM,uCAHI,QAAQ,GACN,IAAI,IAAI,cAAc,CAKlC;AAMM,8CAHI,QAAQ,GACN,IAAI,IAAI,qBAAqB,CAKzC;AAED,sEAKG;AAEH;;GAEG;AAEH,0EAKE;AAEF,4DAAmD;AACnD;;;;GAIG;AAEH,kEAA+D;AAE/D;;GAEG;AAEH,+DAAsD;AACtD,kEAA+D;AAC/D;;;;;;;;;;;;;;;;;GAkCG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiDH,8DAAuD;AACvD,2DAGE;AAEF,0EAUE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8DF;;;;;;;;;;;;;;;;;;;GA6CG;AAEH;;;;GAIG;AAEH,6DASE;AAEF;;GAKG;;;;;4BAtXI,cAAc"}

package/src/typeGuards.js

@@ -90,6 +90,12 @@ export const FullProposalShape = harden({
 /** @see {Proposal} type */
 export const ProposalShape = M.splitRecord({}, FullProposalShape, {});
 
+export const EmptyProposalShape = M.splitRecord({
+  give: {},
+  want: {},
+  exit: { onDemand: null },
+});
+
 export const isOnDemandExitRule = exit => {
   const [exitKey] = Object.keys(exit);
   return exitKey === 'onDemand';
@@ -121,7 +127,7 @@ export const InvitationElementShape = M.splitRecord({
 });
 
 export const OfferHandlerI = M.interface('OfferHandler', {
-  handle: M.call(SeatShape).optional(M.any()).returns(M.string()),
+  handle: M.call(SeatShape).optional(M.any()).returns(M.any()),
 });
 
 export const SeatHandleAllocationsShape = M.arrayOf(
@@ -138,17 +144,6 @@ export const ZoeMintI = M.interface('ZoeMint', {
   withdrawAndBurn: M.call(AmountShape).returns(),
 });
 
-export const ZcfMintI = M.interface('ZcfMint', {
-  getIssuerRecord: M.call().returns(IssuerRecordShape),
-  mintGains: M.call(AmountKeywordRecordShape)
-    .optional(M.remotable('zcfSeat'))
-    .returns(M.remotable('zcfSeat')),
-  burnLosses: M.call(
-    AmountKeywordRecordShape,
-    M.remotable('zcfSeat'),
-  ).returns(),
-});
-
 export const FeeMintAccessShape = M.remotable('FeeMintAccess');
 
 export const ExitObjectI = M.interface('Exit Object', {
@@ -190,6 +185,7 @@ export const InstanceAdminI = M.interface('InstanceAdmin', {
   getOfferFilter: M.call().returns(M.arrayOf(M.string())),
   getExitSubscriber: M.call(SeatShape).returns(SubscriberShape),
   isBlocked: M.call(M.string()).returns(M.boolean()),
+  repairContractCompletionWatcher: M.call().returns(),
 });
 
 export const InstanceStorageManagerIKit = harden({
@@ -218,7 +214,7 @@ export const InstanceStorageManagerIKit = harden({
       InstanceHandleShape,
       M.remotable('instanceAdmin'),
     ).returns(M.promise()),
-    deleteInstanceAdmin: M.call(InstanceAdminI).returns(),
+    deleteInstanceAdmin: M.call(InstanceAdminShape).returns(),
     makeInvitation: M.call(InvitationHandleShape, M.string())
       .optional(M.record(), M.pattern())
       .returns(PaymentShape),
@@ -270,10 +266,12 @@ export const ZoeStorageManagerIKit = harden({
     getBundleIDFromInstallation: M.call(InstallationShape).returns(
       M.eref(M.string()),
     ),
-    installBundle: M.call(M.or(InstanceHandleShape, BundleShape)).returns(
-      M.promise(),
-    ),
-    installBundleID: M.call(M.string()).returns(M.promise()),
+    installBundle: M.call(M.or(InstanceHandleShape, BundleShape))
+      .optional(M.string())
+      .returns(M.promise()),
+    installBundleID: M.call(M.string())
+      .optional(M.string())
+      .returns(M.promise()),
 
     getPublicFacet: M.call(InstanceHandleShape).returns(
       M.eref(M.remotable('PublicFacet')),
@@ -304,6 +302,7 @@ export const ZoeStorageManagerIKit = harden({
       IssuerPKeywordRecordShape,
       M.or(InstanceHandleShape, BundleShape),
       M.or(BundleCapShape, BundleShape),
+      M.string(),
     ).returns(M.promise()),
     unwrapInstallation: M.callWhen(M.eref(InstallationShape)).returns(
       UnwrappedInstallationShape,
@@ -315,10 +314,10 @@ export const ZoeStorageManagerIKit = harden({
 });
 
 export const ZoeServiceI = M.interface('ZoeService', {
-  install: M.call(M.any()).returns(M.promise()),
-  installBundleID: M.call(M.string()).returns(M.promise()),
+  install: M.call(M.any()).optional(M.string()).returns(M.promise()),
+  installBundleID: M.call(M.string()).optional(M.string()).returns(M.promise()),
   startInstance: M.call(M.eref(InstallationShape))
-    .optional(IssuerPKeywordRecordShape, M.any(), M.any())
+    .optional(IssuerPKeywordRecordShape, M.record(), M.record(), M.string())
     .returns(M.promise()),
   offer: M.call(M.eref(InvitationShape))
     .optional(ProposalShape, PaymentPKeywordRecordShape, M.any())

package/src/types-ambient.d.ts

@@ -0,0 +1,41 @@
+/**
+ * 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

@@ -0,0 +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"}

package/src/{types.js → types-ambient.js}

@@ -1,20 +1,15 @@
 // @jessie-check
 
-/// <reference types="ses"/>
-
 /**
  * @template {string} H - the name of the handle
- * @typedef {H & import("@endo/marshal").Remotable} Handle A type constructor for an opaque type
- * identified by the H string. This uses an intersection type
- * ('MyHandle' & {}) to tag the handle's type even though the actual
- * value is just an empty object.
+ * @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, ERef<Issuer<any>>>} IssuerPKeywordRecord
+ * @typedef {Record<Keyword, import('@endo/far').ERef<Issuer<any>>>} IssuerPKeywordRecord
  * @typedef {Record<Keyword, Brand<any>>} BrandKeywordRecord
  */
 
@@ -28,24 +23,21 @@
  * @typedef {StandardTerms & Record<string, any>} AnyTerms
  *
  * @typedef {object} InstanceRecord
- * @property {Installation} installation
- * @property {import("./zoeService/utils.js").Instance<any>} instance
+ * @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>} issuer
+ * @property {Issuer<K, M>} issuer
  * @property {K} assetKind
  * @property {DisplayInfo<K>} [displayInfo]
- *
- * @typedef {AmountKeywordRecord} Allocation
  */
 
 /**
- * @template {object} [R=unknown] Offer result
- * @template {object} [A=never] Offer args
- * @typedef {Payment<'set'>} Invitation
+ * @typedef {Record<Keyword, import('@agoric/ertp/src/types.js').AnyAmount>} Allocation
  */