Merge pull request #7510 from Agoric/markm-zoe-more-jessie-checks

refactor(zoe): jessie-check where easy

packages/zoe/contractFacet.js

@@ -1 +1,3 @@
+// @jessie-check
+
 export * from './src/contractFacet/vatRoot.js';

packages/zoe/exported.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import './src/contractFacet/types.js';
 import './src/zoeService/types.js';
 import './src/contractSupport/types.js';

packages/zoe/scripts/build-bundles.js

@@ -1,4 +1,6 @@
 #! /usr/bin/env node
+// @jessie-check
+
 import '@endo/init';
 import { createBundles } from '@agoric/internal/src/node/createBundles.js';
 import url from 'url';

packages/zoe/src/contractFacet/evalContractCode.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 // NB: cannot import, breaks bundle building
 /* global globalThis */
 

packages/zoe/src/contractFacet/internal-types.js

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

packages/zoe/src/contractFacet/offerHandlerStorage.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { makeScalarWeakMapStore } from '@agoric/store';
 import { ToFarFunction } from '@endo/marshal';
 import { canBeDurable, provideDurableWeakMapStore } from '@agoric/vat-data';

packages/zoe/src/contractFacet/types.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /// <reference types="ses"/>
 
 /** @typedef {import('@agoric/ertp').IssuerOptionsRecord} IssuerOptionsRecord */

packages/zoe/src/contractFacet/vatRoot.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 // This is the Zoe contract facet. Each time we make a new instance of a
 // contract we will start by creating a new vat and running this code in it. In
 // order to install this code in a vat, Zoe needs to import a bundle containing

packages/zoe/src/contractFacet/zcfMint.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { E } from '@endo/eventual-send';
 import { AmountMath } from '@agoric/ertp';
 import {

packages/zoe/src/contractSupport/bondingCurves.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { Nat } from '@endo/nat';
 import { natSafeMath } from './safeMath.js';
 

packages/zoe/src/contractSupport/index.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 export {
   getInputPrice,
   getOutputPrice,

packages/zoe/src/contractSupport/priceAuthorityInitial.js

@@ -1,4 +1,6 @@
 // @ts-check
+// @jessie-check
+
 import { E } from '@endo/far';
 import { Far } from '@endo/marshal';
 

packages/zoe/src/contractSupport/priceQuote.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { AmountMath } from '@agoric/ertp';
 import { Nat } from '@endo/nat';
 import { E } from '@endo/eventual-send';

packages/zoe/src/contractSupport/types.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /// <reference types="ses"/>
 
 /**

packages/zoe/src/handleWarning.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * Don't trigger Node.js's UnhandledPromiseRejectionWarning.
  * This does not suppress any error messages.

packages/zoe/src/internal-types.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * @typedef {object} SeatData
  * @property {ProposalRecord} proposal

packages/zoe/src/issuerRecord.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * Put together information about the issuer in a standard format that
  * is synchronously accessible.

packages/zoe/src/makeHandle.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { assert } from '@agoric/assert';
 import { initEmpty, makeExo } from '@agoric/store';
 import { prepareExoClass } from '@agoric/vat-data';

packages/zoe/src/typeGuards.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import {
   AmountShape,
   AssetKindShape,

packages/zoe/src/types.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /// <reference types="ses"/>
 
 /**

packages/zoe/src/zoeService/createZCFVat.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { E } from '@endo/eventual-send';
 
 const { Fail, quote: q } = assert;

packages/zoe/src/zoeService/internal-types.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * Create a purse for a new issuer
  *

packages/zoe/src/zoeService/invitationQueries.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { assert, details as X } from '@agoric/assert';
 import { E } from '@endo/eventual-send';
 

packages/zoe/src/zoeService/makeInvitation.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { provideDurableMapStore } from '@agoric/vat-data';
 import {
   AssetKind,

packages/zoe/src/zoeService/offer/burnInvitation.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { Fail, assert, details as X } from '@agoric/assert';
 import { E } from '@endo/eventual-send';
 

packages/zoe/src/zoeService/offer/offer.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { passStyleOf } from '@endo/marshal';
 import { mustMatch } from '@agoric/store';
 import { E } from '@endo/eventual-send';

packages/zoe/src/zoeService/types.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /// <reference types="ses"/>
 
 /**

packages/zoe/src/zoeService/zoe.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * Zoe uses ERTP, the Electronic Rights Transfer Protocol
  *

packages/zoe/tools/fakeVatAdmin.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { Fail } from '@agoric/assert';
 import { E } from '@endo/eventual-send';
 import { makePromiseKit } from '@endo/promise-kit';

packages/zoe/tools/internal-types.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * @typedef {object} ManualTimerAdmin
  * @property {(msg?: string) => void | Promise<void>} tick Advance the timer by one tick.

packages/zoe/tools/manualPriceAuthority.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { AmountMath, makeIssuerKit, AssetKind } from '@agoric/ertp';
 import { E } from '@endo/eventual-send';
 import { Far } from '@endo/marshal';

packages/zoe/tools/prepare-test-env-ava.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * Prepare global environment for zoe tests.
  *

packages/zoe/tools/prepare-test-env.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * Prepare global environment for zoe tests.
  *

packages/zoe/tools/types-ambient.js

@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * @typedef {object} PriceQuote
  * @property {Amount<'set'>} quoteAmount