@agoric/inter-protocol 0.16.2-upgrade-22-dev-2f770ff.0.2f770ff → 0.16.2-upgrade-23-dev-04dbab2.0.04dbab2

package/src/clientSupport.js

@@ -1,13 +1,16 @@
 // @ts-check
 
-import { Fail } from '@endo/errors';
 import { AmountMath } from '@agoric/ertp';
-import { assertAllDefined } from '@agoric/internal';
-import { parseRatio } from '@agoric/ertp/src/ratio.js';
+import { Fail } from '@endo/errors';
 
 /**
  * @import {Amount, Brand, Payment, Purse} from '@agoric/ertp';
- * @import {Proposal} from '@agoric/zoe';
+ * @import {AmountKeywordRecord, Instance, Proposal} from '@agoric/zoe';
+ * @import {AgoricNamesRemotes} from '@agoric/vats/tools/board-utils.js';
+ * @import {OfferSpec} from '@agoric/smart-wallet/src/offers.js';
+ * @import {CurrentWalletRecord} from '@agoric/smart-wallet/src/smartWallet.js';
+ * @import {BoardRemote} from '@agoric/internal/src/marshal/board-client-utils.js';
+ * @import {OfferMaker} from '@agoric/smart-wallet/src/types.js';
  */
 
 // XXX support other decimal places
@@ -20,10 +23,7 @@ const scaleDecimals = num => BigInt(num * Number(COSMOS_UNIT));
 /**
  * Give/want
  *
- * @param {Pick<
- *   import('@agoric/vats/tools/board-utils.js').AgoricNamesRemotes,
- *   'brand'
- * >} agoricNames
+ * @param {Pick<AgoricNamesRemotes, 'brand'>} agoricNames
  * @param {{ giveMinted?: number; wantMinted?: number }
  *   | {
  *       collateralBrandKey: string;
@@ -67,17 +67,14 @@ const makeVaultProposal = ({ brand }, opts) => {
 };
 
 /**
- * @param {Pick<
- *   import('@agoric/vats/tools/board-utils.js').AgoricNamesRemotes,
- *   'brand'
- * >} agoricNames
+ * @param {Pick<AgoricNamesRemotes, 'brand'>} agoricNames
  * @param {{
  *   offerId: string;
  *   wantMinted: number;
  *   giveCollateral: number;
  *   collateralBrandKey: string;
  * }} opts
- * @returns {import('@agoric/smart-wallet/src/offers.js').OfferSpec}
+ * @returns {OfferSpec}
  */
 const makeOpenOffer = ({ brand }, opts) => {
   const proposal = makeVaultProposal({ brand }, opts);
@@ -103,10 +100,7 @@ const makeOpenOffer = ({ brand }, opts) => {
 };
 
 /**
- * @param {Pick<
- *   import('@agoric/vats/tools/board-utils.js').AgoricNamesRemotes,
- *   'brand'
- * >} agoricNames
+ * @param {Pick<AgoricNamesRemotes, 'brand'>} agoricNames
  * @param {{
  *   offerId: string;
  *   collateralBrandKey?: string;
@@ -116,7 +110,7 @@ const makeOpenOffer = ({ brand }, opts) => {
  *   wantMinted?: number;
  * }} opts
  * @param {string} previousOffer
- * @returns {import('@agoric/smart-wallet/src/offers.js').OfferSpec}
+ * @returns {OfferSpec}
  */
 const makeAdjustOffer = ({ brand }, opts, previousOffer) => {
   // NB: not really a Proposal because the brands are not remotes
@@ -136,17 +130,14 @@ const makeAdjustOffer = ({ brand }, opts, previousOffer) => {
 };
 
 /**
- * @param {Pick<
- *   import('@agoric/vats/tools/board-utils.js').AgoricNamesRemotes,
- *   'brand'
- * >} agoricNames
+ * @param {Pick<AgoricNamesRemotes, 'brand'>} agoricNames
  * @param {{
  *   offerId: string;
  *   collateralBrandKey?: string;
  *   giveMinted: number;
  * }} opts
  * @param {string} previousOffer
- * @returns {import('@agoric/smart-wallet/src/offers.js').OfferSpec}
+ * @returns {OfferSpec}
  */
 const makeCloseOffer = ({ brand }, opts, previousOffer) => {
   const proposal = makeVaultProposal({ brand }, opts);
@@ -164,9 +155,7 @@ const makeCloseOffer = ({ brand }, opts, previousOffer) => {
 
 /**
  * @param {string} vaultId
- * @param {Promise<
- *   import('@agoric/smart-wallet/src/smartWallet.js').CurrentWalletRecord
- * >} currentP
+ * @param {Promise<CurrentWalletRecord>} currentP
  * @returns {Promise<string>} offer id in which the vault was made
  */
 export const lookupOfferIdForVault = async (vaultId, currentP) => {
@@ -181,10 +170,7 @@ export const lookupOfferIdForVault = async (vaultId, currentP) => {
 };
 
 /**
- * @param {Record<
- *   string,
- *   import('@agoric/internal/src/marshal.js').BoardRemote
- * >} brands
+ * @param {Record<string, BoardRemote>} brands
  * @param {{ wantMinted: number; giveMinted?: undefined }
  *   | { giveMinted: number; wantMinted?: undefined }} opts
  * @param {number} [fee]
@@ -214,16 +200,13 @@ const makePsmProposal = (brands, opts, fee = 0, anchor = 'AUSD') => {
 };
 
 /**
- * @param {Pick<
- *   import('@agoric/vats/tools/board-utils.js').AgoricNamesRemotes,
- *   'brand'
- * >} agoricNames
- * @param {Instance} instance
+ * @param {Pick<AgoricNamesRemotes, 'brand'>} agoricNames
+ * @param {Instance<unknown>} instance
  * @param {{ offerId: string; feePct?: number; pair: [string, string] } & (
  *   | { wantMinted: number }
  *   | { giveMinted: number }
  * )} opts
- * @returns {import('@agoric/smart-wallet/src/offers.js').OfferSpec}
+ * @returns {OfferSpec}
  */
 const makePsmSwapOffer = ({ brand }, instance, opts) => {
   const method =
@@ -254,10 +237,7 @@ const makePsmSwapOffer = ({ brand }, instance, opts) => {
 };
 
 /**
- * @param {Pick<
- *   import('@agoric/vats/tools/board-utils.js').AgoricNamesRemotes,
- *   'brand' | 'vbankAsset'
- * >} agoricNames
+ * @param {Pick<AgoricNamesRemotes, 'brand' | 'vbankAsset'>} agoricNames
  * @param {(msg: string) => Error} makeError error constructor
  * @returns {(a: string) => Amount<'nat'>}
  */
@@ -297,91 +277,13 @@ export const makeParseAmount =
   };
 
 /**
- * @param {Pick<
- *   import('@agoric/vats/tools/board-utils.js').AgoricNamesRemotes,
- *   'brand' | 'vbankAsset'
- * >} agoricNames
- * @param {{
- *   offerId: string;
- *   give: string;
- *   maxBuy: string;
- *   wantMinimum?: string;
- * } & (
- *   | {
- *       price: number;
- *     }
- *   | {
- *       discount: number; // -1 to 1. e.g. 0.10 for 10% discount, -0.05 for 5% markup
- *     }
- * )} opts
- * @returns {import('@agoric/smart-wallet/src/offers.js').OfferSpec}
- */
-const makeBidOffer = (agoricNames, opts) => {
-  assertAllDefined({
-    offerId: opts.offerId,
-    give: opts.give,
-    maxBuy: opts.maxBuy,
-  });
-  const parseAmount = makeParseAmount(agoricNames);
-  const proposal = {
-    give: { Bid: parseAmount(opts.give) },
-    ...(opts.wantMinimum
-      ? { want: { Collateral: parseAmount(opts.wantMinimum) } }
-      : {}),
-  };
-  const istBrand = proposal.give.Bid.brand;
-  const maxBuy = parseAmount(opts.maxBuy);
-
-  const bounds = (x, lo, hi) => {
-    assert(x >= lo && x <= hi);
-    return x;
-  };
-
-  assert(
-    'price' in opts || 'discount' in opts,
-    'must specify price or discount',
-  );
-  /** @type {import('./auction/auctionBook.js').OfferSpec} */
-  const offerArgs =
-    'price' in opts
-      ? {
-          maxBuy: parseAmount(opts.maxBuy),
-          offerPrice: parseRatio(opts.price, istBrand, maxBuy.brand),
-        }
-      : {
-          maxBuy,
-          offerBidScaling: parseRatio(
-            (1 - bounds(opts.discount, -1, 1)).toFixed(2),
-            istBrand,
-            istBrand,
-          ),
-        };
-
-  /** @type {import('@agoric/smart-wallet/src/offers.js').OfferSpec} */
-  const offerSpec = {
-    id: opts.offerId,
-    invitationSpec: {
-      source: 'agoricContract',
-      instancePath: ['auctioneer'],
-      callPipe: [['makeBidInvitation', [maxBuy.brand]]],
-    },
-    proposal,
-    offerArgs,
-  };
-  return offerSpec;
-};
-
-/**
- * @param {Pick<
- *   import('@agoric/vats/tools/board-utils.js').AgoricNamesRemotes,
- *   'brand'
- * >} agoricNames
+ * @param {Pick<AgoricNamesRemotes, 'brand'>} agoricNames
  * @param {{
  *   offerId: string;
  *   give: number;
  *   collateralBrandKey: string;
  * }} opts
- * @returns {import('@agoric/smart-wallet/src/offers.js').OfferSpec}
+ * @returns {OfferSpec}
  */
 const makeAddCollateralOffer = ({ brand }, opts) => {
   /** @type {AmountKeywordRecord} */
@@ -393,7 +295,7 @@ const makeAddCollateralOffer = ({ brand }, opts) => {
     ),
   };
 
-  /** @type {import('@agoric/smart-wallet/src/offers.js').OfferSpec} */
+  /** @type {OfferSpec} */
   const offerSpec = {
     id: opts.offerId,
     invitationSpec: {
@@ -414,7 +316,7 @@ const makeAddCollateralOffer = ({ brand }, opts) => {
  *   unitPrice: bigint;
  * }} opts
  * @param {string} previousOffer
- * @returns {import('@agoric/smart-wallet/src/offers.js').OfferSpec}
+ * @returns {OfferSpec}
  */
 const makePushPriceOffer = (_agoricNames, opts, previousOffer) => {
   return {
@@ -432,15 +334,9 @@ const makePushPriceOffer = (_agoricNames, opts, previousOffer) => {
 };
 
 /**
- * @satisfies {Record<
- *   string,
- *   Record<string, import('@agoric/smart-wallet/src/types.js').OfferMaker>
- * >}
+ * @satisfies {Record<string, Record<string, OfferMaker>>}
  */
 export const Offers = {
-  auction: {
-    Bid: makeBidOffer,
-  },
   fluxAggregator: {
     PushPrice: makePushPriceOffer,
   },

package/src/collectFees.d.ts

@@ -1,2 +1,6 @@
 export function makeCollectFeesInvitation(zcf: ZCF, feeSeat: ZCFSeat, feeBrand: Brand, keyword: string): Promise<Invitation<string>>;
+import type { ZCF } from '@agoric/zoe';
+import type { ZCFSeat } from '@agoric/zoe';
+import type { Brand } from '@agoric/ertp';
+import type { Invitation } from '@agoric/zoe';
 //# sourceMappingURL=collectFees.d.ts.map

package/src/collectFees.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"collectFees.d.ts","sourceRoot":"","sources":["collectFees.js"],"names":[],"mappings":"AAaO,+CANI,GAAG,WACH,OAAO,YACP,KAAK,WACL,MAAM,GACJ,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAYvC"}
+{"version":3,"file":"collectFees.d.ts","sourceRoot":"","sources":["collectFees.js"],"names":[],"mappings":"AAgBO,+CANI,GAAG,WACH,OAAO,YACP,KAAK,WACL,MAAM,GACJ,OAAO,CAAC,WAAW,MAAM,CAAC,CAAC,CAYvC;yBAvB0C,aAAa;6BAAb,aAAa;2BAChC,cAAc;gCADK,aAAa"}

package/src/collectFees.js

@@ -1,7 +1,10 @@
-// @jessie-check
-
 import { atomicTransfer } from '@agoric/zoe/src/contractSupport/index.js';
 
+/**
+ * @import {Invitation, ZCF, ZCFSeat} from '@agoric/zoe';
+ * @import {Brand} from '@agoric/ertp';
+ */
+
 /**
  * Provide shared support for providing access to fees from a service contract.
  *

package/src/contractSupport.d.ts

@@ -12,10 +12,10 @@ export function assertOnlyKeys(proposal: ProposalRecord, keys: string[]): void;
 export function allEmpty(amounts: Amount[]): boolean;
 export function checkDebtLimit(debtLimit: Amount<"nat">, totalDebt: Amount<"nat">, toMint: Amount<"nat">): void;
 export function makeNatAmountShape(brand: Brand, min?: NatValue): {
-    brand: globalThis.Brand;
+    brand: Brand;
     value: import("@endo/patterns").Matcher;
 };
-export function quoteAsRatio(quoteAmount: Pick<PriceDescription, "amountIn" | "amountOut">): import("@agoric/ertp/src/ratio").Ratio;
+export function quoteAsRatio(quoteAmount: Pick<PriceDescription, "amountIn" | "amountOut">): import("@agoric/ertp/src/ratio.js").Ratio;
 export type MetricsPublisherKit<T> = {
     metricsPublication: IterationObserver<T>;
     metricsSubscription: StoredSubscription<T>;
@@ -24,5 +24,13 @@ export type MetricsPublishKit<T> = {
     metricsPublisher: Publisher<T>;
     metricsSubscriber: StoredSubscriber<T>;
 };
+import type { Amount } from '@agoric/ertp';
+import type { ProposalRecord } from '@agoric/zoe';
+import type { Brand } from '@agoric/ertp';
+import type { NatValue } from '@agoric/ertp';
 import type { PriceDescription } from '@agoric/zoe/tools/types.js';
+import type { IterationObserver } from '@agoric/notifier';
+import type { StoredSubscription } from '@agoric/notifier';
+import type { Publisher } from '@agoric/notifier';
+import type { StoredSubscriber } from '@agoric/notifier';
 //# sourceMappingURL=contractSupport.d.ts.map

package/src/contractSupport.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contractSupport.d.ts","sourceRoot":"","sources":["contractSupport.js"],"names":[],"mappings":";;;;;;;;AA4BO,4BANe,CAAC,SAAT,MAAO,QACV,CAAC,QACD,CAAC,QACD,CAAC,GACC,CAAC,CAGyC;AAQhD,gCALe,CAAC,SAAT,MAAO,QACV,CAAC,SACD,CAAC,GACC,CAAC,CAK2C;AAQlD,yCAHI,cAAc,QACd,MAAM,EAAE,QAQlB;AAMM,kCAHI,MAAM,EAAE,GACN,OAAO,CAInB;AAUM,0CAPI,MAAM,CAAC,KAAK,CAAC,aACb,MAAM,CAAC,KAAK,CAAC,UACb,MAAM,CAAC,KAAK,CAAC,QAcvB;AAoBM,0CAHI,KAAK,QACL,QAAQ;;;EAGmC;AAG/C,0CADK,IAAI,CAAC,gBAAgB,EAAE,UAAU,GAAG,WAAW,CAAC,0CAEO;gCAtBtD,CAAC;wBAEA,iBAAiB,CAAC,CAAC,CAAC;yBACpB,kBAAkB,CAAC,CAAC,CAAC;;8BAItB,CAAC;sBAEA,SAAS,CAAC,CAAC,CAAC;uBACZ,gBAAgB,CAAC,CAAC,CAAC;;sCAvF6D,4BAA4B"}
+{"version":3,"file":"contractSupport.d.ts","sourceRoot":"","sources":["contractSupport.js"],"names":[],"mappings":";;;;;;;;AAiCO,4BANe,CAAC,SAAV,MAAQ,QACV,CAAC,QACD,CAAC,QACD,CAAC,GACC,CAAC,CAGyC;AAQhD,gCALe,CAAC,SAAV,MAAQ,QACV,CAAC,SACD,CAAC,GACC,CAAC,CAK2C;AAQlD,yCAHI,cAAc,QACd,MAAM,EAAE,QAQlB;AAMM,kCAHI,MAAM,EAAE,GACN,OAAO,CAInB;AAUM,0CAPI,OAAO,KAAK,CAAC,aACb,OAAO,KAAK,CAAC,UACb,OAAO,KAAK,CAAC,QAcvB;AAoBM,0CAHI,KAAK,QACL,QAAQ;;;EAGmC;AAG/C,0CADK,IAAI,CAAC,gBAAgB,EAAE,UAAU,GAAG,WAAW,CAAC,6CAEO;gCAtBtD,CAAC;wBAEA,kBAAkB,CAAC,CAAC;yBACpB,mBAAmB,CAAC,CAAC;;8BAItB,CAAC;sBAEA,UAAU,CAAC,CAAC;uBACZ,iBAAiB,CAAC,CAAC;;4BA5FR,cAAc;oCAKgB,aAAa;2BAJ5C,cAAc;8BACX,cAAc;sCAHoD,4BAA4B;uCAKnC,kBAAkB;wCAAlB,kBAAkB;+BAAlB,kBAAkB;sCAAlB,kBAAkB"}

package/src/contractSupport.js

@@ -1,11 +1,16 @@
-// @jessie-check
-
 import { Fail, q } from '@endo/errors';
 import { AmountMath } from '@agoric/ertp';
 import { M } from '@agoric/store';
 import { makeRatioFromAmounts } from '@agoric/zoe/src/contractSupport/index.js';
 
-/** @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js'; */
+/**
+ * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
+ * @import {Amount} from '@agoric/ertp';
+ * @import {Brand} from '@agoric/ertp';
+ * @import {NatValue} from '@agoric/ertp';
+ */
+/** @import {IterationObserver, Publisher, StoredSubscriber, StoredSubscription} from '@agoric/notifier'; */
+/** @import {AmountKeywordRecord, ProposalRecord} from '@agoric/zoe'; */
 
 export const amountPattern = harden({ brand: M.remotable(), value: M.any() });
 export const ratioPattern = harden({

package/src/econCommitteeCharter.d.ts

@@ -1,5 +1,9 @@
 /**
  * @import {MapStore, SetStore} from '@agoric/store';
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {TimestampValue} from '@agoric/time';
+ * @import {ContractMeta, Installation, Instance, ZCF, ZCFSeat} from '@agoric/zoe';
+ * @import {GovernorCreatorFacet} from '@agoric/governance/src/types.js';
  */
 /**
  * @file This contract makes it possible for those who govern contracts to call
@@ -12,26 +16,26 @@ export const INVITATION_MAKERS_DESC: "charter member invitation";
 export const meta: ContractMeta<typeof start>;
 export function start(zcf: ZCF<{
     binaryVoteCounterInstallation: Installation;
-}>, privateArgs: undefined, baggage: import("@agoric/vat-data").Baggage): Promise<{
+}>, _privateArgs: undefined, baggage: Baggage): Promise<{
     creatorFacet: import("@endo/exo").Guarded<{
         /**
-         * @param {Instance} governedInstance
+         * @param {Instance<unknown>} governedInstance
          * @param {GovernorCreatorFacet<any>} governorFacet
          * @param {string} [label] for diagnostic use only
          */
-        addInstance: (governedInstance: Instance, governorFacet: GovernorCreatorFacet<any>, label?: string) => void;
-        makeCharterMemberInvitation: () => Promise<globalThis.Invitation<{
+        addInstance: (governedInstance: Instance<unknown>, governorFacet: GovernorCreatorFacet<any>, label?: string) => void;
+        makeCharterMemberInvitation: () => Promise<import("@agoric/zoe").Invitation<{
             invitationMakers: import("@endo/exo").Guarded<{
-                VoteOnParamChange: () => Promise<globalThis.Invitation<import("@agoric/governance/src/types").ContractGovernanceVoteResult, ParamChangesOfferArgs>>;
-                VoteOnPauseOffers: (instance: any, strings: any, deadline: any) => Promise<globalThis.Invitation<import("@agoric/governance/src/types").ContractGovernanceVoteResult, undefined>>;
-                VoteOnApiCall: (instance: Instance, methodName: string, methodArgs: string[], deadline: import("@agoric/time").TimestampValue) => Promise<globalThis.Invitation<import("@agoric/governance/src/types").ContractGovernanceVoteResult, undefined>>;
+                VoteOnParamChange: () => Promise<import("@agoric/zoe").Invitation<import("@agoric/governance/src/types.js").ContractGovernanceVoteResult, ParamChangesOfferArgs>>;
+                VoteOnPauseOffers: (instance: any, strings: any, deadline: any) => Promise<import("@agoric/zoe").Invitation<import("@agoric/governance/src/types.js").ContractGovernanceVoteResult, undefined>>;
+                VoteOnApiCall: (instance: Instance<unknown>, methodName: string, methodArgs: string[], deadline: TimestampValue) => Promise<import("@agoric/zoe").Invitation<import("@agoric/governance/src/types.js").ContractGovernanceVoteResult, undefined>>;
             }>;
         }, undefined>>;
     }>;
 }>;
 export type ParamChangesOfferArgs = {
     deadline: bigint;
-    instance: Instance;
+    instance: Instance<unknown>;
     params: Record<string, unknown>;
     /**
      * paramPath is determined by contract
@@ -40,4 +44,11 @@ export type ParamChangesOfferArgs = {
         paramPath: unknown;
     } | undefined;
 };
+import type { ContractMeta } from '@agoric/zoe';
+import type { Installation } from '@agoric/zoe';
+import type { ZCF } from '@agoric/zoe';
+import type { Baggage } from '@agoric/vat-data';
+import type { Instance } from '@agoric/zoe';
+import type { GovernorCreatorFacet } from '@agoric/governance/src/types.js';
+import type { TimestampValue } from '@agoric/time';
 //# sourceMappingURL=econCommitteeCharter.d.ts.map

package/src/econCommitteeCharter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"econCommitteeCharter.d.ts","sourceRoot":"","sources":["econCommitteeCharter.js"],"names":[],"mappings":"AAaA;;GAEG;AAEH;;;;;GAKG;AAEH,qCAAsC,2BAA2B,CAAC;AAoBlE,yCAAyC;AACzC,mBADW,YAAY,CAAC,OAAO,KAAK,CAAC,CAMnC;AAQK,2BAJI,GAAG,CAAC;IAAE,6BAA6B,EAAE,YAAY,CAAA;CAAE,CAAC,eACpD,SAAS,WACT,OAAO,kBAAkB,EAAE,OAAO;;QAsHvC;;;;WAIG;wCAHQ,QAAQ,iBACR,oBAAoB,CAAC,GAAG,CAAC,UACzB,MAAM;;;;;0CAzEV,QAAQ,cACR,MAAM,cACN,MAAM,EAAE,YACR,OAAO,cAAc,EAAE,cAAc;;;;GAkFjD;;cAjKa,MAAM;cACN,QAAQ;YACR,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;;;;;mBACV,OAAO"}
+{"version":3,"file":"econCommitteeCharter.d.ts","sourceRoot":"","sources":["econCommitteeCharter.js"],"names":[],"mappings":"AASA;;;;;;GAMG;AAEH;;;;;GAKG;AAEH,qCAAsC,2BAA2B,CAAC;AAoBlE,yCAAyC;AACzC,mBADW,aAAa,OAAO,KAAK,CAAC,CAMnC;AAQK,2BAJI,IAAI;IAAE,6BAA6B,EAAE,YAAY,CAAA;CAAE,CAAC,gBACpD,SAAS,WACT,OAAO;;QAsHZ;;;;WAIG;wCAHQ,SAAS,OAAO,CAAC,iBACjB,qBAAqB,GAAG,CAAC,UACzB,MAAM;;;;;0CAzEV,SAAS,OAAO,CAAC,cACjB,MAAM,cACN,MAAM,EAAE,YACR,cAAc;;;;GAkF1B;;cAjKa,MAAM;cACN,SAAS,OAAO,CAAC;YACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;;;;;mBACV,OAAO;;;kCAlBmC,aAAa;kCAAb,aAAa;yBAAb,aAAa;6BAFxD,kBAAkB;8BAEyB,aAAa;0CAC3C,iCAAiC;oCAFvC,cAAc"}

package/src/econCommitteeCharter.js

@@ -1,7 +1,3 @@
-// @jessie-check
-/// <reference types="@agoric/governance/exported" />
-/// <reference types="@agoric/zoe/exported" />
-
 import { M, mustMatch } from '@agoric/store';
 import { TimestampShape } from '@agoric/time';
 import { prepareExo, provideDurableMapStore } from '@agoric/vat-data';
@@ -13,6 +9,10 @@ import { E } from '@endo/far';
 
 /**
  * @import {MapStore, SetStore} from '@agoric/store';
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {TimestampValue} from '@agoric/time';
+ * @import {ContractMeta, Installation, Instance, ZCF, ZCFSeat} from '@agoric/zoe';
+ * @import {GovernorCreatorFacet} from '@agoric/governance/src/types.js';
  */
 
 /**
@@ -27,7 +27,7 @@ export const INVITATION_MAKERS_DESC = 'charter member invitation';
 /**
  * @typedef {object} ParamChangesOfferArgs
  * @property {bigint} deadline
- * @property {Instance} instance
+ * @property {Instance<unknown>} instance
  * @property {Record<string, unknown>} params
  * @property {{ paramPath: unknown }} [path] paramPath is determined by contract
  */
@@ -53,12 +53,12 @@ harden(meta);
 
 /**
  * @param {ZCF<{ binaryVoteCounterInstallation: Installation }>} zcf
- * @param {undefined} privateArgs
- * @param {import('@agoric/vat-data').Baggage} baggage
+ * @param {undefined} _privateArgs
+ * @param {Baggage} baggage
  */
-export const start = async (zcf, privateArgs, baggage) => {
+export const start = async (zcf, _privateArgs, baggage) => {
   const { binaryVoteCounterInstallation: counter } = zcf.getTerms();
-  /** @type {MapStore<Instance, GovernorCreatorFacet<any>>} */
+  /** @type {MapStore<Instance<unknown>, GovernorCreatorFacet<any>>} */
   const instanceToGovernor = provideDurableMapStore(
     baggage,
     'instanceToGovernor',
@@ -102,10 +102,10 @@ export const start = async (zcf, privateArgs, baggage) => {
   };
 
   /**
-   * @param {Instance} instance
+   * @param {Instance<unknown>} instance
    * @param {string} methodName
    * @param {string[]} methodArgs
-   * @param {import('@agoric/time').TimestampValue} deadline
+   * @param {TimestampValue} deadline
    */
   const makeApiInvocationInvitation = (
     instance,
@@ -173,7 +173,7 @@ export const start = async (zcf, privateArgs, baggage) => {
     CharterCreatorI,
     {
       /**
-       * @param {Instance} governedInstance
+       * @param {Instance<unknown>} governedInstance
        * @param {GovernorCreatorFacet<any>} governorFacet
        * @param {string} [label] for diagnostic use only
        */