@agoric/zoe 0.27.0-upgrade-19-devnet-dev-5428c4d.0 → 0.27.0-upgrade-22-dev-6fad137.0.6fad137

package/src/zoeService/feeMint.d.ts

@@ -8,11 +8,11 @@ export namespace defaultFeeIssuerConfig {
     }
 }
 /**
- * @param {import('@agoric/vat-data').Baggage} zoeBaggage
+ * @param {Baggage} zoeBaggage
  * @param {FeeIssuerConfig} feeIssuerConfig
- * @param {import('@agoric/swingset-vat').ShutdownWithFailure} shutdownZoeVat
+ * @param {ShutdownWithFailure} shutdownZoeVat
  */
-export function prepareFeeMint(zoeBaggage: import("@agoric/vat-data").Baggage, feeIssuerConfig: FeeIssuerConfig, shutdownZoeVat: import("@agoric/swingset-vat").ShutdownWithFailure): import("@endo/exo").GuardedKit<{
+export function prepareFeeMint(zoeBaggage: Baggage, feeIssuerConfig: FeeIssuerConfig, shutdownZoeVat: ShutdownWithFailure): import("@endo/exo").GuardedKit<{
     feeMint: {
         getFeeIssuerKit(allegedFeeMintAccess: any): globalThis.IssuerKit<"nat">;
         getFeeIssuer(): globalThis.Issuer<"nat", import("@endo/patterns").Key>;
@@ -20,4 +20,7 @@ export function prepareFeeMint(zoeBaggage: import("@agoric/vat-data").Baggage, f
     };
     feeMintAccess: {};
 }>;
+import type { Baggage } from '@agoric/vat-data';
+import type { FeeIssuerConfig } from './types.js';
+import type { ShutdownWithFailure } from '@agoric/swingset-vat';
 //# 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":";;;;;;;;;AAiCA;;;;GAIG;AACH,2CAJW,OAAO,mBACP,eAAe,kBACf,mBAAmB;;;;;;;GA2D7B;6BA9EyB,kBAAkB;qCAEV,YAAY;yCADR,sBAAsB"}

package/src/zoeService/feeMint.js

@@ -14,6 +14,12 @@ import {
 import { Fail, q } from '@endo/errors';
 import { FeeMintAccessShape } from '../typeGuards.js';
 
+/**
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {ShutdownWithFailure} from '@agoric/swingset-vat';
+ * @import {FeeIssuerConfig} from './types.js';
+ */
+
 /** @deprecated Redundant. Just omit it. */
 const FEE_MINT_KIT = 'FeeMintKit';
 
@@ -26,9 +32,9 @@ export const defaultFeeIssuerConfig = harden(
 );
 
 /**
- * @param {import('@agoric/vat-data').Baggage} zoeBaggage
+ * @param {Baggage} zoeBaggage
  * @param {FeeIssuerConfig} feeIssuerConfig
- * @param {import('@agoric/swingset-vat').ShutdownWithFailure} shutdownZoeVat
+ * @param {ShutdownWithFailure} shutdownZoeVat
  */
 const prepareFeeMint = (zoeBaggage, feeIssuerConfig, shutdownZoeVat) => {
   const mintBaggage = provideDurableMapStore(zoeBaggage, 'mintBaggage');

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":"AAuBO,2DAHI,iBAAiB,cACjB,OAAO;;;;;;;;;;;;;;;GA0IjB;6BAlJyB,4BAA4B;kCAGvB,aAAa"}

package/src/zoeService/installationStorage.js

@@ -7,15 +7,14 @@ import {
 } from '@agoric/vat-data';
 import {
   InstallationShape,
-  InstanceHandleShape,
   UnwrappedInstallationShape,
 } from '../typeGuards.js';
 
 /**
  * @import {Baggage} from '@agoric/swingset-liveslots';
- * @import {LegacyWeakMap, WeakMapStore} from '@agoric/store';
- * @import {MapStore} from '@agoric/swingset-liveslots';
+ * @import {WeakMapStore} from '@agoric/store';
  * @import {BundleID, BundleCap} from '@agoric/swingset-vat';
+ * @import {SourceBundle} from '@agoric/zoe';
  */
 
 /**
@@ -80,10 +79,7 @@ export const makeInstallationStorage = (getBundleCapForID, zoeBaggage) => {
 
   const InstallationStorageI = M.interface('InstallationStorage', {
     installBundle: M.call(
-      M.or(
-        InstanceHandleShape,
-        M.recordOf(M.string(), M.string({ stringLengthLimit: Infinity })),
-      ),
+      M.recordOf(M.string(), M.string({ stringLengthLimit: Infinity })),
     )
       .optional(M.string())
       .returns(M.promise()),

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,12 @@ 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';
+import type { SourceBundle } from './types.js';
+import type { InstanceRecord } from './utils.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":";;;4BAYW,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;mCAxJqG,YAAY;+BAAZ,YAAY;iDAAZ,YAAY;gCAAZ,YAAY;mCAAZ,YAAY;qCAAZ,YAAY;kCAAZ,YAAY;oCAC7G,YAAY"}

package/src/zoeService/internal-types.js

@@ -1,4 +1,10 @@
 // @jessie-check
+/// <reference types="@agoric/zoe/exported" />
+
+/**
+ * @import {FeeMintAccess, GetBrands, GetBundleIDFromInstallation, GetIssuers, InstallBundle, InstallBundleID, SourceBundle} from './types.js';
+ * @import {InstanceRecord} from './utils.js';
+ */
 
 /**
  * Create a purse for a new issuer
@@ -127,9 +133,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

@@ -1,5 +1,8 @@
-export function prepareInvitationKit(baggage: import("@agoric/vat-data").Baggage, shutdownZoeVat?: import("@agoric/swingset-vat").ShutdownWithFailure | undefined): {
+export function prepareInvitationKit(baggage: Baggage, shutdownZoeVat?: ShutdownWithFailure | undefined): {
     invitationIssuer: globalThis.Issuer<"set", InvitationDetails>;
     invitationKit: globalThis.IssuerKit<"set", InvitationDetails>;
 };
+import type { Baggage } from '@agoric/vat-data';
+import type { ShutdownWithFailure } from '@agoric/swingset-vat';
+import type { InvitationDetails } from '../types-index.js';
 //# 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":"AAsBO,8CAHI,OAAO,mBACP,mBAAmB,GAAG,SAAS;;;EA+BzC;6BA3CyB,kBAAkB;yCACN,sBAAsB;uCACxB,mBAAmB"}

package/src/zoeService/makeInvitation.js

@@ -5,14 +5,20 @@ import { provideDurableMapStore } from '@agoric/vat-data';
 import { AssetKind, hasIssuer, prepareIssuerKit } from '@agoric/ertp';
 import { InvitationElementShape } from '../typeGuards.js';
 
+/**
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {ShutdownWithFailure} from '@agoric/swingset-vat';
+ * @import {InvitationDetails} from '../types-index.js';
+ */
+
 /**
  * Not deprecated because the first use below is still correct.
  */
 const ZOE_INVITATION_KIT = 'ZoeInvitationKit';
 
 /**
- * @param {import('@agoric/vat-data').Baggage} baggage
- * @param {import('@agoric/swingset-vat').ShutdownWithFailure | undefined} shutdownZoeVat
+ * @param {Baggage} baggage
+ * @param {ShutdownWithFailure | undefined} shutdownZoeVat
  */
 export const prepareInvitationKit = (baggage, shutdownZoeVat = undefined) => {
   const invitationKitBaggage = provideDurableMapStore(

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/originalZoeSeat.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"originalZoeSeat.d.ts","sourceRoot":"","sources":["originalZoeSeat.js"],"names":[],"mappings":";;;;;;;;;;AA6BA;;;;;;;;;;GAGG;;;;;;;;;;;;AA+CI,oDAHI,OAAO,kBAAkB,EAAE,OAAO,yBAClC,MAAM,UAAU,CAAC,GAAG,CAAC,QAoR/B"}
+{"version":3,"file":"originalZoeSeat.d.ts","sourceRoot":"","sources":["originalZoeSeat.js"],"names":[],"mappings":";;;;;;;;;;AA2BA;;;;;;;;;;GAGG;;;;;;;;;;;;AA+CI,oDAHI,OAAO,kBAAkB,EAAE,OAAO,yBAClC,MAAM,UAAU,CAAC,GAAG,CAAC,QAoR/B"}

package/src/zoeService/originalZoeSeat.js

@@ -7,8 +7,6 @@ import { makePromiseKit } from '@endo/promise-kit';
 import { NonNullish } from '@agoric/internal';
 
 import { satisfiesWant } from '../contractFacet/offerSafety.js';
-import '../types-ambient.js';
-import '../internal-types.js';
 import {
   AmountKeywordRecordShape,
   ExitObjectShape,

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

@@ -1 +1 @@
-{"version":3,"file":"startInstance.d.ts","sourceRoot":"","sources":["startInstance.js"],"names":[],"mappings":"AAoCO,uDANI,IAAI,CAAC,iBAAiB,EAAE,+BAA+B,GAAG,oBAAoB,CAAC,oBAC/E,MAAM,IAAI,CAAC,SAAS,CAAC,uBACrB,CAAC,EAAE,EAAE,MAAM,KAAK,SAAS,cACzB,OAAO,GACL,OAAO,YAAY,EAAE,aAAa,CAqW9C;+BA7WgD,sBAAsB;6BAF7C,kBAAkB"}
+{"version":3,"file":"startInstance.d.ts","sourceRoot":"","sources":["startInstance.js"],"names":[],"mappings":"AAkCO,uDANI,IAAI,CAAC,iBAAiB,EAAE,+BAA+B,GAAG,oBAAoB,CAAC,oBAC/E,MAAM,IAAI,CAAC,SAAS,CAAC,uBACrB,CAAC,EAAE,EAAE,MAAM,KAAK,SAAS,cACzB,OAAO,GACL,OAAO,YAAY,EAAE,aAAa,CAqW9C;+BA7W2B,sBAAsB;6BAFxB,kBAAkB"}

package/src/zoeService/startInstance.js

@@ -19,12 +19,10 @@ import {
   InstanceAdminShape,
 } from '../typeGuards.js';
 
-// import '../internal-types.js';
-
 /**
  * @import {Baggage} from '@agoric/vat-data';
- * @import {LegacyWeakMap, WeakMapStore} from '@agoric/store';
- * @import {BundleCap, EndoZipBase64Bundle} from '@agoric/swingset-vat';
+ * @import {WeakMapStore} from '@agoric/store';
+ * @import {BundleCap} from '@agoric/swingset-vat';
  */
 
 /**

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":""}