@agoric/zoe 0.26.3-dev-8ef3fde.0 → 0.26.3-dev-2f34a05.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/zoe",
-  "version": "0.26.3-dev-8ef3fde.0+8ef3fde",
+  "version": "0.26.3-dev-2f34a05.0+2f34a05",
   "description": "Zoe: the Smart Contract Framework for Offer Enforcement",
   "type": "module",
   "main": "./src/zoeService/zoe.js",
@@ -43,17 +43,17 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/base-zone": "0.1.1-dev-8ef3fde.0+8ef3fde",
-    "@agoric/ertp": "0.16.3-dev-8ef3fde.0+8ef3fde",
-    "@agoric/internal": "0.3.3-dev-8ef3fde.0+8ef3fde",
-    "@agoric/notifier": "0.6.3-dev-8ef3fde.0+8ef3fde",
-    "@agoric/store": "0.9.3-dev-8ef3fde.0+8ef3fde",
-    "@agoric/swingset-liveslots": "0.10.3-dev-8ef3fde.0+8ef3fde",
-    "@agoric/swingset-vat": "0.32.3-dev-8ef3fde.0+8ef3fde",
-    "@agoric/time": "0.3.3-dev-8ef3fde.0+8ef3fde",
-    "@agoric/vat-data": "0.5.3-dev-8ef3fde.0+8ef3fde",
-    "@agoric/vow": "0.1.1-dev-8ef3fde.0+8ef3fde",
-    "@agoric/zone": "0.2.3-dev-8ef3fde.0+8ef3fde",
+    "@agoric/base-zone": "0.1.1-dev-2f34a05.0+2f34a05",
+    "@agoric/ertp": "0.16.3-dev-2f34a05.0+2f34a05",
+    "@agoric/internal": "0.3.3-dev-2f34a05.0+2f34a05",
+    "@agoric/notifier": "0.6.3-dev-2f34a05.0+2f34a05",
+    "@agoric/store": "0.9.3-dev-2f34a05.0+2f34a05",
+    "@agoric/swingset-liveslots": "0.10.3-dev-2f34a05.0+2f34a05",
+    "@agoric/swingset-vat": "0.32.3-dev-2f34a05.0+2f34a05",
+    "@agoric/time": "0.3.3-dev-2f34a05.0+2f34a05",
+    "@agoric/vat-data": "0.5.3-dev-2f34a05.0+2f34a05",
+    "@agoric/vow": "0.1.1-dev-2f34a05.0+2f34a05",
+    "@agoric/zone": "0.2.3-dev-2f34a05.0+2f34a05",
     "@endo/bundle-source": "^3.5.1",
     "@endo/captp": "^4.4.4",
     "@endo/common": "^1.2.9",
@@ -70,7 +70,7 @@
     "yargs-parser": "^21.1.1"
   },
   "devDependencies": {
-    "@agoric/kmarshal": "0.1.1-dev-8ef3fde.0+8ef3fde",
+    "@agoric/kmarshal": "0.1.1-dev-2f34a05.0+2f34a05",
     "@endo/init": "^1.1.8",
     "ava": "^5.3.0",
     "c8": "^10.1.2",
@@ -100,5 +100,5 @@
   "typeCoverage": {
     "atLeast": 85.11
   },
-  "gitHead": "8ef3fde4fbbca626c84b31c1d65ad676942c9e20"
+  "gitHead": "2f34a051458eb123cf2e8d0cef0e318583b60c0e"
 }

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

@@ -24,11 +24,6 @@ type ZCF<CT = 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
@@ -86,34 +81,6 @@ type ZCF<CT = Record<string, unknown>> = {
   getInstance: () => Instance;
 };
 
-/**
- * @deprecated Use atomicRearrange instead
- *
- * 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,
@@ -184,31 +151,7 @@ type ZCFSeat = import('@endo/pass-style').RemotableObject & {
     brand?: B,
   ) => B extends Brand<infer K> ? Amount<K> : Amount;
   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;

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

@@ -1 +1 @@
-{"version":3,"file":"zcfMint.d.ts","sourceRoot":"","sources":["zcfMint.js"],"names":[],"mappings":"AAmBO,4CAJI,mBAAmB,gBACnB,YAAY,GACV,MAAM,CAYlB;AASM,0CANI,OAAO,kBAAkB,EAAE,OAAO,gBAClC;IAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,GAAG,IAAI,CAAA;CAAE,uBACvD,mBAAmB,oBACnB,CAAC,IAAI,CAAC,EAAE,SAAS,KAAK;IAAE,OAAO,EAAE,GAAG,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAA;CAAE,eACnE,kBAAkB,IAsHb,SAJH,MAIU,EAAE,UAHZ,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAGK,KAFlB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAWjC"}
+{"version":3,"file":"zcfMint.d.ts","sourceRoot":"","sources":["zcfMint.js"],"names":[],"mappings":"AAmBO,4CAJI,mBAAmB,gBACnB,YAAY,GACV,MAAM,CAYlB;AASM,0CANI,OAAO,kBAAkB,EAAE,OAAO,gBAClC;IAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,GAAG,IAAI,CAAA;CAAE,uBACvD,mBAAmB,oBACnB,CAAC,IAAI,CAAC,EAAE,SAAS,KAAK;IAAE,OAAO,EAAE,GAAG,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAA;CAAE,eACnE,kBAAkB,IA0Gb,SAJH,MAIU,EAAE,UAHZ,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAGK,KAFlB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAWjC"}

package/src/contractFacet/zcfMint.js

@@ -87,19 +87,13 @@ export const prepareZcMint = (
           gains,
         );
 
-        // Increment the stagedAllocation if it exists so that the
-        // stagedAllocation is kept up to the currentAllocation
-        if (zcfSeat.hasStagedAllocation()) {
-          zcfSeat.incrementBy(gains);
-        }
-
         // Offer safety should never be able to be violated here, as
         // we are adding assets. However, we keep this check so that
         // all reallocations are covered by offer safety checks, and
         // that any bug within Zoe that may affect this is caught.
         zcfSeat.isOfferSafe(allocationPlusGains) ||
           Fail`The allocation after minting gains ${allocationPlusGains} for the zcfSeat was not offer safe`;
-        // No effects above, apart from incrementBy. Note COMMIT POINT within
+        // No effects above, Note COMMIT POINT within
         // reallocator.reallocate(). The following two steps *should* be
         // committed atomically, but it is not a disaster if they are
         // not. If we minted only, no one would ever get those
@@ -129,13 +123,7 @@ export const prepareZcMint = (
         zcfSeat.isOfferSafe(allocationMinusLosses) ||
           Fail`The allocation after burning losses ${allocationMinusLosses} for the zcfSeat was not offer safe`;
 
-        // Decrement the stagedAllocation if it exists so that the
-        // stagedAllocation is kept up to the currentAllocation
-        if (zcfSeat.hasStagedAllocation()) {
-          zcfSeat.decrementBy(losses);
-        }
-
-        // No effects above, apart from decrementBy. Note COMMIT POINT within
+        // No effects above, Note COMMIT POINT within
         // reallocator.reallocate(). The following two steps *should* be
         // committed atomically, but it is not a disaster if they are
         // not. If we only commit the allocationMinusLosses no one would

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

@@ -1 +1 @@
-{"version":3,"file":"zcfSeat.d.ts","sourceRoot":"","sources":["zcfSeat.js"],"names":[],"mappings":"AAwCO,oDANI,IAAI,CAAC,gBAAgB,CAAC,uBACtB,mBAAmB,uBACnB,OAAO,sBAAsB,EAAE,mBAAmB,cAClD,OAAO,kBAAkB,EAAE,OAAO,GAChC;IAAE,WAAW,EAAE,cAAc,CAAC;IAAC,kBAAkB,EAAE,kBAAkB,CAAA;CAAE,CAyenF"}
+{"version":3,"file":"zcfSeat.d.ts","sourceRoot":"","sources":["zcfSeat.js"],"names":[],"mappings":"AAqCO,oDANI,IAAI,CAAC,gBAAgB,CAAC,uBACtB,mBAAmB,uBACnB,OAAO,sBAAsB,EAAE,mBAAmB,cAClD,OAAO,kBAAkB,EAAE,OAAO,GAChC;IAAE,WAAW,EAAE,cAAc,CAAC;IAAC,kBAAkB,EAAE,kBAAkB,CAAA;CAAE,CAuTnF"}

package/src/contractFacet/zcfSeat.js

@@ -5,7 +5,6 @@ import {
   prepareExoClass,
   prepareExoClassKit,
   provide,
-  provideDurableMapStore,
   provideDurableWeakMapStore,
 } from '@agoric/vat-data';
 import { AmountMath } from '@agoric/ertp';
@@ -13,8 +12,6 @@ import { initEmpty, M } from '@agoric/store';
 
 import { isOfferSafe } from './offerSafety.js';
 import { assertRightsConserved } from './rightsConservation.js';
-import { addToAllocation, subtractFromAllocation } from './allocationMath.js';
-import { coerceAmountKeywordRecord } from '../cleanProposal.js';
 import {
   AmountKeywordRecordShape,
   SeatDataShape,
@@ -46,11 +43,11 @@ export const createSeatManager = (
 ) => {
   /** @type {WeakMapStore<ZCFSeat, Allocation>}  */
   let activeZCFSeats = provideDurableWeakMapStore(zcfBaggage, 'activeZCFSeats');
-  /** @type {MapStore<ZCFSeat, Allocation>} */
-  const zcfSeatToStagedAllocations = provideDurableMapStore(
-    zcfBaggage,
-    'zcfSeatToStagedAllocations',
-  );
+
+  // Removed.  See #6679
+  if (zcfBaggage.has('zcfSeatToStagedAllocations')) {
+    zcfBaggage.delete('zcfSeatToStagedAllocations');
+  }
 
   /** @type {WeakMapStore<ZCFSeat, SeatHandle>} */
   let zcfSeatToSeatHandle = provideDurableWeakMapStore(
@@ -89,64 +86,6 @@ export const createSeatManager = (
     return activeZCFSeats.get(zcfSeat);
   };
 
-  /**
-   * @param {ZCFSeat} zcfSeat
-   * @returns {void}
-   */
-  const commitStagedAllocation = zcfSeat => {
-    // By this point, we have checked that the zcfSeat is a key in
-    // activeZCFSeats and in zcfSeatToStagedAllocations.
-    activeZCFSeats.set(zcfSeat, zcfSeat.getStagedAllocation());
-    zcfSeatToStagedAllocations.delete(zcfSeat);
-  };
-
-  /**
-   * @param {ZCFSeat} zcfSeat
-   * @returns {Allocation}
-   */
-  const hasStagedAllocation = zcfSeatToStagedAllocations.has;
-
-  /**
-   * Get the stagedAllocation. If one does not exist, return the
-   * currentAllocation. We return the currentAllocation in this case
-   * so that downstream users do not have to check whether the
-   * stagedAllocation is defined before adding to it or subtracting
-   * from it. To check whether a stagedAllocation exists, use
-   * `hasStagedAllocation`
-   *
-   * @param {ZCFSeat} zcfSeat
-   * @returns {Allocation}
-   */
-  const getStagedAllocation = zcfSeat => {
-    if (zcfSeatToStagedAllocations.has(zcfSeat)) {
-      return zcfSeatToStagedAllocations.get(zcfSeat);
-    } else {
-      return activeZCFSeats.get(zcfSeat);
-    }
-  };
-
-  const assertStagedAllocation = zcfSeat => {
-    hasStagedAllocation(zcfSeat) ||
-      Fail`Reallocate failed because a seat had no staged allocation. Please add or subtract from the seat and then reallocate.`;
-  };
-
-  const setStagedAllocation = (zcfSeat, newStagedAllocation) => {
-    if (zcfSeatToStagedAllocations.has(zcfSeat)) {
-      zcfSeatToStagedAllocations.set(zcfSeat, newStagedAllocation);
-    } else {
-      zcfSeatToStagedAllocations.init(zcfSeat, newStagedAllocation);
-    }
-  };
-
-  /** @param {ZCFSeat} zcfSeat */
-  const assertNoStagedAllocation = zcfSeat => {
-    if (hasStagedAllocation(zcfSeat)) {
-      Fail`The seat could not be exited with a staged but uncommitted allocation: ${getStagedAllocation(
-        zcfSeat,
-      )}. Please reallocate over this seat or clear the staged allocation.`;
-    }
-  };
-
   const ZCFSeatI = M.interface('ZCFSeat', {}, { sloppy: true });
 
   const makeZCFSeatInternal = prepareExoClass(
@@ -168,7 +107,6 @@ export const createSeatManager = (
       exit(completion) {
         const { self } = this;
         assertActive(self);
-        assertNoStagedAllocation(self);
         doExitSeat(self);
         void E(zoeInstanceAdmin).exitSeat(
           zcfSeatToSeatHandle.get(self),
@@ -226,10 +164,6 @@ export const createSeatManager = (
         const { self } = this;
         return getCurrentAllocation(self);
       },
-      getStagedAllocation() {
-        const { self } = this;
-        return getStagedAllocation(self);
-      },
       isOfferSafe(newAllocation) {
         const { state, self } = this;
         assertActive(self);
@@ -241,53 +175,6 @@ export const createSeatManager = (
 
         return isOfferSafe(state.proposal, reallocation);
       },
-      /**
-       * @deprecated switch to zcf.atomicRearrange()
-       * @param {AmountKeywordRecord} amountKeywordRecord
-       */
-      incrementBy(amountKeywordRecord) {
-        const { self } = this;
-        assertActive(self);
-        amountKeywordRecord = coerceAmountKeywordRecord(
-          amountKeywordRecord,
-          getAssetKindByBrand,
-        );
-        setStagedAllocation(
-          self,
-          addToAllocation(getStagedAllocation(self), amountKeywordRecord),
-        );
-        return amountKeywordRecord;
-      },
-      /**
-       * @deprecated switch to zcf.atomicRearrange()
-       * @param {AmountKeywordRecord} amountKeywordRecord
-       */
-      decrementBy(amountKeywordRecord) {
-        const { self } = this;
-        assertActive(self);
-        amountKeywordRecord = coerceAmountKeywordRecord(
-          amountKeywordRecord,
-          getAssetKindByBrand,
-        );
-        setStagedAllocation(
-          self,
-          subtractFromAllocation(
-            getStagedAllocation(self),
-            amountKeywordRecord,
-          ),
-        );
-        return amountKeywordRecord;
-      },
-      clear() {
-        const { self } = this;
-        if (zcfSeatToStagedAllocations.has(self)) {
-          zcfSeatToStagedAllocations.delete(self);
-        }
-      },
-      hasStagedAllocation() {
-        const { self } = this;
-        return hasStagedAllocation(self);
-      },
     },
   );
 
@@ -301,9 +188,6 @@ export const createSeatManager = (
     seatManager: M.interface('ZcfSeatManager', {
       makeZCFSeat: M.call(SeatDataShape).returns(M.remotable('zcfSeat')),
       atomicRearrange: M.call(M.arrayOf(TransferPartShape)).returns(),
-      reallocate: M.call(M.remotable('zcfSeat'), M.remotable('zcfSeat'))
-        .rest(M.arrayOf(M.remotable('zcfSeat')))
-        .returns(),
       dropAllReferences: M.call().returns(),
     }),
     zcfMintReallocator: M.interface('MintReallocator', {
@@ -355,8 +239,6 @@ export const createSeatManager = (
           // ////// All Seats are active /////////////////////////////////
           for (const [seat] of newAllocations) {
             assertActive(seat);
-            !seat.hasStagedAllocation() ||
-              Fail`Cannot mix atomicRearrange with seat stagings: ${seat}`;
             zcfSeatToSeatHandle.has(seat) ||
               Fail`The seat ${seat} was not recognized`;
           }
@@ -415,69 +297,6 @@ export const createSeatManager = (
             throw err;
           }
         },
-        reallocate(/** @type {ZCFSeat[]} */ ...seats) {
-          for (const seat of seats) {
-            assertActive(seat);
-            assertStagedAllocation(seat);
-          }
-
-          // Ensure that rights are conserved overall.
-          const flattenAllocations = allocations =>
-            allocations.flatMap(Object.values);
-          const previousAllocations = seats.map(seat =>
-            seat.getCurrentAllocation(),
-          );
-          const previousAmounts = flattenAllocations(previousAllocations);
-          const newAllocations = seats.map(seat => seat.getStagedAllocation());
-          const newAmounts = flattenAllocations(newAllocations);
-
-          assertRightsConserved(previousAmounts, newAmounts);
-
-          // Ensure that offer safety holds.
-          for (const seat of seats) {
-            isOfferSafe(seat.getProposal(), seat.getStagedAllocation()) ||
-              Fail`Offer safety was violated by the proposed allocation: ${seat.getStagedAllocation()}. Proposal was ${seat.getProposal()}`;
-          }
-
-          // Keep track of seats used so far in this call, to prevent aliasing.
-          const zcfSeatsSoFar = new Set();
-
-          for (const seat of seats) {
-            zcfSeatToSeatHandle.has(seat) ||
-              Fail`The seat ${seat} was not recognized`;
-            !zcfSeatsSoFar.has(seat) ||
-              Fail`Seat (${seat}) was already an argument to reallocate`;
-            zcfSeatsSoFar.add(seat);
-          }
-
-          try {
-            // No side effects above. All conditions checked which could have
-            // caused us to reject this reallocation.
-            // COMMIT POINT
-            // All the effects below must succeed "atomically". Scare quotes because
-            // the eventual send at the bottom is part of this "atomicity" even
-            // though its effects happen later. The send occurs in the order of
-            // updates from zcf to zoe, its effects must occur immediately in zoe
-            // on reception, and must not fail.
-            //
-            // Commit the staged allocations (currentAllocation is replaced
-            // for each of the seats) and inform Zoe of the
-            // newAllocation.
-
-            for (const seat of seats) {
-              commitStagedAllocation(seat);
-            }
-            const seatHandleAllocations = seats.map(seat => {
-              const seatHandle = zcfSeatToSeatHandle.get(seat);
-              return { seatHandle, allocation: seat.getCurrentAllocation() };
-            });
-
-            E(zoeInstanceAdmin).replaceAllocations(seatHandleAllocations);
-          } catch (err) {
-            shutdownWithFailure(err);
-            throw err;
-          }
-        },
         dropAllReferences() {
           activeZCFSeats = replaceDurableWeakMapStore(
             zcfBaggage,
@@ -490,9 +309,9 @@ export const createSeatManager = (
         },
       },
       zcfMintReallocator: {
-        // Unlike the zcf.reallocate method, this one does not check
+        // Unlike the zcf.atomicRearrange method, this one does not check
         // conservation, and so can be used internally for reallocations that
-        // violate conservation.
+        // violate conservation, like minting and burning.
         reallocate(zcfSeat, newAllocation) {
           try {
             // COMMIT POINT

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

@@ -1 +1 @@
-{"version":3,"file":"zcfZygote.d.ts","sourceRoot":"","sources":["zcfZygote.js"],"names":[],"mappings":"AAiDO,sCARI,SAAS,cACT,IAAI,CAAC,UAAU,CAAC,oBAChB,MAAM,CAAC,KAAK,CAAC,iBACb,aAAa,qBACb,SAAS,eACT,OAAO,kBAAkB,EAAE,OAAO,GAChC,OAAO,CAAC,SAAS,CAAC,CAqd9B"}
+{"version":3,"file":"zcfZygote.d.ts","sourceRoot":"","sources":["zcfZygote.js"],"names":[],"mappings":"AAiDO,sCARI,SAAS,cACT,IAAI,CAAC,UAAU,CAAC,oBAChB,MAAM,CAAC,KAAK,CAAC,iBACb,aAAa,qBACb,SAAS,eACT,OAAO,kBAAkB,EAAE,OAAO,GAChC,OAAO,CAAC,SAAS,CAAC,CAod9B"}

package/src/contractFacet/zcfZygote.js

@@ -283,7 +283,6 @@ export const makeZCFZygote = async (
   /** @type {ZCF} */
   const zcf = prepareExo(zcfBaggage, 'zcf', ZcfI, {
     atomicRearrange: transfers => seatManager.atomicRearrange(transfers),
-    reallocate: (...seats) => seatManager.reallocate(...seats),
     assertUniqueKeyword: kwd => getInstanceRecHolder().assertUniqueKeyword(kwd),
     saveIssuer: async (issuerP, keyword) => {
       // TODO: The checks of the keyword for uniqueness are

package/src/contractSupport/zoeHelpers.d.ts

@@ -3,7 +3,7 @@
  */
 export const defaultAcceptanceMsg: "The offer has been accepted. Once the contract has been completed, please check your payout";
 export function assertIssuerKeywords(zcf: any, expected: any): void;
-export function satisfies(zcf: ZCF, seat: ZcfSeatPartial, update: AmountKeywordRecord): 0 | 1;
+export function satisfies(_ignored: any, seat: ZcfSeatPartial, update: AmountKeywordRecord): 0 | 1;
 /** @type {Swap} */
 export const swap: Swap;
 /** @type {SwapExact} */

package/src/contractSupport/zoeHelpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"zoeHelpers.d.ts","sourceRoot":"","sources":["zoeHelpers.js"],"names":[],"mappings":"AASA;;GAEG;AAEH,iIAAkI;AAI3H,oEAON;AAuBM,+BALI,GAAG,QACH,cAAc,UACd,mBAAmB,GACjB,CAAC,GAAC,CAAC,CAOf;AAED,mBAAmB;AACnB,mBADW,IAAI,CAkBb;AAEF,wBAAwB;AACxB,wBADW,SAAS,CAqBlB;AAiBK,uCAHI,OAAO,iBACP,OAAO,QAIgD;AAsB3D,0CAHI,OAAO,YACP,cAAc,QA8BxB;AAGM,+DAGN;AAED,6EAA8E;AAavE,mCANI,GAAG,iBACH,OAAO,WACP,mBAAmB,YACnB,qBAAqB,GACnB,OAAO,CAAC,MAAM,CAAC,CA8B3B;AAYM,sCALI,GAAG,QACH,OAAO,WACP,mBAAmB,GACjB,OAAO,CAAC,qBAAqB,CAAC,CAQ1C;AAWM,oCAJI,GAAG,wBACH,mBAAmB,4EAgB7B;AAED,0BAA0B;AAC1B,0BADW,WAAW,CAYpB;AAiDK,wBAHe,IAAI,kBACJ,MAAM,uBA/BjB,GAAG,cAGH,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,kBAG9B,oBAAoB,GAAG,SAAS,YAKhC,QAAQ,YAGR,OAAO,WAGP,OAAO,cAIP,IAAI,GAGF,OAAO,CAAC;IAAC,eAAe,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAA;CAAC,CAAC,CA+D1G;;iBAxVa,MAAM,cAAc;0BACpB,MAAM,UAAU;;;;;;;6BAnBJ,gBAAgB"}
+{"version":3,"file":"zoeHelpers.d.ts","sourceRoot":"","sources":["zoeHelpers.js"],"names":[],"mappings":"AASA;;GAEG;AAEH,iIAAkI;AAI3H,oEAON;AAuBM,oCALI,GAAG,QACH,cAAc,UACd,mBAAmB,GACjB,CAAC,GAAC,CAAC,CAOf;AAED,mBAAmB;AACnB,mBADW,IAAI,CAkBb;AAEF,wBAAwB;AACxB,wBADW,SAAS,CAqBlB;AAiBK,uCAHI,OAAO,iBACP,OAAO,QAIgD;AAsB3D,0CAHI,OAAO,YACP,cAAc,QA8BxB;AAGM,+DAGN;AAED,6EAA8E;AAavE,mCANI,GAAG,iBACH,OAAO,WACP,mBAAmB,YACnB,qBAAqB,GACnB,OAAO,CAAC,MAAM,CAAC,CA8B3B;AAYM,sCALI,GAAG,QACH,OAAO,WACP,mBAAmB,GACjB,OAAO,CAAC,qBAAqB,CAAC,CAQ1C;AAWM,oCAJI,GAAG,wBACH,mBAAmB,4EAgB7B;AAED,0BAA0B;AAC1B,0BADW,WAAW,CAYpB;AAiDK,wBAHe,IAAI,kBACJ,MAAM,uBA/BjB,GAAG,cAGH,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,kBAG9B,oBAAoB,GAAG,SAAS,YAKhC,QAAQ,YAGR,OAAO,WAGP,OAAO,cAIP,IAAI,GAGF,OAAO,CAAC;IAAC,eAAe,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAA;CAAC,CAAC,CA+D1G;;iBAxVa,MAAM,cAAc;0BACpB,MAAM,UAAU;;;;;;;6BAnBJ,gBAAgB"}

package/src/contractSupport/zoeHelpers.js

@@ -40,12 +40,12 @@ export const assertIssuerKeywords = (zcf, expected) => {
  * false and 1 for true. When multiples are introduced, any
  * positive return value will mean true.
  *
- * @param {ZCF} zcf
+ * @param {any} _ignored no longer used.
  * @param {ZcfSeatPartial} seat
  * @param {AmountKeywordRecord} update
  * @returns {0|1}
  */
-export const satisfies = (zcf, seat, update) => {
+export const satisfies = (_ignored, seat, update) => {
   const currentAllocation = seat.getCurrentAllocation();
   const newAllocation = { ...currentAllocation, ...update };
   const proposal = seat.getProposal();

package/src/internal-types.d.ts

@@ -143,7 +143,6 @@ type MakeZCFSeat = (seatData: SeatData) => ZCFSeat;
 type DropAllReferences = () => void;
 type ZcfSeatManager = {
     makeZCFSeat: MakeZCFSeat;
-    reallocate: Reallocate;
     dropAllReferences: DropAllReferences;
 };
 type ZcfMintReallocator = {

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

@@ -1 +1 @@
-{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";cAKc,cAAc;uBACd,UAAU;gBACV,UAAU;gBACV,MAAM;;;;;qCAOT,UAAU,KACR,qBAAqB;;sBAKpB,CAAC,UAAU,EAAC,UAAU,KAAK,qBAAqB;;;sBAKhD,CAAC,YAAY,EAAE,YAAY,KAAK,IAAI;eACpC,CAAC,YAAY,EAAE,YAAY,KAAK,OAAO;;;cAKvC,QAAQ;kBACR,YAAY;;;;;+CAMf,UAAU,uBACV,mBAAmB,YACnB,cAAc,iBACd,aAAa,WACb,IAAI,CAAC,OAAO,CAAC,gBACb,IAAI,CAAC,OAAO,CAAC,WACb,OAAO,kBAAkB,EAAE,OAAO,KAChC,eAAe;sCAKjB,UAAU,KACR,IAAI;;uBAKH,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;UAChC,gBAAgB;;;;;UAChB,OAAO,sBAAsB,EAAE,mBAAmB;uBAElD,MAAM,UAAU,CAAC,mBAAmB,CAAC;;oBAGtC,OAAO,eAAe,EAAE,eAAe,GAAG,mBAAmB;;wBAS5D,OAAO,CAAC,OAAO,eAAe,EAAE,QAAQ,CAAC;aACzC,OAAO;;;;;;;;2BASP,MAAM,IAAI;kBACV,CAAC,gBAAgB,EAAE,gBAAgB,EAC1C,iBAAiB,EAAE,UAAU,EAC7B,QAAQ,EAAE,cAAc,EACxB,SAAS,CAAC,EAAE,MAAM,KACjB,QAAQ;sBACF,gBAAgB;iBAChB,MAAM,QAAQ;oBACd,MAAM,MAAM;gBACZ,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;cACxB,MAAM,MAAM;oBACZ,MAAM,MAAM,EAAE;qBACd,MAAM,YAAY;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;yBAClD,MAAM,IAAI;eACV,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO;sBAC3B,CAAC,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,KAAK,IAAI;oBAC9D,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI;;;;;;;;iBAS3B,CAAC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,QAAQ,KACd,iBAAiB;;yDAKzB,gBAAgB,eAChB,MAAM,mEAEN,OAAO,KACL,UAAU;;oBAKT,8BAA8B;gBAC9B,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAClC,OAAO,EAAE,OAAO,KACZ,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;iBAC7E,WAAW;qBACX,eAAe;sBACf,gBAAgB;wBAChB,kBAAkB;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;cAClD,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,KAAK,IAAI;cACxD,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,KAAK,IAAI;yBAC/C,MAAM,IAAI;oBACV,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI;oBAChC,MAAM,KAAK,CAAC,MAAM,CAAC;uBACnB,CAAC,UAAU,EAAE,UAAU,KAAK,UAAU,CAAC,mBAAmB,CAAC;qCAC3D,MAAM,IAAI;;iCAKb,OAAO,wBACP,aAAa,KAEX,OAAO,CAAC,KAAK,CAAC;0CAKhB,OAAO,kBACP,SAAS;6BAMT,OAAO;;;mBAIL,OAAO;4CAKT,UAAU,YACV,cAAc,WACd,OAAO,cACP,UAAU,KACR,QAAQ;kDAKV,oBAAoB,EAAE;;gBAKnB,UAAU;gBACV,UAAU;;aAIE,CAAC,SAAb,SAAU;qBAEV,MAAM,YAAY,CAAC,CAAC,CAAC;mBACrB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;;;;;qBAChC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;cAShC,QAAQ;qBACR,eAAe;;;kBAKf,MAAM;;iBAEN,MAAM;oBACN,cAAc;;mCAKjB,IAAI,CAAC,gBAAgB,CAAC,yBACtB,cAAc,wBACd,aAAa,gBACb,MAAM,KACJ,OAAO,CAAC,qBAAqB,CAAC;sCAKhC,MAAM,KACJ,OAAO,CAAC,gCAAgC,CAAC;8BAK3C,cAAc,gBACd,OAAO,KACL,OAAO;;UAKN,MAAM,IAAI;;kBAIX,MAAM,CAAC,MAAM,CAAC;;;;;;mCAShB,KAAK,KACH,SAAS;qBAIT,KAAK,CAAC,YAAY,CAAC;8BAKrB,QAAQ,KACN,OAAO;;;;;+BAQP,IAAI;;iBAKH,WAAW;gBACX,UAAU;uBACV,iBAAiB;;;gBAKjB,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,KAAK,IAAI;;;;;;wCASxD,OAAO,gBACP,YAAY,KACV,IAAI;;eAKH,sBAAsB;uBACtB,MAAM,cAAc;cACpB,MAAM,QAAQ;qBACd,MAAM,YAAY;gBAClB,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;yBACxB,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI"}
+{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";cAKc,cAAc;uBACd,UAAU;gBACV,UAAU;gBACV,MAAM;;;;;qCAOT,UAAU,KACR,qBAAqB;;sBAKpB,CAAC,UAAU,EAAC,UAAU,KAAK,qBAAqB;;;sBAKhD,CAAC,YAAY,EAAE,YAAY,KAAK,IAAI;eACpC,CAAC,YAAY,EAAE,YAAY,KAAK,OAAO;;;cAKvC,QAAQ;kBACR,YAAY;;;;;+CAMf,UAAU,uBACV,mBAAmB,YACnB,cAAc,iBACd,aAAa,WACb,IAAI,CAAC,OAAO,CAAC,gBACb,IAAI,CAAC,OAAO,CAAC,WACb,OAAO,kBAAkB,EAAE,OAAO,KAChC,eAAe;sCAKjB,UAAU,KACR,IAAI;;uBAKH,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;UAChC,gBAAgB;;;;;UAChB,OAAO,sBAAsB,EAAE,mBAAmB;uBAElD,MAAM,UAAU,CAAC,mBAAmB,CAAC;;oBAGtC,OAAO,eAAe,EAAE,eAAe,GAAG,mBAAmB;;wBAS5D,OAAO,CAAC,OAAO,eAAe,EAAE,QAAQ,CAAC;aACzC,OAAO;;;;;;;;2BASP,MAAM,IAAI;kBACV,CAAC,gBAAgB,EAAE,gBAAgB,EAC1C,iBAAiB,EAAE,UAAU,EAC7B,QAAQ,EAAE,cAAc,EACxB,SAAS,CAAC,EAAE,MAAM,KACjB,QAAQ;sBACF,gBAAgB;iBAChB,MAAM,QAAQ;oBACd,MAAM,MAAM;gBACZ,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;cACxB,MAAM,MAAM;oBACZ,MAAM,MAAM,EAAE;qBACd,MAAM,YAAY;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;yBAClD,MAAM,IAAI;eACV,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO;sBAC3B,CAAC,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,KAAK,IAAI;oBAC9D,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI;;;;;;;;iBAS3B,CAAC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,QAAQ,KACd,iBAAiB;;yDAKzB,gBAAgB,eAChB,MAAM,mEAEN,OAAO,KACL,UAAU;;oBAKT,8BAA8B;gBAC9B,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAClC,OAAO,EAAE,OAAO,KACZ,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;iBAC7E,WAAW;qBACX,eAAe;sBACf,gBAAgB;wBAChB,kBAAkB;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;cAClD,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,KAAK,IAAI;cACxD,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,KAAK,IAAI;yBAC/C,MAAM,IAAI;oBACV,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI;oBAChC,MAAM,KAAK,CAAC,MAAM,CAAC;uBACnB,CAAC,UAAU,EAAE,UAAU,KAAK,UAAU,CAAC,mBAAmB,CAAC;qCAC3D,MAAM,IAAI;;iCAKb,OAAO,wBACP,aAAa,KAEX,OAAO,CAAC,KAAK,CAAC;0CAKhB,OAAO,kBACP,SAAS;6BAMT,OAAO;;;mBAIL,OAAO;4CAKT,UAAU,YACV,cAAc,WACd,OAAO,cACP,UAAU,KACR,QAAQ;kDAKV,oBAAoB,EAAE;;gBAKnB,UAAU;gBACV,UAAU;;aAIE,CAAC,SAAb,SAAU;qBAEV,MAAM,YAAY,CAAC,CAAC,CAAC;mBACrB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;;;;;qBAChC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;cAShC,QAAQ;qBACR,eAAe;;;kBAKf,MAAM;;iBAEN,MAAM;oBACN,cAAc;;mCAKjB,IAAI,CAAC,gBAAgB,CAAC,yBACtB,cAAc,wBACd,aAAa,gBACb,MAAM,KACJ,OAAO,CAAC,qBAAqB,CAAC;sCAKhC,MAAM,KACJ,OAAO,CAAC,gCAAgC,CAAC;8BAK3C,cAAc,gBACd,OAAO,KACL,OAAO;;UAKN,MAAM,IAAI;;kBAIX,MAAM,CAAC,MAAM,CAAC;;;;;;mCAShB,KAAK,KACH,SAAS;qBAIT,KAAK,CAAC,YAAY,CAAC;8BAKrB,QAAQ,KACN,OAAO;;;;;+BAQP,IAAI;;iBAKH,WAAW;uBACX,iBAAiB;;;gBAKjB,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,KAAK,IAAI;;;;;;wCASxD,OAAO,gBACP,YAAY,KACV,IAAI;;eAKH,sBAAsB;uBACtB,MAAM,cAAc;cACpB,MAAM,QAAQ;qBACd,MAAM,YAAY;gBAClB,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;yBACxB,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI"}

package/src/internal-types.js

@@ -276,7 +276,6 @@
 /**
  * @typedef {object} ZcfSeatManager
  * @property {MakeZCFSeat} makeZCFSeat
- * @property {Reallocate} reallocate
  * @property {DropAllReferences} dropAllReferences
  */