@agoric/inter-protocol 0.13.2-dev-65d3f14.0 → 0.13.2-pismo-dev-12e97f1.0

package/src/psm/psmCharter.js

@@ -0,0 +1,139 @@
+// @ts-check
+
+import '@agoric/governance/src/exported.js';
+import { makeScalarMapStore, M, makeHeapFarInstance, fit } from '@agoric/store';
+import '@agoric/zoe/exported.js';
+import '@agoric/zoe/src/contracts/exported.js';
+import { InstanceHandleShape } from '@agoric/zoe/src/typeGuards.js';
+import { BrandShape } from '@agoric/ertp';
+import { TimestampShape } from '@agoric/swingset-vat/src/vats/timer/typeGuards.js';
+import { E } from '@endo/far';
+
+/**
+ * @file
+ *
+ * This contract makes it possible for those who govern the PSM to call for
+ * votes on changes. A more complete implementation would validate parameters,
+ * constrain deadlines and possibly split the ability to call for votes into
+ * separate capabilities for finer grain encapsulation.
+ */
+
+/**
+ * @typedef {object} ParamChangesOfferArgs
+ * @property {bigint} deadline
+ * @property {Instance} instance
+ * @property {Record<string, unknown>} params
+ * @property {{paramPath: { key: string }}} [path]
+ */
+const ParamChangesOfferArgsShape = harden(
+  M.split(
+    {
+      deadline: TimestampShape,
+      instance: InstanceHandleShape,
+      params: M.recordOf(M.string(), M.any()),
+    },
+    M.partial({
+      path: { paramPath: { key: M.string() } },
+    }),
+  ),
+);
+
+/**
+ * @param {ZCF<{binaryVoteCounterInstallation:Installation}>} zcf
+ */
+export const start = async zcf => {
+  const { binaryVoteCounterInstallation: counter } = zcf.getTerms();
+  /** @type {MapStore<Instance,GovernedContractFacetAccess<{},{}>>} */
+  const instanceToGovernor = makeScalarMapStore();
+
+  const makeParamInvitation = () => {
+    /**
+     * @param {ZCFSeat} seat
+     * @param {ParamChangesOfferArgs} args
+     */
+    const voteOnParamChanges = (seat, args) => {
+      fit(args, ParamChangesOfferArgsShape);
+      seat.exit();
+
+      const {
+        params,
+        instance,
+        deadline,
+        path = { paramPath: { key: 'governedApi' } },
+      } = args;
+      const psmGovernor = instanceToGovernor.get(instance);
+      return E(psmGovernor).voteOnParamChanges(counter, deadline, {
+        ...path,
+        changes: params,
+      });
+    };
+
+    return zcf.makeInvitation(voteOnParamChanges, 'vote on param changes');
+  };
+
+  const makeOfferFilterInvitation = (instance, strings, deadline) => {
+    const voteOnOfferFilterHandler = seat => {
+      seat.exit();
+
+      const psmGovernor = instanceToGovernor.get(instance);
+      return E(psmGovernor).voteOnOfferFilter(counter, deadline, strings);
+    };
+
+    return zcf.makeInvitation(voteOnOfferFilterHandler, 'vote on offer filter');
+  };
+
+  const MakerShape = M.interface('PSM Charter InvitationMakers', {
+    VoteOnParamChange: M.call().returns(M.promise()),
+    VoteOnPauseOffers: M.call(
+      InstanceHandleShape,
+      M.arrayOf(M.string()),
+      TimestampShape,
+    ).returns(M.promise()),
+  });
+  const invitationMakers = makeHeapFarInstance(
+    'PSM Invitation Makers',
+    MakerShape,
+    {
+      VoteOnParamChange: makeParamInvitation,
+      VoteOnPauseOffers: makeOfferFilterInvitation,
+    },
+  );
+
+  const charterMemberHandler = seat => {
+    seat.exit();
+    return harden({ invitationMakers });
+  };
+
+  const psmCharterCreatorI = M.interface('PSM Charter creatorFacet', {
+    addInstance: M.call(InstanceHandleShape, M.any())
+      .optional(BrandShape, BrandShape)
+      .returns(),
+    makeCharterMemberInvitation: M.call().returns(M.promise()),
+  });
+
+  const creatorFacet = makeHeapFarInstance(
+    'PSM Charter creatorFacet',
+    psmCharterCreatorI,
+    {
+      /**
+       * @param {Instance} psmInstance
+       * @param {GovernedContractFacetAccess<{},{}>} psmGovernorFacet
+       * @param {Brand} [anchor] for diagnostic use only
+       * @param {Brand} [minted] for diagnostic use only
+       */
+      addInstance: (psmInstance, psmGovernorFacet, anchor, minted) => {
+        console.log('psmCharter: adding instance', { minted, anchor });
+        instanceToGovernor.init(psmInstance, psmGovernorFacet);
+      },
+      makeCharterMemberInvitation: () =>
+        zcf.makeInvitation(
+          charterMemberHandler,
+          'PSM charter member invitation',
+        ),
+    },
+  );
+
+  return harden({ creatorFacet });
+};
+
+export const INVITATION_MAKERS_DESC = 'PSM charter member invitation';

package/src/reserve/assetReserve.js

@@ -1,17 +1,16 @@
+// @ts-check
+
 import { E, Far } from '@endo/far';
 import { AmountMath } from '@agoric/ertp';
 import { handleParamGovernance, ParamTypes } from '@agoric/governance';
-import {
-  offerTo,
-  atomicTransfer,
-} from '@agoric/zoe/src/contractSupport/index.js';
+import { offerTo } from '@agoric/zoe/src/contractSupport/index.js';
 import { provideDurableMapStore, vivifyKindMulti } from '@agoric/vat-data';
 
 import { AMM_INSTANCE } from './params.js';
 import { makeTracer } from '../makeTracer.js';
 import { makeMetricsPublisherKit } from '../contractSupport.js';
 
-const { Fail, quote: q } = assert;
+const { details: X, quote: q } = assert;
 
 const trace = makeTracer('Reserve', false);
 
@@ -71,7 +70,7 @@ const nonalphanumeric = /[^A-Za-z0-9]/g;
  * >} zcf
  * @param {{
  *   feeMintAccess: FeeMintAccess,
- *   initialPoserInvitation: Invitation,
+ *   initialPoserInvitation: Payment,
  *   marshaller: ERef<Marshaller>,
  *   storageNode: ERef<StorageNode>,
  * }} privateArgs
@@ -96,7 +95,7 @@ const start = async (zcf, privateArgs, baggage) => {
    */
   const brandForKeyword = provideDurableMapStore(baggage, 'brandForKeyword');
   /**
-   * @type {MapStore<Brand<'nat'>, Brand<'nat'>>}
+   * @type {MapStore<Brand, Brand>}
    */
   const liquidityBrandForBrand = provideDurableMapStore(
     baggage,
@@ -115,6 +114,7 @@ const start = async (zcf, privateArgs, baggage) => {
     baggage.init('feeMint', feeMintTemp);
     return feeMintTemp;
   };
+  /** @type {ZCFMint} */
   const feeMint = await takeFeeMint();
   const feeKit = feeMint.getIssuerRecord();
   const emptyAmount = AmountMath.makeEmpty(feeKit.brand);
@@ -171,7 +171,7 @@ const start = async (zcf, privateArgs, baggage) => {
 
   /**
    * @param {MethodContext} _context
-   * @param {Issuer<'nat'>} baseIssuer on which the liquidity issuer is based
+   * @param {Issuer} baseIssuer on which the liquidity issuer is based
    */
   const addLiquidityIssuer = async (_context, baseIssuer) => {
     const getBrand = () => {
@@ -216,7 +216,7 @@ const start = async (zcf, privateArgs, baggage) => {
 
   /**
    * @param {MethodContext} context
-   * @param {Brand<'nat'>} ammSecondaryBrand
+   * @param {Brand} ammSecondaryBrand
    */
   const addIssuerFromAmm = async (context, ammSecondaryBrand) => {
     assert(
@@ -235,7 +235,9 @@ const start = async (zcf, privateArgs, baggage) => {
 
   const getKeywordForBrand = brand => {
     keywordForBrand.has(brand) ||
-      Fail`Issuer not defined for brand ${q(brand)}; first call addIssuer()`;
+      assert.fail(
+        X`Issuer not defined for brand ${q(brand)}; first call addIssuer()`,
+      );
     return keywordForBrand.get(brand);
   };
 
@@ -256,14 +258,10 @@ const start = async (zcf, privateArgs, baggage) => {
     } = seat.getProposal();
 
     const collateralKeyword = getKeywordForBrand(amountIn.brand);
+    seat.decrementBy(harden({ Collateral: amountIn }));
+    collateralSeat.incrementBy(harden({ [collateralKeyword]: amountIn }));
 
-    atomicTransfer(
-      zcf,
-      seat,
-      collateralSeat,
-      { Collateral: amountIn },
-      { [collateralKeyword]: amountIn },
-    );
+    zcf.reallocate(collateralSeat, seat);
     seat.exit();
 
     trace('received collateral', amountIn);
@@ -321,8 +319,8 @@ const start = async (zcf, privateArgs, baggage) => {
    * to add Liquidity to a pool in the AMM.
    *
    * @param {MethodContext} context
-   * @param {Amount<'nat'>} collateral
-   * @param {Amount<'nat'>} fee
+   * @param {Amount} collateral
+   * @param {Amount} fee
    */
   const addLiquidityToAmmPool = async ({ state }, collateral, fee) => {
     // verify we have the funds
@@ -340,9 +338,14 @@ const start = async (zcf, privateArgs, baggage) => {
     const offerToSeat = feeMint.mintGains(harden({ Fee: fee }));
     state.totalFeeMinted = AmountMath.add(state.totalFeeMinted, fee);
 
-    atomicTransfer(zcf, collateralSeat, offerToSeat, {
-      [collateralKeyword]: collateral,
-    });
+    offerToSeat.incrementBy(
+      collateralSeat.decrementBy(
+        harden({
+          [collateralKeyword]: collateral,
+        }),
+      ),
+    );
+    zcf.reallocate(collateralSeat, offerToSeat);
 
     // Add Fee tokens and collateral to the AMM
     const invitation = await E(
@@ -370,13 +373,17 @@ const start = async (zcf, privateArgs, baggage) => {
     const liquidityAmount = offerToSeat.getCurrentAllocation();
     const liquidityKeyword = makeLiquidityKeyword(collateralKeyword);
 
-    atomicTransfer(
-      zcf,
-      offerToSeat,
-      collateralSeat,
-      { Liquidity: liquidityAmount.Liquidity },
-      { [liquidityKeyword]: liquidityAmount.Liquidity },
+    offerToSeat.decrementBy(
+      harden({
+        Liquidity: liquidityAmount.Liquidity,
+      }),
+    );
+    collateralSeat.incrementBy(
+      harden({
+        [liquidityKeyword]: liquidityAmount.Liquidity,
+      }),
     );
+    zcf.reallocate(offerToSeat, collateralSeat);
     updateMetrics({ state });
   };
 

package/src/reserve/params.js

@@ -1,3 +1,5 @@
+// @ts-check
+
 import { CONTRACT_ELECTORATE, ParamTypes } from '@agoric/governance';
 
 export const AMM_INSTANCE = 'AmmInstance';

package/src/stakeFactory/attestation.js

@@ -1,3 +1,4 @@
+// @ts-check
 // @jessie-check
 
 import { AmountMath, AssetKind } from '@agoric/ertp';
@@ -7,7 +8,7 @@ import { assertProposalShape } from '@agoric/zoe/src/contractSupport/index.js';
 import { AttKW as KW } from './constants.js';
 import { makeAttestationTool } from './attestationTool.js';
 
-const { Fail } = assert;
+const { details: X } = assert;
 
 /**
  * @typedef {{
@@ -70,7 +71,9 @@ const makeAttestationIssuerKit = async (zcf, stakeBrand, lienBridge) => {
   /** @param {Amount<'copyBag'>} attestationAmount */
   const unwrapLienedAmount = attestationAmount => {
     attestationAmount.brand === attBrand ||
-      Fail`The escrowed attestation ${attestationAmount} was not of the attestation brand ${attBrand}`;
+      assert.fail(
+        X`The escrowed attestation ${attestationAmount} was not of the attestation brand ${attBrand}`,
+      );
     fit(
       attestationAmount.value.payload,
       harden([[M.string(), M.bigint()]]),
@@ -117,9 +120,11 @@ const makeAttestationIssuerKit = async (zcf, stakeBrand, lienBridge) => {
   // check that x <= hi - lo
   const checkDelta = (x, label, hi, lo) => {
     const bound = subtractOrZero(hi, lo);
-    isGTE(bound, coerce(stakeBrand, x)) ||
+    assert(
+      isGTE(bound, coerce(stakeBrand, x)),
       // TODO: X`...${raw(label)}...`
-      Fail`Only ${bound} was ${label}, but an attestation was attempted for ${x}`;
+      X`Only ${bound} was ${label}, but an attestation was attempted for ${x}`,
+    );
   };
   const assertAccountStateOK = async (address, toLien) => {
     const s = await getAccountState(address, stakeBrand);

package/src/stakeFactory/attestationTool.js

@@ -1,3 +1,4 @@
+// @ts-check
 /**
  * @typedef {Readonly<{
  *   address: Address,

package/src/stakeFactory/params.js

@@ -1,3 +1,4 @@
+// @ts-check
 // @jessie-check
 
 import { CONTRACT_ELECTORATE, ParamTypes } from '@agoric/governance';

package/src/stakeFactory/stakeFactory.js

@@ -1,3 +1,4 @@
+// @ts-check
 // @jessie-check
 import { AmountMath } from '@agoric/ertp';
 import { handleParamGovernance, ParamTypes } from '@agoric/governance';
@@ -180,7 +181,6 @@ export const start = async (
     zcf,
     debtMint,
     harden({ Attestation: attestBrand, debt: debtBrand, Stake: stakeBrand }),
-    // @ts-expect-error xxx governance types
     mintPowers,
     { timerService, chargingPeriod, recordingPeriod, startTimeStamp },
   );

package/src/stakeFactory/stakeFactoryKit.js

@@ -1,3 +1,4 @@
+// @ts-check
 // @jessie-check
 import { AmountMath, AssetKind } from '@agoric/ertp';
 import { assertProposalShape } from '@agoric/zoe/src/contractSupport/index.js';
@@ -11,7 +12,7 @@ import { addSubtract, assertOnlyKeys, stageDelta } from '../contractSupport.js';
 import { calculateCurrentDebt, reverseInterest } from '../interest-math.js';
 import { ManagerKW as KW } from './constants.js';
 
-const { Fail, quote: q } = assert;
+const { details: X, quote: q } = assert;
 
 const trace = makeTracer('R1');
 
@@ -19,9 +20,9 @@ const trace = makeTracer('R1');
  * Calculate the fee, the amount to mint and the resulting debt.
  *
  * @param {Ratio} feeCoeff fee coefficient
- * @param {Amount<'nat'>} currentDebt
- * @param {Amount<'nat'>} giveAmount
- * @param {Amount<'nat'>} wantAmount
+ * @param {Amount} currentDebt
+ * @param {Amount} giveAmount
+ * @param {Amount} wantAmount
  */
 const calculateFee = (feeCoeff, currentDebt, giveAmount, wantAmount) => {
   const fee = ceilMultiplyBy(wantAmount, feeCoeff);
@@ -33,7 +34,7 @@ const calculateFee = (feeCoeff, currentDebt, giveAmount, wantAmount) => {
 /**
  * @typedef {Readonly<{
  *   collateralBrand: Brand,
- *   debtBrand: Brand<'nat'>,
+ *   debtBrand: Brand,
  *   manager: import('./stakeFactoryManager.js').StakeFactoryManager,
  *   subscriber: Subscriber<unknown>
  *   vaultSeat: ZCFSeat,
@@ -83,7 +84,9 @@ const initState = (zcf, startSeat, manager) => {
 
     const { maxDebt } = manager.maxDebtForLien(attestationGiven);
     AmountMath.isGTE(maxDebt, runWanted) ||
-      Fail`wanted ${runWanted}, more than max debt (${maxDebt}) for ${attestationGiven}`;
+      assert.fail(
+        X`wanted ${runWanted}, more than max debt (${maxDebt}) for ${attestationGiven}`,
+      );
 
     const { newDebt, fee, toMint } = calculateFee(
       manager.getLoanFee(),
@@ -92,8 +95,10 @@ const initState = (zcf, startSeat, manager) => {
       runWanted,
     );
     !AmountMath.isEmpty(fee) ||
-      Fail`loan requested (${runWanted}) is too small; cannot accrue interest`;
-    AmountMath.isEqual(newDebt, toMint) || Fail`loan fee mismatch`;
+      assert.fail(
+        X`loan requested (${runWanted}) is too small; cannot accrue interest`,
+      );
+    assert(AmountMath.isEqual(newDebt, toMint), X`loan fee mismatch`);
     trace('init', { runWanted, fee, attestationGiven });
 
     vaultSeat.incrementBy(
@@ -200,7 +205,7 @@ const helperBehavior = {
    * but not for interest accrual.
    *
    * @param {MethodContext} context
-   * @param {Amount<'nat'>} newDebt - principal and all accrued interest
+   * @param {Amount} newDebt - principal and all accrued interest
    */
   updateDebtSnapshot: ({ state }, newDebt) => {
     const { manager } = state;
@@ -214,8 +219,8 @@ const helperBehavior = {
    * maintain aggregate debt and liquidation order.
    *
    * @param {MethodContext} context
-   * @param {Amount<'nat'>} oldDebt - prior principal and all accrued interest
-   * @param {Amount<'nat'>} newDebt - actual principal and all accrued interest
+   * @param {Amount} oldDebt - prior principal and all accrued interest
+   * @param {Amount} newDebt - actual principal and all accrued interest
    */
   updateDebtAccounting: ({ state, facets }, oldDebt, newDebt) => {
     const { manager } = state;
@@ -232,7 +237,7 @@ const helperBehavior = {
     const { vaultSeat } = state;
     const { helper } = facets;
     AmountMath.isEmpty(helper.getMintedAllocated(vaultSeat)) ||
-      Fail`Vault should be empty of debt`;
+      assert.fail(X`Vault should be empty of debt`);
   },
 
   /**
@@ -333,7 +338,9 @@ const helperBehavior = {
       give: { [KW.Debt]: runOffered },
     } = seat.getProposal();
     AmountMath.isGTE(runOffered, currentDebt) ||
-      Fail`Offer ${runOffered} is not sufficient to pay off debt ${currentDebt}`;
+      assert.fail(
+        X`Offer ${runOffered} is not sufficient to pay off debt ${currentDebt}`,
+      );
     vaultSeat.incrementBy(seat.decrementBy(harden({ [KW.Debt]: currentDebt })));
     seat.incrementBy(
       vaultSeat.decrementBy(

package/src/stakeFactory/stakeFactoryManager.js

@@ -1,3 +1,4 @@
+// @ts-check
 // @jessie-check
 import { AmountMath } from '@agoric/ertp';
 import { makePublishKit, observeNotifier } from '@agoric/notifier';
@@ -238,8 +239,8 @@ const manager = {
 
   /**
    * @param {MethodContext} context
-   * @param {Amount<'nat'>} toMint
-   * @param {Amount<'nat'>} fee
+   * @param {Amount} toMint
+   * @param {Amount} fee
    * @param {ZCFSeat} seat
    * @param {...ZCFSeat} otherSeats
    * @returns {void}

package/src/vaultFactory/burn.js

@@ -1,3 +1,4 @@
+// @ts-check
 import '@agoric/zoe/exported.js';
 
 import { E } from '@endo/eventual-send';

package/src/vaultFactory/liquidateIncrementally.js

@@ -1,4 +1,6 @@
 /* eslint-disable no-await-in-loop */
+// @ts-check
+
 import { E } from '@endo/eventual-send';
 import {
   getAmountOut,
@@ -7,13 +9,12 @@ import {
   natSafeMath as NatMath,
   ceilMultiplyBy,
   oneMinus,
-  atomicTransfer,
 } from '@agoric/zoe/src/contractSupport/index.js';
 import { AmountMath } from '@agoric/ertp';
 import { Far } from '@endo/marshal';
 import { makeTracer } from '../makeTracer.js';
 
-const { Fail } = assert;
+const { details: X } = assert;
 const trace = makeTracer('LiqI', false);
 
 /**
@@ -155,7 +156,6 @@ const start = async zcf => {
       poolCentral.value,
       NatMath.floorDivide(k, postSaleCollateral.value),
     );
-    /** @type {Amount<'nat'>} */
     const estimateAmount = AmountMath.make(debt.brand, estimateCentral);
     const minAmmProceeds = ceilMultiplyBy(estimateAmount, oneMinus(maxSlip));
     trace('AMM estimate', {
@@ -285,7 +285,7 @@ const start = async zcf => {
       give: { In: null },
     });
     originalDebt.brand === debtBrand ||
-      Fail`Cannot liquidate to ${originalDebt.brand}`;
+      assert.fail(X`Cannot liquidate to ${originalDebt.brand}`);
     const penalty = ceilMultiplyBy(originalDebt, penaltyRate);
     const debtWithPenalty = AmountMath.add(originalDebt, penalty);
     trace('LIQ', { originalDebt, debtWithPenalty });
@@ -322,7 +322,10 @@ const start = async zcf => {
     const penaltyPaid = AmountMath.min(penalty, debtPaid);
 
     // Allocate penalty portion of proceeds to a seat that will hold it for transfer to reserve
-    atomicTransfer(zcf, debtorSeat, penaltyPoolSeat, { Out: penaltyPaid });
+    penaltyPoolSeat.incrementBy(
+      debtorSeat.decrementBy(harden({ Out: penaltyPaid })),
+    );
+    zcf.reallocate(penaltyPoolSeat, debtorSeat);
 
     debtorSeat.exit();
     trace('exit seat');

package/src/vaultFactory/liquidateMinimum.js

@@ -1,8 +1,9 @@
+// @ts-check
+
 import { E } from '@endo/eventual-send';
 import {
   ceilMultiplyBy,
   offerTo,
-  atomicTransfer,
 } from '@agoric/zoe/src/contractSupport/index.js';
 import { AmountMath } from '@agoric/ertp';
 import { Far } from '@endo/marshal';
@@ -74,7 +75,10 @@ const start = async zcf => {
     const penaltyPaid = AmountMath.min(penalty, debtPaid);
 
     // Allocate penalty portion of proceeds to a seat that will hold it for transfer to reserve
-    atomicTransfer(zcf, debtorSeat, penaltyPoolSeat, { Out: penaltyPaid });
+    penaltyPoolSeat.incrementBy(
+      debtorSeat.decrementBy(harden({ Out: penaltyPaid })),
+    );
+    zcf.reallocate(penaltyPoolSeat, debtorSeat);
 
     debtorSeat.exit();
   };

package/src/vaultFactory/liquidation.js

@@ -1,3 +1,4 @@
+// @ts-check
 // @jessie-check
 
 import { E } from '@endo/eventual-send';
@@ -61,7 +62,7 @@ const updateQuote = (quote, highestDebtRatio, liquidationMargin) => {
  * @param {ZCF} zcf
  * @param {Vault} vault
  * @param {Liquidator}  liquidator
- * @param {Brand<'nat'>} collateralBrand
+ * @param {Brand} collateralBrand
  * @param {Ratio} penaltyRate
  */
 const liquidate = async (
@@ -105,7 +106,6 @@ const liquidate = async (
   ]);
   // NB: all the proceeds from AMM sale are on the vault seat instead of a staging seat
 
-  /** @type { [Amount<'nat'>, Amount<'nat'>] } */
   const [overage, shortfall] = AmountMath.isGTE(debt, proceeds.Minted)
     ? [
         AmountMath.makeEmptyFromAmount(debt),

package/src/vaultFactory/orderedVaultStore.js

@@ -1,3 +1,4 @@
+// @ts-check
 import { fromVaultKey, toVaultKey } from './storeUtils.js';
 
 /**

package/src/vaultFactory/params.js

@@ -1,3 +1,5 @@
+// @ts-check
+
 import './types.js';
 
 import {
@@ -78,13 +80,16 @@ const makeVaultParamManager = (publisherKit, initial) =>
   });
 /** @typedef {ReturnType<typeof makeVaultParamManager>} VaultParamManager */
 
-export const vaultParamPattern = M.splitRecord({
-  liquidationMargin: ratioPattern,
-  liquidationPenalty: ratioPattern,
-  interestRate: ratioPattern,
-  loanFee: ratioPattern,
-  debtLimit: amountPattern,
-});
+export const vaultParamPattern = M.split(
+  {
+    liquidationMargin: ratioPattern,
+    liquidationPenalty: ratioPattern,
+    interestRate: ratioPattern,
+    loanFee: ratioPattern,
+    debtLimit: amountPattern,
+  },
+  M.any(),
+);
 
 /**
  * @param {import('@agoric/notifier').StoredPublisherKit<GovernanceSubscriptionState>} publisherKit

package/src/vaultFactory/prioritizedVaults.js

@@ -1,3 +1,4 @@
+// @ts-check
 // @jessie-check
 
 import { makeRatioFromAmounts } from '@agoric/zoe/src/contractSupport/index.js';

package/src/vaultFactory/storeUtils.js

@@ -1,3 +1,4 @@
+// @ts-check
 /**
  * Module to improvise composite keys for orderedVaultStore until Collections
  * API supports them.

package/src/vaultFactory/types.js

@@ -1,3 +1,5 @@
+// @ts-check
+
 /**
  * @typedef {import('./vault').VaultNotification} VaultNotification
  * @typedef {import('./vault').Vault} Vault