feat(types): coreEvalEnv

packages/inter-protocol/test/psm/gov-replace-committee.js

@@ -1,5 +1,6 @@
 /* global E */
-// @ts-nocheck
+// @ts-check
+/// <reference types="@agoric/vats/src/core/coreEvalEnv"/>
 /**
  * @file Script to replace the econ governance committee in a SwingSet Core Eval
  *   (aka big hammer)
@@ -26,12 +27,12 @@ const { values } = Object;
 const zip = (xs, ys) => xs.map((x, i) => [x, ys[i]]);
 
 /**
- * @param {ERef<NameAdmin>} nameAdmin
+ * @param {ERef<import('@agoric/vats').NameAdmin>} nameAdmin
  * @param {string[][]} paths
  */
 const reserveThenGetNamePaths = async (nameAdmin, paths) => {
   /**
-   * @param {ERef<NameAdmin>} nextAdmin
+   * @param {ERef<import('@agoric/vats').NameAdmin>} nextAdmin
    * @param {string[]} path
    */
   const nextPath = async (nextAdmin, path) => {

packages/vats/src/core/coreEvalEnv.d.ts

@@ -0,0 +1,37 @@
+/* eslint-disable */
+/**
+ * @file typesdef for the CoreEval environment
+ *
+ *   To use add this to the top of the proposal: /// <reference
+ *   types="@agoric/vats/src/core/coreEvalEnv"/>
+ *
+ *   That directive has to be before imports, but this one's only useful in
+ *   modules that have no imports or named exports.
+ */
+
+import type { VatData } from '@agoric/swingset-liveslots/src/vatDataTypes.js';
+import type { E, Far, getInterfaceOf, passStyleOf } from '@endo/far';
+import type { Assert, VirtualConsole } from 'ses';
+import type { BootstrapModules } from './boot-chain.js';
+
+// Provided by 'CORE_EVAL' handler in chain-behaviors.js
+declare global {
+  // bootstrap modules
+  var behaviors: BootstrapModules['behaviors'];
+  var utils: BootstrapModules['utils'];
+
+  // @endo/far exports
+  var E: E;
+  var Far: Far;
+  var getInterfaceOfFar: getInterfaceOfFar;
+  var passStyleOfFar: passStyleOfFar;
+
+  // endowments
+  var VatData: VatData;
+  var assert: Assert;
+
+  // console is a VirtualConsole but this directive fails to override the extant global `console`
+  // var console: VirtualConsole;
+
+  // Base64 and URL are not available in all environments
+}

packages/vats/src/proposals/null-upgrade-zoe-proposal.js

@@ -1,4 +1,5 @@
-import { E } from '@endo/far';
+/* global E */
+/// <reference types="@agoric/vats/src/core/coreEvalEnv"/>
 
 /**
  * @param {BootstrapPowers & {