From f6273b4057fa7b0949a88fc041e629d7d66663b2 Mon Sep 17 00:00:00 2001
From: "Mark S. Miller" <erights@gmail.com>
Date: Sun, 23 Apr 2023 22:31:38 -0700
Subject: [PATCH] refactor(inter-protocol): jessie-check where easy

---
 packages/inter-protocol/src/auction/scheduleMath.js             | 2 ++
 packages/inter-protocol/src/auction/sortedOffers.js             | 2 ++
 packages/inter-protocol/src/auction/util.js                     | 2 ++
 packages/inter-protocol/src/collectFees.js                      | 2 ++
 packages/inter-protocol/src/contractSupport.js                  | 2 ++
 packages/inter-protocol/src/econCommitteeCharter.js             | 2 ++
 packages/inter-protocol/src/index.js                            | 2 ++
 packages/inter-protocol/src/interest-math.js                    | 2 ++
 packages/inter-protocol/src/interest.js                         | 2 ++
 packages/inter-protocol/src/my-lien.js                          | 2 ++
 packages/inter-protocol/src/price/fluxAggregatorContract.js     | 2 ++
 packages/inter-protocol/src/proposals/addAssetToVault.js        | 2 ++
 packages/inter-protocol/src/proposals/core-proposal.js          | 2 ++
 packages/inter-protocol/src/proposals/econ-behaviors.js         | 2 ++
 packages/inter-protocol/src/proposals/startPSM.js               | 2 ++
 packages/inter-protocol/src/psm/psm.js                          | 2 ++
 packages/inter-protocol/src/psm/types.js                        | 2 ++
 packages/inter-protocol/src/reserve/assetReserve.js             | 2 ++
 packages/inter-protocol/src/reserve/params.js                   | 2 ++
 packages/inter-protocol/src/stakeFactory/attestationTool.js     | 2 ++
 packages/inter-protocol/src/stakeFactory/constants.js           | 2 ++
 packages/inter-protocol/src/stakeFactory/stakeFactory.js        | 1 +
 packages/inter-protocol/src/stakeFactory/stakeFactoryKit.js     | 1 +
 packages/inter-protocol/src/stakeFactory/stakeFactoryManager.js | 1 +
 packages/inter-protocol/src/stakeFactory/types.js               | 2 ++
 packages/inter-protocol/src/typeGuards.js                       | 2 ++
 packages/inter-protocol/src/vaultFactory/burn.js                | 2 ++
 packages/inter-protocol/src/vaultFactory/math.js                | 2 ++
 packages/inter-protocol/src/vaultFactory/params.js              | 2 ++
 packages/inter-protocol/src/vaultFactory/storeUtils.js          | 2 ++
 packages/inter-protocol/src/vaultFactory/type-imports.js        | 2 ++
 packages/inter-protocol/src/vaultFactory/types.js               | 2 ++
 packages/inter-protocol/src/vaultFactory/vaultFactory.js        | 2 ++
 packages/inter-protocol/src/vaultFactory/vaultKit.js            | 2 ++
 34 files changed, 65 insertions(+)

diff --git a/packages/inter-protocol/src/auction/scheduleMath.js b/packages/inter-protocol/src/auction/scheduleMath.js
index 9c96731e6551..aa47ceb38bac 100644
--- a/packages/inter-protocol/src/auction/scheduleMath.js
+++ b/packages/inter-protocol/src/auction/scheduleMath.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { TimeMath } from '@agoric/time';
 import { natSafeMath } from '@agoric/zoe/src/contractSupport/index.js';
 import { makeTracer } from '@agoric/internal';
diff --git a/packages/inter-protocol/src/auction/sortedOffers.js b/packages/inter-protocol/src/auction/sortedOffers.js
index 40b4264925eb..829ac698d99d 100644
--- a/packages/inter-protocol/src/auction/sortedOffers.js
+++ b/packages/inter-protocol/src/auction/sortedOffers.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import {
   makeRatio,
   ratioToNumber,
diff --git a/packages/inter-protocol/src/auction/util.js b/packages/inter-protocol/src/auction/util.js
index fdaba3561287..ae07476078e7 100644
--- a/packages/inter-protocol/src/auction/util.js
+++ b/packages/inter-protocol/src/auction/util.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import {
   makeRatioFromAmounts,
   multiplyRatios,
diff --git a/packages/inter-protocol/src/collectFees.js b/packages/inter-protocol/src/collectFees.js
index f94bce2ec567..566cebf81f92 100644
--- a/packages/inter-protocol/src/collectFees.js
+++ b/packages/inter-protocol/src/collectFees.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { atomicTransfer } from '@agoric/zoe/src/contractSupport/index.js';
 
 /**
diff --git a/packages/inter-protocol/src/contractSupport.js b/packages/inter-protocol/src/contractSupport.js
index 763826e9b9f2..c7dc5eb1f867 100644
--- a/packages/inter-protocol/src/contractSupport.js
+++ b/packages/inter-protocol/src/contractSupport.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { AmountMath } from '@agoric/ertp';
 import { makeStoredPublisherKit, makeStoredPublishKit } from '@agoric/notifier';
 import { M } from '@agoric/store';
diff --git a/packages/inter-protocol/src/econCommitteeCharter.js b/packages/inter-protocol/src/econCommitteeCharter.js
index a8e63b6b17c6..baad9d7466ef 100644
--- a/packages/inter-protocol/src/econCommitteeCharter.js
+++ b/packages/inter-protocol/src/econCommitteeCharter.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import '@agoric/governance/exported.js';
 import { makeScalarMapStore, M, makeExo, mustMatch } from '@agoric/store';
 import '@agoric/zoe/exported.js';
diff --git a/packages/inter-protocol/src/index.js b/packages/inter-protocol/src/index.js
index c0d9d7d76dd6..6afa8fdbdfe2 100644
--- a/packages/inter-protocol/src/index.js
+++ b/packages/inter-protocol/src/index.js
@@ -1 +1,3 @@
+// @jessie-check
+
 export { calculateCurrentDebt } from './interest-math.js';
diff --git a/packages/inter-protocol/src/interest-math.js b/packages/inter-protocol/src/interest-math.js
index b977cbe9b642..63e4b8f1703e 100644
--- a/packages/inter-protocol/src/interest-math.js
+++ b/packages/inter-protocol/src/interest-math.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import {
   divideBy,
   multiplyBy,
diff --git a/packages/inter-protocol/src/interest.js b/packages/inter-protocol/src/interest.js
index 7cb01b939443..b1549a99f59e 100644
--- a/packages/inter-protocol/src/interest.js
+++ b/packages/inter-protocol/src/interest.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { AmountMath } from '@agoric/ertp';
 import { natSafeMath } from '@agoric/zoe/src/contractSupport/index.js';
 import {
diff --git a/packages/inter-protocol/src/my-lien.js b/packages/inter-protocol/src/my-lien.js
index 48c30f15c698..c7464d36e961 100644
--- a/packages/inter-protocol/src/my-lien.js
+++ b/packages/inter-protocol/src/my-lien.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { AmountMath } from '@agoric/ertp';
 import { E, Far } from '@endo/far';
 
diff --git a/packages/inter-protocol/src/price/fluxAggregatorContract.js b/packages/inter-protocol/src/price/fluxAggregatorContract.js
index 9bf24d874da7..fac607e96ded 100644
--- a/packages/inter-protocol/src/price/fluxAggregatorContract.js
+++ b/packages/inter-protocol/src/price/fluxAggregatorContract.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import {
   hasIssuer,
   makeDurableIssuerKit,
diff --git a/packages/inter-protocol/src/proposals/addAssetToVault.js b/packages/inter-protocol/src/proposals/addAssetToVault.js
index 0f411c7a424c..13df6c66c49f 100644
--- a/packages/inter-protocol/src/proposals/addAssetToVault.js
+++ b/packages/inter-protocol/src/proposals/addAssetToVault.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { AmountMath, AssetKind } from '@agoric/ertp';
 import { makeRatio } from '@agoric/zoe/src/contractSupport/index.js';
 import { deeplyFulfilledObject } from '@agoric/internal';
diff --git a/packages/inter-protocol/src/proposals/core-proposal.js b/packages/inter-protocol/src/proposals/core-proposal.js
index b5ed3e570f9c..bbefe4be050f 100644
--- a/packages/inter-protocol/src/proposals/core-proposal.js
+++ b/packages/inter-protocol/src/proposals/core-proposal.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { Stable } from '@agoric/vats/src/tokens.js';
 import * as econBehaviors from './econ-behaviors.js';
 import { ECON_COMMITTEE_MANIFEST } from './startEconCommittee.js';
diff --git a/packages/inter-protocol/src/proposals/econ-behaviors.js b/packages/inter-protocol/src/proposals/econ-behaviors.js
index 21c588a6820c..e381422ffc6d 100644
--- a/packages/inter-protocol/src/proposals/econ-behaviors.js
+++ b/packages/inter-protocol/src/proposals/econ-behaviors.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import '../../exported.js';
 
 import { AmountMath } from '@agoric/ertp';
diff --git a/packages/inter-protocol/src/proposals/startPSM.js b/packages/inter-protocol/src/proposals/startPSM.js
index baa5d38df63b..acf255ddd452 100644
--- a/packages/inter-protocol/src/proposals/startPSM.js
+++ b/packages/inter-protocol/src/proposals/startPSM.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { AmountMath, AssetKind } from '@agoric/ertp';
 import { CONTRACT_ELECTORATE, ParamTypes } from '@agoric/governance';
 import { makeStorageNodeChild } from '@agoric/internal/src/lib-chainStorage.js';
diff --git a/packages/inter-protocol/src/psm/psm.js b/packages/inter-protocol/src/psm/psm.js
index 63fcc7319bcc..fccf666460c9 100644
--- a/packages/inter-protocol/src/psm/psm.js
+++ b/packages/inter-protocol/src/psm/psm.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import '@agoric/zoe/exported.js';
 import '@agoric/zoe/src/contracts/exported.js';
 import '@agoric/governance/exported.js';
diff --git a/packages/inter-protocol/src/psm/types.js b/packages/inter-protocol/src/psm/types.js
index ed597f647d12..8790cb8b40d9 100644
--- a/packages/inter-protocol/src/psm/types.js
+++ b/packages/inter-protocol/src/psm/types.js
@@ -1 +1,3 @@
+// @jessie-check
+
 /** @typedef {import('./psm').PsmPublicFacet} PsmPublicFacet */
diff --git a/packages/inter-protocol/src/reserve/assetReserve.js b/packages/inter-protocol/src/reserve/assetReserve.js
index 8e8836b924a2..421319c0133c 100644
--- a/packages/inter-protocol/src/reserve/assetReserve.js
+++ b/packages/inter-protocol/src/reserve/assetReserve.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { E, Far } from '@endo/far';
 import { AmountMath } from '@agoric/ertp';
 import { handleParamGovernance } from '@agoric/governance';
diff --git a/packages/inter-protocol/src/reserve/params.js b/packages/inter-protocol/src/reserve/params.js
index d37dd4e262f7..5da75a96fdc7 100644
--- a/packages/inter-protocol/src/reserve/params.js
+++ b/packages/inter-protocol/src/reserve/params.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { CONTRACT_ELECTORATE, ParamTypes } from '@agoric/governance';
 
 const makeReserveTerms = (poserInvitationAmount, timer) => ({
diff --git a/packages/inter-protocol/src/stakeFactory/attestationTool.js b/packages/inter-protocol/src/stakeFactory/attestationTool.js
index 0b17a853c728..6d03de2c5a16 100644
--- a/packages/inter-protocol/src/stakeFactory/attestationTool.js
+++ b/packages/inter-protocol/src/stakeFactory/attestationTool.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * @typedef {Readonly<{
  *   address: Address,
diff --git a/packages/inter-protocol/src/stakeFactory/constants.js b/packages/inter-protocol/src/stakeFactory/constants.js
index e05495959e7d..f4291158e09f 100644
--- a/packages/inter-protocol/src/stakeFactory/constants.js
+++ b/packages/inter-protocol/src/stakeFactory/constants.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 export const AttKW = /** @type { const } */ ({
   /** seat keyword for use in offers to return an attestation. */
   Attestation: 'Attestation',
diff --git a/packages/inter-protocol/src/stakeFactory/stakeFactory.js b/packages/inter-protocol/src/stakeFactory/stakeFactory.js
index f9a28190e64d..57bc3f5cb0b7 100644
--- a/packages/inter-protocol/src/stakeFactory/stakeFactory.js
+++ b/packages/inter-protocol/src/stakeFactory/stakeFactory.js
@@ -1,4 +1,5 @@
 // @jessie-check
+
 import { AmountMath } from '@agoric/ertp';
 import { handleParamGovernance, ParamTypes } from '@agoric/governance';
 import { atomicRearrange } from '@agoric/zoe/src/contractSupport/atomicTransfer.js';
diff --git a/packages/inter-protocol/src/stakeFactory/stakeFactoryKit.js b/packages/inter-protocol/src/stakeFactory/stakeFactoryKit.js
index d14220bd1026..4926d0b3081a 100644
--- a/packages/inter-protocol/src/stakeFactory/stakeFactoryKit.js
+++ b/packages/inter-protocol/src/stakeFactory/stakeFactoryKit.js
@@ -1,4 +1,5 @@
 // @jessie-check
+
 import { AmountMath, AssetKind } from '@agoric/ertp';
 import { bindAllMethods, makeTracer } from '@agoric/internal';
 import { makePublishKit } from '@agoric/notifier';
diff --git a/packages/inter-protocol/src/stakeFactory/stakeFactoryManager.js b/packages/inter-protocol/src/stakeFactory/stakeFactoryManager.js
index 6ddb2306c57e..f9ca21767ba4 100644
--- a/packages/inter-protocol/src/stakeFactory/stakeFactoryManager.js
+++ b/packages/inter-protocol/src/stakeFactory/stakeFactoryManager.js
@@ -1,4 +1,5 @@
 // @jessie-check
+
 import { AmountMath } from '@agoric/ertp';
 import { makePublishKit, observeNotifier } from '@agoric/notifier';
 import { mustMatch, getCopyBagEntries, M } from '@agoric/store';
diff --git a/packages/inter-protocol/src/stakeFactory/types.js b/packages/inter-protocol/src/stakeFactory/types.js
index 5bef7f1b2ac0..1da1a14d0f01 100644
--- a/packages/inter-protocol/src/stakeFactory/types.js
+++ b/packages/inter-protocol/src/stakeFactory/types.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * For example, an agoric1... Cosmos address
  *
diff --git a/packages/inter-protocol/src/typeGuards.js b/packages/inter-protocol/src/typeGuards.js
index 670b5327f5e1..2be3465894a6 100644
--- a/packages/inter-protocol/src/typeGuards.js
+++ b/packages/inter-protocol/src/typeGuards.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import { M } from '@agoric/store';
 
 /**
diff --git a/packages/inter-protocol/src/vaultFactory/burn.js b/packages/inter-protocol/src/vaultFactory/burn.js
index 4e792f072df7..9cfc83b7f7ae 100644
--- a/packages/inter-protocol/src/vaultFactory/burn.js
+++ b/packages/inter-protocol/src/vaultFactory/burn.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import '@agoric/zoe/exported.js';
 
 import { E } from '@endo/eventual-send';
diff --git a/packages/inter-protocol/src/vaultFactory/math.js b/packages/inter-protocol/src/vaultFactory/math.js
index d9e19776bb9d..d923695741c1 100644
--- a/packages/inter-protocol/src/vaultFactory/math.js
+++ b/packages/inter-protocol/src/vaultFactory/math.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * @file calculations specific to the Vault Factory contract
  * See also ../interest-math.js
diff --git a/packages/inter-protocol/src/vaultFactory/params.js b/packages/inter-protocol/src/vaultFactory/params.js
index 4654edc4c952..24faa81f9c69 100644
--- a/packages/inter-protocol/src/vaultFactory/params.js
+++ b/packages/inter-protocol/src/vaultFactory/params.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import './types.js';
 
 import {
diff --git a/packages/inter-protocol/src/vaultFactory/storeUtils.js b/packages/inter-protocol/src/vaultFactory/storeUtils.js
index 2e5d3baeeba0..10c14820b257 100644
--- a/packages/inter-protocol/src/vaultFactory/storeUtils.js
+++ b/packages/inter-protocol/src/vaultFactory/storeUtils.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * Module to improvise composite keys for orderedVaultStore until Collections
  * API supports them.
diff --git a/packages/inter-protocol/src/vaultFactory/type-imports.js b/packages/inter-protocol/src/vaultFactory/type-imports.js
index b27b5342805d..5902add2f241 100644
--- a/packages/inter-protocol/src/vaultFactory/type-imports.js
+++ b/packages/inter-protocol/src/vaultFactory/type-imports.js
@@ -1,2 +1,4 @@
+// @jessie-check
+
 import '@agoric/zoe/exported.js';
 import './types.js';
diff --git a/packages/inter-protocol/src/vaultFactory/types.js b/packages/inter-protocol/src/vaultFactory/types.js
index dcd4b009542f..8b18e37f743d 100644
--- a/packages/inter-protocol/src/vaultFactory/types.js
+++ b/packages/inter-protocol/src/vaultFactory/types.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 /**
  * @typedef {import('./vault').VaultNotification} VaultNotification
  * @typedef {import('./vault').Vault} Vault
diff --git a/packages/inter-protocol/src/vaultFactory/vaultFactory.js b/packages/inter-protocol/src/vaultFactory/vaultFactory.js
index 0ea8db11c42e..ef048365a6fa 100644
--- a/packages/inter-protocol/src/vaultFactory/vaultFactory.js
+++ b/packages/inter-protocol/src/vaultFactory/vaultFactory.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import '@agoric/governance/exported.js';
 import '@agoric/zoe/exported.js';
 import '@agoric/zoe/src/contracts/exported.js';
diff --git a/packages/inter-protocol/src/vaultFactory/vaultKit.js b/packages/inter-protocol/src/vaultFactory/vaultKit.js
index 5e49c507d2b4..d7cda6211acf 100644
--- a/packages/inter-protocol/src/vaultFactory/vaultKit.js
+++ b/packages/inter-protocol/src/vaultFactory/vaultKit.js
@@ -1,3 +1,5 @@
+// @jessie-check
+
 import '@agoric/zoe/exported.js';
 
 import { makeTracer } from '@agoric/internal';