auto-import types

package.json

@@ -39,6 +39,7 @@
     "prettier": "^3.5.3",
     "prettier-plugin-jsdoc": "^1.3.2",
     "prettier-plugin-sh": "^0.17.2",
+    "ts-morph": "^27.0.2",
     "type-coverage": "^2.29.7",
     "typedoc": "^0.26.7",
     "typedoc-plugin-markdown": "^4.2.1",

packages/ERTP/test/swingsetTests/ertpService/ertp-service-upgrade.test.js

@@ -3,6 +3,10 @@ import { test } from '@agoric/swingset-vat/tools/prepare-test-env-ava.js';
 import { assert } from '@endo/errors';
 import { buildVatController } from '@agoric/swingset-vat';
 
+/**
+ * @import {SwingSetConfig} from '@agoric/swingset-vat';
+ */
+
 const bfile = name => new URL(name, import.meta.url).pathname;
 
 test('ertp service upgrade', async t => {

packages/ERTP/tsconfig.json

@@ -1,7 +1,10 @@
 // This file can contain .js-specific Typescript compiler config.
 {
   "extends": "../../tsconfig.json",
-  "compilerOptions": {},
+  "compilerOptions": {
+    "module": "nodenext",
+    "moduleResolution": "nodenext",
+  },
   "include": [
     // omit exported.js because 1) it need not be included in the typecheck of
     // this package because it's only consumed by other packages and 2)

packages/async-flow/tsconfig.json

@@ -1,6 +1,10 @@
 // This file can contain .js-specific Typescript compiler config.
 {
   "extends": "../../tsconfig.json",
+  "compilerOptions": {
+    "module": "nodenext",
+    "moduleResolution": "nodenext",
+  },
   "include": [
     "*.js",
     "scripts",

packages/base-zone/tsconfig.json

@@ -1,7 +1,10 @@
 // This file can contain .js-specific Typescript compiler config.
 {
   "extends": "../../tsconfig.json",
-  "compilerOptions": {},
+  "compilerOptions": {
+    "module": "nodenext",
+    "moduleResolution": "nodenext",
+  },
   "include": [
     "*.js",
     "scripts",

packages/boot/test/upgrading/upgrade-contracts.test.js

@@ -9,6 +9,7 @@ import { buildVatController } from '@agoric/swingset-vat';
 
 /**
  * @import {TestFn} from 'ava';
+ * @import {SwingSetConfig} from '@agoric/swingset-vat';
  */
 
 /**

packages/boot/test/upgrading/upgrade-vats.test.ts

@@ -1,7 +1,7 @@
 import { test } from '@agoric/swingset-vat/tools/prepare-test-env-ava.js';
 
 import { BridgeId, deepCopyJsonable } from '@agoric/internal';
-import { buildVatController } from '@agoric/swingset-vat';
+import { buildVatController, type SwingSetConfig } from '@agoric/swingset-vat';
 import { makeRunUtils } from '@agoric/swingset-vat/tools/run-utils.js';
 import { Fail } from '@endo/errors';
 import { makeTagged } from '@endo/marshal';

packages/boot/tools/liquidation.ts

@@ -9,6 +9,7 @@ import {
 } from '@agoric/vats/tools/board-utils.js';
 import { Offers } from '@agoric/inter-protocol/src/clientSupport.js';
 import type { ExecutionContext } from 'ava';
+import type { ManagerType } from '@agoric/swingset-vat';
 import { insistManagerType, makeSwingsetHarness } from './supports.js';
 import { type SwingsetTestKit, makeSwingsetTestKit } from './supports.js';
 import {

packages/client-utils/src/sync-tools.js

@@ -15,7 +15,7 @@
 
 /**
  * @import {RemotableObject} from '@endo/marshal';
- * @import {VstorageKit} from './vstorage-kit';
+ * @import {VstorageKit} from './vstorage-kit.js';
  */
 
 /**

packages/client-utils/tsconfig.json

@@ -1,6 +1,9 @@
 {
   "extends": "../../tsconfig.json",
-  "compilerOptions": {},
+  "compilerOptions": {
+    "module": "nodenext",
+    "moduleResolution": "nodenext",
+  },
   "include": [
     "src",
     "test",

packages/deploy-script-support/test/unitTests/assertOfferResult.test.js

@@ -3,6 +3,10 @@ import test from 'ava';
 
 import { assertOfferResult } from '../../src/assertOfferResult.js';
 
+/**
+ * @import {UserSeat} from '@agoric/zoe';
+ */
+
 test('assertOfferResult', async t => {
   /** @type {UserSeat} */
   const mockSeat = {

packages/governance/src/contractGovernance/paramManager.js

@@ -27,6 +27,7 @@ import { CONTRACT_ELECTORATE } from './governParam.js';
  * @import {RelativeTime} from '@agoric/time';
  * @import {StoredPublisherKit} from '@agoric/notifier';
  * @import {ParamType} from '../constants.js';
+ * @import {Ratio} from '@agoric/ertp';
  */
 
 /**

packages/governance/src/types.js

@@ -1,3 +1,5 @@
+/* eslint-disable @agoric/group-jsdoc-imports */
+
 export {};
 
 /**
@@ -7,6 +9,15 @@ export {};
  * @import {AdminFacet, InstallationStart, InvitationAmount} from '@agoric/zoe';
  * @import {ContractMeta, Installation, Instance, Invitation, ZCF} from '@agoric/zoe';
  * @import {ContractStartFunction} from '@agoric/zoe/src/zoeService/utils.js';
+ * @import {Ratio} from '@agoric/ertp';
+ * @import {TimestampRecord} from '@agoric/time';
+ * @import {RelativeTimeRecord} from '@agoric/time';
+ * @import {Timestamp} from '@agoric/time';
+ * @import {RelativeTime} from '@agoric/time';
+ * @import {ParamTypesMap} from './contractGovernance/typedParamManager.js';
+ * @import {start} from './contractGovernor.js';
+ * @import {ParamRecordsFromTypes} from './contractGovernance/typedParamManager.js';
+ * @import {TimerService} from '@agoric/time';
  */
 
 /**
@@ -42,8 +53,8 @@ export {};
 
 /**
  * @typedef { Amount | Brand | Installation | Instance | number | bigint |
- *   Ratio | string | import('@agoric/time').TimestampRecord |
- *   import('@agoric/time').RelativeTimeRecord | Container<any, any> } ParamValue
+ *   Ratio | string | TimestampRecord |
+ *   RelativeTimeRecord | Container<any, any> } ParamValue
  */
 
 // XXX better to use the manifest constant ParamTypes
@@ -59,8 +70,8 @@ export {};
  * T extends 'nat' ? bigint :
  * T extends 'ratio' ? Ratio :
  * T extends 'string' ? string :
- * T extends 'timestamp' ? import('@agoric/time').Timestamp :
- * T extends 'relativeTime' ? import('@agoric/time').RelativeTime :
+ * T extends 'timestamp' ? Timestamp :
+ * T extends 'relativeTime' ? RelativeTime :
  * T extends 'unknown' ? unknown :
  * never
  * } ParamValueForType
@@ -74,10 +85,10 @@ export {};
 /**
  * Terms a contract must provide in order to be governed.
  *
- * @template {import('./contractGovernance/typedParamManager.js').ParamTypesMap} T Governed parameters of contract
+ * @template {ParamTypesMap} T Governed parameters of contract
  * @typedef {{
- *   electionManager: import('@agoric/zoe/src/zoeService/utils.js').Instance<typeof import('./contractGovernor.js').start>,
- *   governedParams: import('./contractGovernance/typedParamManager.js').ParamRecordsFromTypes<T & {
+ *   electionManager: Instance<typeof start>,
+ *   governedParams: ParamRecordsFromTypes<T & {
  *     Electorate: 'invitation'
  *   }>
  * }} GovernanceTerms
@@ -342,8 +353,8 @@ export {};
 
 /**
  * @typedef {object} ClosingRule
- * @property {ERef<import('@agoric/time').TimerService>} timer
- * @property {import('@agoric/time').Timestamp} deadline
+ * @property {ERef<TimerService>} timer
+ * @property {Timestamp} deadline
  */
 
 /**
@@ -356,8 +367,8 @@ export {};
  * @typedef {object} AddQuestionReturn
  * @property {VoteCounterPublicFacet} publicFacet
  * @property {VoteCounterCreatorFacet} creatorFacet
- * @property {import('@agoric/zoe/src/zoeService/utils.js').Instance<typeof import('./binaryVoteCounter.js').start>} instance
- * @property {import('@agoric/time').Timestamp} deadline
+ * @property {Instance<typeof import('./binaryVoteCounter.js').start>} instance
+ * @property {Timestamp} deadline
  * @property {Handle<'Question'>} questionHandle
  */
 
@@ -388,7 +399,7 @@ export {};
  * @template [P=StandardParamPath] path for a paramManagerRetriever
  * @typedef {object} ParamChangeIssue
  * @property {ParamChangesSpec<P>} spec
- * @property {import('@agoric/zoe/src/zoeService/utils.js').Instance<(zcf: ZCF<GovernanceTerms<{}>>) => {}>} contract
+ * @property {Instance<(zcf: ZCF<GovernanceTerms<{}>>) => {}>} contract
  */
 
 /**
@@ -441,8 +452,8 @@ export {};
  * @property {(name: string) => bigint} getNat
  * @property {(name: string) => Ratio} getRatio
  * @property {(name: string) => string} getString
- * @property {(name: string) => import('@agoric/time').TimestampRecord} getTimestamp
- * @property {(name: string) => import('@agoric/time').RelativeTimeRecord} getRelativeTime
+ * @property {(name: string) => TimestampRecord} getTimestamp
+ * @property {(name: string) => RelativeTimeRecord} getRelativeTime
  * @property {(name: string) => any} getUnknown
  * @property {(name: string, proposedValue: ParamValue) => ParamValue} getVisibleValue - for
  *   most types, the visible value is the same as proposedValue. For Invitations
@@ -624,7 +635,7 @@ export {};
  *
  * @callback VoteOnParamChanges
  * @param {Installation} voteCounterInstallation
- * @param {import('@agoric/time').Timestamp} deadline
+ * @param {Timestamp} deadline
  * @param {ParamChangesSpec<P>} paramSpec
  * @returns {Promise<ContractGovernanceVoteResult>}
  */
@@ -634,14 +645,14 @@ export {};
  * @param {string} apiMethodName
  * @param {Passable[]} methodArgs
  * @param {Installation} voteCounterInstallation
- * @param {import('@agoric/time').Timestamp} deadline
+ * @param {Timestamp} deadline
  * @returns {Promise<ContractGovernanceVoteResult>}
  */
 
 /**
  * @callback VoteOnOfferFilter
  * @param {Installation} voteCounterInstallation
- * @param {import('@agoric/time').Timestamp} deadline
+ * @param {Timestamp} deadline
  * @param {string[]} strings
  * @returns {Promise<ContractGovernanceVoteResult>}
  */
@@ -689,7 +700,7 @@ export {};
  * @callback AssertContractGovernance
  *
  * @param {ERef<ZoeService>} zoe
- * @param {import('@agoric/zoe/src/zoeService/utils.js').Instance<(zcf: ZCF<GovernanceTerms<{}>>) => {}>} allegedGoverned
+ * @param {Instance<(zcf: ZCF<GovernanceTerms<{}>>) => {}>} allegedGoverned
  * @param {Instance<(zcf) => {publicFacet: GovernorPublic}>} allegedGovernor
  * @param {Installation<typeof import('@agoric/governance/src/contractGovernor.js').start>} contractGovernorInstallation
  * @returns {Promise<GovernancePair>}
@@ -711,7 +722,7 @@ export {};
  */
 
 /**
- * @typedef {typeof import('./contractGovernor.js').start} GovernorSF
+ * @typedef {typeof start} GovernorSF
  */
 
 // TODO find a way to parameterize the startInstance so the governed contract types flow
@@ -722,7 +733,7 @@ export {};
  * Same result as StartedInstanceKit but:
  * - typed for contractGovernor installation being started by Zoe. (It in turn starts the governed contract.)
  * - parameterized by Installation instead of StartFunction
- * @property {import('@agoric/zoe/src/zoeService/utils.js').Instance<GovernorSF>} instance
+ * @property {Instance<GovernorSF>} instance
  * @property {AdminFacet} adminFacet
  * @property {GovernorCreatorFacet<InstallationStart<Awaited<I>>>} creatorFacet
  * @property {GovernorPublic} publicFacet

packages/inter-protocol/src/auction/auctionBook.js

@@ -33,6 +33,7 @@ import {
  * @import {PriceAuthority} from '@agoric/zoe/tools/types.js';
  * @import {TypedPattern, Remote} from '@agoric/internal';
  * @import {MakeRecorderKit} from '@agoric/zoe/src/contractSupport/recorder.js';
+ * @import {Ratio} from '@agoric/ertp';
  */
 
 const { makeEmpty } = AmountMath;

packages/inter-protocol/src/auction/auctionMath.js

@@ -6,6 +6,7 @@ import {
 
 /**
  * @import {Amount} from '@agoric/ertp/src/types.js';
+ * @import {Ratio} from '@agoric/ertp/src/ratio.js';
  */
 
 /**

packages/inter-protocol/src/auction/auctioneer.js

@@ -46,6 +46,7 @@ import { AuctionState } from './util.js';
  * @import {ScheduleNotification} from './scheduler.js';
  * @import {OfferSpec} from './auctionBook.js';
  * @import {FullSchedule} from './scheduler.js';
+ * @import {AssetReservePublicFacet} from '../reserve/assetReserve.js';
  */
 
 const BASIS_POINTS = 10_000n;

packages/inter-protocol/src/auction/offerBook.js

@@ -16,6 +16,7 @@ import {
  * @import {MapStore} from '@agoric/store';
  * @import {Baggage} from '@agoric/vat-data';
  * @import {Key, Pattern} from '@endo/patterns';
+ * @import {Ratio} from '@agoric/ertp';
  */
 
 // multiple offers might be provided at the same time (since the time

packages/inter-protocol/src/auction/params.js

@@ -13,7 +13,8 @@ import { M } from '@agoric/store';
  * @import {Remote} from '@agoric/internal';
  * @import {TimerBrand} from '@agoric/time';
  * @import {StoredPublisherKit} from '@agoric/notifier';
- * @import {TimerService} from '@agoric/time';
+ * @import {RelativeTime, TimerService} from '@agoric/time';
+ * @import {AssetReservePublicFacet} from '../reserve/assetReserve.js';
  */
 
 // TODO duplicated with zoe/src/TypeGuards.js

packages/inter-protocol/src/auction/scheduleMath.js

@@ -9,6 +9,7 @@ import { assertAllDefined, makeTracer } from '@agoric/internal';
  * @import {TimestampRecord} from '@agoric/time';
  * @import {AuctionParamManager} from './params.js';
  * @import {Schedule} from './scheduler.js';
+ * @import {Timestamp} from '@agoric/time';
  */
 
 const { subtract, multiply, floorDivide } = natSafeMath;

packages/inter-protocol/src/auction/scheduler.js

@@ -18,6 +18,8 @@ import {
  * @import {TimerBrand} from '@agoric/time';
  * @import {Recorder} from '@agoric/zoe/src/contractSupport/recorder.js';
  * @import {TimestampRecord} from '@agoric/time';
+ * @import {Timestamp} from '@agoric/time';
+ * @import {RelativeTime} from '@agoric/time';
  */
 
 const trace = makeTracer('SCHED', true);
@@ -99,7 +101,12 @@ export const makeScheduler = async (
    */
   let liveSchedule = null;
 
-  /** @returns {Promise<{ now: Timestamp; nextSchedule: Schedule | null }>} */
+  /**
+   * @returns {Promise<{
+   *   now: Timestamp;
+   *   nextSchedule: Schedule | null;
+   * }>}
+   */
   const initializeNextSchedule = async () => {
     return E.when(
       // XXX manualTimer returns a bigint, not a timeRecord.

packages/inter-protocol/src/auction/sortedOffers.js

@@ -10,6 +10,10 @@ import { RatioShape } from '@agoric/ertp';
 
 import { decodeData, encodeData } from '../vaultFactory/storeUtils.js';
 
+/**
+ * @import {Ratio} from '@agoric/ertp';
+ */
+
 /**
  * @file we use a floating point representation of the price or rate as the
  *   first part of the key in the store. The second part is the sequence number

packages/inter-protocol/src/auction/util.js

@@ -10,6 +10,7 @@ import { Far } from '@endo/marshal';
 /**
  * @import {Key, Pattern} from '@endo/patterns';
  * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
+ * @import {Ratio} from '@agoric/ertp';
  */
 
 /**

packages/inter-protocol/src/interest-math.js

@@ -10,6 +10,7 @@ import {
 
 /**
  * @import {Amount, Brand, Payment} from '@agoric/ertp';
+ * @import {Ratio} from '@agoric/ertp/src/ratio.js';
  */
 
 /**

packages/inter-protocol/src/interest.js

@@ -10,6 +10,9 @@ import { TimeMath } from '@agoric/time';
  * @import {Timestamp} from '@agoric/time'
  * @import {RelativeTime} from '@agoric/time'
  * @import {AdminFacet, InvitationAmount, ZCFMint} from '@agoric/zoe';
+ * @import {Ratio} from '@agoric/ertp';
+ * @import {Calculate, CalculatorKit} from './vaultFactory/types-ambient.js';
+ * @import {MintAndTransfer} from './vaultFactory/types-ambient.js';
  */
 
 export const SECONDS_PER_YEAR = 60n * 60n * 24n * 365n;

packages/inter-protocol/src/proposals/replace-fee-distributor.js

@@ -1,3 +1,4 @@
+// @ts-nocheck
 import { deeplyFulfilledObject, makeTracer } from '@agoric/internal';
 import { Stable } from '@agoric/internal/src/tokens.js';
 import { makeScalarBigMapStore } from '@agoric/vat-data';

packages/inter-protocol/src/proposals/startPSM.js

@@ -27,6 +27,7 @@ import {
 /**
  * @import {BootstrapManifest} from '@agoric/vats/src/core/lib-boot.js'
  * @import {PSMKit} from './econ-behaviors.js';
+ * @import {FeeMintAccess} from '@agoric/zoe';
  */
 /** @import {MetricsNotification} from '../psm/psm.js' */
 /** @import {EconomyBootstrapPowers} from './econ-behaviors.js' */