@agoric/zoe 0.26.3-upgrade-16-dev-0df76a7.0 → 0.26.3-upgrade-17-dev-e67cd91.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/zoe",
-  "version": "0.26.3-upgrade-16-dev-0df76a7.0+0df76a7",
+  "version": "0.26.3-upgrade-17-dev-e67cd91.0+e67cd91",
   "description": "Zoe: the Smart Contract Framework for Offer Enforcement",
   "type": "module",
   "main": "./src/zoeService/zoe.js",
@@ -43,37 +43,39 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/assert": "0.6.1-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@agoric/base-zone": "0.1.1-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@agoric/ertp": "0.16.3-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@agoric/internal": "0.4.0-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@agoric/notifier": "0.7.0-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@agoric/store": "0.9.3-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@agoric/swingset-liveslots": "0.10.3-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@agoric/swingset-vat": "0.33.0-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@agoric/time": "0.3.3-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@agoric/vat-data": "0.5.3-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@agoric/zone": "0.3.0-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@endo/bundle-source": "^3.2.3",
-    "@endo/captp": "^4.2.0",
-    "@endo/common": "^1.2.2",
-    "@endo/eventual-send": "^1.2.2",
-    "@endo/exo": "^1.5.0",
-    "@endo/far": "^1.1.2",
-    "@endo/import-bundle": "^1.1.2",
-    "@endo/marshal": "^1.5.0",
-    "@endo/nat": "^5.0.7",
-    "@endo/patterns": "^1.4.0",
-    "@endo/promise-kit": "^1.1.2",
+    "@agoric/base-zone": "0.1.1-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@agoric/ertp": "0.16.3-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@agoric/internal": "0.3.3-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@agoric/notifier": "0.6.3-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@agoric/store": "0.9.3-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@agoric/swingset-liveslots": "0.10.3-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@agoric/swingset-vat": "0.32.3-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@agoric/time": "0.3.3-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@agoric/vat-data": "0.5.3-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@agoric/vow": "0.1.1-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@agoric/zone": "0.2.3-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@endo/bundle-source": "^3.4.0",
+    "@endo/captp": "^4.3.0",
+    "@endo/common": "^1.2.5",
+    "@endo/errors": "^1.2.5",
+    "@endo/eventual-send": "^1.2.5",
+    "@endo/exo": "^1.5.3",
+    "@endo/far": "^1.1.5",
+    "@endo/import-bundle": "^1.2.2",
+    "@endo/marshal": "^1.5.3",
+    "@endo/nat": "^5.0.10",
+    "@endo/pass-style": "^1.4.3",
+    "@endo/patterns": "^1.4.3",
+    "@endo/promise-kit": "^1.1.5",
     "yargs-parser": "^21.1.1"
   },
   "devDependencies": {
-    "@agoric/kmarshal": "0.1.1-upgrade-16-dev-0df76a7.0+0df76a7",
-    "@endo/init": "^1.1.2",
+    "@agoric/kmarshal": "0.1.1-upgrade-17-dev-e67cd91.0+e67cd91",
+    "@endo/init": "^1.1.4",
     "ava": "^5.3.0",
     "c8": "^9.1.0",
     "import-meta-resolve": "^2.2.1",
-    "tsd": "^0.30.7"
+    "tsd": "^0.31.1"
   },
   "files": [
     "bundles/",
@@ -139,7 +141,7 @@
     "access": "public"
   },
   "typeCoverage": {
-    "atLeast": 84.92
+    "atLeast": 85.02
   },
-  "gitHead": "0df76a71058eda04cdc75a54fb4312d286f323a3"
+  "gitHead": "e67cd918f33dafb1708bd4341f2a737b79fa574f"
 }

package/src/cleanProposal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cleanProposal.d.ts","sourceRoot":"","sources":["cleanProposal.js"],"names":[],"mappings":"AAWA,qCAAsC;AAa/B,sDAYN;AAMM,oDAHI;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAA;CAAC,GACnB,MAAM,EAAE,CAYpB;AAEM,mJAsBN;AAQM,sEAJI,OAAO,uBACP,GAAC,GACC,mBAAmB,CAa/B;AA4CM,wCAJI,QAAQ,uBACR,mBAAmB,GACjB,cAAc,CA6B1B"}
+{"version":3,"file":"cleanProposal.d.ts","sourceRoot":"","sources":["cleanProposal.js"],"names":[],"mappings":"AAWA,qCAAsC;AAa/B,sDAYN;AAMM,oDAHI;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAA;CAAC,GACnB,MAAM,EAAE,CAcpB;AAEM,mJAsBN;AAQM,sEAJI,OAAO,uBACP,GAAC,GACC,mBAAmB,CAa/B;AA4CM,wCAJI,QAAQ,uBACR,mBAAmB,GACjB,cAAc,CA6B1B"}

package/src/cleanProposal.js

@@ -1,4 +1,4 @@
-import { assert, q, Fail } from '@agoric/assert';
+import { assert, q, Fail } from '@endo/errors';
 import { AmountMath, getAssetKind } from '@agoric/ertp';
 import { objectMap } from '@agoric/internal';
 import { assertRecord } from '@endo/marshal';
@@ -47,7 +47,9 @@ export const cleanKeywords = uncleanKeywordRecord => {
 
   // Assert all names are ascii identifiers starting with
   // an upper case letter.
-  keywords.forEach(assertKeywordName);
+  for (const keyword of keywords) {
+    assertKeywordName(keyword);
+  }
 
   return /** @type {string[]} */ (keywords);
 };

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

@@ -1 +1 @@
-{"version":3,"file":"allocationMath.d.ts","sourceRoot":"","sources":["allocationMath.js"],"names":[],"mappings":"AAkFO,4CAJI,UAAU,uBACV,mBAAmB,GACjB,mBAAmB,CAI/B;AAOM,mDAJI,UAAU,uBACV,mBAAmB,GACjB,mBAAmB,CAI/B;;;;iCApFU,MAAM,GAAG,SAAS,QAClB,MAAM,GAAG,SAAS,WAClB,OAAO,KACL,MAAM"}
+{"version":3,"file":"allocationMath.d.ts","sourceRoot":"","sources":["allocationMath.js"],"names":[],"mappings":"AAiFO,4CAJI,UAAU,uBACV,mBAAmB,GACjB,mBAAmB,CAI/B;AAOM,mDAJI,UAAU,uBACV,mBAAmB,GACjB,mBAAmB,CAI/B;;;;iCApFU,MAAM,GAAG,SAAS,QAClB,MAAM,GAAG,SAAS,WAClB,OAAO,KACL,MAAM"}

package/src/contractFacet/allocationMath.js

@@ -1,7 +1,6 @@
+import { Fail, q } from '@endo/errors';
 import { AmountMath } from '@agoric/ertp';
 
-const { Fail, quote: q } = assert;
-
 /**
  * @callback Operation
  *

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

@@ -1 +1 @@
-{"version":3,"file":"exit.d.ts","sourceRoot":"","sources":["exit.js"],"names":[],"mappings":"AAyBO,sGAwGN"}
+{"version":3,"file":"exit.d.ts","sourceRoot":"","sources":["exit.js"],"names":[],"mappings":"AAwBO,sGAwGN"}

package/src/contractFacet/exit.js

@@ -1,3 +1,4 @@
+import { Fail, q } from '@endo/errors';
 import { E } from '@endo/eventual-send';
 import { prepareExoClass, provideDurableSetStore } from '@agoric/vat-data';
 import { M, initEmpty } from '@agoric/store';
@@ -9,8 +10,6 @@ import {
   isWaivedExitRule,
 } from '../typeGuards.js';
 
-const { Fail, quote: q } = assert;
-
 const ExitObjectI = M.interface('ExitObject', { exit: M.call().returns() });
 const WakerI = M.interface('Waker', {
   wake: M.call(TimestampShape).returns(),

package/src/contractFacet/offerHandlerStorage.d.ts

@@ -2,6 +2,10 @@ export function makeOfferHandlerStorage(zcfBaggage: any): {
     storeOfferHandler: (offerHandler: any) => Handle<"Invitation">;
     takeOfferHandler: (invitationHandle: InvitationHandle, details?: Details) => OfferHandler;
 };
+/**
+ * The following should work. But for some reason,
+ */
+export type Details = string | {};
 export type PassableOfferHandler = RemotableBrand<any, any> & RemotableObject & OfferHandler;
 import type { RemotableBrand } from '@endo/eventual-send';
 import type { RemotableObject } from '@endo/pass-style';

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

@@ -1 +1 @@
-{"version":3,"file":"offerHandlerStorage.d.ts","sourceRoot":"","sources":["offerHandlerStorage.js"],"names":[],"mappings":"AAiBO;;yCAgCwB,gBAAgB,YAAY,OAAO,KAAK,YAAY;EAsBlF;mCAzDY,2BAAiB,eAAe,GAAG,YAAY;oCAL3B,qBAAqB;qCACpB,kBAAkB"}
+{"version":3,"file":"offerHandlerStorage.d.ts","sourceRoot":"","sources":["offerHandlerStorage.js"],"names":[],"mappings":"AA6BO;;yCAgCwB,gBAAgB,YAAY,OAAO,KAAK,YAAY;EAsBlF;;;;sBAlEY,MAAM,GAAG,EAAE;mCASX,2BAAiB,eAAe,GAAG,YAAY;oCAL3B,qBAAqB;qCACpB,kBAAkB"}

package/src/contractFacet/offerHandlerStorage.js

@@ -6,6 +6,18 @@ import { canBeDurable, provideDurableWeakMapStore } from '@agoric/vat-data';
 
 import { defineDurableHandle } from '../makeHandle.js';
 
+/**
+ * The following should work. But for some reason, @endo/errors does
+ * not export the type `Details`.
+ * See https://github.com/endojs/endo/issues/2339
+ *
+ * at-import {Details} from '@endo/errors'
+ *
+ * In the meantime...
+ *
+ * @typedef {string | {}} Details
+ */
+
 /**
  * @import {RemotableBrand} from '@endo/eventual-send';
  * @import {RemotableObject} from '@endo/pass-style';

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

@@ -1 +1 @@
-{"version":3,"file":"reallocate.d.ts","sourceRoot":"","sources":["reallocate.js"],"names":[],"mappings":"AAiBO,6CAHI,KAAK,CAAC,YAAY,CAAC,GACjB,CAAC,OAAO,EAAE,mBAAmB,CAAC,EAAE,CA8E5C;8BAtFa,KAAK,CAAC,mBAAmB,CAAC"}
+{"version":3,"file":"reallocate.d.ts","sourceRoot":"","sources":["reallocate.js"],"names":[],"mappings":"AAgBO,6CAHI,KAAK,CAAC,YAAY,CAAC,GACjB,CAAC,OAAO,EAAE,mBAAmB,CAAC,EAAE,CA8E5C;8BAtFa,KAAK,CAAC,mBAAmB,CAAC"}

package/src/contractFacet/reallocate.js

@@ -1,10 +1,9 @@
+import { Fail } from '@endo/errors';
 import { makeScalarMapStore } from '@agoric/vat-data';
 
 import { assertRightsConserved } from './rightsConservation.js';
 import { addToAllocation, subtractFromAllocation } from './allocationMath.js';
 
-const { Fail } = assert;
-
 /** @typedef {Array<AmountKeywordRecord>} TransactionList */
 
 /**

package/src/contractFacet/rightsConservation.js

@@ -1,5 +1,5 @@
+import { assert, Fail } from '@endo/errors';
 import { makeScalarMapStore } from '@agoric/store';
-import { assert, Fail } from '@agoric/assert';
 import { AmountMath } from '@agoric/ertp';
 
 import '../internal-types.js';
@@ -18,7 +18,7 @@ import '../internal-types.js';
 const sumByBrand = amounts => {
   /** @type {MapStore<Brand, Amount>} */
   const sumsByBrand = makeScalarMapStore('brand');
-  amounts.forEach(amount => {
+  for (const amount of amounts) {
     const { brand } = amount;
     if (!sumsByBrand.has(brand)) {
       sumsByBrand.init(brand, amount);
@@ -26,7 +26,7 @@ const sumByBrand = amounts => {
       const sumSoFar = sumsByBrand.get(brand);
       sumsByBrand.set(brand, AmountMath.add(sumSoFar, amount));
     }
-  });
+  }
   return sumsByBrand;
 };
 
@@ -76,11 +76,11 @@ const assertEqualPerBrand = (leftSumsByBrand, rightSumsByBrand) => {
     ...rightSumsByBrand.keys(),
   ]);
 
-  allBrands.forEach(brand => {
+  for (const brand of allBrands) {
     const { leftSum, rightSum } = getSums(brand);
     AmountMath.isEqual(leftSum, rightSum) ||
       Fail`rights were not conserved for brand ${brand} ${leftSum.value} != ${rightSum.value}`;
-  });
+  }
 };
 
 /**

package/src/contractFacet/typeGuards.d.ts

@@ -0,0 +1,8 @@
+export const ZcfSeatShape: import("@endo/patterns").Matcher;
+export const ZcfMintI: import("@endo/patterns").InterfaceGuard<{
+    getIssuerRecord: import("@endo/patterns").MethodGuard;
+    mintGains: import("@endo/patterns").MethodGuard;
+    burnLosses: import("@endo/patterns").MethodGuard;
+}>;
+export const ZcfI: import("@endo/patterns").InterfaceGuard<any>;
+//# sourceMappingURL=typeGuards.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAGA,4DAAmD;AAEnD;;;;GAMG;AAEH,gEAWE"}

package/src/contractFacet/typeGuards.js

@@ -0,0 +1,25 @@
+import { M } from '@endo/patterns';
+import { AmountKeywordRecordShape, IssuerRecordShape } from '../typeGuards.js';
+
+export const ZcfSeatShape = M.remotable('zcfSeat');
+
+export const ZcfMintI = M.interface('ZcfMint', {
+  getIssuerRecord: M.call().returns(IssuerRecordShape),
+  mintGains: M.call(AmountKeywordRecordShape)
+    .optional(ZcfSeatShape)
+    .returns(ZcfSeatShape),
+  burnLosses: M.call(AmountKeywordRecordShape, ZcfSeatShape).returns(),
+});
+
+export const ZcfI = M.interface(
+  'ZCF',
+  {
+    makeInvitation: M.call(M.raw(), M.string())
+      .optional(M.record(), M.pattern())
+      .returns(M.promise()),
+    setTestJig: M.call().optional(M.raw()).returns(),
+  },
+  {
+    defaultGuards: 'passable',
+  },
+);

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

@@ -85,7 +85,10 @@ type ZCF<CT extends unknown = Record<string, unknown>> = {
   getOfferFilter: () => Promise<Array<string>>;
   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.
@@ -209,7 +212,7 @@ type ZCFSeat = import('@endo/pass-style').RemotableObject & {
 };
 type ZcfSeatKit = {
   zcfSeat: ZCFSeat;
-  userSeat: ERef<UserSeat>;
+  userSeat: Promise<UserSeat>;
 };
 type HandleOffer<OR extends unknown, OA> = (seat: ZCFSeat, offerArgs: OA) => OR;
 type OfferHandler<OR extends unknown = unknown, OA = never> =

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

@@ -1 +1 @@
-{"version":3,"file":"vatRoot.d.ts","sourceRoot":"","sources":["vatRoot.js"],"names":[],"mappings":"AAkBA;;;;GAIG;AACH,wCAJW,SAAS,GAAG;IAAE,aAAa,EAAE,aAAa,CAAA;CAAE,iBAC5C;IAAC,iBAAiB,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAA;CAAC,WAC1G,OAAO,kBAAkB,EAAE,OAAO,iIA+D5C"}
+{"version":3,"file":"vatRoot.d.ts","sourceRoot":"","sources":["vatRoot.js"],"names":[],"mappings":"AAiBA;;;;GAIG;AACH,wCAJW,SAAS,GAAG;IAAE,aAAa,EAAE,aAAa,CAAA;CAAE,iBAC5C;IAAC,iBAAiB,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAA;CAAC,WAC1G,OAAO,kBAAkB,EAAE,OAAO,iIA+D5C"}

package/src/contractFacet/vatRoot.js

@@ -7,6 +7,7 @@
 // time this file is edited, the bundle must be manually rebuilt with
 // `yarn build-zcfBundle`.
 
+import { Fail } from '@endo/errors';
 import { Far } from '@endo/marshal';
 import { E } from '@endo/far';
 
@@ -14,8 +15,6 @@ import '../internal-types.js';
 
 import { makeZCFZygote } from './zcfZygote.js';
 
-const { Fail } = assert;
-
 /**
  * @param {VatPowers & { testJigSetter: TestJigSetter }} powers
  * @param {{contractBundleCap: BundleCap, zoeService: ZoeService, invitationIssuer: Issuer<'set'>, privateArgs?: any}} vatParameters

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

@@ -1 +1 @@
-{"version":3,"file":"zcfMint.d.ts","sourceRoot":"","sources":["zcfMint.js"],"names":[],"mappings":"AAqBO,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,IAiHF,CAAC,SAAZ,SAAU,WACb,MAAM,YACN,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KACd,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,IAiHF,CAAC,SAAZ,SAAU,WACb,MAAM,YACN,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KACd,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAWjC"}

package/src/contractFacet/zcfMint.js

@@ -1,19 +1,17 @@
-/* eslint @typescript-eslint/no-floating-promises: "warn" */
+import { Fail } from '@endo/errors';
+import { E } from '@endo/eventual-send';
 import { AmountMath } from '@agoric/ertp';
 import { prepareExoClass } from '@agoric/vat-data';
-import { E } from '@endo/eventual-send';
 
 import { coerceAmountKeywordRecord } from '../cleanProposal.js';
 import { assertFullIssuerRecord, makeIssuerRecord } from '../issuerRecord.js';
 import { addToAllocation, subtractFromAllocation } from './allocationMath.js';
 
 import '../internal-types.js';
-import { ZcfMintI } from '../typeGuards.js';
+import { ZcfMintI } from './typeGuards.js';
 import './internal-types.js';
 import './types-ambient.js';
 
-const { Fail } = assert;
-
 /**
  * @param {AmountKeywordRecord} amr
  * @param {IssuerRecord} issuerRecord

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

@@ -1 +1 @@
-{"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,CAsenF"}
+{"version":3,"file":"zcfSeat.d.ts","sourceRoot":"","sources":["zcfSeat.js"],"names":[],"mappings":"AAmCO,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"}

package/src/contractFacet/zcfSeat.js

@@ -1,4 +1,5 @@
-/* eslint @typescript-eslint/no-floating-promises: "warn" */
+import { annotateError, Fail } from '@endo/errors';
+import { E } from '@endo/eventual-send';
 import {
   makeScalarBigWeakMapStore,
   prepareExoClass,
@@ -7,7 +8,6 @@ import {
   provideDurableMapStore,
   provideDurableWeakMapStore,
 } from '@agoric/vat-data';
-import { E } from '@endo/eventual-send';
 import { AmountMath } from '@agoric/ertp';
 import { initEmpty, M } from '@agoric/store';
 
@@ -23,8 +23,6 @@ import {
 import { makeAllocationMap } from './reallocate.js';
 import { TransferPartShape } from '../contractSupport/atomicTransfer.js';
 
-const { Fail } = assert;
-
 /**
  * The SeatManager holds the active zcfSeats and can reallocate and
  * make new zcfSeats.
@@ -181,7 +179,7 @@ export const createSeatManager = (
         const { self } = this;
         if (typeof reason === 'string') {
           reason = Error(reason);
-          assert.note(
+          annotateError(
             reason,
             'ZCFSeat.fail was called with a string reason, but requires an Error argument.',
           );
@@ -413,8 +411,10 @@ export const createSeatManager = (
           }
         },
         reallocate(/** @type {ZCFSeat[]} */ ...seats) {
-          seats.forEach(assertActive);
-          seats.forEach(assertStagedAllocation);
+          for (const seat of seats) {
+            assertActive(seat);
+            assertStagedAllocation(seat);
+          }
 
           // Ensure that rights are conserved overall.
           const flattenAllocations = allocations =>
@@ -459,8 +459,9 @@ export const createSeatManager = (
             // for each of the seats) and inform Zoe of the
             // newAllocation.
 
-            seats.forEach(commitStagedAllocation);
-
+            for (const seat of seats) {
+              commitStagedAllocation(seat);
+            }
             const seatHandleAllocations = seats.map(seat => {
               const seatHandle = zcfSeatToSeatHandle.get(seat);
               return { seatHandle, allocation: seat.getCurrentAllocation() };

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,CAkd9B"}
+{"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,CA8c9B"}

package/src/contractFacet/zcfZygote.js

@@ -1,4 +1,8 @@
-/* eslint @typescript-eslint/no-floating-promises: "warn" */
+import { Fail } from '@endo/errors';
+import { E } from '@endo/eventual-send';
+import { passStyleOf } from '@endo/pass-style';
+import { makePromiseKit } from '@endo/promise-kit';
+
 import { AssetKind } from '@agoric/ertp';
 import { assertPattern, mustMatch } from '@agoric/store';
 import {
@@ -9,11 +13,8 @@ import {
   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';
@@ -26,14 +27,13 @@ import { createSeatManager } from './zcfSeat.js';
 
 import { HandleOfferI, InvitationHandleShape } from '../typeGuards.js';
 import { prepareZcMint } from './zcfMint.js';
+import { ZcfI } from './typeGuards.js';
 
 /// <reference path="../internal-types.js" />
 /// <reference path="./internal-types.js" />
 
 /** @import {IssuerOptionsRecord} from '@agoric/ertp' */
 
-const { Fail } = assert;
-
 /**
  * Make the ZCF vat in zygote-usable form. First, a generic ZCF is
  * made, then the contract code is evaluated, then a particular
@@ -281,11 +281,7 @@ export const makeZCFZygote = async (
     ['canBeUpgraded', 'canUpgrade'].includes(meta.upgradability);
 
   /** @type {ZCF} */
-  // Using Remotable rather than Far because there are too many complications
-  // imposing checking wrappers: makeInvitation() and setJig() want to
-  // accept raw functions. assert cannot be a valid passable! (It's a function
-  // and has members.)
-  const zcf = Remotable('Alleged: zcf', undefined, {
+  const zcf = prepareExo(zcfBaggage, 'zcf', ZcfI, {
     atomicRearrange: transfers => seatManager.atomicRearrange(transfers),
     reallocate: (...seats) => seatManager.reallocate(...seats),
     assertUniqueKeyword: kwd => getInstanceRecHolder().assertUniqueKeyword(kwd),

package/src/contractSupport/bondingCurves.js

@@ -1,10 +1,10 @@
 // @jessie-check
 
 import { Nat } from '@endo/nat';
+import { Fail } from '@endo/errors';
 import { natSafeMath } from './safeMath.js';
 
 const { subtract, add, multiply, floorDivide } = natSafeMath;
-const { Fail } = assert;
 
 const BASIS_POINTS = 10000n; // TODO change to 10_000n once tooling copes.
 

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

@@ -1 +1 @@
-{"version":3,"file":"priceAuthority.d.ts","sourceRoot":"","sources":["priceAuthority.js"],"names":[],"mappings":"AA8CA;;;;;;;;;;;;;;;GAiBG;AAYI,kDARJ;IAA8C,WAAW,EAAjD,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACD,QAAQ,EAAtC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACyB,KAAK,EAArD,IAAI,CAAC,OAAO,cAAc,EAAE,YAAY,CAAC;IAClB,WAAW,EAAlC,gBAAgB;IACG,aAAa,EAAhC,KAAK,CAAC,KAAK,CAAC;IACO,cAAc,EAAjC,KAAK,CAAC,KAAK,CAAC;CACpB,GAAU,iBAAiB,CAwT7B;qCA7WU,MAAM,eACN,MAAM,KACJ,OAAO;2CAiBT,gBAAgB,KACd,OAAO,CAAC,IAAI,CAAC;sCA7ByI,4BAA4B;sCAA5B,4BAA4B;uCAA5B,4BAA4B"}
+{"version":3,"file":"priceAuthority.d.ts","sourceRoot":"","sources":["priceAuthority.js"],"names":[],"mappings":"AA6CA;;;;;;;;;;;;;;;GAiBG;AAYI,kDARJ;IAA8C,WAAW,EAAjD,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACD,QAAQ,EAAtC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACyB,KAAK,EAArD,IAAI,CAAC,OAAO,cAAc,EAAE,YAAY,CAAC;IAClB,WAAW,EAAlC,gBAAgB;IACG,aAAa,EAAhC,KAAK,CAAC,KAAK,CAAC;IACO,cAAc,EAAjC,KAAK,CAAC,KAAK,CAAC;CACpB,GAAU,iBAAiB,CAwT7B;qCA7WU,MAAM,eACN,MAAM,KACJ,OAAO;2CAiBT,gBAAgB,KACd,OAAO,CAAC,IAAI,CAAC;sCA3ByI,4BAA4B;sCAA5B,4BAA4B;uCAA5B,4BAA4B"}

package/src/contractSupport/priceAuthority.js

@@ -1,7 +1,8 @@
-/* eslint @typescript-eslint/no-floating-promises: "warn" */
+import { q, Fail } from '@endo/errors';
 import { E } from '@endo/eventual-send';
 import { Far } from '@endo/marshal';
 import { makePromiseKit } from '@endo/promise-kit';
+
 import { AmountMath, AmountShape, BrandShape } from '@agoric/ertp';
 import { makeNotifier } from '@agoric/notifier';
 import { makeTracer } from '@agoric/internal';
@@ -12,8 +13,6 @@ import { M } from '@agoric/store';
  * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery, PriceQuoteCreate, PriceAuthorityKit, PriceQuoteTrigger, MutableQuote,} from '@agoric/zoe/tools/types.js';
  */
 
-const { quote: q, Fail } = assert;
-
 const trace = makeTracer('PA', false);
 
 /**

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

@@ -1 +1 @@
-{"version":3,"file":"priceAuthorityInitial.d.ts","sourceRoot":"","sources":["priceAuthorityInitial.js"],"names":[],"mappings":"AA8BO,oDAPI,KAAK,kBACL,cAAc,aACd,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,WACnC,KAAK,CAAC,KAAK,CAAC,YACZ,KAAK,CAAC,KAAK,CAAC,GACV,cAAc,CAyF1B;oCAvG4F,4BAA4B;sCAA5B,4BAA4B"}
+{"version":3,"file":"priceAuthorityInitial.d.ts","sourceRoot":"","sources":["priceAuthorityInitial.js"],"names":[],"mappings":"AA6BO,oDAPI,KAAK,kBACL,cAAc,aACd,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,WACnC,KAAK,CAAC,KAAK,CAAC,YACZ,KAAK,CAAC,KAAK,CAAC,GACV,cAAc,CAyF1B;oCAvG4F,4BAA4B;sCAA5B,4BAA4B"}

package/src/contractSupport/priceAuthorityInitial.js

@@ -1,6 +1,5 @@
 // @ts-check
 // @jessie-check
-/* eslint @typescript-eslint/no-floating-promises: "warn" */
 
 import { E } from '@endo/far';
 import { Far } from '@endo/marshal';

package/src/contractSupport/priceAuthorityTransform.js

@@ -1,6 +1,6 @@
+import { Fail, assert } from '@endo/errors';
 import { E } from '@endo/eventual-send';
 import { Far } from '@endo/marshal';
-import { Fail, assert } from '@agoric/assert';
 import { AmountMath } from '@agoric/ertp';
 import { makeNotifier } from '@agoric/notifier';
 

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

@@ -1 +1 @@
-{"version":3,"file":"priceQuote.d.ts","sourceRoot":"","sources":["priceQuote.js"],"names":[],"mappings":"AAqBO,2CAHI,UAAU,GACR,gBAAgB,CAM5B;AAGM,mCADK,UAAU,8CACiD;AAEhE,oCADK,UAAU,8CACmD;AACzE,sEAAsE;AACtE,2BADW,CAAC,KAAK,EAAE,UAAU,KAAK,OAAO,cAAc,EAAE,SAAS,CACQ;AAGnE,kCADK,KAAK,CAAC,KAAK,CAAC,uDAMvB;gCAjC4F,4BAA4B;sCAA5B,4BAA4B"}
+{"version":3,"file":"priceQuote.d.ts","sourceRoot":"","sources":["priceQuote.js"],"names":[],"mappings":"AAoBO,2CAHI,UAAU,GACR,gBAAgB,CAM5B;AAGM,mCADK,UAAU,8CACiD;AAEhE,oCADK,UAAU,8CACmD;AACzE,sEAAsE;AACtE,2BADW,CAAC,KAAK,EAAE,UAAU,KAAK,OAAO,cAAc,EAAE,SAAS,CACQ;AAGnE,kCADK,KAAK,CAAC,KAAK,CAAC,uDAMvB;gCA/B4F,4BAA4B;sCAA5B,4BAA4B"}

package/src/contractSupport/priceQuote.js

@@ -1,15 +1,14 @@
 // @jessie-check
 
-import { AmountMath } from '@agoric/ertp';
+import { Fail } from '@endo/errors';
 import { Nat } from '@endo/nat';
 import { E } from '@endo/eventual-send';
+import { AmountMath } from '@agoric/ertp';
 
 /**
  * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
  */
 
-const { Fail } = assert;
-
 // PriceAuthorities return quotes as a pair of an amount and a payment, both
 // with the same value. The underlying amount wraps amountIn, amountOut, timer
 // and timestamp. The payment is issued by the quoteIssuer to support veracity

package/src/contractSupport/ratio.d.ts

@@ -7,11 +7,20 @@ export const floorMultiplyBy: ScaleAmount;
 export const ceilMultiplyBy: ScaleAmount;
 /** @type {ScaleAmount} */
 export const multiplyBy: ScaleAmount;
-/** @type {ScaleAmount} */
+/**
+ * Divide the amount by the ratio, truncating the remainder.
+ * @type {ScaleAmount}
+ */
 export const floorDivideBy: ScaleAmount;
-/** @type {ScaleAmount} */
+/**
+ * Divide the amount by the ratio, rounding up the remainder.
+ * @type {ScaleAmount}
+ */
 export const ceilDivideBy: ScaleAmount;
-/** @type {ScaleAmount} */
+/**
+ * Divide the amount by the ratio, rounding to nearest with ties to even (aka Banker's Rounding) as in IEEE 754 default rounding.
+ * @type {ScaleAmount}
+ */
 export const divideBy: ScaleAmount;
 export function invertRatio(ratio: Ratio): Ratio;
 export function addRatios(left: Ratio, right: Ratio): Ratio;

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

@@ -1 +1 @@
-{"version":3,"file":"ratio.d.ts","sourceRoot":"","sources":["ratio.js"],"names":[],"mappings":"AAwCO,gDAcN;AASM,qCANI,MAAM,kBACN,KAAK,sFAGH,KAAK,CAejB;AAOM,sDAJI,MAAM,qBACN,MAAM,GACJ,KAAK,CAYjB;AA2BD,0BAA0B;AAC1B,8BADW,WAAW,CAGpB;AAEF,0BAA0B;AAC1B,6BADW,WAAW,CAGpB;AAEF,0BAA0B;AAC1B,yBADW,WAAW,CAGpB;AA2BF,0BAA0B;AAC1B,4BADW,WAAW,CAGpB;AAEF,0BAA0B;AAC1B,2BADW,WAAW,CAGpB;AAEF,0BAA0B;AAC1B,uBADW,WAAW,CAGpB;AAMK,mCAHI,KAAK,GACH,KAAK,CAWjB;AAOM,gCAJI,KAAK,SACL,KAAK,GACH,KAAK,CAwBjB;AAOM,qCAJI,KAAK,SACL,KAAK,GACH,KAAK,CAmBjB;AAOM,qCAJI,KAAK,SACL,KAAK,GACH,KAAK,CA8BjB;AAQM,gCAHI,KAAK,GACH,KAAK,CAcjB;AAOM,+BAJI,KAAK,SACL,KAAK,GACH,OAAO,CAkBnB;AASM,iCAJI,KAAK,SACL,KAAK,GACH,OAAO,CAOnB;AASM,gCAJI,KAAK,UACL,MAAM,GACJ,KAAK,CAajB;AAaM,oCALI,cAAc,kBACd,KAAK,oDAEH,KAAK,CAmBjB;AAMM,+CAHI,OAAO,GACL,QAAQ,QAAQ,IAAI,cAAc,CAK9C;AAQM,qCAHI,KAAK,GACH,MAAM,CAMlB;6BAhDa,MAAM,GAAG,MAAM,GAAG,MAAM"}
+{"version":3,"file":"ratio.d.ts","sourceRoot":"","sources":["ratio.js"],"names":[],"mappings":"AAwCO,gDAcN;AASM,qCANI,MAAM,kBACN,KAAK,sFAGH,KAAK,CAejB;AAOM,sDAJI,MAAM,qBACN,MAAM,GACJ,KAAK,CAYjB;AA2BD,0BAA0B;AAC1B,8BADW,WAAW,CAGpB;AAEF,0BAA0B;AAC1B,6BADW,WAAW,CAGpB;AAEF,0BAA0B;AAC1B,yBADW,WAAW,CAGpB;AA2BF;;;GAGG;AACH,4BAFU,WAAW,CAInB;AAEF;;;GAGG;AACH,2BAFU,WAAW,CAInB;AAEF;;;GAGG;AACH,uBAFU,WAAW,CAInB;AAMK,mCAHI,KAAK,GACH,KAAK,CAWjB;AAOM,gCAJI,KAAK,SACL,KAAK,GACH,KAAK,CAwBjB;AAOM,qCAJI,KAAK,SACL,KAAK,GACH,KAAK,CAmBjB;AAOM,qCAJI,KAAK,SACL,KAAK,GACH,KAAK,CA8BjB;AAQM,gCAHI,KAAK,GACH,KAAK,CAcjB;AAOM,+BAJI,KAAK,SACL,KAAK,GACH,OAAO,CAkBnB;AASM,iCAJI,KAAK,SACL,KAAK,GACH,OAAO,CAOnB;AAUM,gCAJI,KAAK,UACL,MAAM,GACJ,KAAK,CAiBjB;AAaM,oCALI,cAAc,kBACd,KAAK,oDAEH,KAAK,CAmBjB;AAMM,+CAHI,OAAO,GACL,QAAQ,QAAQ,IAAI,cAAc,CAK9C;AAQM,qCAHI,KAAK,GACH,MAAM,CAMlB;6BAhDa,MAAM,GAAG,MAAM,GAAG,MAAM"}