feat(ses,module-source): Add ModuleSource shim

packages/module-source/package.json

@@ -23,6 +23,7 @@
   "main": "./index.js",
   "exports": {
     ".": "./index.js",
+    "./shim.js": "./shim.js",
     "./package.json": "./package.json"
   },
   "scripts": {

packages/module-source/shim.js

@@ -0,0 +1,10 @@
+/* global globalThis */
+
+import { ModuleSource } from './index.js';
+
+Object.defineProperty(globalThis, 'ModuleSource', {
+  value: ModuleSource,
+  enumerable: false,
+  writable: true,
+  configurable: true,
+});

packages/module-source/src/module-source.js

@@ -55,6 +55,19 @@ const analyzeModule = makeModuleAnalyzer();
  * @property {SourceMapHook} [sourceMapHook]
  */
 
+// https://github.com/tc39/proposal-source-phase-imports?tab=readme-ov-file#js-module-source
+function AbstractModuleSource() {
+  // no-op, safe to super()
+}
+
+// WebAssembly and ModuleSource are both in motion.
+// The Source Phase Imports proposal implies an additional AbstractModuleSource
+// layer above the existing WebAssembly.Module that would be shared by
+// the JavaScript ModuleSource prototype chain.
+// At time of writing, no version of WebAssembly provides the shared base class,
+// and the shimmed ModuleSource gains nothing from sharing that prototype when
+// it comes into being.
+
 // XXX implements import('ses').PrecompiledModuleSource but adding
 // `@implements` errors that this isn't a class and `@returns` errors that
 // there's no value returned.
@@ -100,3 +113,5 @@ export function ModuleSource(source, opts = {}) {
   this.__needsImportMeta__ = needsImportMeta;
   freeze(this);
 }
+
+Object.setPrototypeOf(ModuleSource.prototype, AbstractModuleSource.prototype);

packages/ses/src/get-anonymous-intrinsics.js

@@ -161,5 +161,19 @@ export const getAnonymousIntrinsics = () => {
     );
   }
 
+  if (globalThis.ModuleSource) {
+    const AbstractModuleSourcePrototype = getPrototypeOf(
+      globalThis.ModuleSource.prototype,
+    );
+    intrinsics['%AbstractModuleSourcePrototype%'] =
+      AbstractModuleSourcePrototype;
+    intrinsics['%AbstractModuleSource%'] =
+      AbstractModuleSourcePrototype.constructor;
+  }
+
+  if (globalThis.ModuleSource) {
+    intrinsics['%ModuleSourcePrototype%'] = globalThis.ModuleSource.prototype;
+  }
+
   return intrinsics;
 };

packages/ses/src/permits-intrinsics.js

@@ -212,7 +212,9 @@ export default function whitelistIntrinsics(
       }
     }
 
-    throw TypeError(`Unexpected whitelist permit ${permit} at ${path}`);
+    throw TypeError(
+      `Unexpected property ${prop} with permit ${permit} at ${path}`,
+    );
   }
 
   /*

packages/ses/src/permits.js

@@ -101,8 +101,12 @@ export const universalPropertyNames = {
 
   // ESNext
 
+  // https://github.com/tc39/proposal-source-phase-imports?tab=readme-ov-file#js-module-source
+  ModuleSource: 'ModuleSource',
+
   lockdown: 'lockdown',
   harden: 'harden',
+
   HandledPromise: 'HandledPromise', // TODO: Until Promise.delegate (see below).
 };
 
@@ -1505,6 +1509,25 @@ export const permitted = {
     resolve: fn,
   },
 
+  // https://github.com/tc39/proposal-source-phase-imports?tab=readme-ov-file#js-module-source
+  '%AbstractModuleSourcePrototype%': {
+    '@@toStringTag': getter,
+    constructor: '%AbstractModuleSource%',
+  },
+  '%AbstractModuleSource%': {
+    '[[Proto]]': '%FunctionPrototype%',
+    prototype: '%AbstractModuleSourcePrototype%',
+  },
+  '%ModuleSourcePrototype%': {
+    '[[Proto]]': '%AbstractModuleSourcePrototype%',
+    '@@toStringTag': getter,
+    constructor: 'ModuleSource',
+  },
+  ModuleSource: {
+    '[[Proto]]': '%FunctionPrototype%',
+    prototype: '%ModuleSourcePrototype%',
+  },
+
   Promise: {
     // Properties of the Promise Constructor
     '[[Proto]]': '%FunctionPrototype%',

packages/ses/test/module-source.test.js

@@ -1,6 +1,8 @@
+/// <reference types="ses">
+
 import test from 'ava';
 import '../index.js';
-import { ModuleSource } from '@endo/module-source';
+import '@endo/module-source/shim.js';
 
 lockdown();
 
@@ -42,3 +44,8 @@ test('module source constructor', t => {
     'ModuleSource imports should be frozen',
   );
 });
+
+test('ModuleSource is a shared intrinsic', t => {
+  t.truthy(ModuleSource === new Compartment().globalThis.ModuleSource);
+  t.truthy(Object.isFrozen(ModuleSource));
+});