@agoric/ertp 0.15.6-pismo-dev-0d5327f.0 → 0.16.1-dev-bf4b59f.0

package/CHANGELOG.md

@@ -3,6 +3,41 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+## [0.16.0](https://github.com/Agoric/agoric-sdk/compare/@agoric/ertp@0.15.3...@agoric/ertp@0.16.0) (2023-05-19)
+
+
+### ⚠ BREAKING CHANGES
+
+* rename 'fit' to 'mustMatch'
+
+### Features
+
+* **ERTP:** hasIssuer(baggage) ([a2c0283](https://github.com/Agoric/agoric-sdk/commit/a2c02839fb2a657b896b83c3da3dad0cb4692502))
+* NotifierShape ([1b53522](https://github.com/Agoric/agoric-sdk/commit/1b535224231463a521f42c96d30018812e923f7b))
+* RatioShape ([3efc7de](https://github.com/Agoric/agoric-sdk/commit/3efc7de9f13be002fa4080bb1dc0a05520b0bbf5))
+* **store:** M.splitArray and M.splitRecord ([#6597](https://github.com/Agoric/agoric-sdk/issues/6597)) ([e7427e3](https://github.com/Agoric/agoric-sdk/commit/e7427e386bcbfbe99312b41342b1fa2e722c57c7))
+
+
+### Bug Fixes
+
+* **ERTP:** `getCurrentAmountNotifier` returns a `LatestTopic` ([735d005](https://github.com/Agoric/agoric-sdk/commit/735d005ec4f4087a4055d48ff1dd1801c9a3d836))
+* collection type param defaults ([7c529b0](https://github.com/Agoric/agoric-sdk/commit/7c529b0c84a6cc76ac81a455b7b3bb8185ecbbfa))
+* incomparables have no min or max ([#6764](https://github.com/Agoric/agoric-sdk/issues/6764)) ([229708b](https://github.com/Agoric/agoric-sdk/commit/229708bcc66afa53dbab929ce1826787942179f7))
+* remove deprecated issuer payment methods ([#7113](https://github.com/Agoric/agoric-sdk/issues/7113)) ([978894a](https://github.com/Agoric/agoric-sdk/commit/978894a87b526efe9c87b2832030b7beee907b31))
+* **zoe:** payments more recoverable ([#7112](https://github.com/Agoric/agoric-sdk/issues/7112)) ([ce7244d](https://github.com/Agoric/agoric-sdk/commit/ce7244d6cf23f57e6de73b5d119e9681456fded7))
+* missing zcfMint options ([753ea03](https://github.com/Agoric/agoric-sdk/commit/753ea03d713f791bebeea82422d659ffc46bca80))
+* prepare for patterns to schematize storage ([#6819](https://github.com/Agoric/agoric-sdk/issues/6819)) ([f0bd3d6](https://github.com/Agoric/agoric-sdk/commit/f0bd3d62c9e480b102fc077997c65d89c0488fa8))
+* rename from FarClass to ExoClass, etc ([#6323](https://github.com/Agoric/agoric-sdk/issues/6323)) ([da96c7c](https://github.com/Agoric/agoric-sdk/commit/da96c7c3c902a5e266baeedf23df02481f2e9c9d))
+* rename vivify to prepare ([#6825](https://github.com/Agoric/agoric-sdk/issues/6825)) ([9261e42](https://github.com/Agoric/agoric-sdk/commit/9261e42e677a3fc31f52defc8fc7ae800f098838))
+* swingset should define these types, not zoe/ERTP ([35a977b](https://github.com/Agoric/agoric-sdk/commit/35a977b2fa3c03bd5292718e318a26e897ff3d04))
+
+
+### Miscellaneous Chores
+
+* rename 'fit' to 'mustMatch' ([9fa3232](https://github.com/Agoric/agoric-sdk/commit/9fa32324f84bfb85de9e99e0c9ad277b8017b50e)), closes [#6844](https://github.com/Agoric/agoric-sdk/issues/6844)
+
+
+
 ### [0.15.5](https://github.com/Agoric/agoric-sdk/compare/@agoric/ertp@0.15.4...@agoric/ertp@0.15.5) (2023-02-17)
 
 **Note:** Version bump only for package @agoric/ertp

package/README.md

@@ -5,7 +5,7 @@ ERTP is Agoric's digital asset standard.
 ERTP is a uniform way of transferring tokens and other digital
 assets in JavaScript. All kinds of digital assets can be easily
 created, but importantly, they can be transferred in exactly the same
-ways, with exactly the same security properties. 
+ways, with exactly the same security properties.
 
 Learn more about [ERTP fundamentals like mints, issuers, purses and payments](https://agoric.com/documentation/ertp/guide/).
 

package/exported.js

@@ -1 +1 @@
-import './src/types.js';
+import './src/types-ambient.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/ertp",
-  "version": "0.15.6-pismo-dev-0d5327f.0+0d5327f",
+  "version": "0.16.1-dev-bf4b59f.0+bf4b59f",
   "description": "Electronic Rights Transfer Protocol (ERTP). A smart contract framework for exchanging electronic rights",
   "type": "module",
   "main": "src/index.js",
@@ -9,6 +9,8 @@
   },
   "scripts": {
     "build": "exit 0",
+    "prepack": "echo \"export {}; \" | cat - src/types-ambient.js > src/types.js && tsc --build jsconfig.build.json",
+    "postpack": "git clean -f '*.d.ts*' src/types.js",
     "test": "ava",
     "test:c8": "c8 $C8_OPTIONS ava",
     "test:xs": "yarn test:xs-unit && yarn test:xs-worker",
@@ -17,7 +19,7 @@
     "lint-fix": "yarn lint:eslint --fix",
     "lint": "run-s --continue-on-error lint:*",
     "lint:eslint": "eslint .",
-    "lint:types": "tsc --maxNodeModuleJsDepth 3 -p jsconfig.json"
+    "lint:types": "tsc -p jsconfig.json"
   },
   "repository": {
     "type": "git",
@@ -37,21 +39,22 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/assert": "0.5.2-pismo-dev-0d5327f.0+0d5327f",
-    "@agoric/nat": "^4.1.0",
-    "@agoric/notifier": "0.5.2-pismo-dev-0d5327f.0+0d5327f",
-    "@agoric/store": "0.8.6-pismo-dev-0d5327f.0+0d5327f",
-    "@agoric/swingset-vat": "0.31.1-pismo-dev-0d5327f.0+0d5327f",
-    "@agoric/vat-data": "0.4.6-pismo-dev-0d5327f.0+0d5327f",
-    "@endo/eventual-send": "^0.16.5",
-    "@endo/far": "^0.2.11",
-    "@endo/marshal": "^0.7.5",
-    "@endo/promise-kit": "^0.2.49"
+    "@agoric/assert": "0.6.1-dev-bf4b59f.0+bf4b59f",
+    "@agoric/notifier": "0.6.1-dev-bf4b59f.0+bf4b59f",
+    "@agoric/store": "0.9.1-dev-bf4b59f.0+bf4b59f",
+    "@agoric/swingset-vat": "0.32.1-dev-bf4b59f.0+bf4b59f",
+    "@agoric/vat-data": "0.5.1-dev-bf4b59f.0+bf4b59f",
+    "@endo/eventual-send": "^0.17.2",
+    "@endo/far": "^0.2.18",
+    "@endo/marshal": "^0.8.5",
+    "@endo/nat": "^4.1.27",
+    "@endo/promise-kit": "^0.2.56"
   },
   "devDependencies": {
-    "@endo/bundle-source": "^2.3.1",
-    "@fast-check/ava": "^1.0.1",
-    "ava": "^4.3.1"
+    "@endo/bundle-source": "^2.5.1",
+    "@fast-check/ava": "^1.1.3",
+    "ava": "^5.2.0",
+    "tsd": "^0.28.1"
   },
   "files": [
     "src",
@@ -76,5 +79,5 @@
   "publishConfig": {
     "access": "public"
   },
-  "gitHead": "0d5327f87310cf523834853b0546d0e217f37009"
+  "gitHead": "bf4b59f2128aca73d786429c6ef4a7c9cdfb6700"
 }

package/src/amountMath.d.ts

@@ -0,0 +1,53 @@
+export function assertValueGetHelpers<V extends AmountValue>(value: V): MathHelpers<V>;
+export namespace AmountMath {
+    export function make<K extends AssetKind>(brand: Brand<K>, allegedValue: AssetValueForKind<K>): Amount<K>;
+    export function coerce<K extends AssetKind>(brand: Brand<K>, allegedAmount: Amount<K>): Amount<K>;
+    export function getValue<K extends AssetKind>(brand: Brand<K>, amount: Amount<K>): AssetValueForKind<K>;
+    export const makeEmpty: {
+        (brand: Brand<AssetKind>): Amount<"nat">;
+        <K extends AssetKind>(brand: Brand<AssetKind>, assetKind: K): Amount<K>;
+    };
+    export function makeEmptyFromAmount<K extends AssetKind>(amount: Amount<K>): Amount<K>;
+    export function isEmpty(amount: Amount<AssetKind>, brand?: Brand<AssetKind> | undefined): boolean;
+    export { isGTE };
+    export function isEqual<K extends AssetKind>(leftAmount: Amount<K>, rightAmount: Amount<K>, brand?: Brand<K> | undefined): boolean;
+    export function add<K extends AssetKind>(leftAmount: Amount<K>, rightAmount: Amount<K>, brand?: Brand<K> | undefined): Amount<K>;
+    export function subtract<K extends AssetKind>(leftAmount: Amount<K>, rightAmount: Amount<K>, brand?: Brand<K> | undefined): Amount<K>;
+    export function min<K extends AssetKind>(x: Amount<K>, y: Amount<K>, brand?: Brand<K> | undefined): Amount<K>;
+    export function max<K extends AssetKind>(x: Amount<K>, y: Amount<K>, brand?: Brand<K> | undefined): Amount<K>;
+}
+/**
+ * Constants for the kinds of assets we support.
+ *
+ * @type {{ NAT: 'nat', SET: 'set', COPY_SET: 'copySet', COPY_BAG: 'copyBag' }}
+ */
+export const AssetKind: {
+    NAT: 'nat';
+    SET: 'set';
+    COPY_SET: 'copySet';
+    COPY_BAG: 'copyBag';
+};
+/**
+ * @param {Amount} amount
+ */
+export function getAssetKind(amount: Amount): AssetKindForValue<V>;
+/**
+ * @param {AssetKind} allegedAK
+ */
+export function assertAssetKind(allegedAK: AssetKind): void;
+/**
+ * Returns true if the leftAmount is greater than or equal to the
+ * rightAmount. The notion of "greater than or equal to" depends
+ * on the kind of amount, as defined by the MathHelpers. For example,
+ * whether rectangle A is greater than rectangle B depends on whether rectangle
+ * A includes rectangle B as defined by the logic in MathHelpers.
+ *
+ * @template {AssetKind} K
+ * @param {Amount<K>} leftAmount
+ * @param {Amount<K>} rightAmount
+ * @param {Brand<K>} [brand]
+ * @returns {boolean}
+ */
+declare function isGTE<K extends AssetKind>(leftAmount: Amount<K>, rightAmount: Amount<K>, brand?: Brand<K> | undefined): boolean;
+export {};
+//# sourceMappingURL=amountMath.d.ts.map

package/src/amountMath.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"amountMath.d.ts","sourceRoot":"","sources":["amountMath.js"],"names":[],"mappings":"AAuHO,uFAEkC;;IAyFjC,0GAKL;IAUO,kGAQP;IASS,wGAAyD;;;;;IAwB9C,uFAOpB;IAQQ,kGAOR;;IAYQ,mIAGR;IAcI,iIAIJ;IAeS,sIAIT;IAUI,8GAMqC;IAUrC,8GAMqC;;AA1W5C;;;;GAIG;AACH,wBAFU;IAAE,GAAG,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,SAAS,CAAC;IAAC,QAAQ,EAAE,SAAS,CAAA;CAAE,CAO3E;AAoWH;;GAEG;AACH,qCAFW,MAAM,wBAOhB;AAzWD;;GAEG;AACH,2CAFW,SAAS,QAKnB;AAgJD;;;;;;;;;;;;GAYG;AACH,0HAFa,OAAO,CAKnB"}

package/src/amountMath.js

@@ -1,15 +1,12 @@
-// @ts-check
-
 import { passStyleOf, assertRemotable, assertRecord } from '@endo/marshal';
 
-import './types.js';
 import { M, matches } from '@agoric/store';
 import { natMathHelpers } from './mathHelpers/natMathHelpers.js';
 import { setMathHelpers } from './mathHelpers/setMathHelpers.js';
 import { copySetMathHelpers } from './mathHelpers/copySetMathHelpers.js';
 import { copyBagMathHelpers } from './mathHelpers/copyBagMathHelpers.js';
 
-const { details: X, quote: q } = assert;
+const { quote: q, Fail } = assert;
 
 /**
  * Constants for the kinds of assets we support.
@@ -24,12 +21,12 @@ const AssetKind = harden({
 });
 const assetKindNames = harden(Object.values(AssetKind).sort());
 
-/** @type {AssertAssetKind} */
+/**
+ * @param {AssetKind} allegedAK
+ */
 const assertAssetKind = allegedAK => {
   assetKindNames.includes(allegedAK) ||
-    assert.fail(
-      X`The assetKind ${allegedAK} must be one of ${q(assetKindNames)}`,
-    );
+    Fail`The assetKind ${allegedAK} must be one of ${q(assetKindNames)}`;
 };
 harden(assertAssetKind);
 
@@ -72,12 +69,6 @@ harden(assertAssetKind);
  * each other.
  */
 
-/** @type {{
- *   nat: NatMathHelpers,
- *   set: SetMathHelpers,
- *   copySet: CopySetMathHelpers,
- *   copyBag: CopyBagMathHelpers
- * }} */
 const helpers = {
   nat: natMathHelpers,
   set: setMathHelpers,
@@ -107,18 +98,17 @@ const assertValueGetAssetKind = value => {
     // @ts-expect-error cast
     return 'copyBag';
   }
-  assert.fail(
-    // TODO This isn't quite the right error message, in case valuePassStyle
-    // is 'tagged'. We would need to distinguish what kind of tagged
-    // object it is.
-    // Also, this kind of manual listing is a maintenance hazard we
-    // (TODO) will encounter when we extend the math helpers further.
-    X`value ${value} must be a bigint, copySet, copyBag, or an array, not ${passStyle}`,
-  );
+  // TODO This isn't quite the right error message, in case valuePassStyle
+  // is 'tagged'. We would need to distinguish what kind of tagged
+  // object it is.
+  // Also, this kind of manual listing is a maintenance hazard we
+  // (TODO) will encounter when we extend the math helpers further.
+  throw Fail`value ${value} must be a bigint, copySet, copyBag, or an array, not ${q(
+    passStyle,
+  )}`;
 };
 
 /**
- *
  * Asserts that value is a valid AmountMath and returns the appropriate helpers.
  *
  * Made available only for testing, but it is harmless for other uses.
@@ -135,16 +125,15 @@ export const assertValueGetHelpers = value =>
 const optionalBrandCheck = (allegedBrand, brand) => {
   if (brand !== undefined) {
     assertRemotable(brand, 'brand');
-    assert.equal(
-      allegedBrand,
-      brand,
-      X`amount's brand ${allegedBrand} did not match expected brand ${brand}`,
-    );
+    allegedBrand === brand ||
+      Fail`amount's brand ${q(allegedBrand)} did not match expected brand ${q(
+        brand,
+      )}`;
   }
 };
 
 /**
- * @template {AssetKind} [K=AssetKind]
+ * @template {AssetKind} K
  * @param {Amount<K>} leftAmount
  * @param {Amount<K>} rightAmount
  * @param {Brand<K> | undefined} brand
@@ -159,18 +148,14 @@ const checkLRAndGetHelpers = (leftAmount, rightAmount, brand = undefined) => {
   assertRemotable(rightBrand, 'rightBrand');
   optionalBrandCheck(leftBrand, brand);
   optionalBrandCheck(rightBrand, brand);
-  assert.equal(
-    leftBrand,
-    rightBrand,
-    X`Brands in left ${leftBrand} and right ${rightBrand} should match but do not`,
-  );
+  leftBrand === rightBrand ||
+    Fail`Brands in left ${q(leftBrand)} and right ${q(
+      rightBrand,
+    )} should match but do not`;
   const leftHelpers = assertValueGetHelpers(leftValue);
   const rightHelpers = assertValueGetHelpers(rightValue);
-  assert.equal(
-    leftHelpers,
-    rightHelpers,
-    X`The left ${leftAmount} and right amount ${rightAmount} had different assetKinds`,
-  );
+  leftHelpers === rightHelpers ||
+    Fail`The left ${leftAmount} and right amount ${rightAmount} had different assetKinds`;
   return leftHelpers;
 };
 
@@ -186,6 +171,24 @@ const coerceLR = (h, leftAmount, rightAmount) => {
   return [h.doCoerce(leftAmount.value), h.doCoerce(rightAmount.value)];
 };
 
+/**
+ * Returns true if the leftAmount is greater than or equal to the
+ * rightAmount. The notion of "greater than or equal to" depends
+ * on the kind of amount, as defined by the MathHelpers. For example,
+ * whether rectangle A is greater than rectangle B depends on whether rectangle
+ * A includes rectangle B as defined by the logic in MathHelpers.
+ *
+ * @template {AssetKind} K
+ * @param {Amount<K>} leftAmount
+ * @param {Amount<K>} rightAmount
+ * @param {Brand<K>} [brand]
+ * @returns {boolean}
+ */
+const isGTE = (leftAmount, rightAmount, brand = undefined) => {
+  const h = checkLRAndGetHelpers(leftAmount, rightAmount, brand);
+  return h.doIsGTE(...coerceLR(h, leftAmount, rightAmount));
+};
+
 /**
  * Logic for manipulating amounts.
  *
@@ -199,7 +202,7 @@ const AmountMath = {
   /**
    * Make an amount from a value by adding the brand.
    *
-   * @template {AssetKind} [K=AssetKind]
+   * @template {AssetKind} K
    * @param {Brand<K>} brand
    * @param {AssetValueForKind<K>} allegedValue
    * @returns {Amount<K>}
@@ -215,8 +218,8 @@ const AmountMath = {
    * Make sure this amount is valid enough, and return a corresponding
    * valid amount if so.
    *
-   * @template {AssetKind} [K=AssetKind]
-   * @param {Brand} brand
+   * @template {AssetKind} K
+   * @param {Brand<K>} brand
    * @param {Amount<K>} allegedAmount
    * @returns {Amount<K>}
    */
@@ -225,16 +228,14 @@ const AmountMath = {
     assertRecord(allegedAmount, 'amount');
     const { brand: allegedBrand, value: allegedValue } = allegedAmount;
     brand === allegedBrand ||
-      assert.fail(
-        X`The brand in the allegedAmount ${allegedAmount} in 'coerce' didn't match the specified brand ${brand}.`,
-      );
+      Fail`The brand in the allegedAmount ${allegedAmount} in 'coerce' didn't match the specified brand ${brand}.`;
     // Will throw on inappropriate value
     return AmountMath.make(brand, allegedValue);
   },
   /**
    * Extract and return the value.
    *
-   * @template {AssetKind} [K=AssetKind]
+   * @template {AssetKind} K
    * @param {Brand<K>} brand
    * @param {Amount<K>} amount
    * @returns {AssetValueForKind<K>}
@@ -244,18 +245,15 @@ const AmountMath = {
    * Return the amount representing an empty amount. This is the
    * identity element for MathHelpers.add and MatHelpers.subtract.
    *
-   * @template {AssetKind} [K='nat']
-   * @param {Brand<K>} brand
-   * @param {K} [assetKind]
-   * @returns {Amount<K>}
+   * @type {{
+   *   (brand: Brand): Amount<'nat'>;
+   *   <K extends AssetKind>(brand: Brand, assetKind: K): Amount<K>;
+   * }}
    */
-  // @ts-expect-error TS/jsdoc thinks 'nat' can't be assigned to K subclassing AssetKind
-  // If we were using TypeScript we'd simply overload the function definition for each case.
-  makeEmpty: (brand, assetKind = 'nat') => {
+  makeEmpty: (brand, assetKind = /** @type {const} */ ('nat')) => {
     assertRemotable(brand, 'brand');
     assertAssetKind(assetKind);
     const value = helpers[assetKind].doMakeEmpty();
-    // @ts-expect-error TS/jsdoc thinks 'nat' can't be assigned to K subclassing AssetKind
     return harden({ brand, value });
   },
   /**
@@ -278,7 +276,7 @@ const AmountMath = {
    * Return true if the Amount is empty. Otherwise false.
    *
    * @param {Amount} amount
-   * @param {Brand=} brand
+   * @param {Brand} [brand]
    * @returns {boolean}
    */
   isEmpty: (amount, brand = undefined) => {
@@ -289,31 +287,15 @@ const AmountMath = {
     const h = assertValueGetHelpers(value);
     return h.doIsEmpty(h.doCoerce(value));
   },
-  /**
-   * Returns true if the leftAmount is greater than or equal to the
-   * rightAmount. For non-scalars, "greater than or equal to" depends
-   * on the kind of amount, as defined by the MathHelpers. For example,
-   * whether rectangle A is greater than rectangle B depends on whether rectangle
-   * A includes rectangle B as defined by the logic in MathHelpers.
-   *
-   * @template {AssetKind} [K=AssetKind]
-   * @param {Amount<K>} leftAmount
-   * @param {Amount<K>} rightAmount
-   * @param {Brand<K>=} brand
-   * @returns {boolean}
-   */
-  isGTE: (leftAmount, rightAmount, brand = undefined) => {
-    const h = checkLRAndGetHelpers(leftAmount, rightAmount, brand);
-    return h.doIsGTE(...coerceLR(h, leftAmount, rightAmount));
-  },
+  isGTE,
   /**
    * Returns true if the leftAmount equals the rightAmount. We assume
    * that if isGTE is true in both directions, isEqual is also true
    *
-   * @template {AssetKind} [K=AssetKind]
+   * @template {AssetKind} K
    * @param {Amount<K>} leftAmount
    * @param {Amount<K>} rightAmount
-   * @param {Brand<K>=} brand
+   * @param {Brand<K>} [brand]
    * @returns {boolean}
    */
   isEqual: (leftAmount, rightAmount, brand = undefined) => {
@@ -327,10 +309,10 @@ const AmountMath = {
    * amount, it usually means including all of the elements from both
    * left and right.
    *
-   * @template {AssetKind} [K=AssetKind]
+   * @template {AssetKind} K
    * @param {Amount<K>} leftAmount
    * @param {Amount<K>} rightAmount
-   * @param {Brand<K>=} brand
+   * @param {Brand<K>} [brand]
    * @returns {Amount<K>}
    */
   add: (leftAmount, rightAmount, brand = undefined) => {
@@ -346,10 +328,10 @@ const AmountMath = {
    * left amount must include the right amount, this is NOT equivalent
    * to set subtraction.
    *
-   * @template {AssetKind} [K=AssetKind]
+   * @template {AssetKind} K
    * @param {Amount<K>} leftAmount
    * @param {Amount<K>} rightAmount
-   * @param {Brand<K>=} brand
+   * @param {Brand<K>} [brand]
    * @returns {Amount<K>}
    */
   subtract: (leftAmount, rightAmount, brand = undefined) => {
@@ -360,28 +342,39 @@ const AmountMath = {
   /**
    * Returns the min value between x and y using isGTE
    *
-   * @template {AssetKind} [K=AssetKind]
+   * @template {AssetKind} K
    * @param {Amount<K>} x
    * @param {Amount<K>} y
-   * @param {Brand<K>=} brand
+   * @param {Brand<K>} [brand]
    * @returns {Amount<K>}
    */
-  min: (x, y, brand = undefined) => (AmountMath.isGTE(x, y, brand) ? y : x),
+  min: (x, y, brand = undefined) =>
+    // eslint-disable-next-line no-nested-ternary
+    isGTE(x, y, brand)
+      ? y
+      : isGTE(y, x, brand)
+      ? x
+      : Fail`${x} and ${y} are incomparable`,
   /**
    * Returns the max value between x and y using isGTE
    *
-   * @template {AssetKind} [K=AssetKind]
+   * @template {AssetKind} K
    * @param {Amount<K>} x
    * @param {Amount<K>} y
-   * @param {Brand<K>=} brand
+   * @param {Brand<K>} [brand]
    * @returns {Amount<K>}
    */
-  max: (x, y, brand = undefined) => (AmountMath.isGTE(x, y, brand) ? x : y),
+  max: (x, y, brand = undefined) =>
+    // eslint-disable-next-line no-nested-ternary
+    isGTE(x, y, brand)
+      ? x
+      : isGTE(y, x)
+      ? y
+      : Fail`${x} and ${y} are incomparable`,
 };
 harden(AmountMath);
 
 /**
- *
  * @param {Amount} amount
  */
 const getAssetKind = amount => {

package/src/displayInfo.d.ts

@@ -0,0 +1,2 @@
+export function coerceDisplayInfo(allegedDisplayInfo: AdditionalDisplayInfo, assetKind: AssetKind): DisplayInfo;
+//# sourceMappingURL=displayInfo.d.ts.map

package/src/displayInfo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"displayInfo.d.ts","sourceRoot":"","sources":["displayInfo.js"],"names":[],"mappings":"AAYO,sDAJI,qBAAqB,aACrB,SAAS,GACP,WAAW,CAiBvB"}

package/src/displayInfo.js

@@ -1,7 +1,7 @@
-// @ts-check
+// @jessie-check
 
-import { assert, details as X } from '@agoric/assert';
-import { fit } from '@agoric/store';
+import { Fail } from '@agoric/assert';
+import { mustMatch } from '@agoric/store';
 
 import { DisplayInfoShape } from './typeGuards.js';
 
@@ -11,21 +11,17 @@ import { DisplayInfoShape } from './typeGuards.js';
  * @returns {DisplayInfo}
  */
 export const coerceDisplayInfo = (allegedDisplayInfo, assetKind) => {
-  fit(allegedDisplayInfo, DisplayInfoShape, 'displayInfo');
+  mustMatch(allegedDisplayInfo, DisplayInfoShape, 'displayInfo');
 
   if (allegedDisplayInfo.assetKind !== undefined) {
     allegedDisplayInfo.assetKind === assetKind ||
-      assert.fail(
-        X`displayInfo.assetKind was present (${allegedDisplayInfo.assetKind}) and did not match the assetKind argument (${assetKind})`,
-      );
+      Fail`displayInfo.assetKind was present (${allegedDisplayInfo.assetKind}) and did not match the assetKind argument (${assetKind})`;
   }
   const displayInfo = harden({ ...allegedDisplayInfo, assetKind });
 
   if (displayInfo.decimalPlaces !== undefined) {
     Number.isSafeInteger(displayInfo.decimalPlaces) ||
-      assert.fail(
-        X`decimalPlaces ${displayInfo.decimalPlaces} is not a safe integer`,
-      );
+      Fail`decimalPlaces ${displayInfo.decimalPlaces} is not a safe integer`;
   }
 
   return displayInfo;

package/src/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./amountMath.js";
+export * from "./issuerKit.js";
+export * from "./typeGuards.js";
+//# sourceMappingURL=index.d.ts.map

package/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["index.js"],"names":[],"mappings":""}

package/src/index.js

@@ -1,4 +1,4 @@
-// @ts-check
+// @jessie-check
 
 export * from './amountMath.js';
 export * from './issuerKit.js';

package/src/issuerKit.d.ts

@@ -0,0 +1,19 @@
+export function prepareIssuerKit<K extends AssetKind>(issuerBaggage: MapStore<string, unknown>, optShutdownWithFailure?: import("@agoric/swingset-vat").ShutdownWithFailure | undefined): IssuerKit<K>;
+export function hasIssuer(baggage: MapStore<string, unknown>): any;
+export function makeDurableIssuerKit<K extends AssetKind>(issuerBaggage: MapStore<string, unknown>, name: string, assetKind?: K | undefined, displayInfo?: AdditionalDisplayInfo | undefined, optShutdownWithFailure?: import("@agoric/swingset-vat").ShutdownWithFailure | undefined, { elementShape }?: Partial<{
+    elementShape: Pattern;
+}> | undefined): IssuerKit<K>;
+export function makeIssuerKit<K extends AssetKind = "nat">(name: string, assetKind?: K | undefined, displayInfo?: AdditionalDisplayInfo | undefined, optShutdownWithFailure?: import("@agoric/swingset-vat").ShutdownWithFailure | undefined, { elementShape }?: Partial<{
+    elementShape: Pattern;
+}> | undefined): IssuerKit<K>;
+export type Baggage = import('@agoric/vat-data').Baggage;
+export type IssuerRecord<K extends AssetKind> = {
+    name: string;
+    assetKind: K;
+    displayInfo: AdditionalDisplayInfo;
+    elementShape: Pattern;
+};
+export type IssuerOptionsRecord = Partial<{
+    elementShape: Pattern;
+}>;
+//# sourceMappingURL=issuerKit.d.ts.map

package/src/issuerKit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"issuerKit.d.ts","sourceRoot":"","sources":["issuerKit.js"],"names":[],"mappings":"AA2FO,uMAMN;AASM,mEAAsD;AAmCtD,0GAbI,MAAM;kBAnBmB,OAAO;8BA4C1C;AA+BM,iEAbI,MAAM;kBA9DmB,OAAO;8BA0FxC;sBA3LW,OAAO,kBAAkB,EAAE,OAAO;;UAKlC,MAAM;eACN,CAAC;iBACD,qBAAqB;kBACrB,OAAO;;kCAyFR,QAAQ;IAAC,YAAY,EAAE,OAAO,CAAA;CAAC,CAAC"}