@agoric/zoe 0.26.3-dev-ecf2d8e.0 → 0.26.3-other-dev-70beeb7.0

package/exported.js

@@ -1,6 +1,6 @@
 // @jessie-check
 
-import './src/contractFacet/types-ambient.js';
+import './src/contractFacet/types.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-ecf2d8e.0+ecf2d8e",
+  "version": "0.26.3-other-dev-70beeb7.0+70beeb7",
   "description": "Zoe: the Smart Contract Framework for Offer Enforcement",
   "type": "module",
   "main": "./src/zoeService/zoe.js",
@@ -10,7 +10,7 @@
   "scripts": {
     "build": "yarn build:bundles",
     "build:bundles": "node scripts/build-bundles.js",
-    "prepack": "echo \"export {}; \" | cat - tools/types-ambient.js > tools/types.js && tsc --build tsconfig.build.json",
+    "prepack": "echo \"export {}; \" | cat - tools/types-ambient.js > tools/types.js && tsc --build jsconfig.build.json",
     "postpack": "git clean -f '*.d.ts*' tools/types.js",
     "test": "ava --verbose",
     "test:c8": "c8 $C8_OPTIONS ava --config=ava-nesm.config.js",
@@ -23,7 +23,7 @@
     "lint-fix": "yarn lint:eslint --fix",
     "lint": "run-s --continue-on-error lint:*",
     "lint:eslint": "eslint .",
-    "lint:types": "tsc"
+    "lint:types": "tsc -p jsconfig.json"
   },
   "repository": {
     "type": "git",
@@ -43,29 +43,27 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/assert": "0.6.1-dev-ecf2d8e.0+ecf2d8e",
-    "@agoric/ertp": "0.16.3-dev-ecf2d8e.0+ecf2d8e",
-    "@agoric/internal": "0.3.3-dev-ecf2d8e.0+ecf2d8e",
-    "@agoric/notifier": "0.6.3-dev-ecf2d8e.0+ecf2d8e",
-    "@agoric/store": "0.9.3-dev-ecf2d8e.0+ecf2d8e",
-    "@agoric/swingset-liveslots": "0.10.3-dev-ecf2d8e.0+ecf2d8e",
-    "@agoric/swingset-vat": "0.32.3-dev-ecf2d8e.0+ecf2d8e",
-    "@agoric/time": "0.3.3-dev-ecf2d8e.0+ecf2d8e",
-    "@agoric/vat-data": "0.5.3-dev-ecf2d8e.0+ecf2d8e",
-    "@endo/bundle-source": "^2.7.0",
-    "@endo/captp": "^3.1.4",
-    "@endo/eventual-send": "^0.17.5",
-    "@endo/far": "^0.2.21",
-    "@endo/import-bundle": "^0.4.1",
-    "@endo/marshal": "^0.8.8",
-    "@endo/nat": "^4.1.30",
-    "@endo/patterns": "^0.2.5",
-    "@endo/promise-kit": "^0.2.59",
-    "yargs-parser": "^21.1.1"
+    "@agoric/assert": "0.6.1-other-dev-70beeb7.0+70beeb7",
+    "@agoric/ertp": "0.16.3-other-dev-70beeb7.0+70beeb7",
+    "@agoric/internal": "0.3.3-other-dev-70beeb7.0+70beeb7",
+    "@agoric/notifier": "0.6.3-other-dev-70beeb7.0+70beeb7",
+    "@agoric/store": "0.9.3-other-dev-70beeb7.0+70beeb7",
+    "@agoric/swingset-vat": "0.32.3-other-dev-70beeb7.0+70beeb7",
+    "@agoric/time": "0.3.3-other-dev-70beeb7.0+70beeb7",
+    "@agoric/vat-data": "0.5.3-other-dev-70beeb7.0+70beeb7",
+    "@endo/bundle-source": "2.5.2-upstream-rollup",
+    "@endo/captp": "3.1.1",
+    "@endo/eventual-send": "0.17.2",
+    "@endo/far": "0.2.18",
+    "@endo/import-bundle": "0.3.4",
+    "@endo/marshal": "0.8.5",
+    "@endo/nat": "4.1.27",
+    "@endo/patterns": "0.2.2",
+    "@endo/promise-kit": "0.2.56"
   },
   "devDependencies": {
-    "@endo/init": "^0.5.59",
-    "ava": "^5.3.0",
+    "@endo/init": "0.5.56",
+    "ava": "^5.2.0",
     "c8": "^7.13.0",
     "import-meta-resolve": "^2.2.1",
     "tsd": "^0.28.1"
@@ -101,12 +99,10 @@
       "test/unitTests/zcf/test-feeMintAccess.js",
       "# import.meta.url by way of setupZcfTest",
       "test/unitTests/test-zoe.js",
-      "test/unitTests/test-zoe-startInstance.js",
       "test/unitTests/test-blockedOffers.js",
       "test/unitTests/zcf/test-reallocate-empty.js",
       "test/unitTests/zcf/test-zoeHelpersWZcf.js",
       "test/unitTests/zcf/test-reallocateForZCFMint.js",
-      "test/unitTests/zcf/test-atomicRearrange.js",
       "test/unitTests/zcf/test-zcf.js",
       "test/unitTests/zcf/test-allStagedSeatsUsed.js",
       "# ManualTimer.setWakeup: no function",
@@ -125,13 +121,10 @@
     "files": [
       "test/**/test-*.js"
     ],
-    "require": [
-      "@endo/init/debug.js"
-    ],
     "timeout": "20m"
   },
   "publishConfig": {
     "access": "public"
   },
-  "gitHead": "ecf2d8ec1a63bd3c23cbca27f89ca9675a163611"
+  "gitHead": "70beeb7e476f24cfad30fa8cd5918f04746e8839"
 }

package/src/cleanProposal.js

@@ -112,10 +112,10 @@ const assertKeywordNotInBoth = (want, give) => {
   const wantKeywordSet = new Set(ownKeys(want));
   const giveKeywords = ownKeys(give);
 
-  for (const keyword of giveKeywords) {
+  giveKeywords.forEach(keyword => {
     !wantKeywordSet.has(keyword) ||
       Fail`a keyword cannot be in both 'want' and 'give'`;
-  }
+  });
 };
 
 /**

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

@@ -1,5 +1,5 @@
-type TestJigSetter = ({ zcf }: {
-    zcf: ZCF;
+type TestJigSetter = ({ zcf: ZCF }: {
+    zcf: any;
 }) => void;
 type ZCFZygote = {
     startContract: (instanceAdminFromZoe: ERef<ZoeInstanceAdmin>, instanceRecordFromZoe: InstanceRecord, issuerStorageFromZoe: IssuerRecords, privateArgs?: object) => Promise<ExecuteContractResult>;

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

@@ -1 +1 @@
-{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";SAG4B,GAAG;MAAO,IAAI;;0CAKL,KAAK,gBAAgB,CAAC,yBAC7B,cAAc,qDAEvB,MAAM,KACnB,QAAQ,qBAAqB,CAAC;oCACT,MAAM,KAAK,IAAI"}
+{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";;MAG+B,IAAI;;0CAKE,KAAK,gBAAgB,CAAC,yBAC7B,cAAc,qDAEvB,MAAM,KACnB,QAAQ,qBAAqB,CAAC;oCACT,MAAM,KAAK,IAAI"}

package/src/contractFacet/internal-types.js

@@ -1,7 +1,7 @@
 // @jessie-check
 
 /**
- * @typedef {( {zcf}: {zcf: ZCF} ) => void} TestJigSetter
+ * @typedef {( {zcf: ZCF} ) => void} TestJigSetter
  */
 
 /**

package/src/contractFacet/types.d.ts

@@ -0,0 +1,191 @@
+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>> = {
+    /**
+     * - 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;
+/**
+ * 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<Awaited<Result>, never>>;
+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>;
+};
+/**
+ * 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) => ContractStartFnResult<PF, CF>;
+type ContractStartFnResult<PF, CF> = {
+    publicFacet: PF;
+    creatorFacet: CF;
+    creatorInvitation?: Promise<Invitation<unknown, never>> | 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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":"2BAIc,OAAO,cAAc,EAAE,mBAAmB;;;;kBAI3C,GAAG;4DAOH,UAAU;;;;;;;;;;;;;;;gBAaT,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;;;;;;;;;;;;;;;;;;;;;;;0BAIP,OAAO,SAAS,OAAO,eAC3C,MAAQ,OAAO,CAAC,KAAK,IAAI;;;;;4BA6Bf,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;;;;;;qIAe/C,IAAI,EAAE,CAAC,eACP,EAAE,KACA,sBAAsB,EAAE,EAAE,EAAE,CAAC;;iBAO5B,EAAE;kBACF,EAAE;;;qBAMH,OAAO,qBAAqB,EAAE,UAAU,CAAC,CAAC,CAAC;kBAI3C,OAAO,qBAAqB,EAAE,UAAU"}

package/src/contractFacet/types.js

@@ -0,0 +1,256 @@
+// @jessie-check
+
+/// <reference types="ses"/>
+
+/** @typedef {import('@agoric/ertp').IssuerOptionsRecord} IssuerOptionsRecord */
+
+// XXX can be tighter than 'any'
+/**
+ * @typedef {any} Completion
+ * Any passable non-thenable. Often an explanatory string.
+ */
+
+/**
+ * @callback ZCFMakeEmptySeatKit
+ * @param {ExitRule} [exit]
+ * @returns {ZcfSeatKit}
+ */
+
+/**
+ * @template {object} [CT=Record<string, unknown>] Contract's custom terms
+ * @typedef {object} ZCF 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.
+ *
+ * @property {Reallocate} reallocate - reallocate amounts among seats.
+ * Deprecated: Use atomicRearrange instead.
+ * @property {(keyword: Keyword) => void} assertUniqueKeyword - check
+ * whether a keyword is valid and unique and could be added in
+ * `saveIssuer`
+ * @property {SaveIssuer} saveIssuer - save an issuer to ZCF and Zoe
+ * and get the AmountMath and brand synchronously accessible after
+ * saving
+ * @property {MakeInvitation} makeInvitation
+ * @property {(completion: Completion) => void} shutdown
+ * @property {ShutdownWithFailure} shutdownWithFailure
+ * @property {() => ERef<ZoeService>} getZoeService
+ * @property {() => Issuer<'set'>} getInvitationIssuer
+ * @property {() => StandardTerms & CT} getTerms
+ * @property {<K extends AssetKind>(issuer: Issuer<K>) => Brand<K>} getBrandForIssuer
+ * @property {<K extends AssetKind>(brand: Brand<K>) => Issuer<K>} getIssuerForBrand
+ * @property {GetAssetKindByBrand} getAssetKind
+ * @property {<K extends AssetKind = 'nat'>(
+ *   keyword: Keyword,
+ *   assetKind?: K,
+ *   displayInfo?: AdditionalDisplayInfo,
+ *   options?: IssuerOptionsRecord
+ * ) => Promise<ZCFMint<K>>} makeZCFMint
+ * @property {ZCFRegisterFeeMint} registerFeeMint
+ * @property {ZCFMakeEmptySeatKit} makeEmptySeatKit
+ * @property {SetTestJig} setTestJig
+ * @property {() => Promise<void>} stopAcceptingOffers
+ * @property {(strings: Array<string>) => Promise<void>} setOfferFilter
+ * @property {() => Promise<Array<string>>} getOfferFilter
+ * @property {() => Instance} getInstance
+ */
+
+/**
+ * @typedef {(seat1: ZCFSeat, seat2: ZCFSeat, ...seatRest:
+ * Array<ZCFSeat>) => void} Reallocate
+ *
+ * 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.
+ */
+
+/**
+ * @callback SaveIssuer
+ *
+ * Informs Zoe about an issuer and returns a promise for acknowledging
+ * when the issuer is added and ready.
+ *
+ * @param {ERef<Issuer>} issuerP Promise for issuer
+ * @param {Keyword} keyword Keyword for added issuer
+ * @returns {Promise<IssuerRecord<*>>} Issuer is added and ready
+ */
+
+/**
+ * @typedef {<Result>(
+ *   offerHandler: OfferHandler<Result>,
+ *   description: string,
+ *   customDetails?: object,
+ *   proposalShape?: Pattern,
+ * ) => Promise<Invitation<Awaited<Result>>>
+ * } MakeInvitation
+ *
+ * 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.
+ */
+
+/**
+ * @callback ZCFRegisterFeeMint
+ * @param {Keyword} keyword
+ * @param {FeeMintAccess} allegedFeeMintAccess - an object that
+ * purports to be the object that grants access to the fee mint
+ * @returns {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`).
+ *
+ * @callback SetTestJig
+ * @param {() => Record<string, unknown>} testFn
+ * @returns {void}
+ */
+
+/**
+ * @template {AssetKind} [K=AssetKind]
+ * @typedef {object} ZCFMint
+ * @property {() => IssuerRecord<K>} getIssuerRecord
+ * @property {(gains: AmountKeywordRecord, zcfSeat?: ZCFSeat) => ZCFSeat} mintGains
+ * 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.
+ *
+ * @property {(losses: AmountKeywordRecord,
+ *             zcfSeat: ZCFSeat,
+ *            ) => void} burnLosses
+ * 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.
+ */
+
+/**
+ * @callback ZCFSeatFail
+ *
+ * fail called with the reason for this failure, where reason is
+ * normally an instanceof Error.
+ * @param {unknown} reason
+ * @returns {Error}
+ */
+
+/**
+ * @callback ZCFGetAmountAllocated
+ * The brand is used for filling in an empty amount if the `keyword`
+ * is not present in the allocation
+ * @param {Keyword} keyword
+ * @param {Brand} [brand]
+ * @returns {Amount<any>}
+ */
+
+/**
+ * @typedef {object} ZCFSeat
+ * @property {(completion?: Completion) => void} exit
+ * @property {ZCFSeatFail} fail
+ * @property {() => Promise<Subscriber<Allocation>>} getSubscriber
+ * @property {() => boolean} hasExited
+ * @property {() => ProposalRecord} getProposal
+ * @property {ZCFGetAmountAllocated} getAmountAllocated
+ * @property {() => Allocation} getCurrentAllocation
+ * @property {() => Allocation} getStagedAllocation
+ * Deprecated: Use atomicRearrange instead
+ * @property {() => boolean} hasStagedAllocation
+ * Deprecated: Use atomicRearrange instead
+ * @property {(newAllocation: Allocation) => boolean} isOfferSafe
+ * @property {(amountKeywordRecord: AmountKeywordRecord) => AmountKeywordRecord} incrementBy
+ * Deprecated: Use atomicRearrange instead
+ * @property {(amountKeywordRecord: AmountKeywordRecord) => AmountKeywordRecord} decrementBy
+ * Deprecated: Use atomicRearrange instead
+ * @property {() => void} clear
+ * Deprecated: Use atomicRearrange instead
+ */
+
+/**
+ * @typedef {{ zcfSeat: ZCFSeat, userSeat: ERef<UserSeat>}} ZcfSeatKit
+ */
+
+/**
+ * @template {object} OR Offer results
+ * @typedef {(seat: ZCFSeat, offerArgs?: object) => OR} HandleOffer
+ */
+
+/**
+ * @template {object} [OR=unknown] Offer results
+ * @typedef {HandleOffer<OR> | { handle: HandleOffer<OR> }} OfferHandler
+ */
+
+/**
+ * API for a contract start function.
+ *
+ * CAVEAT: assumes synchronous
+ *
+ * @deprecated define function signature directly
+ *
+ * @template {object} [PF=any] Public facet
+ * @template {object} [CF=any] Creator facet
+ * @template {object} [CT=any] Custom terms
+ * @template {object} [PA=any] Private args
+ * @callback ContractStartFn
+ * @param {ZCF<CT>} zcf
+ * @param {PA} privateArgs
+ * @returns {ContractStartFnResult<PF, CF>}
+ */
+
+/**
+ * @template PF Public facet
+ * @template CF Creator facet
+ * @typedef {object} ContractStartFnResult
+ * @property {PF} publicFacet
+ * @property {CF} creatorFacet
+ * @property {Promise<Invitation>} [creatorInvitation]
+ */
+
+/**
+ * @template S
+ * @typedef {import('../zoeService/utils').ContractOf<S>} ContractOf
+ */
+
+/**
+ * @typedef {import('../zoeService/utils').AdminFacet} AdminFacet
+ */

package/src/contractFacet/vatRoot.d.ts

@@ -10,5 +10,5 @@ export function buildRootObject(powers: import("@agoric/swingset-vat").Terminati
     zoeService: ZoeService;
     invitationIssuer: Issuer<'set'>;
     privateArgs?: any;
-}, baggage: MapStore<string, any>): Promise<import("@endo/eventual-send").RemotableBrand<{}, {}>>;
+}, baggage: MapStore<string, unknown>): Promise<import("@endo/eventual-send").RemotableBrand<{}, {}>>;
 //# sourceMappingURL=vatRoot.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"vatRoot.d.ts","sourceRoot":"","sources":["vatRoot.js"],"names":[],"mappings":"AAkBA;;;;GAIG;AACH;mBAJwC,aAAa;;uBACtB,SAAS;gBAAc,UAAU;sBAAoB,OAAO,KAAK,CAAC;kBAAgB,GAAG;kGAgEnH"}
+{"version":3,"file":"vatRoot.d.ts","sourceRoot":"","sources":["vatRoot.js"],"names":[],"mappings":"AAkBA;;;;GAIG;AACH;mBAJwC,aAAa;;uBACtB,SAAS;gBAAc,UAAU;sBAAoB,OAAO,KAAK,CAAC;kBAAgB,GAAG;sGAgEnH"}

package/src/contractFacet/zcfMint.d.ts

@@ -1,5 +1,5 @@
 export function sumAmountKeywordRecord<K extends AssetKind>(amr: AmountKeywordRecord, issuerRecord: IssuerRecord<K>): Amount<K>;
-export function prepareZcMint(zcfBaggage: MapStore<string, any>, recordIssuer: (keyword: string, issuerRecord: IssuerRecord) => void, getAssetKindByBrand: GetAssetKindByBrand, makeEmptySeatKit: (exit?: undefined) => {
+export function prepareZcMint(zcfBaggage: MapStore<string, unknown>, recordIssuer: (keyword: string, issuerRecord: IssuerRecord) => void, getAssetKindByBrand: GetAssetKindByBrand, makeEmptySeatKit: (exit?: undefined) => {
     zcfSeat: any;
     userSeat: Promise<UserSeat>;
 }, reallocator: ZcfMintReallocator): <K extends AssetKind>(keyword: string, zoeMintP: ERef<ZoeMint<K>>) => Promise<ZCFMint<K>>;

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

@@ -1 +1 @@
-{"version":3,"file":"zcfMint.d.ts","sourceRoot":"","sources":["zcfMint.js"],"names":[],"mappings":"AAsBO,iEAJI,mBAAmB,4CAc7B;AASM,yFALgB,MAAM,gBAAgB,YAAY,KAAG,IAAI,uBACrD,mBAAmB,4BACX,SAAS,KAAK;IAAE,OAAO,EAAE,GAAG,CAAC;IAAC,QAAQ,EAAE,QAAQ,QAAQ,CAAC,CAAA;CAAE,eACnE,kBAAkB,kCAkHhB,MAAM,qDAalB"}
+{"version":3,"file":"zcfMint.d.ts","sourceRoot":"","sources":["zcfMint.js"],"names":[],"mappings":"AAqBO,iEAJI,mBAAmB,4CAc7B;AASM,6FALgB,MAAM,gBAAgB,YAAY,KAAG,IAAI,uBACrD,mBAAmB,4BACX,SAAS,KAAK;IAAE,OAAO,EAAE,GAAG,CAAC;IAAC,QAAQ,EAAE,QAAQ,QAAQ,CAAC,CAAA;CAAE,eACnE,kBAAkB,kCAkHhB,MAAM,qDAalB"}

package/src/contractFacet/zcfMint.js

@@ -1,4 +1,3 @@
-/* eslint @typescript-eslint/no-floating-promises: "warn" */
 import { AmountMath } from '@agoric/ertp';
 import { prepareExoClass } from '@agoric/vat-data';
 import { E } from '@endo/eventual-send';
@@ -10,7 +9,7 @@ import { addToAllocation, subtractFromAllocation } from './allocationMath.js';
 import '../internal-types.js';
 import { ZcfMintI } from '../typeGuards.js';
 import './internal-types.js';
-import './types-ambient.js';
+import './types.js';
 
 const { Fail } = assert;
 

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

@@ -1 +1 @@
-{"version":3,"file":"zcfSeat.d.ts","sourceRoot":"","sources":["zcfSeat.js"],"names":[],"mappings":"AA2BA,gCAAgC;AAChC,gCADW,iBAAiB,CAyd1B"}
+{"version":3,"file":"zcfSeat.d.ts","sourceRoot":"","sources":["zcfSeat.js"],"names":[],"mappings":"AAwBA,gCAAgC;AAChC,gCADW,iBAAiB,CAsX1B"}