@agoric/zoe 0.26.3-dev-97cb715.0 → 0.26.3-dev-3da32ff.0

package/exported.js

@@ -1,6 +1,6 @@
 // @jessie-check
 
-import './src/contractFacet/types.js';
+import './src/contractFacet/types-ambient.js';
 import './src/zoeService/types.js';
 import './src/contractSupport/types.js';
 import './src/contracts/exported.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/zoe",
-  "version": "0.26.3-dev-97cb715.0+97cb715",
+  "version": "0.26.3-dev-3da32ff.0+3da32ff",
   "description": "Zoe: the Smart Contract Framework for Offer Enforcement",
   "type": "module",
   "main": "./src/zoeService/zoe.js",
@@ -43,15 +43,15 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/assert": "0.6.1-dev-97cb715.0+97cb715",
-    "@agoric/ertp": "0.16.3-dev-97cb715.0+97cb715",
-    "@agoric/internal": "0.3.3-dev-97cb715.0+97cb715",
-    "@agoric/notifier": "0.6.3-dev-97cb715.0+97cb715",
-    "@agoric/store": "0.9.3-dev-97cb715.0+97cb715",
-    "@agoric/swingset-liveslots": "0.10.3-dev-97cb715.0+97cb715",
-    "@agoric/swingset-vat": "0.32.3-dev-97cb715.0+97cb715",
-    "@agoric/time": "0.3.3-dev-97cb715.0+97cb715",
-    "@agoric/vat-data": "0.5.3-dev-97cb715.0+97cb715",
+    "@agoric/assert": "0.6.1-dev-3da32ff.0+3da32ff",
+    "@agoric/ertp": "0.16.3-dev-3da32ff.0+3da32ff",
+    "@agoric/internal": "0.3.3-dev-3da32ff.0+3da32ff",
+    "@agoric/notifier": "0.6.3-dev-3da32ff.0+3da32ff",
+    "@agoric/store": "0.9.3-dev-3da32ff.0+3da32ff",
+    "@agoric/swingset-liveslots": "0.10.3-dev-3da32ff.0+3da32ff",
+    "@agoric/swingset-vat": "0.32.3-dev-3da32ff.0+3da32ff",
+    "@agoric/time": "0.3.3-dev-3da32ff.0+3da32ff",
+    "@agoric/vat-data": "0.5.3-dev-3da32ff.0+3da32ff",
     "@endo/bundle-source": "^2.7.0",
     "@endo/captp": "^3.1.4",
     "@endo/eventual-send": "^0.17.5",
@@ -133,5 +133,5 @@
   "publishConfig": {
     "access": "public"
   },
-  "gitHead": "97cb7158f1176d14b9a8d775328aa826458282ea"
+  "gitHead": "3da32ffbdd6b0a3d6c930bbacee21eae163a715a"
 }

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

@@ -0,0 +1,247 @@
+/* eslint-disable no-use-before-define */
+
+type CopyRecord<T> = import('@endo/pass-style').CopyRecord<T>;
+type IssuerOptionsRecord = import('@agoric/ertp').IssuerOptionsRecord;
+/**
+ * Any passable non-thenable. Often an explanatory string.
+ */
+type Completion = any;
+type ZCFMakeEmptySeatKit = (exit?: ExitRule | undefined) => ZcfSeatKit;
+/**
+ * Zoe Contract Facet
+ *
+ * The Zoe interface specific to a contract instance. The Zoe Contract
+ * Facet is an API object used by running contract instances to access
+ * the Zoe state for that instance. The Zoe Contract Facet is accessed
+ * synchronously from within the contract, and usually is referred to
+ * in code as zcf.
+ */
+type ZCF<CT extends unknown = Record<string, unknown>> = {
+  /**
+   * - atomically reallocate amounts among seats.
+   */
+  atomicRearrange: (transfers: TransferPart[]) => void;
+  /**
+   * - reallocate amounts among seats.
+   * @deprecated Use atomicRearrange instead.
+   */
+  reallocate: Reallocate;
+  /**
+   * - check
+   * whether a keyword is valid and unique and could be added in
+   * `saveIssuer`
+   */
+  assertUniqueKeyword: (keyword: Keyword) => void;
+  /**
+   * Informs Zoe about an issuer and returns a promise for acknowledging
+   * when the issuer is added and ready.
+   *
+   * @returns the AmountMath and brand synchronously accessible after
+   * saving
+   */
+  saveIssuer: (
+    issuerP: ERef<Issuer>,
+    keyword: Keyword,
+  ) => Promise<IssuerRecord<any>>;
+
+  /**
+   * Make a credible Zoe invitation for a particular smart contract
+   * indicated by the `instance` in the details of the invitation. Zoe
+   * also puts the `installation` and a unique `handle` in the details
+   * of the invitation. The contract must provide a `description` for
+   * the invitation and should include whatever information is necessary
+   * for a potential buyer of the invitation to know what they are
+   * getting in the `customDetails`. `customDetails` will be
+   * placed in the details of the invitation.
+   */
+  makeInvitation: <Result>(
+    offerHandler: OfferHandler<Result>,
+    description: string,
+    customDetails?: object,
+    proposalShape?: Pattern,
+  ) => Promise<Invitation<R, A>>;
+  shutdown: (completion: Completion) => void;
+  shutdownWithFailure: ShutdownWithFailure;
+  getZoeService: () => ERef<ZoeService>;
+  getInvitationIssuer: () => Issuer<'set'>;
+  getTerms: () => StandardTerms & CT;
+  getBrandForIssuer: <K extends AssetKind>(issuer: Issuer<K>) => Brand<K>;
+  getIssuerForBrand: <K_1 extends AssetKind>(brand: Brand<K_1>) => Issuer<K_1>;
+  getAssetKind: GetAssetKindByBrand;
+  makeZCFMint: <K_2 extends AssetKind = 'nat'>(
+    keyword: Keyword,
+    assetKind?: K_2 | undefined,
+    displayInfo?: AdditionalDisplayInfo,
+    options?: IssuerOptionsRecord,
+  ) => Promise<ZCFMint<K_2>>;
+  registerFeeMint: ZCFRegisterFeeMint;
+  makeEmptySeatKit: ZCFMakeEmptySeatKit;
+  setTestJig: SetTestJig;
+  stopAcceptingOffers: () => Promise<void>;
+  setOfferFilter: (strings: Array<string>) => Promise<void>;
+  getOfferFilter: () => Promise<Array<string>>;
+  getInstance: () => Instance;
+};
+/**
+ * The contract can reallocate over seats, which commits the staged
+ * allocation for each seat. On commit, the staged allocation becomes
+ * the current allocation and the staged allocation is deleted.
+ *
+ * The reallocation will only succeed if the reallocation 1) conserves
+ * rights (the amounts specified have the same total value as the
+ * current total amount), and 2) is 'offer-safe' for all parties
+ * involved. All seats that have staged allocations must be included
+ * as arguments to `reallocate`, or an error is thrown. Additionally,
+ * an error is thrown if any seats included in `reallocate` do not
+ * have a staged allocation.
+ *
+ * The reallocation is partial, meaning that it applies only to the
+ * seats passed in as arguments. By induction, if rights conservation
+ * and offer safety hold before, they will hold after a safe
+ * reallocation, even though we only re-validate for the seats whose
+ * allocations will change. Since rights are conserved for the change,
+ * overall rights will be unchanged, and a reallocation can only
+ * effect offer safety for seats whose allocations change.
+ */
+type Reallocate = (
+  seat1: ZCFSeat,
+  seat2: ZCFSeat,
+  ...seatRest: Array<ZCFSeat>
+) => void;
+type TransferPart = [
+  fromSeat?: ZCFSeat,
+  toSeat?: ZCFSeat,
+  fromAmounts?: AmountKeywordRecord,
+  toAmounts?: AmountKeywordRecord,
+];
+
+type ZCFRegisterFeeMint = (
+  keyword: Keyword,
+  allegedFeeMintAccess: FeeMintAccess,
+) => Promise<ZCFMint<'nat'>>;
+/**
+ * Provide a jig object for testing purposes only.
+ *
+ * The contract code provides a callback whose return result will
+ * be made available to the test that started this contract. The
+ * supplied callback will only be called in a testing context,
+ * never in production; i.e., it is only called if `testJigSetter`
+ * was supplied.
+ *
+ * If no, `testFn` is supplied, then an empty jig will be used.
+ * An additional `zcf` property set to the current ContractFacet
+ * will be appended to the returned jig object (overriding any
+ * provided by the `testFn`).
+ */
+type SetTestJig = (testFn: () => Record<string, unknown>) => void;
+type ZCFMint<K extends AssetKind = AssetKind> = {
+  getIssuerRecord: () => IssuerRecord<K>;
+  /**
+   * All the amounts in gains must be of this ZCFMint's brand.
+   * The gains' keywords are in the namespace of that seat.
+   * Add the gains to that seat's allocation.
+   * The resulting state must be offer safe. (Currently, increasing assets can
+   * never violate offer safety anyway.)
+   *
+   * Mint that amount of assets into the pooled purse.
+   * If a seat is provided, it is returned. Otherwise a new seat is
+   * returned.
+   */
+  mintGains: (gains: AmountKeywordRecord, zcfSeat?: ZCFSeat) => ZCFSeat;
+  /**
+   * All the amounts in losses must be of this ZCFMint's brand.
+   * The losses' keywords are in the namespace of that seat.
+   * Subtract losses from that seat's allocation.
+   * The resulting state must be offer safe.
+   *
+   * Burn that amount of assets from the pooled purse.
+   */
+  burnLosses: (losses: AmountKeywordRecord, zcfSeat: ZCFSeat) => void;
+};
+/**
+ * fail called with the reason for this failure, where reason is
+ * normally an instanceof Error.
+ */
+type ZCFSeatFail = (reason: unknown) => Error;
+/**
+ * The brand is used for filling in an empty amount if the `keyword`
+ * is not present in the allocation
+ */
+type ZCFGetAmountAllocated = (
+  keyword: Keyword,
+  brand?: Brand<AssetKind> | undefined,
+) => Amount<any>;
+type ZCFSeat = {
+  exit: (completion?: Completion) => void;
+  fail: ZCFSeatFail;
+  getSubscriber: () => Promise<Subscriber<Allocation>>;
+  hasExited: () => boolean;
+  getProposal: () => ProposalRecord;
+  getAmountAllocated: ZCFGetAmountAllocated;
+  getCurrentAllocation: () => Allocation;
+  /**
+   * @deprecated Use atomicRearrange instead
+   */
+  getStagedAllocation: () => Allocation;
+  /**
+   * @deprecated Use atomicRearrange instead
+   */
+  hasStagedAllocation: () => boolean;
+  isOfferSafe: (newAllocation: Allocation) => boolean;
+  /**
+   * @deprecated Use atomicRearrange instead
+   */
+  incrementBy: (
+    amountKeywordRecord: AmountKeywordRecord,
+  ) => AmountKeywordRecord;
+  /**
+   * @deprecated Use atomicRearrange instead
+   */
+  decrementBy: (
+    amountKeywordRecord: AmountKeywordRecord,
+  ) => AmountKeywordRecord;
+  /**
+   * @deprecated Use atomicRearrange instead
+   */
+  clear: () => void;
+};
+type ZcfSeatKit = {
+  zcfSeat: ZCFSeat;
+  userSeat: ERef<UserSeat>;
+};
+type HandleOffer<OR extends unknown> = (
+  seat: ZCFSeat,
+  offerArgs?: object,
+) => OR;
+type OfferHandler<OR extends unknown = unknown> =
+  | HandleOffer<OR>
+  | {
+      handle: HandleOffer<OR>;
+    };
+type ContractMeta = {
+  customTermsShape?: CopyRecord<any> | undefined;
+  privateArgsShape?: CopyRecord<any> | undefined;
+  upgradability?: 'none' | 'canBeUpgraded' | 'canUpgrade' | undefined;
+};
+/**
+ * API for a contract start function.
+ *
+ * CAVEAT: assumes synchronous
+ */
+type ContractStartFn<
+  PF extends unknown = any,
+  CF extends unknown = any,
+  CT extends unknown = any,
+  PA extends unknown = any,
+> = (
+  zcf: ZCF<CT>,
+  privateArgs: PA,
+  baggage?: MapStore<any, any> | undefined,
+) => ContractStartFnResult<PF, CF>;
+type ContractStartFnResult<PF, CF> = {
+  publicFacet: PF;
+  creatorFacet: CF;
+  creatorInvitation?: Promise<Invitation<R, A>> | undefined;
+};
+type ContractOf<S> = import('../zoeService/utils').ContractOf<S>;
+type AdminFacet = import('../zoeService/utils').AdminFacet;

package/src/contractFacet/types-ambient.js

@@ -0,0 +1 @@
+// Dummy file for .d.ts twin to declare ambients

package/src/contractFacet/zcfMint.js

@@ -10,7 +10,7 @@ import { addToAllocation, subtractFromAllocation } from './allocationMath.js';
 import '../internal-types.js';
 import { ZcfMintI } from '../typeGuards.js';
 import './internal-types.js';
-import './types.js';
+import './types-ambient.js';
 
 const { Fail } = assert;
 

package/src/typeGuards.js

@@ -224,7 +224,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),

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

@@ -35,7 +35,7 @@ type ZoeInstanceStorageManager = {
     getTerms: InstanceStateGetTerms;
     getIssuers: InstanceRecordGetIssuers;
     getBrands: InstanceRecordGetBrands;
-    saveIssuer: SaveIssuer;
+    saveIssuer: ZCF['saveIssuer'];
     makeZoeMint: MakeZoeMint;
     registerFeeMint: RegisterFeeMint;
     getInstanceRecord: GetInstanceRecord;

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,KAAK,IAAI,CAAC;;;;;;;;kCAWZ,MAAM,SACN,KAAK,KACH,KAAK;;;;;;;kCAUP,cAAc,YACd,qBAAqB,KACnB,QAAQ,UAAU,CAAC;oCAKrB,QAAQ,iBACR,aAAa,KACX,IAAI;mCAKN,QAAQ,KACN,aAAa;sCAKf,QAAQ,KACN,IAAI;;;;;0CASN,KAAK,YAAY,CAAC,KAChB,KAAK;IACjB,MAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,SAAa,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAY,CAAC,EAAE,QAAQ,CAAC;IACxB,YAAgB,EAAC,YAAY,CAAA;CAC1B,CAAC;;;cAWS,qBAAqB;gBACrB,wBAAwB;eACxB,uBAAuB;gBACvB,UAAU;iBACV,WAAW;qBACX,eAAe;uBACf,iBAAiB;sBACjB,gBAAgB;uBAChB,iBAAiB;yBACjB,mBAAmB;oBACnB,8BAA8B;yBAC9B,MAAM,MAAM;;;;aACZ,MAAM,MAAM;;;;kBACZ,MAAM,OAAO,sBAAsB,EAAE,aAAa;;;;;;;;4FAWrD,YAAY,eACZ,MAAM,8BACN,mBAAmB,YACnB,QAAQ,qBACR,SAAS,iBACT,MAAM,KACJ,QAAQ,yBAAyB,CAAC;8BAKpC,QAAQ,KACN,QAAQ,SAAS,CAAC;wDAKpB,gBAAgB,KACd,OAAO,GAAG,SAAS;;mCAKlB,6BAA6B;yBAC7B,mBAAmB;qBACnB,eAAe;sBACf,OAAO,KAAK,CAAC;mBACb,aAAa;qBACb,eAAe;iCACf,2BAA2B;oBAC3B,OAAO,YAAY,EAAE,cAAc;eACnC,SAAS;gBACT,UAAU;cACV,OAAO,SAAS,EAAE,QAAQ;oBAC1B,cAAc;oBACd,cAAc;gCACd,0BAA0B;sBAC1B,gBAAgB;wBAChB,kBAAkB;mCAClB,6BAA6B;;;;;;wCAQhC,SAAS,iBACT,MAAM,KACJ,QAAQ,OAAO,sBAAsB,EAAE,gBAAgB,CAAC;uCAK1D,aAAa,KACX,UAAU,KAAK,CAAC"}
+{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";;;4BAMW,MAAM,SACN,KAAK,KACH,KAAK,IAAI,CAAC;;;;;;;;kCAWZ,MAAM,SACN,KAAK,KACH,KAAK;;;;;;;kCAUP,cAAc,YACd,qBAAqB,KACnB,QAAQ,UAAU,CAAC;oCAKrB,QAAQ,iBACR,aAAa,KACX,IAAI;mCAKN,QAAQ,KACN,aAAa;sCAKf,QAAQ,KACN,IAAI;;;;;0CASN,KAAK,YAAY,CAAC,KAChB,KAAK;IACjB,MAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,SAAa,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAY,CAAC,EAAE,QAAQ,CAAC;IACxB,YAAgB,EAAC,YAAY,CAAA;CAC1B,CAAC;;;cAWS,qBAAqB;gBACrB,wBAAwB;eACxB,uBAAuB;gBACvB,GAAG,CAAC,YAAY,CAAC;iBACjB,WAAW;qBACX,eAAe;uBACf,iBAAiB;sBACjB,gBAAgB;uBAChB,iBAAiB;yBACjB,mBAAmB;oBACnB,8BAA8B;yBAC9B,MAAM,MAAM;;;;aACZ,MAAM,MAAM;;;;kBACZ,MAAM,OAAO,sBAAsB,EAAE,aAAa;;;;;;;;4FAWrD,YAAY,eACZ,MAAM,8BACN,mBAAmB,YACnB,QAAQ,qBACR,SAAS,iBACT,MAAM,KACJ,QAAQ,yBAAyB,CAAC;8BAKpC,QAAQ,KACN,QAAQ,SAAS,CAAC;wDAKpB,gBAAgB,KACd,OAAO,GAAG,SAAS;;mCAKlB,6BAA6B;yBAC7B,mBAAmB;qBACnB,eAAe;sBACf,OAAO,KAAK,CAAC;mBACb,aAAa;qBACb,eAAe;iCACf,2BAA2B;oBAC3B,OAAO,YAAY,EAAE,cAAc;eACnC,SAAS;gBACT,UAAU;cACV,OAAO,SAAS,EAAE,QAAQ;oBAC1B,cAAc;oBACd,cAAc;gCACd,0BAA0B;sBAC1B,gBAAgB;wBAChB,kBAAkB;mCAClB,6BAA6B;;;;;;wCAQhC,SAAS,iBACT,MAAM,KACJ,QAAQ,OAAO,sBAAsB,EAAE,gBAAgB,CAAC;uCAK1D,aAAa,KACX,UAAU,KAAK,CAAC"}

package/src/zoeService/internal-types.js

@@ -79,7 +79,7 @@
  * @property {InstanceStateGetTerms} getTerms
  * @property {InstanceRecordGetIssuers} getIssuers
  * @property {InstanceRecordGetBrands} getBrands
- * @property {SaveIssuer} saveIssuer
+ * @property {ZCF['saveIssuer']} saveIssuer
  * @property {MakeZoeMint} makeZoeMint
  * @property {RegisterFeeMint} registerFeeMint
  * @property {GetInstanceRecord} getInstanceRecord

package/src/contractFacet/types.d.ts

@@ -1,207 +0,0 @@
-type CopyRecord<T> = import('@endo/pass-style').CopyRecord<T>;
-type IssuerOptionsRecord = import('@agoric/ertp').IssuerOptionsRecord;
-/**
- * Any passable non-thenable. Often an explanatory string.
- */
-type Completion = any;
-type ZCFMakeEmptySeatKit = (exit?: ExitRule | undefined) => ZcfSeatKit;
-/**
- * Zoe Contract Facet
- *
- * The Zoe interface specific to a contract instance. The Zoe Contract
- * Facet is an API object used by running contract instances to access
- * the Zoe state for that instance. The Zoe Contract Facet is accessed
- * synchronously from within the contract, and usually is referred to
- * in code as zcf.
- */
-type ZCF<CT extends unknown = Record<string, unknown>> = {
-    /**
-     * - atomically reallocate amounts among seats.
-     */
-    atomicRearrange: (transfers: TransferPart[]) => void;
-    /**
-     * - reallocate amounts among seats.
-     * Deprecated: Use atomicRearrange instead.
-     */
-    reallocate: Reallocate;
-    /**
-     * - check
-     * whether a keyword is valid and unique and could be added in
-     * `saveIssuer`
-     */
-    assertUniqueKeyword: (keyword: Keyword) => void;
-    /**
-     * - save an issuer to ZCF and Zoe
-     * and get the AmountMath and brand synchronously accessible after
-     * saving
-     */
-    saveIssuer: SaveIssuer;
-    makeInvitation: MakeInvitation;
-    shutdown: (completion: Completion) => void;
-    shutdownWithFailure: ShutdownWithFailure;
-    getZoeService: () => ERef<ZoeService>;
-    getInvitationIssuer: () => Issuer<'set'>;
-    getTerms: () => StandardTerms & CT;
-    getBrandForIssuer: <K extends AssetKind>(issuer: Issuer<K>) => Brand<K>;
-    getIssuerForBrand: <K_1 extends AssetKind>(brand: Brand<K_1>) => Issuer<K_1>;
-    getAssetKind: GetAssetKindByBrand;
-    makeZCFMint: <K_2 extends AssetKind = "nat">(keyword: Keyword, assetKind?: K_2 | undefined, displayInfo?: AdditionalDisplayInfo, options?: IssuerOptionsRecord) => Promise<ZCFMint<K_2>>;
-    registerFeeMint: ZCFRegisterFeeMint;
-    makeEmptySeatKit: ZCFMakeEmptySeatKit;
-    setTestJig: SetTestJig;
-    stopAcceptingOffers: () => Promise<void>;
-    setOfferFilter: (strings: Array<string>) => Promise<void>;
-    getOfferFilter: () => Promise<Array<string>>;
-    getInstance: () => Instance;
-};
-/**
- * The contract can reallocate over seats, which commits the staged
- * allocation for each seat. On commit, the staged allocation becomes
- * the current allocation and the staged allocation is deleted.
- *
- * The reallocation will only succeed if the reallocation 1) conserves
- * rights (the amounts specified have the same total value as the
- * current total amount), and 2) is 'offer-safe' for all parties
- * involved. All seats that have staged allocations must be included
- * as arguments to `reallocate`, or an error is thrown. Additionally,
- * an error is thrown if any seats included in `reallocate` do not
- * have a staged allocation.
- *
- * The reallocation is partial, meaning that it applies only to the
- * seats passed in as arguments. By induction, if rights conservation
- * and offer safety hold before, they will hold after a safe
- * reallocation, even though we only re-validate for the seats whose
- * allocations will change. Since rights are conserved for the change,
- * overall rights will be unchanged, and a reallocation can only
- * effect offer safety for seats whose allocations change.
- */
-type Reallocate = (seat1: ZCFSeat, seat2: ZCFSeat, ...seatRest: Array<ZCFSeat>) => void;
-type TransferPart = [
-    fromSeat?: ZCFSeat,
-    toSeat?: ZCFSeat,
-    fromAmounts?: AmountKeywordRecord,
-    toAmounts?: AmountKeywordRecord
-];
-/**
- * Informs Zoe about an issuer and returns a promise for acknowledging
- * when the issuer is added and ready.
- */
-type SaveIssuer = (issuerP: ERef<Issuer>, keyword: Keyword) => Promise<IssuerRecord<any>>;
-/**
- * Make a credible Zoe invitation for a particular smart contract
- * indicated by the `instance` in the details of the invitation. Zoe
- * also puts the `installation` and a unique `handle` in the details
- * of the invitation. The contract must provide a `description` for
- * the invitation and should include whatever information is necessary
- * for a potential buyer of the invitation to know what they are
- * getting in the `customDetails`. `customDetails` will be
- * placed in the details of the invitation.
- */
-type MakeInvitation = <Result>(offerHandler: OfferHandler<Result>, description: string, customDetails?: object, proposalShape?: Pattern) => Promise<Invitation<R, A>>;
-type ZCFRegisterFeeMint = (keyword: Keyword, allegedFeeMintAccess: FeeMintAccess) => Promise<ZCFMint<'nat'>>;
-/**
- * Provide a jig object for testing purposes only.
- *
- * The contract code provides a callback whose return result will
- * be made available to the test that started this contract. The
- * supplied callback will only be called in a testing context,
- * never in production; i.e., it is only called if `testJigSetter`
- * was supplied.
- *
- * If no, `testFn` is supplied, then an empty jig will be used.
- * An additional `zcf` property set to the current ContractFacet
- * will be appended to the returned jig object (overriding any
- * provided by the `testFn`).
- */
-type SetTestJig = (testFn: () => Record<string, unknown>) => void;
-type ZCFMint<K extends AssetKind = AssetKind> = {
-    getIssuerRecord: () => IssuerRecord<K>;
-    /**
-     * All the amounts in gains must be of this ZCFMint's brand.
-     * The gains' keywords are in the namespace of that seat.
-     * Add the gains to that seat's allocation.
-     * The resulting state must be offer safe. (Currently, increasing assets can
-     * never violate offer safety anyway.)
-     *
-     * Mint that amount of assets into the pooled purse.
-     * If a seat is provided, it is returned. Otherwise a new seat is
-     * returned.
-     */
-    mintGains: (gains: AmountKeywordRecord, zcfSeat?: ZCFSeat) => ZCFSeat;
-    /**
-     * All the amounts in losses must be of this ZCFMint's brand.
-     * The losses' keywords are in the namespace of that seat.
-     * Subtract losses from that seat's allocation.
-     * The resulting state must be offer safe.
-     *
-     * Burn that amount of assets from the pooled purse.
-     */
-    burnLosses: (losses: AmountKeywordRecord, zcfSeat: ZCFSeat) => void;
-};
-/**
- * fail called with the reason for this failure, where reason is
- * normally an instanceof Error.
- */
-type ZCFSeatFail = (reason: unknown) => Error;
-/**
- * The brand is used for filling in an empty amount if the `keyword`
- * is not present in the allocation
- */
-type ZCFGetAmountAllocated = (keyword: Keyword, brand?: Brand<AssetKind> | undefined) => Amount<any>;
-type ZCFSeat = {
-    exit: (completion?: Completion) => void;
-    fail: ZCFSeatFail;
-    getSubscriber: () => Promise<Subscriber<Allocation>>;
-    hasExited: () => boolean;
-    getProposal: () => ProposalRecord;
-    getAmountAllocated: ZCFGetAmountAllocated;
-    getCurrentAllocation: () => Allocation;
-    /**
-     * Deprecated: Use atomicRearrange instead
-     */
-    getStagedAllocation: () => Allocation;
-    /**
-     * Deprecated: Use atomicRearrange instead
-     */
-    hasStagedAllocation: () => boolean;
-    isOfferSafe: (newAllocation: Allocation) => boolean;
-    /**
-     * Deprecated: Use atomicRearrange instead
-     */
-    incrementBy: (amountKeywordRecord: AmountKeywordRecord) => AmountKeywordRecord;
-    /**
-     * Deprecated: Use atomicRearrange instead
-     */
-    decrementBy: (amountKeywordRecord: AmountKeywordRecord) => AmountKeywordRecord;
-    /**
-     * Deprecated: Use atomicRearrange instead
-     */
-    clear: () => void;
-};
-type ZcfSeatKit = {
-    zcfSeat: ZCFSeat;
-    userSeat: ERef<UserSeat>;
-};
-type HandleOffer<OR extends unknown> = (seat: ZCFSeat, offerArgs?: object) => OR;
-type OfferHandler<OR extends unknown = unknown> = HandleOffer<OR> | {
-    handle: HandleOffer<OR>;
-};
-type ContractMeta = {
-    customTermsShape?: CopyRecord<any> | undefined;
-    privateArgsShape?: CopyRecord<any> | undefined;
-    upgradability?: "none" | "canBeUpgraded" | "canUpgrade" | undefined;
-};
-/**
- * API for a contract start function.
- *
- * CAVEAT: assumes synchronous
- */
-type ContractStartFn<PF extends unknown = any, CF extends unknown = any, CT extends unknown = any, PA extends unknown = any> = (zcf: ZCF<CT>, privateArgs: PA, baggage?: MapStore<any, any> | undefined) => ContractStartFnResult<PF, CF>;
-type ContractStartFnResult<PF, CF> = {
-    publicFacet: PF;
-    creatorFacet: CF;
-    creatorInvitation?: Promise<Invitation<R, A>> | undefined;
-};
-type ContractOf<S> = import('../zoeService/utils').ContractOf<S>;
-type AdminFacet = import('../zoeService/utils').AdminFacet;
-//# sourceMappingURL=types.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":"qBAI0B,OAAO,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;2BACpD,OAAO,cAAc,EAAE,mBAAmB;;;;kBAI3C,GAAG;4DAOH,UAAU;;;;;;;;;;;;;;iCAaG,cAAc,KAAK,IAAI;;;;;gBACnC,UAAU;;;;;;mCAEA,OAAO,KAAK,IAAI;;;;;;gBAG1B,UAAU;oBAGV,cAAc;2BACD,UAAU,KAAK,IAAI;yBAChC,mBAAmB;mBACnB,MAAM,KAAK,UAAU,CAAC;yBACtB,MAAM,OAAO,KAAK,CAAC;cACnB,MAAM,aAAa,GAAG,EAAE;;;kBAGxB,mBAAmB;0DAEnB,OAAO,6CAEF,qBAAqB,YACzB,mBAAmB;qBAEpB,kBAAkB;sBAClB,mBAAmB;gBACnB,UAAU;yBACV,MAAM,QAAQ,IAAI,CAAC;8BACT,MAAM,MAAM,CAAC,KAAK,QAAQ,IAAI,CAAC;oBACzC,MAAM,QAAQ,MAAM,MAAM,CAAC,CAAC;iBAC5B,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;0BAMP,OAAO,SAAS,OAAO,eAC3C,MAAQ,OAAO,CAAC,KAAK,IAAI;oBAwBb;IACZ,QAAY,CAAC,EAAE,OAAO;IACtB,MAAU,CAAC,EAAE,OAAO;IACpB,WAAe,CAAC,EAAE,mBAAmB;IACrC,SAAa,CAAC,EAAE,mBAAmB;CAChC;;;;;4BASO,KAAK,MAAM,CAAC,WACZ,OAAO,KACL,QAAQ,iBAAe,CAAC;;;;;;;;;;;gFAMnB,MAAM,kBACH,MAAM,kBACN,OAAO;oCAgBjB,OAAO,wBACP,aAAa,KAEX,QAAQ,QAAQ,KAAK,CAAC,CAAC;;;;;;;;;;;;;;;2BAkBzB,MAAM,OAAO,MAAM,EAAE,OAAO,CAAC,KAC3B,IAAI;;qBAMH,MAAM,aAAa,CAAC,CAAC;;;;;;;;;;;;uBACb,mBAAmB,YAAY,OAAO,KAAK,OAAO;;;;;;;;;yBAWjD,mBAAmB,WAClB,OAAO,KACZ,IAAI;;;;;;4BAcZ,OAAO,KACL,KAAK;;;;;uCAOP,OAAO,2CAEL,OAAO,GAAG,CAAC;;wBAKI,UAAU,KAAK,IAAI;UACjC,WAAW;mBACX,MAAM,QAAQ,WAAW,UAAU,CAAC,CAAC;eACrC,MAAM,OAAO;iBACb,MAAM,cAAc;wBACpB,qBAAqB;0BACrB,MAAM,UAAU;;;;yBAChB,MAAM,UAAU;;;;yBAEhB,MAAM,OAAO;iCAEG,UAAU,KAAK,OAAO;;;;uCAChB,mBAAmB,KAAK,mBAAmB;;;;uCAE3C,mBAAmB,KAAK,mBAAmB;;;;WAEjE,MAAM,IAAI;;kBAKX;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,KAAK,QAAQ,CAAC,CAAA;CAAC;8CAKtC,OAAO,cAAc,MAAM,KAAK,EAAE;kDAKzC,YAAY,EAAE,CAAC,GAAG;IAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAA;CAAE;;;;;;;;;;;qIAsB/C,IAAI,EAAE,CAAC,eACP,EAAE,+CAEA,sBAAsB,EAAE,EAAE,EAAE,CAAC;;iBAO5B,EAAE;kBACF,EAAE;;;qBAMH,OAAO,qBAAqB,EAAE,UAAU,CAAC,CAAC,CAAC;kBAI3C,OAAO,qBAAqB,EAAE,UAAU"}