@agoric/zoe 0.26.3-dev-2d71c01.0 → 0.26.3-dev-cbec0c6.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/zoe",
-  "version": "0.26.3-dev-2d71c01.0+2d71c01",
+  "version": "0.26.3-dev-cbec0c6.0+cbec0c6",
   "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-2d71c01.0+2d71c01",
-    "@agoric/ertp": "0.16.3-dev-2d71c01.0+2d71c01",
-    "@agoric/internal": "0.3.3-dev-2d71c01.0+2d71c01",
-    "@agoric/notifier": "0.6.3-dev-2d71c01.0+2d71c01",
-    "@agoric/store": "0.9.3-dev-2d71c01.0+2d71c01",
-    "@agoric/swingset-liveslots": "0.10.3-dev-2d71c01.0+2d71c01",
-    "@agoric/swingset-vat": "0.32.3-dev-2d71c01.0+2d71c01",
-    "@agoric/time": "0.3.3-dev-2d71c01.0+2d71c01",
-    "@agoric/vat-data": "0.5.3-dev-2d71c01.0+2d71c01",
+    "@agoric/assert": "0.6.1-dev-cbec0c6.0+cbec0c6",
+    "@agoric/ertp": "0.16.3-dev-cbec0c6.0+cbec0c6",
+    "@agoric/internal": "0.3.3-dev-cbec0c6.0+cbec0c6",
+    "@agoric/notifier": "0.6.3-dev-cbec0c6.0+cbec0c6",
+    "@agoric/store": "0.9.3-dev-cbec0c6.0+cbec0c6",
+    "@agoric/swingset-liveslots": "0.10.3-dev-cbec0c6.0+cbec0c6",
+    "@agoric/swingset-vat": "0.32.3-dev-cbec0c6.0+cbec0c6",
+    "@agoric/time": "0.3.3-dev-cbec0c6.0+cbec0c6",
+    "@agoric/vat-data": "0.5.3-dev-cbec0c6.0+cbec0c6",
     "@endo/bundle-source": "^2.5.2",
     "@endo/captp": "^3.1.2",
     "@endo/eventual-send": "^0.17.3",
@@ -101,6 +101,7 @@
       "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",
@@ -129,5 +130,5 @@
   "publishConfig": {
     "access": "public"
   },
-  "gitHead": "2d71c017b889787a35a7343fce4e58d443f5e97e"
+  "gitHead": "cbec0c67e13056e7ffc7d42c840946e6d5316ad0"
 }

package/src/cleanProposal.js

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

package/src/contractFacet/types.d.ts

@@ -188,7 +188,7 @@ type OfferHandler<OR extends unknown = unknown> = HandleOffer<OR> | {
 type ContractMeta = {
     customTermsShape?: CopyRecord<any> | undefined;
     privateArgsShape?: CopyRecord<any> | undefined;
-    upgradability?: "canBeUpgraded" | "canUpgrade" | undefined;
+    upgradability?: "none" | "canBeUpgraded" | "canUpgrade" | undefined;
 };
 /**
  * API for a contract start function.

package/src/contractFacet/types.js

@@ -236,7 +236,7 @@
  * @typedef ContractMeta
  * @property {CopyRecord<Pattern>} [customTermsShape]
  * @property {CopyRecord<Pattern>} [privateArgsShape]
- * @property {'canBeUpgraded' | 'canUpgrade'} [upgradability]
+ * @property {'none' | 'canBeUpgraded' | 'canUpgrade'} [upgradability='none']
  */
 
 /**

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,KAAK,UAAU,CAAC,oBAChB,OAAO,KAAK,CAAC,iBACb,aAAa,qBACb,SAAS,uCAEP,QAAQ,SAAS,CAAC,CAka9B;kCAjba,OAAO,cAAc,EAAE,mBAAmB"}
+{"version":3,"file":"zcfZygote.d.ts","sourceRoot":"","sources":["zcfZygote.js"],"names":[],"mappings":"AAiDO,sCARI,SAAS,cACT,KAAK,UAAU,CAAC,oBAChB,OAAO,KAAK,CAAC,iBACb,aAAa,qBACb,SAAS,uCAEP,QAAQ,SAAS,CAAC,CAqc9B;kCApda,OAAO,cAAc,EAAE,mBAAmB"}

package/src/contractFacet/zcfZygote.js

@@ -1,27 +1,27 @@
-import { E } from '@endo/eventual-send';
-import { passStyleOf, Remotable } from '@endo/marshal';
 import { AssetKind } from '@agoric/ertp';
-import { makePromiseKit } from '@endo/promise-kit';
 import { assertPattern, mustMatch } from '@agoric/store';
 import {
   canBeDurable,
   M,
   makeScalarBigMapStore,
-  provideDurableMapStore,
   prepareExo,
   prepareExoClass,
+  provideDurableMapStore,
 } from '@agoric/vat-data';
+import { E } from '@endo/eventual-send';
+import { passStyleOf, Remotable } from '@endo/marshal';
+import { makePromiseKit } from '@endo/promise-kit';
 
 import { objectMap } from '@agoric/internal';
 import { cleanProposal } from '../cleanProposal.js';
+import { handlePKitWarning } from '../handleWarning.js';
+import { makeInstanceRecordStorage } from '../instanceRecordStorage.js';
+import { provideIssuerStorage } from '../issuerStorage.js';
+import { defineDurableHandle } from '../makeHandle.js';
 import { evalContractBundle } from './evalContractCode.js';
 import { makeMakeExiter } from './exit.js';
-import { defineDurableHandle } from '../makeHandle.js';
-import { provideIssuerStorage } from '../issuerStorage.js';
-import { createSeatManager } from './zcfSeat.js';
-import { makeInstanceRecordStorage } from '../instanceRecordStorage.js';
-import { handlePKitWarning } from '../handleWarning.js';
 import { makeOfferHandlerStorage } from './offerHandlerStorage.js';
+import { createSeatManager } from './zcfSeat.js';
 
 import '../internal-types.js';
 import './internal-types.js';
@@ -211,15 +211,24 @@ export const makeZCFZygote = async (
   const handleOfferObj = makeHandleOfferObj(taker);
 
   /**
-   * @type {() => Promise< {
-   * buildRootObject: any,
-   * start: undefined,
-   * meta: undefined,
-   * } | {
-   * buildRootObject: undefined,
-   * start: ContractStartFn,
-   * meta?: ContractMeta,
-}>} */
+   * @type {() => Promise<
+   *   | {
+   *       buildRootObject: any;
+   *       start: undefined;
+   *       meta: undefined;
+   *     }
+   *   | {
+   *       prepare: ContractStartFn;
+   *       customTermsShape?: Pick<ContractMeta, 'customTermsShape'>,
+   *       privateArgsShape?: Pick<ContractMeta, 'privateArgsShape'>,
+   *     }
+   *   | {
+   *       buildRootObject: undefined;
+   *       start: ContractStartFn;
+   *       meta?: ContractMeta;
+   *     }
+   * >}
+   */
   const evaluateContract = () => {
     let bundle;
     if (passStyleOf(contractBundleCap) === 'remotable') {
@@ -232,18 +241,44 @@ export const makeZCFZygote = async (
     return evalContractBundle(bundle);
   };
   // evaluate the contract (either the first version, or an upgrade)
-  const { start, buildRootObject, meta = {} } = await evaluateContract();
+  const bundleResult = await evaluateContract();
+
+  //#region backwards compatibility with prepare()
+  const { start, meta = {} } = (() => {
+    if ('prepare' in bundleResult) {
+      if ('start' in bundleResult) {
+        Fail`contract must provide exactly one of "start" and "prepare"`;
+      }
+      // A contract must have one expression of upgradability
+      if (/** @type {any} */ (bundleResult).meta?.upgradability) {
+        Fail`prepare() is deprecated and incompatible with the 'upgradability' indicator`;
+      }
+      return {
+        start: bundleResult.prepare,
+        meta: {
+          upgradability: 'canUpgrade',
+          customTermsShape: bundleResult.customTermsShape,
+          privateArgsShape: bundleResult.privateArgsShape,
+        },
+      };
+    }
+    // normal behavior
+    return bundleResult;
+  })();
+  //#endregion
 
   if (start === undefined) {
-    buildRootObject === undefined ||
-      Fail`Did you provide a vat bundle instead of a contract bundle?`;
+    if ('buildRootObject' in bundleResult) {
+      // diagnose a common mistake
+      throw Fail`Did you provide a vat bundle instead of a contract bundle?`;
+    }
     throw Fail`contract exports missing start`;
   }
 
   start.length <= 3 || Fail`invalid start parameters`;
-  const durabilityRequired = meta.upgradability
-    ? ['canBeUpgraded', 'canUpgrade'].includes(meta.upgradability)
-    : false;
+  const durabilityRequired =
+    meta.upgradability &&
+    ['canBeUpgraded', 'canUpgrade'].includes(meta.upgradability);
 
   /** @type {ZCF} */
   // Using Remotable rather than Far because there are too many complications

package/src/contracts/auction/firstPriceLogic.js

@@ -19,7 +19,7 @@ export const calcWinnerAndClose = (zcf, sellSeat, bidSeats) => {
   let highestBidSeat = bidSeats[0];
   let activeBidsCount = 0n;
 
-  bidSeats.forEach(bidSeat => {
+  for (const bidSeat of bidSeats) {
     if (!bidSeat.hasExited()) {
       activeBidsCount += 1n;
       /** @type {Amount<'nat'>} */
@@ -34,7 +34,7 @@ export const calcWinnerAndClose = (zcf, sellSeat, bidSeats) => {
         highestBidSeat = bidSeat;
       }
     }
-  });
+  }
 
   if (activeBidsCount === 0n) {
     throw sellSeat.fail(Error(`Could not close auction. No bids were active`));
@@ -49,10 +49,10 @@ export const calcWinnerAndClose = (zcf, sellSeat, bidSeats) => {
   );
 
   sellSeat.exit();
-  bidSeats.forEach(bidSeat => {
+  for (const bidSeat of bidSeats) {
     if (!bidSeat.hasExited()) {
       bidSeat.exit();
     }
-  });
+  }
   zcf.shutdown('Auction closed.');
 };

package/src/contracts/scaledPriceAuthority.d.ts

@@ -1,13 +1,4 @@
-/**
- * @typedef {object} ScaledPriceAuthorityOpts
- * @property {ERef<PriceAuthority>} sourcePriceAuthority
- * @property {Ratio} scaleIn - sourceAmountIn:targetAmountIn
- * @property {Ratio} scaleOut - sourceAmountOut:targetAmountOut
- * @property {Ratio} [initialPrice] - targetAmountIn:targetAmountOut
- */
-/** @type {ContractMeta} */
-export const meta: ContractMeta;
-export function start(zcf: ZCF<ScaledPriceAuthorityOpts>, privateArgs: object, baggage: MapStore<string, any>): Promise<{
+export function prepare(zcf: ZCF<ScaledPriceAuthorityOpts>, privateArgs: object, baggage: MapStore<string, any>): Promise<{
     publicFacet: {
         getPriceAuthority: () => Promise<PriceAuthority>;
     } & import("@endo/eventual-send").RemotableBrand<{}, {

package/src/contracts/scaledPriceAuthority.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scaledPriceAuthority.d.ts","sourceRoot":"","sources":["scaledPriceAuthority.js"],"names":[],"mappings":"AAWA;;;;;;GAMG;AAEH,2BAA2B;AAC3B,mBADW,YAAY,CAGrB;AAgBK,2BAJI,IAAI,wBAAwB,CAAC,eAC7B,MAAM;;;;;;GAyDhB;;0BA/Ea,KAAK,cAAc,CAAC;;;;aACpB,KAAK;;;;cACL,KAAK"}
+{"version":3,"file":"scaledPriceAuthority.d.ts","sourceRoot":"","sources":["scaledPriceAuthority.js"],"names":[],"mappings":"AAiCO,6BALI,IAAI,wBAAwB,CAAC,eAC7B,MAAM;;;;;;GA0DhB;;0BA1Ea,KAAK,cAAc,CAAC;;;;aACpB,KAAK;;;;cACL,KAAK"}

package/src/contracts/scaledPriceAuthority.js

@@ -17,12 +17,6 @@ import { provideQuoteMint } from '../contractSupport/priceAuthorityQuoteMint.js'
  * @property {Ratio} [initialPrice] - targetAmountIn:targetAmountOut
  */
 
-/** @type {ContractMeta} */
-export const meta = {
-  upgradability: 'canUpgrade',
-};
-harden(meta);
-
 /**
  * A contract that scales a source price authority to a target price authority
  * via ratios.
@@ -36,7 +30,8 @@ harden(meta);
  * @param {object} privateArgs
  * @param {import('@agoric/vat-data').Baggage} baggage
  */
-export const start = async (zcf, privateArgs, baggage) => {
+// 'prepare' is deprecated but still supported
+export const prepare = async (zcf, privateArgs, baggage) => {
   const quoteMint = provideQuoteMint(baggage);
 
   const { sourcePriceAuthority, scaleIn, scaleOut, initialPrice } =
@@ -91,4 +86,4 @@ export const start = async (zcf, privateArgs, baggage) => {
   );
   return harden({ publicFacet });
 };
-harden(start);
+harden(prepare);