diff --git a/build/index.html b/build/index.html
index 1cc60b9..2f36759 100644
--- a/build/index.html
+++ b/build/index.html
@@ -1624,7 +1624,7 @@
 });
 
 let sdoMap = JSON.parse(`{}`);
-let biblio = JSON.parse(`{"refsByClause":{"sec-well-known-intrinsic-objects":["_ref_0","_ref_1"],"sec-ContinueDynamicImport":["_ref_2","_ref_13"],"sec-abstract-module-records":["_ref_3","_ref_19","_ref_20","_ref_21","_ref_22","_ref_23"],"sec-HostLoadImportedModule":["_ref_4","_ref_30","_ref_31","_ref_32","_ref_33","_ref_34","_ref_35","_ref_36","_ref_37","_ref_38","_ref_39","_ref_40","_ref_41","_ref_42","_ref_43","_ref_44","_ref_45","_ref_46","_ref_47","_ref_48","_ref_49"],"sec-host-defined-fields-summary":["_ref_5"],"sec-evaluate-import-call":["_ref_6","_ref_7","_ref_8","_ref_9","_ref_10","_ref_11","_ref_12"],"sec-modulerequest-record":["_ref_14","_ref_15"],"sec-ModuleRequestsEqual":["_ref_16","_ref_17","_ref_18"],"sec-modulesourcesequal":["_ref_24","_ref_25","_ref_26"],"sec-parsemodule":["_ref_27","_ref_28"],"sec-source-text-module-record-initialize-environment":["_ref_29"],"sec-FinishLoadingImportedModule":["_ref_50","_ref_51","_ref_52","_ref_53"],"sec-create-default-export-synthetic-module":["_ref_54","_ref_55","_ref_56","_ref_57","_ref_58"],"sec-getmodulesourcerecord":["_ref_59","_ref_60","_ref_61"],"sec-HostGetModuleSourceName":["_ref_62"],"sec-HostGetModuleSourceRecord":["_ref_63","_ref_64","_ref_65"],"sec-module-semantics":["_ref_66","_ref_67"],"sec-module-source-objects":["_ref_68","_ref_69"],"sec-get-%abstractmodulesource%.prototype-%symbol.tostringtag%":["_ref_70","_ref_71","_ref_72","_ref_73"],"sec-properties-of-modulesource-instances":["_ref_74"],"sec-host-hooks-summary":["_ref_75","_ref_76","_ref_77"]},"entries":[{"type":"table","id":"table-well-known-intrinsic-objects","number":1,"caption":"Table 1: Well-Known Intrinsic Objects","referencingIds":["_ref_0"]},{"type":"clause","id":"sec-well-known-intrinsic-objects","titleHTML":"Well-Known Intrinsic Objects","number":"1.1.1.1"},{"type":"clause","id":"sec-object-type","titleHTML":"Object Type","number":"1.1.1","referencingIds":["_ref_6","_ref_8","_ref_10","_ref_11","_ref_70","_ref_71"]},{"type":"clause","id":"sec-ecmascript-language-types","titleHTML":"ECMAScript Language Types","number":"1.1","referencingIds":["_ref_54"]},{"type":"op","aoid":"Type","refId":"sec-ecmascript-data-types-and-values"},{"type":"clause","id":"sec-ecmascript-data-types-and-values","titleHTML":"ECMAScript Data Types and Values","number":"1"},{"type":"op","aoid":"EvaluateImportCall","refId":"sec-evaluate-import-call"},{"type":"clause","id":"sec-evaluate-import-call","title":"EvaluateImportCall ( specifierExpression, phase [ , optionsExpression ] )","titleHTML":"EvaluateImportCall ( <var>specifierExpression</var>, <var>phase</var> [ , <var>optionsExpression</var> ] )","number":"13.3.10.1"},{"type":"op","aoid":"ContinueDynamicImport","refId":"sec-ContinueDynamicImport"},{"type":"clause","id":"sec-ContinueDynamicImport","title":"ContinueDynamicImport ( promiseCapability, phase, moduleCompletion )","titleHTML":"ContinueDynamicImport ( <var>promiseCapability</var>, <var>phase</var>, <var>moduleCompletion</var> )","number":"13.3.10.2","referencingIds":["_ref_53"]},{"type":"clause","id":"sec-import-calls","titleHTML":"Import Calls","number":"13.3.10","referencingIds":["_ref_2","_ref_4"]},{"type":"clause","id":"sec-left-hand-side-expressions","titleHTML":"Left-Hand-Side Expressions","number":"13.3"},{"type":"clause","id":"sec-ecmascript-language-expressions","titleHTML":"ECMAScript Language: Expressions","number":"13"},{"type":"table","id":"table-modulerequest-fields","number":2,"caption":"Table 2: ModuleRequest Record Fields"},{"type":"op","aoid":"ModuleRequestsEqual","refId":"sec-ModuleRequestsEqual"},{"type":"clause","id":"sec-ModuleRequestsEqual","title":"ModuleRequestsEqual ( left, right )","titleHTML":"ModuleRequestsEqual ( <var>left</var>, <var>right</var> )","number":"16.1.1.1.1","referencingIds":["_ref_34","_ref_35","_ref_39","_ref_51"]},{"type":"clause","id":"sec-modulerequest-record","titleHTML":"ModuleRequest Records","number":"16.1.1.1"},{"type":"table","id":"table-abstract-methods-of-module-records","number":3,"caption":"Table 3: Abstract Methods of Module Records"},{"type":"term","term":"ResolvedBinding Record","id":"resolvedbinding-record","referencingIds":["_ref_29"]},{"type":"term","term":"Module Source Record","id":"module-source-record","referencingIds":["_ref_14","_ref_15","_ref_16","_ref_17","_ref_21","_ref_22","_ref_24","_ref_25","_ref_26","_ref_28","_ref_42","_ref_44","_ref_57","_ref_59","_ref_60","_ref_63","_ref_64","_ref_65"]},{"type":"table","id":"table-module-source-record-fields","number":4,"caption":"Table 4: Module Source Record Fields","referencingIds":["_ref_5"]},{"type":"op","aoid":"ModuleSourcesEqual","refId":"sec-modulesourcesequal"},{"type":"clause","id":"sec-modulesourcesequal","title":"ModuleSourcesEqual ( left, right )","titleHTML":"<ins>ModuleSourcesEqual ( <var>left</var>, <var>right</var> )</ins>","number":"16.1.1.2.1","referencingIds":["_ref_18","_ref_46"]},{"type":"clause","id":"sec-abstract-module-records","titleHTML":"Abstract Module Records","number":"16.1.1.2","referencingIds":["_ref_13","_ref_19","_ref_20","_ref_31","_ref_38","_ref_45","_ref_48","_ref_49","_ref_50","_ref_52","_ref_62"]},{"type":"op","aoid":"ParseModule","refId":"sec-parsemodule"},{"type":"clause","id":"sec-parsemodule","title":"ParseModule ( sourceText, realm, hostDefined )","titleHTML":"ParseModule ( <var>sourceText</var>, <var>realm</var>, <var>hostDefined</var> )","number":"16.1.1.3.1"},{"type":"concrete method","refId":"sec-source-text-module-record-initialize-environment"},{"type":"clause","id":"sec-source-text-module-record-initialize-environment","titleHTML":"InitializeEnvironment ( )","number":"16.1.1.3.2"},{"type":"clause","id":"sec-source-text-module-records","titleHTML":"Source Text Module Records","number":"16.1.1.3"},{"type":"term","term":"Canonical ModuleRequest Record","refId":"sec-HostLoadImportedModule"},{"type":"note","id":"note-HostLoadImportedModule-referrer-Realm-Record","number":1},{"type":"op","aoid":"HostLoadImportedModule","refId":"sec-HostLoadImportedModule"},{"type":"clause","id":"sec-HostLoadImportedModule","title":"HostLoadImportedModule ( referrer, moduleRequest, hostDefined, payload )","titleHTML":"HostLoadImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>hostDefined</var>, <var>payload</var> )","number":"16.1.1.4","referencingIds":["_ref_9","_ref_12","_ref_77"]},{"type":"op","aoid":"FinishLoadingImportedModule","refId":"sec-FinishLoadingImportedModule"},{"type":"clause","id":"sec-FinishLoadingImportedModule","title":"FinishLoadingImportedModule ( referrer, moduleRequest, payload, result )","titleHTML":"FinishLoadingImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var> )","number":"16.1.1.5","referencingIds":["_ref_30","_ref_32","_ref_33","_ref_36","_ref_37","_ref_40","_ref_41","_ref_47"]},{"type":"op","aoid":"CreateDefaultExportSyntheticModule","refId":"sec-create-default-export-synthetic-module"},{"type":"clause","id":"sec-create-default-export-synthetic-module","title":"CreateDefaultExportSyntheticModule ( defaultExport )","titleHTML":"CreateDefaultExportSyntheticModule ( <var>defaultExport</var> )","number":"16.1.1.6.1"},{"type":"clause","id":"sec-synthetic-module-records","titleHTML":"Synthetic Module Records","number":"16.1.1.6","referencingIds":["_ref_55","_ref_56","_ref_58"]},{"type":"op","aoid":"GetModuleSourceRecord","refId":"sec-getmodulesourcerecord"},{"type":"clause","id":"sec-getmodulesourcerecord","title":"GetModuleSourceRecord ( specifier )","titleHTML":"<ins>GetModuleSourceRecord ( <var>specifier</var> )</ins>","number":"16.1.1.7","referencingIds":["_ref_7","_ref_67","_ref_69","_ref_73"]},{"type":"op","aoid":"HostGetModuleSourceModuleRecord","refId":"sec-HostGetModuleSourceName"},{"type":"clause","id":"sec-HostGetModuleSourceName","title":"HostGetModuleSourceModuleRecord ( specifier )","titleHTML":"<del>HostGetModuleSourceModuleRecord ( <var>specifier</var> )</del>","number":"16.1.1.8","referencingIds":["_ref_68","_ref_72","_ref_75"]},{"type":"op","aoid":"HostGetModuleSourceRecord","refId":"sec-HostGetModuleSourceRecord"},{"type":"clause","id":"sec-HostGetModuleSourceRecord","title":"HostGetModuleSourceRecord ( specifier )","titleHTML":"<ins>HostGetModuleSourceRecord ( <var>specifier</var> )</ins>","number":"16.1.1.9","referencingIds":["_ref_61","_ref_66","_ref_76"]},{"type":"clause","id":"sec-module-semantics","titleHTML":"Module Semantics","number":"16.1.1"},{"type":"clause","id":"sec-modules","titleHTML":"Modules","number":"16.1"},{"type":"clause","id":"sec-ecmascript-language-scripts-and-modules","titleHTML":"ECMAScript Language: Scripts and Modules","number":"16"},{"type":"term","term":"Module Source Object","refId":"sec-module-source-objects"},{"type":"clause","id":"sec-get-%abstractmodulesource%.prototype-%symbol.tostringtag%","titleHTML":"get %AbstractModuleSource%.prototype [ %Symbol.toStringTag% ]","number":"28.1.1.1"},{"type":"clause","id":"sec-properties-of-the-%abstractmodulesource%-prototype-object","titleHTML":"Properties of the %AbstractModuleSource% Prototype Object","number":"28.1.1"},{"type":"clause","id":"sec-modulesource","titleHTML":"ModuleSource ( )","number":"28.1.2.1"},{"type":"clause","id":"sec-module-source-object","title":"The ModuleSource Constructor","titleHTML":"<ins>The ModuleSource Constructor</ins>","number":"28.1.2","referencingIds":["_ref_1"]},{"type":"term","term":"%ModuleSource% prototype object","refId":"sec-properties-of-the-%modulesource%-prototype-object"},{"type":"term","term":"%ModuleSource.prototype%","refId":"sec-properties-of-the-%modulesource%-prototype-object"},{"type":"clause","id":"sec-%modulesource%.prototype.constructor","title":"%ModuleSource%.prototype.constructor","titleHTML":"<ins>%ModuleSource%.prototype.constructor</ins>","number":"28.1.3.1"},{"type":"clause","id":"sec-properties-of-the-%modulesource%-prototype-object","title":"Properties of the %ModuleSource% Prototype Object","titleHTML":"<ins>Properties of the %ModuleSource% Prototype Object</ins>","number":"28.1.3","referencingIds":["_ref_27","_ref_74"]},{"type":"clause","id":"sec-properties-of-modulesource-instances","title":"Properties of ModuleSource Instances","titleHTML":"<ins>Properties of ModuleSource Instances</ins>","number":"28.1.4"},{"type":"clause","id":"sec-module-source-objects","titleHTML":"Module Source Objects","number":"28.1","referencingIds":["_ref_3","_ref_23","_ref_43"]},{"type":"clause","id":"sec-reflection","titleHTML":"Reflection","number":"28"},{"type":"clause","id":"sec-host-defined-fields-summary","titleHTML":"Host-defined Fields","number":"A.1"},{"type":"clause","id":"sec-host-hooks-summary","titleHTML":"Host Hooks","number":"A.2"},{"type":"clause","id":"sec-host-layering-points","titleHTML":"Host Layering Points","number":"A"},{"type":"clause","id":"sec-copyright-and-software-license","title":"Copyright & Software License","titleHTML":"Copyright &amp; Software License","number":"B"}]}`);
+let biblio = JSON.parse(`{"refsByClause":{"sec-well-known-intrinsic-objects":["_ref_0","_ref_1"],"sec-ContinueDynamicImport":["_ref_2","_ref_13"],"sec-abstract-module-records":["_ref_3","_ref_19","_ref_20","_ref_21","_ref_22","_ref_23"],"sec-HostLoadImportedModule":["_ref_4","_ref_30","_ref_31","_ref_32","_ref_33","_ref_34","_ref_35","_ref_36","_ref_37","_ref_38","_ref_39","_ref_40","_ref_41","_ref_42","_ref_43","_ref_44","_ref_45","_ref_46","_ref_47","_ref_48","_ref_49","_ref_50","_ref_51","_ref_52"],"sec-host-defined-fields-summary":["_ref_5"],"sec-evaluate-import-call":["_ref_6","_ref_7","_ref_8","_ref_9","_ref_10","_ref_11","_ref_12"],"sec-modulerequest-record":["_ref_14","_ref_15"],"sec-ModuleRequestsEqual":["_ref_16","_ref_17","_ref_18"],"sec-modulesourcesequal":["_ref_24","_ref_25","_ref_26"],"sec-parsemodule":["_ref_27","_ref_28"],"sec-source-text-module-record-initialize-environment":["_ref_29"],"sec-FinishLoadingImportedModule":["_ref_53","_ref_54","_ref_55","_ref_56"],"sec-create-default-export-synthetic-module":["_ref_57","_ref_58","_ref_59","_ref_60","_ref_61"],"sec-getmodulesourcerecord":["_ref_62","_ref_63","_ref_64"],"sec-HostGetModuleSourceName":["_ref_65"],"sec-HostGetModuleSourceRecord":["_ref_66","_ref_67","_ref_68"],"sec-module-semantics":["_ref_69","_ref_70"],"sec-module-source-objects":["_ref_71","_ref_72"],"sec-get-%abstractmodulesource%.prototype-%symbol.tostringtag%":["_ref_73","_ref_74","_ref_75","_ref_76"],"sec-properties-of-modulesource-instances":["_ref_77"],"sec-host-hooks-summary":["_ref_78","_ref_79","_ref_80"]},"entries":[{"type":"table","id":"table-well-known-intrinsic-objects","number":1,"caption":"Table 1: Well-Known Intrinsic Objects","referencingIds":["_ref_0"]},{"type":"clause","id":"sec-well-known-intrinsic-objects","titleHTML":"Well-Known Intrinsic Objects","number":"1.1.1.1"},{"type":"clause","id":"sec-object-type","titleHTML":"Object Type","number":"1.1.1","referencingIds":["_ref_6","_ref_8","_ref_10","_ref_11","_ref_73","_ref_74"]},{"type":"clause","id":"sec-ecmascript-language-types","titleHTML":"ECMAScript Language Types","number":"1.1","referencingIds":["_ref_57"]},{"type":"op","aoid":"Type","refId":"sec-ecmascript-data-types-and-values"},{"type":"clause","id":"sec-ecmascript-data-types-and-values","titleHTML":"ECMAScript Data Types and Values","number":"1"},{"type":"op","aoid":"EvaluateImportCall","refId":"sec-evaluate-import-call"},{"type":"clause","id":"sec-evaluate-import-call","title":"EvaluateImportCall ( specifierExpression, phase [ , optionsExpression ] )","titleHTML":"EvaluateImportCall ( <var>specifierExpression</var>, <var>phase</var> [ , <var>optionsExpression</var> ] )","number":"13.3.10.1"},{"type":"op","aoid":"ContinueDynamicImport","refId":"sec-ContinueDynamicImport"},{"type":"clause","id":"sec-ContinueDynamicImport","title":"ContinueDynamicImport ( promiseCapability, phase, moduleCompletion )","titleHTML":"ContinueDynamicImport ( <var>promiseCapability</var>, <var>phase</var>, <var>moduleCompletion</var> )","number":"13.3.10.2","referencingIds":["_ref_56"]},{"type":"clause","id":"sec-import-calls","titleHTML":"Import Calls","number":"13.3.10","referencingIds":["_ref_2","_ref_4"]},{"type":"clause","id":"sec-left-hand-side-expressions","titleHTML":"Left-Hand-Side Expressions","number":"13.3"},{"type":"clause","id":"sec-ecmascript-language-expressions","titleHTML":"ECMAScript Language: Expressions","number":"13"},{"type":"table","id":"table-modulerequest-fields","number":2,"caption":"Table 2: ModuleRequest Record Fields"},{"type":"op","aoid":"ModuleRequestsEqual","refId":"sec-ModuleRequestsEqual"},{"type":"clause","id":"sec-ModuleRequestsEqual","title":"ModuleRequestsEqual ( left, right )","titleHTML":"ModuleRequestsEqual ( <var>left</var>, <var>right</var> )","number":"16.1.1.1.1","referencingIds":["_ref_39","_ref_40","_ref_44","_ref_54"]},{"type":"clause","id":"sec-modulerequest-record","titleHTML":"ModuleRequest Records","number":"16.1.1.1"},{"type":"table","id":"table-abstract-methods-of-module-records","number":3,"caption":"Table 3: Abstract Methods of Module Records"},{"type":"term","term":"ResolvedBinding Record","id":"resolvedbinding-record","referencingIds":["_ref_29"]},{"type":"term","term":"Module Source Record","id":"module-source-record","referencingIds":["_ref_14","_ref_15","_ref_16","_ref_17","_ref_21","_ref_22","_ref_24","_ref_25","_ref_26","_ref_28","_ref_32","_ref_37","_ref_52","_ref_60","_ref_62","_ref_63","_ref_66","_ref_67","_ref_68"]},{"type":"table","id":"table-module-source-record-fields","number":4,"caption":"Table 4: Module Source Record Fields","referencingIds":["_ref_5"]},{"type":"op","aoid":"ModuleSourcesEqual","refId":"sec-modulesourcesequal"},{"type":"clause","id":"sec-modulesourcesequal","title":"ModuleSourcesEqual ( left, right )","titleHTML":"<ins>ModuleSourcesEqual ( <var>left</var>, <var>right</var> )</ins>","number":"16.1.1.2.1","referencingIds":["_ref_18","_ref_34","_ref_38"]},{"type":"clause","id":"sec-abstract-module-records","titleHTML":"Abstract Module Records","number":"16.1.1.2","referencingIds":["_ref_13","_ref_19","_ref_20","_ref_31","_ref_43","_ref_48","_ref_49","_ref_53","_ref_55","_ref_65"]},{"type":"op","aoid":"ParseModule","refId":"sec-parsemodule"},{"type":"clause","id":"sec-parsemodule","title":"ParseModule ( sourceText, realm, hostDefined )","titleHTML":"ParseModule ( <var>sourceText</var>, <var>realm</var>, <var>hostDefined</var> )","number":"16.1.1.3.1"},{"type":"concrete method","refId":"sec-source-text-module-record-initialize-environment"},{"type":"clause","id":"sec-source-text-module-record-initialize-environment","titleHTML":"InitializeEnvironment ( )","number":"16.1.1.3.2"},{"type":"clause","id":"sec-source-text-module-records","titleHTML":"Source Text Module Records","number":"16.1.1.3"},{"type":"term","term":"Canonical ModuleRequest Record","refId":"sec-HostLoadImportedModule"},{"type":"note","id":"note-HostLoadImportedModule-referrer-Realm-Record","number":1},{"type":"op","aoid":"HostLoadImportedModule","refId":"sec-HostLoadImportedModule"},{"type":"clause","id":"sec-HostLoadImportedModule","title":"HostLoadImportedModule ( referrer, moduleRequest, hostDefined, payload )","titleHTML":"HostLoadImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>hostDefined</var>, <var>payload</var> )","number":"16.1.1.4","referencingIds":["_ref_9","_ref_12","_ref_80"]},{"type":"op","aoid":"FinishLoadingImportedModule","refId":"sec-FinishLoadingImportedModule"},{"type":"clause","id":"sec-FinishLoadingImportedModule","title":"FinishLoadingImportedModule ( referrer, moduleRequest, payload, result )","titleHTML":"FinishLoadingImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var> )","number":"16.1.1.5","referencingIds":["_ref_30","_ref_33","_ref_35","_ref_36","_ref_41","_ref_42","_ref_45","_ref_46","_ref_47"]},{"type":"op","aoid":"CreateDefaultExportSyntheticModule","refId":"sec-create-default-export-synthetic-module"},{"type":"clause","id":"sec-create-default-export-synthetic-module","title":"CreateDefaultExportSyntheticModule ( defaultExport )","titleHTML":"CreateDefaultExportSyntheticModule ( <var>defaultExport</var> )","number":"16.1.1.6.1"},{"type":"clause","id":"sec-synthetic-module-records","titleHTML":"Synthetic Module Records","number":"16.1.1.6","referencingIds":["_ref_58","_ref_59","_ref_61"]},{"type":"op","aoid":"GetModuleSourceRecord","refId":"sec-getmodulesourcerecord"},{"type":"clause","id":"sec-getmodulesourcerecord","title":"GetModuleSourceRecord ( specifier )","titleHTML":"<ins>GetModuleSourceRecord ( <var>specifier</var> )</ins>","number":"16.1.1.7","referencingIds":["_ref_7","_ref_70","_ref_72","_ref_76"]},{"type":"op","aoid":"HostGetModuleSourceModuleRecord","refId":"sec-HostGetModuleSourceName"},{"type":"clause","id":"sec-HostGetModuleSourceName","title":"HostGetModuleSourceModuleRecord ( specifier )","titleHTML":"<del>HostGetModuleSourceModuleRecord ( <var>specifier</var> )</del>","number":"16.1.1.8","referencingIds":["_ref_71","_ref_75","_ref_78"]},{"type":"op","aoid":"HostGetModuleSourceRecord","refId":"sec-HostGetModuleSourceRecord"},{"type":"clause","id":"sec-HostGetModuleSourceRecord","title":"HostGetModuleSourceRecord ( specifier )","titleHTML":"<ins>HostGetModuleSourceRecord ( <var>specifier</var> )</ins>","number":"16.1.1.9","referencingIds":["_ref_64","_ref_69","_ref_79"]},{"type":"clause","id":"sec-module-semantics","titleHTML":"Module Semantics","number":"16.1.1"},{"type":"clause","id":"sec-modules","titleHTML":"Modules","number":"16.1"},{"type":"clause","id":"sec-ecmascript-language-scripts-and-modules","titleHTML":"ECMAScript Language: Scripts and Modules","number":"16"},{"type":"term","term":"Module Source Object","refId":"sec-module-source-objects"},{"type":"clause","id":"sec-get-%abstractmodulesource%.prototype-%symbol.tostringtag%","titleHTML":"get %AbstractModuleSource%.prototype [ %Symbol.toStringTag% ]","number":"28.1.1.1"},{"type":"clause","id":"sec-properties-of-the-%abstractmodulesource%-prototype-object","titleHTML":"Properties of the %AbstractModuleSource% Prototype Object","number":"28.1.1"},{"type":"clause","id":"sec-modulesource","titleHTML":"ModuleSource ( )","number":"28.1.2.1"},{"type":"clause","id":"sec-module-source-object","title":"The ModuleSource Constructor","titleHTML":"<ins>The ModuleSource Constructor</ins>","number":"28.1.2","referencingIds":["_ref_1"]},{"type":"term","term":"%ModuleSource% prototype object","refId":"sec-properties-of-the-%modulesource%-prototype-object"},{"type":"term","term":"%ModuleSource.prototype%","refId":"sec-properties-of-the-%modulesource%-prototype-object"},{"type":"clause","id":"sec-%modulesource%.prototype.constructor","title":"%ModuleSource%.prototype.constructor","titleHTML":"<ins>%ModuleSource%.prototype.constructor</ins>","number":"28.1.3.1"},{"type":"clause","id":"sec-properties-of-the-%modulesource%-prototype-object","title":"Properties of the %ModuleSource% Prototype Object","titleHTML":"<ins>Properties of the %ModuleSource% Prototype Object</ins>","number":"28.1.3","referencingIds":["_ref_27","_ref_77"]},{"type":"clause","id":"sec-properties-of-modulesource-instances","title":"Properties of ModuleSource Instances","titleHTML":"<ins>Properties of ModuleSource Instances</ins>","number":"28.1.4"},{"type":"clause","id":"sec-module-source-objects","titleHTML":"Module Source Objects","number":"28.1","referencingIds":["_ref_3","_ref_23","_ref_50","_ref_51"]},{"type":"clause","id":"sec-reflection","titleHTML":"Reflection","number":"28"},{"type":"clause","id":"sec-host-defined-fields-summary","titleHTML":"Host-defined Fields","number":"A.1"},{"type":"clause","id":"sec-host-hooks-summary","titleHTML":"Host Hooks","number":"A.2"},{"type":"clause","id":"sec-host-layering-points","titleHTML":"Host Layering Points","number":"A"},{"type":"clause","id":"sec-copyright-and-software-license","title":"Copyright & Software License","titleHTML":"Copyright &amp; Software License","number":"B"}]}`);
 ;let usesMultipage = false</script><style>:root {
   --foreground-color: #111;
   --background-color: #fff;
@@ -3993,7 +3993,7 @@
 </ul></div><div id="menu-toggle"><svg xmlns="http://www.w3.org/2000/svg" style="width:100%; height:100%; stroke:currentColor" viewBox="0 0 120 120" width="54" height="54">
       <title>Menu</title>
       <path stroke-width="10" stroke-linecap="round" d="M30,60 h60  M30,30 m0,5 h60  M30,90 m0,-5 h60"></path>
-    </svg></div><div id="menu-spacer" class="menu-spacer"></div><div id="menu"><div id="menu-search"><input type="text" id="menu-search-box" placeholder="Search..."><div id="menu-search-results" class="inactive"></div></div><div id="menu-pins"><div class="menu-pane-header">Pins<button class="unpin-all">clear</button></div><ul id="menu-pins-list"></ul></div><div class="menu-pane-header">Table of Contents</div><div id="menu-toc"><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-ecmascript-data-types-and-values" title="ECMAScript Data Types and Values"><span class="secnum">1</span> ECMAScript Data Types and Values</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-ecmascript-language-types" title="ECMAScript Language Types"><span class="secnum">1.1</span> ECMAScript Language Types</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-object-type" title="Object Type"><span class="secnum">1.1.1</span> Object Type</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-well-known-intrinsic-objects" title="Well-Known Intrinsic Objects"><span class="secnum">1.1.1.1</span> Well-Known Intrinsic Objects</a></li></ol></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-ecmascript-language-expressions" title="ECMAScript Language: Expressions"><span class="secnum">13</span> ECMAScript Language: Expressions</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-left-hand-side-expressions" title="Left-Hand-Side Expressions"><span class="secnum">13.3</span> Left-Hand-Side Expressions</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-import-calls" title="Import Calls"><span class="secnum">13.3.10</span> Import Calls</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-evaluate-import-call" title="EvaluateImportCall ( specifierExpression, phase [ , optionsExpression ] )"><span class="secnum">13.3.10.1</span> EvaluateImportCall ( <var>specifierExpression</var>, <var>phase</var> [ , <var>optionsExpression</var> ] )</a></li><li><span class="item-toggle-none"></span><a href="#sec-ContinueDynamicImport" title="ContinueDynamicImport ( promiseCapability, phase, moduleCompletion )"><span class="secnum">13.3.10.2</span> ContinueDynamicImport ( <var>promiseCapability</var>, <var>phase</var>, <var>moduleCompletion</var> )</a></li></ol></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-ecmascript-language-scripts-and-modules" title="ECMAScript Language: Scripts and Modules"><span class="secnum">16</span> ECMAScript Language: Scripts and Modules</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-modules" title="Modules"><span class="secnum">16.1</span> Modules</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-module-semantics" title="Module Semantics"><span class="secnum">16.1.1</span> Module Semantics</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-modulerequest-record" title="ModuleRequest Records"><span class="secnum">16.1.1.1</span> ModuleRequest Records</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-ModuleRequestsEqual" title="ModuleRequestsEqual ( left, right )"><span class="secnum">16.1.1.1.1</span> ModuleRequestsEqual ( <var>left</var>, <var>right</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-abstract-module-records" title="Abstract Module Records"><span class="secnum">16.1.1.2</span> Abstract Module Records</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-modulesourcesequal" title="ModuleSourcesEqual ( left, right )"><span class="secnum">16.1.1.2.1</span> <ins>ModuleSourcesEqual ( <var>left</var>, <var>right</var> )</ins></a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-source-text-module-records" title="Source Text Module Records"><span class="secnum">16.1.1.3</span> Source Text Module Records</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-parsemodule" title="ParseModule ( sourceText, realm, hostDefined )"><span class="secnum">16.1.1.3.1</span> ParseModule ( <var>sourceText</var>, <var>realm</var>, <var>hostDefined</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-source-text-module-record-initialize-environment" title="InitializeEnvironment ( )"><span class="secnum">16.1.1.3.2</span> InitializeEnvironment ( )</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-HostLoadImportedModule" title="HostLoadImportedModule ( referrer, moduleRequest, hostDefined, payload )"><span class="secnum">16.1.1.4</span> HostLoadImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>hostDefined</var>, <var>payload</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-FinishLoadingImportedModule" title="FinishLoadingImportedModule ( referrer, moduleRequest, payload, result )"><span class="secnum">16.1.1.5</span> FinishLoadingImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var> )</a></li><li><span class="item-toggle">+</span><a href="#sec-synthetic-module-records" title="Synthetic Module Records"><span class="secnum">16.1.1.6</span> Synthetic Module Records</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-create-default-export-synthetic-module" title="CreateDefaultExportSyntheticModule ( defaultExport )"><span class="secnum">16.1.1.6.1</span> CreateDefaultExportSyntheticModule ( <var>defaultExport</var> )</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-getmodulesourcerecord" title="GetModuleSourceRecord ( specifier )"><span class="secnum">16.1.1.7</span> <ins>GetModuleSourceRecord ( <var>specifier</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-HostGetModuleSourceName" title="HostGetModuleSourceModuleRecord ( specifier )"><span class="secnum">16.1.1.8</span> <del>HostGetModuleSourceModuleRecord ( <var>specifier</var> )</del></a></li><li><span class="item-toggle-none"></span><a href="#sec-HostGetModuleSourceRecord" title="HostGetModuleSourceRecord ( specifier )"><span class="secnum">16.1.1.9</span> <ins>HostGetModuleSourceRecord ( <var>specifier</var> )</ins></a></li></ol></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-reflection" title="Reflection"><span class="secnum">28</span> Reflection</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-module-source-objects" title="Module Source Objects"><span class="secnum">28.1</span> Module Source Objects</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-%abstractmodulesource%-prototype-object" title="Properties of the %AbstractModuleSource% Prototype Object"><span class="secnum">28.1.1</span> Properties of the %AbstractModuleSource% Prototype Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-get-%abstractmodulesource%.prototype-%symbol.tostringtag%" title="get %AbstractModuleSource%.prototype [ %Symbol.toStringTag% ]"><span class="secnum">28.1.1.1</span> get %AbstractModuleSource%.prototype [ %Symbol.toStringTag% ]</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-module-source-object" title="The ModuleSource Constructor"><span class="secnum">28.1.2</span> <ins>The ModuleSource Constructor</ins></a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-modulesource" title="ModuleSource ( )"><span class="secnum">28.1.2.1</span> ModuleSource ( )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-%modulesource%-prototype-object" title="Properties of the %ModuleSource% Prototype Object"><span class="secnum">28.1.3</span> <ins>Properties of the %ModuleSource% Prototype Object</ins></a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-%modulesource%.prototype.constructor" title="%ModuleSource%.prototype.constructor"><span class="secnum">28.1.3.1</span> <ins>%ModuleSource%.prototype.constructor</ins></a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-properties-of-modulesource-instances" title="Properties of ModuleSource Instances"><span class="secnum">28.1.4</span> <ins>Properties of ModuleSource Instances</ins></a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-host-layering-points" title="Host Layering Points"><span class="secnum">Annex A <span class="annex-kind">(informative)</span></span> Host Layering Points</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-host-defined-fields-summary" title="Host-defined Fields"><span class="secnum">A.1</span> Host-defined Fields</a></li><li><span class="item-toggle-none"></span><a href="#sec-host-hooks-summary" title="Host Hooks"><span class="secnum">A.2</span> Host Hooks</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-copyright-and-software-license" title="Copyright &amp; Software License">Copyright &amp; Software License</a></li></ol></div></div><div id="spec-container"><h1 class="version">Stage 2.7 Draft / March 24, 2026</h1><h1 class="title">ECMAScript Module Phase Imports</h1>
+    </svg></div><div id="menu-spacer" class="menu-spacer"></div><div id="menu"><div id="menu-search"><input type="text" id="menu-search-box" placeholder="Search..."><div id="menu-search-results" class="inactive"></div></div><div id="menu-pins"><div class="menu-pane-header">Pins<button class="unpin-all">clear</button></div><ul id="menu-pins-list"></ul></div><div class="menu-pane-header">Table of Contents</div><div id="menu-toc"><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-ecmascript-data-types-and-values" title="ECMAScript Data Types and Values"><span class="secnum">1</span> ECMAScript Data Types and Values</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-ecmascript-language-types" title="ECMAScript Language Types"><span class="secnum">1.1</span> ECMAScript Language Types</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-object-type" title="Object Type"><span class="secnum">1.1.1</span> Object Type</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-well-known-intrinsic-objects" title="Well-Known Intrinsic Objects"><span class="secnum">1.1.1.1</span> Well-Known Intrinsic Objects</a></li></ol></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-ecmascript-language-expressions" title="ECMAScript Language: Expressions"><span class="secnum">13</span> ECMAScript Language: Expressions</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-left-hand-side-expressions" title="Left-Hand-Side Expressions"><span class="secnum">13.3</span> Left-Hand-Side Expressions</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-import-calls" title="Import Calls"><span class="secnum">13.3.10</span> Import Calls</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-evaluate-import-call" title="EvaluateImportCall ( specifierExpression, phase [ , optionsExpression ] )"><span class="secnum">13.3.10.1</span> EvaluateImportCall ( <var>specifierExpression</var>, <var>phase</var> [ , <var>optionsExpression</var> ] )</a></li><li><span class="item-toggle-none"></span><a href="#sec-ContinueDynamicImport" title="ContinueDynamicImport ( promiseCapability, phase, moduleCompletion )"><span class="secnum">13.3.10.2</span> ContinueDynamicImport ( <var>promiseCapability</var>, <var>phase</var>, <var>moduleCompletion</var> )</a></li></ol></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-ecmascript-language-scripts-and-modules" title="ECMAScript Language: Scripts and Modules"><span class="secnum">16</span> ECMAScript Language: Scripts and Modules</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-modules" title="Modules"><span class="secnum">16.1</span> Modules</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-module-semantics" title="Module Semantics"><span class="secnum">16.1.1</span> Module Semantics</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-modulerequest-record" title="ModuleRequest Records"><span class="secnum">16.1.1.1</span> ModuleRequest Records</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-ModuleRequestsEqual" title="ModuleRequestsEqual ( left, right )"><span class="secnum">16.1.1.1.1</span> ModuleRequestsEqual ( <var>left</var>, <var>right</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-abstract-module-records" title="Abstract Module Records"><span class="secnum">16.1.1.2</span> Abstract Module Records</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-modulesourcesequal" title="ModuleSourcesEqual ( left, right )"><span class="secnum">16.1.1.2.1</span> <ins>ModuleSourcesEqual ( <var>left</var>, <var>right</var> )</ins></a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-source-text-module-records" title="Source Text Module Records"><span class="secnum">16.1.1.3</span> Source Text Module Records</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-parsemodule" title="ParseModule ( sourceText, realm, hostDefined )"><span class="secnum">16.1.1.3.1</span> ParseModule ( <var>sourceText</var>, <var>realm</var>, <var>hostDefined</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-source-text-module-record-initialize-environment" title="InitializeEnvironment ( )"><span class="secnum">16.1.1.3.2</span> InitializeEnvironment ( )</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-HostLoadImportedModule" title="HostLoadImportedModule ( referrer, moduleRequest, hostDefined, payload )"><span class="secnum">16.1.1.4</span> HostLoadImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>hostDefined</var>, <var>payload</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-FinishLoadingImportedModule" title="FinishLoadingImportedModule ( referrer, moduleRequest, payload, result )"><span class="secnum">16.1.1.5</span> FinishLoadingImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var> )</a></li><li><span class="item-toggle">+</span><a href="#sec-synthetic-module-records" title="Synthetic Module Records"><span class="secnum">16.1.1.6</span> Synthetic Module Records</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-create-default-export-synthetic-module" title="CreateDefaultExportSyntheticModule ( defaultExport )"><span class="secnum">16.1.1.6.1</span> CreateDefaultExportSyntheticModule ( <var>defaultExport</var> )</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-getmodulesourcerecord" title="GetModuleSourceRecord ( specifier )"><span class="secnum">16.1.1.7</span> <ins>GetModuleSourceRecord ( <var>specifier</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-HostGetModuleSourceName" title="HostGetModuleSourceModuleRecord ( specifier )"><span class="secnum">16.1.1.8</span> <del>HostGetModuleSourceModuleRecord ( <var>specifier</var> )</del></a></li><li><span class="item-toggle-none"></span><a href="#sec-HostGetModuleSourceRecord" title="HostGetModuleSourceRecord ( specifier )"><span class="secnum">16.1.1.9</span> <ins>HostGetModuleSourceRecord ( <var>specifier</var> )</ins></a></li></ol></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-reflection" title="Reflection"><span class="secnum">28</span> Reflection</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-module-source-objects" title="Module Source Objects"><span class="secnum">28.1</span> Module Source Objects</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-%abstractmodulesource%-prototype-object" title="Properties of the %AbstractModuleSource% Prototype Object"><span class="secnum">28.1.1</span> Properties of the %AbstractModuleSource% Prototype Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-get-%abstractmodulesource%.prototype-%symbol.tostringtag%" title="get %AbstractModuleSource%.prototype [ %Symbol.toStringTag% ]"><span class="secnum">28.1.1.1</span> get %AbstractModuleSource%.prototype [ %Symbol.toStringTag% ]</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-module-source-object" title="The ModuleSource Constructor"><span class="secnum">28.1.2</span> <ins>The ModuleSource Constructor</ins></a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-modulesource" title="ModuleSource ( )"><span class="secnum">28.1.2.1</span> ModuleSource ( )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-%modulesource%-prototype-object" title="Properties of the %ModuleSource% Prototype Object"><span class="secnum">28.1.3</span> <ins>Properties of the %ModuleSource% Prototype Object</ins></a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-%modulesource%.prototype.constructor" title="%ModuleSource%.prototype.constructor"><span class="secnum">28.1.3.1</span> <ins>%ModuleSource%.prototype.constructor</ins></a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-properties-of-modulesource-instances" title="Properties of ModuleSource Instances"><span class="secnum">28.1.4</span> <ins>Properties of ModuleSource Instances</ins></a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-host-layering-points" title="Host Layering Points"><span class="secnum">Annex A <span class="annex-kind">(informative)</span></span> Host Layering Points</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-host-defined-fields-summary" title="Host-defined Fields"><span class="secnum">A.1</span> Host-defined Fields</a></li><li><span class="item-toggle-none"></span><a href="#sec-host-hooks-summary" title="Host Hooks"><span class="secnum">A.2</span> Host Hooks</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-copyright-and-software-license" title="Copyright &amp; Software License">Copyright &amp; Software License</a></li></ol></div></div><div id="spec-container"><h1 class="version">Stage 2.7 Draft / April 25, 2026</h1><h1 class="title">ECMAScript Module Phase Imports</h1>
 
 <emu-clause id="sec-ecmascript-data-types-and-values" aoid="Type">
   <h1><span class="secnum">1</span> ECMAScript Data Types and Values</h1>
@@ -4979,17 +4979,6 @@ <h1><span class="secnum">16.1.1.2</span> Abstract Module Records</h1>
                 <ins>Field reserved for use by <emu-xref href="#host-environment"><a href="https://tc39.es/ecma262/#host-environment">host environments</a></emu-xref> that need to associate additional information with a module. This typically contains the canonical module specifier (e.g. the resolved URL) and other <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref>-specific metadata.</ins>
               </td>
             </tr>
-            <tr>
-              <td>
-                <ins><var class="field">[[SourceText]]</var></ins>
-              </td>
-              <td>
-                <ins><emu-xref href="#sec-source-text"><a href="https://tc39.es/ecma262/#sec-source-text">ECMAScript source text</a></emu-xref> or <emu-const>none</emu-const></ins>
-              </td>
-              <td>
-                <ins>The original <emu-xref href="#sec-source-text"><a href="https://tc39.es/ecma262/#sec-source-text">source text</a></emu-xref> for this module, if a <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref>.</ins>
-              </td>
-            </tr>
             <tr>
               <td>
                 <ins><var class="field">[[ModuleSourceKind]]</var></ins>
@@ -5019,7 +5008,7 @@ <h1><span class="secnum">16.1.1.2</span> Abstract Module Records</h1>
           <h1><span class="secnum">16.1.1.2.1</span> <ins>ModuleSourcesEqual ( <var>left</var>, <var>right</var> )</ins></h1>
           <p>The abstract operation ModuleSourcesEqual takes arguments <var>left</var> (a <emu-xref href="#module-source-record" id="_ref_24"><a href="#module-source-record">Module Source Record</a></emu-xref>) and <var>right</var> (a <emu-xref href="#module-source-record" id="_ref_25"><a href="#module-source-record">Module Source Record</a></emu-xref>) and returns a Boolean.</p><ins>It checks module source equality of two <emu-xref href="#module-source-record" id="_ref_26"><a href="#module-source-record">Module Source Records</a></emu-xref>.</ins>
           <p>It performs the following steps when called:</p>
-          <emu-alg><ol><li>If <var>left</var>.<var class="field">[[SourceText]]</var> is <emu-const>none</emu-const> or <var>right</var>.<var class="field">[[SourceText]]</var> is <emu-const>none</emu-const>, return <emu-val>false</emu-val>.</li><li>If <var>left</var>.<var class="field">[[HostDefined]]</var> is not <var>right</var>.<var class="field">[[HostDefined]]</var>, return <emu-val>false</emu-val>.</li><li>If <var>left</var>.<var class="field">[[SourceText]]</var> is not <var>right</var>.<var class="field">[[SourceText]]</var>, return <emu-val>false</emu-val>.</li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
+          <emu-alg><ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>left</var>.<var class="field">[[ModuleSource]]</var> is not <emu-const>empty</emu-const>.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>right</var>.<var class="field">[[ModuleSource]]</var> is not <emu-const>empty</emu-const>.</li><li>If <var>left</var>.<var class="field">[[ModuleSource]]</var> is not <var>right</var>.<var class="field">[[ModuleSource]]</var>, return <emu-val>false</emu-val>.</li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
         </emu-clause>
       </emu-clause>
 
@@ -5029,7 +5018,7 @@ <h1><span class="secnum">16.1.1.3</span> Source Text Module Records</h1>
         <emu-clause id="sec-parsemodule" type="abstract operation" aoid="ParseModule">
           <h1><span class="secnum">16.1.1.3.1</span> ParseModule ( <var>sourceText</var>, <var>realm</var>, <var>hostDefined</var> )</h1>
           <p>The abstract operation ParseModule takes arguments <var>sourceText</var> (<emu-xref href="#sec-source-text"><a href="https://tc39.es/ecma262/#sec-source-text">ECMAScript source text</a></emu-xref>), <var>realm</var> (a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), and <var>hostDefined</var> (anything) and returns a <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref> or a non-empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-val>SyntaxError</emu-val> objects. It creates a <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref> based upon the result of parsing <var>sourceText</var> as a <emu-nt><a href="https://tc39.es/ecma262/#prod-Module">Module</a></emu-nt>. It performs the following steps when called:</p>
-          <emu-alg><ol><li>Let <var>body</var> be <emu-xref aoid="ParseText"><a href="https://tc39.es/ecma262/#sec-parsetext">ParseText</a></emu-xref>(<var>sourceText</var>, <emu-nt><a href="https://tc39.es/ecma262/#prod-Module">Module</a></emu-nt>).</li><li>If <var>body</var> is a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of errors, return <var>body</var>.</li><li>Let <var>requestedModules</var> be the <emu-xref aoid="ModuleRequests"><a href="https://tc39.es/ecma262/#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <var>body</var>.</li><li>Let <var>importEntries</var> be the <emu-xref aoid="ImportEntries"><a href="https://tc39.es/ecma262/#sec-static-semantics-importentries">ImportEntries</a></emu-xref> of <var>body</var>.</li><li>Let <var>importedBoundNames</var> be <emu-xref aoid="ImportedLocalNames"><a href="https://tc39.es/ecma262/#sec-importedlocalnames">ImportedLocalNames</a></emu-xref>(<var>importEntries</var>).</li><li>Let <var>indirectExportEntries</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Let <var>localExportEntries</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Let <var>starExportEntries</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Let <var>exportEntries</var> be the <emu-xref aoid="ExportEntries"><a href="https://tc39.es/ecma262/#sec-static-semantics-exportentries">ExportEntries</a></emu-xref> of <var>body</var>.</li><li>For each <emu-xref href="#exportentry-record"><a href="https://tc39.es/ecma262/#exportentry-record">ExportEntry Record</a></emu-xref> <var>ee</var> of <var>exportEntries</var>, do<ol><li>If <var>ee</var>.<var class="field">[[ModuleRequest]]</var> is <emu-val>null</emu-val>, then<ol><li>If <var>importedBoundNames</var> does not contain <var>ee</var>.<var class="field">[[LocalName]]</var>, then<ol><li>Append <var>ee</var> to <var>localExportEntries</var>.</li></ol></li><li>Else,<ol><li>Let <var>ie</var> be the element of <var>importEntries</var> whose <var class="field">[[LocalName]]</var> is <var>ee</var>.<var class="field">[[LocalName]]</var>.</li><li>If <var>ie</var>.<var class="field">[[ImportName]]</var> is <emu-const>namespace-object</emu-const>, then<ol><li>NOTE: This is a re-export of an imported module namespace object.</li><li>Append <var>ee</var> to <var>localExportEntries</var>.</li></ol></li><li>Else,<ol><li>NOTE: This is a re-export of a single name.</li><li>Append the <emu-xref href="#exportentry-record"><a href="https://tc39.es/ecma262/#exportentry-record">ExportEntry Record</a></emu-xref> { <var class="field">[[ModuleRequest]]</var>: <var>ie</var>.<var class="field">[[ModuleRequest]]</var>, <var class="field">[[ImportName]]</var>: <var>ie</var>.<var class="field">[[ImportName]]</var>, <var class="field">[[LocalName]]</var>: <emu-val>null</emu-val>, <var class="field">[[ExportName]]</var>: <var>ee</var>.<var class="field">[[ExportName]]</var>&nbsp;} to <var>indirectExportEntries</var>.</li></ol></li></ol></li></ol></li><li>Else if <var>ee</var>.<var class="field">[[ImportName]]</var> is <emu-const>all-but-default</emu-const>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>ee</var>.<var class="field">[[ExportName]]</var> is <emu-val>null</emu-val>.</li><li>Append <var>ee</var> to <var>starExportEntries</var>.</li></ol></li><li>Else,<ol><li>Append <var>ee</var> to <var>indirectExportEntries</var>.</li></ol></li></ol></li><li>Let <var>async</var> be <var>body</var> <emu-xref aoid="Contains"><a href="https://tc39.es/ecma262/#sec-static-semantics-contains">Contains</a></emu-xref> <code>await</code>.</li><li><ins>Let <var>moduleSourceObject</var> be <emu-xref aoid="OrdinaryObjectCreate"><a href="https://tc39.es/ecma262/#sec-ordinaryobjectcreate">OrdinaryObjectCreate</a></emu-xref>(<emu-xref href="#sec-properties-of-the-%modulesource%-prototype-object" id="_ref_27"><a href="#sec-properties-of-the-%modulesource%-prototype-object">%ModuleSource.prototype%</a></emu-xref>, « <var class="field">[[ModuleSourceRecord]]</var>&nbsp;»).</ins></li><li><ins>Let <var>moduleSourceRecord</var> be the <emu-xref href="#module-source-record" id="_ref_28"><a href="#module-source-record">Module Source Record</a></emu-xref> { <var class="field">[[HostDefined]]</var>: <var>hostDefined</var>, <var class="field">[[SourceText]]</var>: <var>sourceText</var>, <var class="field">[[ModuleSourceKind]]</var>: <emu-val>"ModuleSource"</emu-val>, <var class="field">[[ModuleSource]]</var>: <var>moduleSourceObject</var>&nbsp;}.</ins></li><li><ins>Set <var>moduleSourceObject</var>.<var class="field">[[ModuleSourceRecord]]</var> to <var>moduleSourceRecord</var>.</ins></li><li>Return <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref> { <var class="field">[[Realm]]</var>: <var>realm</var>, <var class="field">[[Environment]]</var>: <emu-const>empty</emu-const>, <var class="field">[[Namespace]]</var>: <emu-const>empty</emu-const>, <var class="field">[[CycleRoot]]</var>: <emu-const>empty</emu-const>, <var class="field">[[HasTLA]]</var>: <var>async</var>, <var class="field">[[AsyncEvaluation]]</var>: <emu-val>false</emu-val>, <var class="field">[[TopLevelCapability]]</var>: <emu-const>empty</emu-const>, <var class="field">[[AsyncParentModules]]</var>: «&nbsp;», <var class="field">[[PendingAsyncDependencies]]</var>: <emu-const>empty</emu-const>, <var class="field">[[Status]]</var>: <emu-const>new</emu-const>, <var class="field">[[EvaluationError]]</var>: <emu-const>empty</emu-const>, <del><var class="field">[[HostDefined]]</var>: <var>hostDefined</var>,</del> <ins><var class="field">[[SourceRecord]]</var>: <var>moduleSourceRecord</var>,</ins> <var class="field">[[ECMAScriptCode]]</var>: <var>body</var>, <var class="field">[[Context]]</var>: <emu-const>empty</emu-const>, <var class="field">[[ImportMeta]]</var>: <emu-const>empty</emu-const>, <del><var class="field">[[ModuleSource]]</var>: <var>moduleSourceObject</var>,</del> <var class="field">[[RequestedModules]]</var>: <var>requestedModules</var>, <var class="field">[[LoadedModules]]</var>: «&nbsp;», <var class="field">[[ImportEntries]]</var>: <var>importEntries</var>, <var class="field">[[LocalExportEntries]]</var>: <var>localExportEntries</var>, <var class="field">[[IndirectExportEntries]]</var>: <var>indirectExportEntries</var>, <var class="field">[[StarExportEntries]]</var>: <var>starExportEntries</var>, <var class="field">[[DFSIndex]]</var>: <emu-const>empty</emu-const>, <var class="field">[[DFSAncestorIndex]]</var>: <emu-const>empty</emu-const>&nbsp;}.</li></ol></emu-alg>
+          <emu-alg><ol><li>Let <var>body</var> be <emu-xref aoid="ParseText"><a href="https://tc39.es/ecma262/#sec-parsetext">ParseText</a></emu-xref>(<var>sourceText</var>, <emu-nt><a href="https://tc39.es/ecma262/#prod-Module">Module</a></emu-nt>).</li><li>If <var>body</var> is a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of errors, return <var>body</var>.</li><li>Let <var>requestedModules</var> be the <emu-xref aoid="ModuleRequests"><a href="https://tc39.es/ecma262/#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <var>body</var>.</li><li>Let <var>importEntries</var> be the <emu-xref aoid="ImportEntries"><a href="https://tc39.es/ecma262/#sec-static-semantics-importentries">ImportEntries</a></emu-xref> of <var>body</var>.</li><li>Let <var>importedBoundNames</var> be <emu-xref aoid="ImportedLocalNames"><a href="https://tc39.es/ecma262/#sec-importedlocalnames">ImportedLocalNames</a></emu-xref>(<var>importEntries</var>).</li><li>Let <var>indirectExportEntries</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Let <var>localExportEntries</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Let <var>starExportEntries</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Let <var>exportEntries</var> be the <emu-xref aoid="ExportEntries"><a href="https://tc39.es/ecma262/#sec-static-semantics-exportentries">ExportEntries</a></emu-xref> of <var>body</var>.</li><li>For each <emu-xref href="#exportentry-record"><a href="https://tc39.es/ecma262/#exportentry-record">ExportEntry Record</a></emu-xref> <var>ee</var> of <var>exportEntries</var>, do<ol><li>If <var>ee</var>.<var class="field">[[ModuleRequest]]</var> is <emu-val>null</emu-val>, then<ol><li>If <var>importedBoundNames</var> does not contain <var>ee</var>.<var class="field">[[LocalName]]</var>, then<ol><li>Append <var>ee</var> to <var>localExportEntries</var>.</li></ol></li><li>Else,<ol><li>Let <var>ie</var> be the element of <var>importEntries</var> whose <var class="field">[[LocalName]]</var> is <var>ee</var>.<var class="field">[[LocalName]]</var>.</li><li>If <var>ie</var>.<var class="field">[[ImportName]]</var> is <emu-const>namespace-object</emu-const>, then<ol><li>NOTE: This is a re-export of an imported module namespace object.</li><li>Append <var>ee</var> to <var>localExportEntries</var>.</li></ol></li><li>Else,<ol><li>NOTE: This is a re-export of a single name.</li><li>Append the <emu-xref href="#exportentry-record"><a href="https://tc39.es/ecma262/#exportentry-record">ExportEntry Record</a></emu-xref> { <var class="field">[[ModuleRequest]]</var>: <var>ie</var>.<var class="field">[[ModuleRequest]]</var>, <var class="field">[[ImportName]]</var>: <var>ie</var>.<var class="field">[[ImportName]]</var>, <var class="field">[[LocalName]]</var>: <emu-val>null</emu-val>, <var class="field">[[ExportName]]</var>: <var>ee</var>.<var class="field">[[ExportName]]</var>&nbsp;} to <var>indirectExportEntries</var>.</li></ol></li></ol></li></ol></li><li>Else if <var>ee</var>.<var class="field">[[ImportName]]</var> is <emu-const>all-but-default</emu-const>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>ee</var>.<var class="field">[[ExportName]]</var> is <emu-val>null</emu-val>.</li><li>Append <var>ee</var> to <var>starExportEntries</var>.</li></ol></li><li>Else,<ol><li>Append <var>ee</var> to <var>indirectExportEntries</var>.</li></ol></li></ol></li><li>Let <var>async</var> be <var>body</var> <emu-xref aoid="Contains"><a href="https://tc39.es/ecma262/#sec-static-semantics-contains">Contains</a></emu-xref> <code>await</code>.</li><li><ins>Let <var>moduleSourceObject</var> be <emu-xref aoid="OrdinaryObjectCreate"><a href="https://tc39.es/ecma262/#sec-ordinaryobjectcreate">OrdinaryObjectCreate</a></emu-xref>(<emu-xref href="#sec-properties-of-the-%modulesource%-prototype-object" id="_ref_27"><a href="#sec-properties-of-the-%modulesource%-prototype-object">%ModuleSource.prototype%</a></emu-xref>, « <var class="field">[[ModuleSourceRecord]]</var>&nbsp;»).</ins></li><li><ins>Let <var>moduleSourceRecord</var> be the <emu-xref href="#module-source-record" id="_ref_28"><a href="#module-source-record">Module Source Record</a></emu-xref> { <var class="field">[[HostDefined]]</var>: <var>hostDefined</var>, <var class="field">[[ModuleSourceKind]]</var>: <emu-val>"ModuleSource"</emu-val>, <var class="field">[[ModuleSource]]</var>: <var>moduleSourceObject</var>&nbsp;}.</ins></li><li><ins>Set <var>moduleSourceObject</var>.<var class="field">[[ModuleSourceRecord]]</var> to <var>moduleSourceRecord</var>.</ins></li><li>Return <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref> { <var class="field">[[Realm]]</var>: <var>realm</var>, <var class="field">[[Environment]]</var>: <emu-const>empty</emu-const>, <var class="field">[[Namespace]]</var>: <emu-const>empty</emu-const>, <var class="field">[[CycleRoot]]</var>: <emu-const>empty</emu-const>, <var class="field">[[HasTLA]]</var>: <var>async</var>, <var class="field">[[AsyncEvaluation]]</var>: <emu-val>false</emu-val>, <var class="field">[[TopLevelCapability]]</var>: <emu-const>empty</emu-const>, <var class="field">[[AsyncParentModules]]</var>: «&nbsp;», <var class="field">[[PendingAsyncDependencies]]</var>: <emu-const>empty</emu-const>, <var class="field">[[Status]]</var>: <emu-const>new</emu-const>, <var class="field">[[EvaluationError]]</var>: <emu-const>empty</emu-const>, <del><var class="field">[[HostDefined]]</var>: <var>hostDefined</var>,</del> <ins><var class="field">[[SourceRecord]]</var>: <var>moduleSourceRecord</var>,</ins> <var class="field">[[ECMAScriptCode]]</var>: <var>body</var>, <var class="field">[[Context]]</var>: <emu-const>empty</emu-const>, <var class="field">[[ImportMeta]]</var>: <emu-const>empty</emu-const>, <del><var class="field">[[ModuleSource]]</var>: <var>moduleSourceObject</var>,</del> <var class="field">[[RequestedModules]]</var>: <var>requestedModules</var>, <var class="field">[[LoadedModules]]</var>: «&nbsp;», <var class="field">[[ImportEntries]]</var>: <var>importEntries</var>, <var class="field">[[LocalExportEntries]]</var>: <var>localExportEntries</var>, <var class="field">[[IndirectExportEntries]]</var>: <var>indirectExportEntries</var>, <var class="field">[[StarExportEntries]]</var>: <var>starExportEntries</var>, <var class="field">[[DFSIndex]]</var>: <emu-const>empty</emu-const>, <var class="field">[[DFSAncestorIndex]]</var>: <emu-const>empty</emu-const>&nbsp;}.</li></ol></emu-alg>
           <emu-note><span class="note">Note</span><div class="note-contents">
             <p>An implementation may parse module source text and analyse it for Early Error conditions prior to the evaluation of ParseModule for that module source text. However, the reporting of any errors must be deferred until the point where this specification actually performs ParseModule upon that source text.</p>
           </div></emu-note>
@@ -5061,28 +5050,30 @@ <h1><span class="secnum">16.1.1.4</span> HostLoadImportedModule ( <var>referrer<
             The <emu-xref href="#host-environment"><a href="https://tc39.es/ecma262/#host-environment">host environment</a></emu-xref> must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_30"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var>), where <var>result</var> is either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> the loaded <emu-xref href="#sec-abstract-module-records" id="_ref_31"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>, either synchronously or asynchronously.
           </li>
           <li>
-            <p><ins>For every pair (<var>referrer</var>, <var>moduleRequest</var>) that calls <emu-xref aoid="FinishLoadingImportedModule" id="_ref_32"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<var>module</var>)), <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> must define a singular <dfn tabindex="-1">Canonical ModuleRequest Record</dfn>, <var>moduleRequestKey</var>, satisfying:</ins></p>
+            <ins>If <var>moduleRequest</var>.<var class="field">[[Specifier]]</var> is a <emu-xref href="#module-source-record" id="_ref_32"><a href="#module-source-record">Module Source Record</a></emu-xref>, then if <emu-xref aoid="FinishLoadingImportedModule" id="_ref_33"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<var>module</var>)) is called with a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>, <emu-xref aoid="ModuleSourcesEqual" id="_ref_34"><a href="#sec-modulesourcesequal">ModuleSourcesEqual</a></emu-xref>(<var>module</var>.<var class="field">[[SourceRecord]]</var>, <var>moduleRequest</var>.<var class="field">[[Specifier]]</var>) must be <emu-val>true</emu-val>.</ins>
+          </li>
+          <li>
+            <p><ins>For every pair (<var>referrer</var>, <var>moduleRequest</var>) that calls <emu-xref aoid="FinishLoadingImportedModule" id="_ref_35"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<var>module</var>)), <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> must define a singular <dfn tabindex="-1">Canonical ModuleRequest Record</dfn>, <var>moduleRequestKey</var>, satisfying:</ins></p>
             <ul>
+              <li><ins><var>moduleRequestKey</var>.<var class="field">[[Specifier]]</var> <emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type">is a String</a></emu-xref>;</ins></li>
               <li><ins><var>moduleRequestKey</var>.<var class="field">[[Phase]]</var> is equal to <emu-const>source</emu-const> (the lowest possible phase);</ins></li>
-              <li><ins><emu-xref aoid="FinishLoadingImportedModule" id="_ref_33"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref> will return the same <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<var>module</var>) <var>result</var> for all (<var>otherReferrer</var>, <var>otherModuleRequest</var>) pairs whose Canonical ModuleRequest Record is also <var>moduleRequestKey</var>;</ins></li>
-              <li><ins>For any other module request <var>otherModuleRequest</var> with Canonical ModuleRequest Record <var>otherModuleRequestKey</var>, if <emu-xref aoid="ModuleRequestsEqual" id="_ref_34"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>moduleRequest</var>, <var>otherModuleRequest</var>) is <emu-val>true</emu-val>, then <emu-xref aoid="ModuleRequestsEqual" id="_ref_35"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>moduleRequestKey</var>, <var>otherModuleRequestKey</var>) must be <emu-val>true</emu-val>.</ins></li>
+              <li><ins><emu-xref aoid="FinishLoadingImportedModule" id="_ref_36"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref> will return the same <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<var>module</var>) <var>result</var> for all (<var>otherReferrer</var>, <var>otherModuleRequest</var>) pairs whose Canonical ModuleRequest Record is also <var>moduleRequestKey</var>;</ins></li>
+              <li><ins>If <var>moduleRequest</var>.<var class="field">[[Specifier]]</var> is a <emu-xref href="#module-source-record" id="_ref_37"><a href="#module-source-record">Module Source Record</a></emu-xref>, then <emu-xref aoid="ModuleSourcesEqual" id="_ref_38"><a href="#sec-modulesourcesequal">ModuleSourcesEqual</a></emu-xref>(<var>moduleRequest</var>.<var class="field">[[Specifier]]</var>, <var>module</var>.<var class="field">[[SourceRecord]]</var>) is <emu-val>true</emu-val></ins></li>
+              <li><ins>For any other module request <var>otherModuleRequest</var> with Canonical ModuleRequest Record <var>otherModuleRequestKey</var>, if <emu-xref aoid="ModuleRequestsEqual" id="_ref_39"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>moduleRequest</var>, <var>otherModuleRequest</var>) is <emu-val>true</emu-val>, then <emu-xref aoid="ModuleRequestsEqual" id="_ref_40"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>moduleRequestKey</var>, <var>otherModuleRequestKey</var>) must be <emu-val>true</emu-val>.</ins></li>
             </ul>
             <p>If this operation is called multiple times <ins>first with (<var>referrer1</var>, <var>moduleRequest1</var>, <var>hostDefined1</var>, <var>payload1</var>) and later with (<var>referrer2</var>, <var>moduleRequest2</var>, <var>hostDefined2</var>, <var>payload2</var>)</ins><del>with two (<var>referrer</var>, <var>moduleRequest</var>) pairs</del> such that:</p>
             <ul>
-              <li><ins>it performs <emu-xref aoid="FinishLoadingImportedModule" id="_ref_36"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer1</var>, <var>moduleRequest1</var>, <var>payload1</var>, <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<var>module1</var>)) and <emu-xref aoid="FinishLoadingImportedModule" id="_ref_37"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer2</var>, <var>moduleRequest2</var>, <var>payload2</var>, <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<var>module2</var>)) for <emu-xref href="#sec-abstract-module-records" id="_ref_38"><a href="#sec-abstract-module-records">Module Records</a></emu-xref> <var>module1</var> and <var>module2</var>;</ins></li>
+              <li><ins>it performs <emu-xref aoid="FinishLoadingImportedModule" id="_ref_41"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer1</var>, <var>moduleRequest1</var>, <var>payload1</var>, <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<var>module1</var>)) and <emu-xref aoid="FinishLoadingImportedModule" id="_ref_42"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer2</var>, <var>moduleRequest2</var>, <var>payload2</var>, <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<var>module2</var>)) for <emu-xref href="#sec-abstract-module-records" id="_ref_43"><a href="#sec-abstract-module-records">Module Records</a></emu-xref> <var>module1</var> and <var>module2</var>;</ins></li>
               <li><ins><var>moduleRequestKey1</var> and <var>moduleRequestKey2</var> are the Canonical <emu-xref href="#modulerequest-record"><a href="https://tc39.es/ecma262/#modulerequest-record">ModuleRequest Records</a></emu-xref> for (<var>referrer1</var>, <var>moduleRequest1</var>) and (<var>referrer2</var>, <var>moduleRequest2</var>) respectively as defined above;</ins></li>
               <li><del>the first <var>referrer</var> is the same as the second <var>referrer</var>;</del></li>
-              <li><emu-xref aoid="ModuleRequestsEqual" id="_ref_39"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<ins><var>moduleRequestKey1</var></ins><del>the first <var>moduleRequest</var></del>, <ins><var>moduleRequestKey2</var></ins><del>the second <var>moduleRequest</var></del>) is <emu-val>true</emu-val>;</li>
+              <li><emu-xref aoid="ModuleRequestsEqual" id="_ref_44"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<ins><var>moduleRequestKey1</var></ins><del>the first <var>moduleRequest</var></del>, <ins><var>moduleRequestKey2</var></ins><del>the second <var>moduleRequest</var></del>) is <emu-val>true</emu-val>;</li>
             </ul>
-            <p><del>and it performs <emu-xref aoid="FinishLoadingImportedModule" id="_ref_40"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var>) where <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>, then it must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_41"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var>) with the same <var>result</var> each time.</del></p>
+            <p><del>and it performs <emu-xref aoid="FinishLoadingImportedModule" id="_ref_45"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var>) where <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>, then it must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_46"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var>) with the same <var>result</var> each time.</del></p>
             <p><ins>then FinishedLoadingImportedModule must be called with <var>module2</var> equal to <var>module1</var>.</ins></p>
           </li>
           <li>
             The completion record returned by this operation must not be affected by <var>moduleRequest</var>.<var class="field">[[Phase]]</var>.
           </li>
-          <li>
-            <ins>When <var>moduleRequest</var>.<var class="field">[[Specifier]]</var> is a <emu-xref href="#module-source-record" id="_ref_42"><a href="#module-source-record">Module Source Record</a></emu-xref>, this corresponds to importing a <emu-xref href="#sec-module-source-objects" id="_ref_43"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref> directly. In this case the <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> must resolve the <emu-xref href="#module-source-record" id="_ref_44"><a href="#module-source-record">Module Source Record</a></emu-xref> to a <emu-xref href="#sec-abstract-module-records" id="_ref_45"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>, registering it in the module registry while possibly coalescing with any existing record on exact key and source equality (checking source equality via <emu-xref aoid="ModuleSourcesEqual" id="_ref_46"><a href="#sec-modulesourcesequal">ModuleSourcesEqual</a></emu-xref>) to maintain the invariants above.</ins>
-          </li>
           <li>
             The operation must treat <var>payload</var> as an opaque value to be passed through to <emu-xref aoid="FinishLoadingImportedModule" id="_ref_47"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>.
           </li>
@@ -5090,6 +5081,8 @@ <h1><span class="secnum">16.1.1.4</span> HostLoadImportedModule ( <var>referrer<
 
         <p>The actual process performed is <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref>, but typically consists of performing whatever I/O operations are necessary to load the appropriate <emu-xref href="#sec-abstract-module-records" id="_ref_48"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>. Multiple different (<var>referrer</var>, <var>moduleRequest</var>.<var class="field">[[Specifier]]</var>, <var>moduleRequest</var>.<var class="field">[[Attributes]]</var>) triples may map to the same <emu-xref href="#sec-abstract-module-records" id="_ref_49"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> instance. The actual mapping semantics is <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> but typically a normalization process is applied to <var>specifier</var> as part of the mapping process. A typical normalization process would include actions such as expansion of relative and abbreviated path specifiers.</p>
 
+        <p><ins>Every <emu-xref href="#sec-module-source-objects" id="_ref_50"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref> has one unique importable instance in a given <emu-xref href="#realm"><a href="https://tc39.es/ecma262/#realm">Realm</a></emu-xref>, which is always returned for the import of that <emu-xref href="#sec-module-source-objects" id="_ref_51"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref>. In addition, when the Canonical ModuleRequest Record (with a String specifier) for a module source import has not previously been imported, it will also be defined to map to the same instance for future imports. On the other hand, if that Canonical ModuleRequest Record entry had previously been imported, the first registration remains authoritative for that Canonical ModuleRequest Record even if it does not match the <emu-xref href="#module-source-record" id="_ref_52"><a href="#module-source-record">Module Source Record</a></emu-xref>'s source. In this way, module source imports can be considered an order-dependent injective operation for the module registry.</ins></p>
+
         <emu-note><span class="note">Note 2</span><div class="note-contents">
           <p><emu-xref href="#sec-hosts-and-implementations"><a href="https://tc39.es/ecma262/#sec-hosts-and-implementations">Implementations</a></emu-xref> may provide unobservable module loading optimizations, such as speculative preloading of modules that are likely to be requested next. When doing so, they should consider whether the module is being imported for its <emu-const>source</emu-const> phase, which won't cause calls to the HostLoadImportedModule hook for its transitive dependencies, or for its <emu-const>evaluation</emu-const> phase, which will.</p>
         </div></emu-note>
@@ -5097,8 +5090,8 @@ <h1><span class="secnum">16.1.1.4</span> HostLoadImportedModule ( <var>referrer<
 
       <emu-clause id="sec-FinishLoadingImportedModule" type="abstract operation" oldids="sec-finishdynamicimport" aoid="FinishLoadingImportedModule"><span id="sec-finishdynamicimport"></span>
         <h1><span class="secnum">16.1.1.5</span> FinishLoadingImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var> )</h1>
-        <p>The abstract operation FinishLoadingImportedModule takes arguments <var>referrer</var> (a <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, a <emu-xref href="#cyclic-module-record"><a href="https://tc39.es/ecma262/#cyclic-module-record">Cyclic Module Record</a></emu-xref>, or a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), <var>moduleRequest</var> (a <emu-xref href="#modulerequest-record"><a href="https://tc39.es/ecma262/#modulerequest-record">ModuleRequest Record</a></emu-xref>), <var>payload</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref> or a <emu-xref href="#sec-promisecapability-records"><a href="https://tc39.es/ecma262/#sec-promisecapability-records">PromiseCapability Record</a></emu-xref>), and <var>result</var> (either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> a <emu-xref href="#sec-abstract-module-records" id="_ref_50"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>) and returns <emu-const>unused</emu-const>. It performs the following steps when called:</p>
-        <emu-alg><ol><li>If <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref><ins> and <var>moduleRequest</var>.<var class="field">[[Specifier]]</var> <emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type">is a String</a></emu-xref></ins>, then<ol><li>If <var>referrer</var>.<var class="field">[[LoadedModules]]</var> contains a <emu-xref href="#loadedmodulerequest-record"><a href="https://tc39.es/ecma262/#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref> <var>record</var> such that <emu-xref aoid="ModuleRequestsEqual" id="_ref_51"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>record</var>, <var>moduleRequest</var>) is <emu-val>true</emu-val>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>record</var>.<var class="field">[[Module]]</var> and <var>result</var>.<var class="field">[[Value]]</var> are the same <emu-xref href="#sec-abstract-module-records" id="_ref_52"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>.</li></ol></li><li>Else,<ol><li>Append the <emu-xref href="#loadedmodulerequest-record"><a href="https://tc39.es/ecma262/#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <var>moduleRequest</var>.<var class="field">[[Specifier]]</var>, <var class="field">[[Attributes]]</var>: <var>moduleRequest</var>.<var class="field">[[Attributes]]</var>, <var class="field">[[Module]]</var>: <var>result</var>.<var class="field">[[Value]]</var>&nbsp;} to <var>referrer</var>.<var class="field">[[LoadedModules]]</var>.</li></ol></li></ol></li><li>If <var>payload</var> is a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref>, then<ol><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>moduleRequest</var>.<var class="field">[[Specifier]]</var> <emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type">is a String</a></emu-xref>.</ins></li><li>Perform <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>(<var>payload</var>, <var>moduleRequest</var>.<var class="field">[[Phase]]</var>, <var>result</var>).</li></ol></li><li>Else,<ol><li>Perform <emu-xref aoid="ContinueDynamicImport" id="_ref_53"><a href="#sec-ContinueDynamicImport">ContinueDynamicImport</a></emu-xref>(<var>payload</var>, <var>moduleRequest</var>.<var class="field">[[Phase]]</var>, <var>result</var>).</li></ol></li><li>Return <emu-const>unused</emu-const>.</li></ol></emu-alg>
+        <p>The abstract operation FinishLoadingImportedModule takes arguments <var>referrer</var> (a <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, a <emu-xref href="#cyclic-module-record"><a href="https://tc39.es/ecma262/#cyclic-module-record">Cyclic Module Record</a></emu-xref>, or a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), <var>moduleRequest</var> (a <emu-xref href="#modulerequest-record"><a href="https://tc39.es/ecma262/#modulerequest-record">ModuleRequest Record</a></emu-xref>), <var>payload</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref> or a <emu-xref href="#sec-promisecapability-records"><a href="https://tc39.es/ecma262/#sec-promisecapability-records">PromiseCapability Record</a></emu-xref>), and <var>result</var> (either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> a <emu-xref href="#sec-abstract-module-records" id="_ref_53"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>) and returns <emu-const>unused</emu-const>. It performs the following steps when called:</p>
+        <emu-alg><ol><li>If <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref><ins> and <var>moduleRequest</var>.<var class="field">[[Specifier]]</var> <emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type">is a String</a></emu-xref></ins>, then<ol><li>If <var>referrer</var>.<var class="field">[[LoadedModules]]</var> contains a <emu-xref href="#loadedmodulerequest-record"><a href="https://tc39.es/ecma262/#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref> <var>record</var> such that <emu-xref aoid="ModuleRequestsEqual" id="_ref_54"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>record</var>, <var>moduleRequest</var>) is <emu-val>true</emu-val>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>record</var>.<var class="field">[[Module]]</var> and <var>result</var>.<var class="field">[[Value]]</var> are the same <emu-xref href="#sec-abstract-module-records" id="_ref_55"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>.</li></ol></li><li>Else,<ol><li>Append the <emu-xref href="#loadedmodulerequest-record"><a href="https://tc39.es/ecma262/#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <var>moduleRequest</var>.<var class="field">[[Specifier]]</var>, <var class="field">[[Attributes]]</var>: <var>moduleRequest</var>.<var class="field">[[Attributes]]</var>, <var class="field">[[Module]]</var>: <var>result</var>.<var class="field">[[Value]]</var>&nbsp;} to <var>referrer</var>.<var class="field">[[LoadedModules]]</var>.</li></ol></li></ol></li><li>If <var>payload</var> is a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref>, then<ol><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>moduleRequest</var>.<var class="field">[[Specifier]]</var> <emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type">is a String</a></emu-xref>.</ins></li><li>Perform <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>(<var>payload</var>, <var>moduleRequest</var>.<var class="field">[[Phase]]</var>, <var>result</var>).</li></ol></li><li>Else,<ol><li>Perform <emu-xref aoid="ContinueDynamicImport" id="_ref_56"><a href="#sec-ContinueDynamicImport">ContinueDynamicImport</a></emu-xref>(<var>payload</var>, <var>moduleRequest</var>.<var class="field">[[Phase]]</var>, <var>result</var>).</li></ol></li><li>Return <emu-const>unused</emu-const>.</li></ol></emu-alg>
       </emu-clause>
 
       <emu-clause id="sec-synthetic-module-records">
@@ -5106,42 +5099,42 @@ <h1><span class="secnum">16.1.1.6</span> Synthetic Module Records</h1>
 
         <emu-clause id="sec-create-default-export-synthetic-module" type="abstract operation" aoid="CreateDefaultExportSyntheticModule">
           <h1><span class="secnum">16.1.1.6.1</span> CreateDefaultExportSyntheticModule ( <var>defaultExport</var> )</h1>
-          <p>The abstract operation CreateDefaultExportSyntheticModule takes argument <var>defaultExport</var> (an <emu-xref href="#sec-ecmascript-language-types" id="_ref_54"><a href="#sec-ecmascript-language-types">ECMAScript language value</a></emu-xref>) and returns a <emu-xref href="#sec-synthetic-module-records" id="_ref_55"><a href="#sec-synthetic-module-records">Synthetic Module Record</a></emu-xref>. It creates a <emu-xref href="#sec-synthetic-module-records" id="_ref_56"><a href="#sec-synthetic-module-records">Synthetic Module Record</a></emu-xref> whose default export is <var>defaultExport</var>. It performs the following steps when called:</p>
-          <emu-alg><ol><li>Let <var>realm</var> be <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</li><li><ins>Let <var>moduleSourceRecord</var> be the <emu-xref href="#module-source-record" id="_ref_57"><a href="#module-source-record">Module Source Record</a></emu-xref> { <var class="field">[[HostDefined]]</var>: <emu-val>undefined</emu-val>, <var class="field">[[SourceText]]</var>: <emu-const>none</emu-const>, <var class="field">[[ModuleSourceKind]]</var>: <emu-val>"SyntheticModule"</emu-val>, <var class="field">[[ModuleSource]]</var>: <emu-const>empty</emu-const>&nbsp;}.</ins></li><li>Let <var>setDefaultExport</var> be a new <emu-xref href="#sec-abstract-closure"><a href="https://tc39.es/ecma262/#sec-abstract-closure">Abstract Closure</a></emu-xref> with parameters (<var>module</var>) that captures <var>defaultExport</var> and performs the following steps when called:<ol><li>Perform <emu-xref aoid="SetSyntheticModuleExport"><a href="https://tc39.es/ecma262/#sec-setsyntheticmoduleexport">SetSyntheticModuleExport</a></emu-xref>(<var>module</var>, <emu-val>"default"</emu-val>, <var>defaultExport</var>).</li><li>Return <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<emu-const>unused</emu-const>).</li></ol></li><li>Return the <emu-xref href="#sec-synthetic-module-records" id="_ref_58"><a href="#sec-synthetic-module-records">Synthetic Module Record</a></emu-xref> { <var class="field">[[Realm]]</var>: <var>realm</var>, <var class="field">[[Environment]]</var>: <emu-const>empty</emu-const>, <var class="field">[[Namespace]]</var>: <emu-const>empty</emu-const>, <del><var class="field">[[HostDefined]]</var>: <emu-val>undefined</emu-val></del><ins><var class="field">[[SourceRecord]]</var>: <var>moduleSourceRecord</var></ins>, <var class="field">[[ExportNames]]</var>: « <emu-val>"default"</emu-val>&nbsp;», <var class="field">[[EvaluationSteps]]</var>: <var>setDefaultExport</var>&nbsp;}.</li></ol></emu-alg>
+          <p>The abstract operation CreateDefaultExportSyntheticModule takes argument <var>defaultExport</var> (an <emu-xref href="#sec-ecmascript-language-types" id="_ref_57"><a href="#sec-ecmascript-language-types">ECMAScript language value</a></emu-xref>) and returns a <emu-xref href="#sec-synthetic-module-records" id="_ref_58"><a href="#sec-synthetic-module-records">Synthetic Module Record</a></emu-xref>. It creates a <emu-xref href="#sec-synthetic-module-records" id="_ref_59"><a href="#sec-synthetic-module-records">Synthetic Module Record</a></emu-xref> whose default export is <var>defaultExport</var>. It performs the following steps when called:</p>
+          <emu-alg><ol><li>Let <var>realm</var> be <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</li><li><ins>Let <var>moduleSourceRecord</var> be the <emu-xref href="#module-source-record" id="_ref_60"><a href="#module-source-record">Module Source Record</a></emu-xref> { <var class="field">[[HostDefined]]</var>: <emu-val>undefined</emu-val>, <var class="field">[[ModuleSourceKind]]</var>: <emu-val>"SyntheticModule"</emu-val>, <var class="field">[[ModuleSource]]</var>: <emu-const>empty</emu-const>&nbsp;}.</ins></li><li>Let <var>setDefaultExport</var> be a new <emu-xref href="#sec-abstract-closure"><a href="https://tc39.es/ecma262/#sec-abstract-closure">Abstract Closure</a></emu-xref> with parameters (<var>module</var>) that captures <var>defaultExport</var> and performs the following steps when called:<ol><li>Perform <emu-xref aoid="SetSyntheticModuleExport"><a href="https://tc39.es/ecma262/#sec-setsyntheticmoduleexport">SetSyntheticModuleExport</a></emu-xref>(<var>module</var>, <emu-val>"default"</emu-val>, <var>defaultExport</var>).</li><li>Return <emu-xref aoid="NormalCompletion"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<emu-const>unused</emu-const>).</li></ol></li><li>Return the <emu-xref href="#sec-synthetic-module-records" id="_ref_61"><a href="#sec-synthetic-module-records">Synthetic Module Record</a></emu-xref> { <var class="field">[[Realm]]</var>: <var>realm</var>, <var class="field">[[Environment]]</var>: <emu-const>empty</emu-const>, <var class="field">[[Namespace]]</var>: <emu-const>empty</emu-const>, <del><var class="field">[[HostDefined]]</var>: <emu-val>undefined</emu-val></del><ins><var class="field">[[SourceRecord]]</var>: <var>moduleSourceRecord</var></ins>, <var class="field">[[ExportNames]]</var>: « <emu-val>"default"</emu-val>&nbsp;», <var class="field">[[EvaluationSteps]]</var>: <var>setDefaultExport</var>&nbsp;}.</li></ol></emu-alg>
         </emu-clause>
       </emu-clause>
 
       <emu-clause id="sec-getmodulesourcerecord" type="abstract operation" aoid="GetModuleSourceRecord">
         <h1><span class="secnum">16.1.1.7</span> <ins>GetModuleSourceRecord ( <var>specifier</var> )</ins></h1>
-        <p>The abstract operation GetModuleSourceRecord takes argument <var>specifier</var> (an Object) and returns either a <emu-xref href="#module-source-record" id="_ref_59"><a href="#module-source-record">Module Source Record</a></emu-xref> or <emu-const>not-a-source</emu-const>.</p><ins>It provides the <emu-xref href="#module-source-record" id="_ref_60"><a href="#module-source-record">Module Source Record</a></emu-xref> for all Module Source Objects.</ins>
+        <p>The abstract operation GetModuleSourceRecord takes argument <var>specifier</var> (an Object) and returns either a <emu-xref href="#module-source-record" id="_ref_62"><a href="#module-source-record">Module Source Record</a></emu-xref> or <emu-const>not-a-source</emu-const>.</p><ins>It provides the <emu-xref href="#module-source-record" id="_ref_63"><a href="#module-source-record">Module Source Record</a></emu-xref> for all Module Source Objects.</ins>
 
         <p>It performs the following steps when called:</p>
 
-        <emu-alg><ol><li><ins>If <var>specifier</var> has a <var class="field">[[ModuleSourceRecord]]</var> internal slot, then</ins><ol><li><ins>Return <var>specifier</var>.<var class="field">[[ModuleSourceRecord]]</var>.</ins></li></ol></li><li><ins>Else,</ins><ol><li><ins>Return <emu-xref aoid="HostGetModuleSourceRecord" id="_ref_61"><a href="#sec-HostGetModuleSourceRecord">HostGetModuleSourceRecord</a></emu-xref>(<var>specifier</var>).</ins></li></ol></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>If <var>specifier</var> has a <var class="field">[[ModuleSourceRecord]]</var> internal slot, then</ins><ol><li><ins>Return <var>specifier</var>.<var class="field">[[ModuleSourceRecord]]</var>.</ins></li></ol></li><li><ins>Else,</ins><ol><li><ins>Return <emu-xref aoid="HostGetModuleSourceRecord" id="_ref_64"><a href="#sec-HostGetModuleSourceRecord">HostGetModuleSourceRecord</a></emu-xref>(<var>specifier</var>).</ins></li></ol></li></ol></emu-alg>
       </emu-clause>
 
       <emu-clause id="sec-HostGetModuleSourceName" type="host-defined abstract operation" aoid="HostGetModuleSourceModuleRecord">
         <h1><span class="secnum">16.1.1.8</span> <del>HostGetModuleSourceModuleRecord ( <var>specifier</var> )</del></h1>
-        <p>The <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> abstract operation HostGetModuleSourceModuleRecord takes argument <var>specifier</var> (an Object) and returns either a <emu-xref href="#sec-abstract-module-records" id="_ref_62"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> or <emu-const>not-a-source</emu-const>.</p>
+        <p>The <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> abstract operation HostGetModuleSourceModuleRecord takes argument <var>specifier</var> (an Object) and returns either a <emu-xref href="#sec-abstract-module-records" id="_ref_65"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> or <emu-const>not-a-source</emu-const>.</p>
       </emu-clause>
 
       <emu-clause id="sec-HostGetModuleSourceRecord" type="host-defined abstract operation" aoid="HostGetModuleSourceRecord">
         <h1><span class="secnum">16.1.1.9</span> <ins>HostGetModuleSourceRecord ( <var>specifier</var> )</ins></h1>
-        <p>The <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> abstract operation HostGetModuleSourceRecord takes argument <var>specifier</var> (an Object) and returns either a <emu-xref href="#module-source-record" id="_ref_63"><a href="#module-source-record">Module Source Record</a></emu-xref> or <emu-const>not-a-source</emu-const>.</p><ins>Allows <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> to provide the <emu-xref href="#module-source-record" id="_ref_64"><a href="#module-source-record">Module Source Record</a></emu-xref> for a non-ECMA-262 module source object.</ins>
+        <p>The <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> abstract operation HostGetModuleSourceRecord takes argument <var>specifier</var> (an Object) and returns either a <emu-xref href="#module-source-record" id="_ref_66"><a href="#module-source-record">Module Source Record</a></emu-xref> or <emu-const>not-a-source</emu-const>.</p><ins>Allows <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> to provide the <emu-xref href="#module-source-record" id="_ref_67"><a href="#module-source-record">Module Source Record</a></emu-xref> for a non-ECMA-262 module source object.</ins>
 
         <p><ins>An implementation of HostGetModuleSourceRecord must conform to the following requirements:</ins></p>
         <ul>
           <li>
-            <ins>Defines any <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref>-specific module sources, by returning their <emu-xref href="#module-source-record" id="_ref_65"><a href="#module-source-record">Module Source Record</a></emu-xref>.</ins>
+            <ins>Defines any <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref>-specific module sources, by returning their <emu-xref href="#module-source-record" id="_ref_68"><a href="#module-source-record">Module Source Record</a></emu-xref>.</ins>
           </li>
           <li>
             <ins>For all other objects, returns <emu-const>not-a-source</emu-const>.</ins>
           </li>
         </ul>
       </emu-clause>
-      <p><ins>The default implementation of <emu-xref aoid="HostGetModuleSourceRecord" id="_ref_66"><a href="#sec-HostGetModuleSourceRecord">HostGetModuleSourceRecord</a></emu-xref> is to return <emu-const>not-a-source</emu-const>.</ins></p>
+      <p><ins>The default implementation of <emu-xref aoid="HostGetModuleSourceRecord" id="_ref_69"><a href="#sec-HostGetModuleSourceRecord">HostGetModuleSourceRecord</a></emu-xref> is to return <emu-const>not-a-source</emu-const>.</ins></p>
       <emu-note><span class="note">Note</span><div class="note-contents">
-        <p><ins>This <emu-xref href="#host-hook"><a href="https://tc39.es/ecma262/#host-hook">host hook</a></emu-xref> is only for module types implemented outside of ECMA-262. See <emu-xref aoid="GetModuleSourceRecord" id="_ref_67"><a href="#sec-getmodulesourcerecord">GetModuleSourceRecord</a></emu-xref>, where %ModuleSource% is handled before calling this hook.</ins></p>
+        <p><ins>This <emu-xref href="#host-hook"><a href="https://tc39.es/ecma262/#host-hook">host hook</a></emu-xref> is only for module types implemented outside of ECMA-262. See <emu-xref aoid="GetModuleSourceRecord" id="_ref_70"><a href="#sec-getmodulesourcerecord">GetModuleSourceRecord</a></emu-xref>, where %ModuleSource% is handled before calling this hook.</ins></p>
       </div></emu-note>
     </emu-clause>
   </emu-clause>
@@ -5152,7 +5145,7 @@ <h1><span class="secnum">28</span> Reflection</h1>
   <emu-clause id="sec-module-source-objects">
     <h1><span class="secnum">28.1</span> Module Source Objects</h1>
     <p>Module Source Objects represent <ins>the immutable data associated with a module record, distinct from linking, instantiation or execution state.</ins><del>modules in their source import phase, which are not linked, instantiated or executed.</del></p>
-    <p>A <dfn tabindex="-1">Module Source Object</dfn> is an object for which <del><emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_68"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceModuleRecord</a></emu-xref></del><ins><emu-xref aoid="GetModuleSourceRecord" id="_ref_69"><a href="#sec-getmodulesourcerecord">GetModuleSourceRecord</a></emu-xref></ins> returns a Module <ins>Source</ins> <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref>.</p>
+    <p>A <dfn tabindex="-1">Module Source Object</dfn> is an object for which <del><emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_71"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceModuleRecord</a></emu-xref></del><ins><emu-xref aoid="GetModuleSourceRecord" id="_ref_72"><a href="#sec-getmodulesourcerecord">GetModuleSourceRecord</a></emu-xref></ins> returns a Module <ins>Source</ins> <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref>.</p>
     <p>All Module Source Objects should have a prototype of %AbstractModuleSource%.prototype.</p>
     <p><emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">Hosts</a></emu-xref> may define their own %AbstractModuleSource% subclasses for custom module types.</p>
 
@@ -5161,8 +5154,8 @@ <h1><span class="secnum">28.1.1</span> Properties of the %AbstractModuleSource%
 
       <emu-clause id="sec-get-%abstractmodulesource%.prototype-%symbol.tostringtag%">
         <h1><span class="secnum">28.1.1.1</span> get %AbstractModuleSource%.prototype [ %Symbol.toStringTag% ]</h1>
-        <p>%AbstractModuleSource%.prototype <code>[%Symbol.toStringTag%]</code> is an <emu-xref href="#sec-object-type" id="_ref_70"><a href="#sec-object-type">accessor property</a></emu-xref> whose set accessor function is <emu-val>undefined</emu-val>. Its get accessor function performs the following steps when called:</p>
-        <emu-alg><ol><li>Let <var>O</var> be the <emu-val>this</emu-val> value.</li><li>If <var>O</var> <emu-xref href="#sec-object-type" id="_ref_71"><a href="#sec-object-type">is not an Object</a></emu-xref>, return <emu-val>undefined</emu-val>.</li><li>Let <var>module</var> be <del><emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_72"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceModuleRecord</a></emu-xref></del><ins><emu-xref aoid="GetModuleSourceRecord" id="_ref_73"><a href="#sec-getmodulesourcerecord">GetModuleSourceRecord</a></emu-xref></ins>(<var>O</var>).</li><li>If <var>module</var> is <emu-const>not-a-source</emu-const>, return <emu-val>undefined</emu-val>.</li><li>Let <var>name</var> be <var>module</var>.<ins><var class="field">[[ModuleSourceKind]]</var></ins><del>GetModuleSourceKind()</del>.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>name</var> <emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type">is a String</a></emu-xref>.</li><li>Return <var>name</var>.</li></ol></emu-alg>
+        <p>%AbstractModuleSource%.prototype <code>[%Symbol.toStringTag%]</code> is an <emu-xref href="#sec-object-type" id="_ref_73"><a href="#sec-object-type">accessor property</a></emu-xref> whose set accessor function is <emu-val>undefined</emu-val>. Its get accessor function performs the following steps when called:</p>
+        <emu-alg><ol><li>Let <var>O</var> be the <emu-val>this</emu-val> value.</li><li>If <var>O</var> <emu-xref href="#sec-object-type" id="_ref_74"><a href="#sec-object-type">is not an Object</a></emu-xref>, return <emu-val>undefined</emu-val>.</li><li>Let <var>module</var> be <del><emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_75"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceModuleRecord</a></emu-xref></del><ins><emu-xref aoid="GetModuleSourceRecord" id="_ref_76"><a href="#sec-getmodulesourcerecord">GetModuleSourceRecord</a></emu-xref></ins>(<var>O</var>).</li><li>If <var>module</var> is <emu-const>not-a-source</emu-const>, return <emu-val>undefined</emu-val>.</li><li>Let <var>name</var> be <var>module</var>.<ins><var class="field">[[ModuleSourceKind]]</var></ins><del>GetModuleSourceKind()</del>.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>name</var> <emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type">is a String</a></emu-xref>.</li><li>Return <var>name</var>.</li></ol></emu-alg>
         <p>This property has the attributes { <var class="field">[[Enumerable]]</var>: <emu-val>false</emu-val>, <var class="field">[[Configurable]]</var>: <emu-val>true</emu-val> }.</p>
         <p>The initial value of the <emu-val>"name"</emu-val> property of this function is <emu-val>"get [Symbol.toStringTag]"</emu-val>.</p>
       </emu-clause>
@@ -5201,7 +5194,7 @@ <h1><span class="secnum">28.1.3.1</span> <ins>%ModuleSource%.prototype.construct
 
     <emu-clause id="sec-properties-of-modulesource-instances">
       <h1><span class="secnum">28.1.4</span> <ins>Properties of ModuleSource Instances</ins></h1>
-      <p>ModuleSource instances are <emu-xref href="#ordinary-object"><a href="https://tc39.es/ecma262/#ordinary-object">ordinary objects</a></emu-xref> that inherit properties from the <emu-xref href="#sec-properties-of-the-%modulesource%-prototype-object" id="_ref_74"><a href="#sec-properties-of-the-%modulesource%-prototype-object">%ModuleSource% prototype object</a></emu-xref>.</p>
+      <p>ModuleSource instances are <emu-xref href="#ordinary-object"><a href="https://tc39.es/ecma262/#ordinary-object">ordinary objects</a></emu-xref> that inherit properties from the <emu-xref href="#sec-properties-of-the-%modulesource%-prototype-object" id="_ref_77"><a href="#sec-properties-of-the-%modulesource%-prototype-object">%ModuleSource% prototype object</a></emu-xref>.</p>
       <p><ins>ModuleSource instances have a <var class="field">[[ModuleSourceRecord]]</var> internal slot.</ins></p>
     </emu-clause>
   </emu-clause>
@@ -5225,10 +5218,10 @@ <h1><span class="secnum">A.2</span> Host Hooks</h1>
     <p><b><emu-xref aoid="HostEnsureCanCompileStrings"><a href="https://tc39.es/ecma262/#sec-hostensurecancompilestrings">HostEnsureCanCompileStrings</a></emu-xref>(...)</b></p>
     <p><b><emu-xref aoid="HostFinalizeImportMeta"><a href="https://tc39.es/ecma262/#sec-hostfinalizeimportmeta">HostFinalizeImportMeta</a></emu-xref>(...)</b></p>
     <p><b><emu-xref aoid="HostGetImportMetaProperties"><a href="https://tc39.es/ecma262/#sec-hostgetimportmetaproperties">HostGetImportMetaProperties</a></emu-xref>(...)</b></p>
-    <p><b><del><emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_75"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceModuleRecord</a></emu-xref></del><ins><emu-xref aoid="HostGetModuleSourceRecord" id="_ref_76"><a href="#sec-HostGetModuleSourceRecord">HostGetModuleSourceRecord</a></emu-xref></ins>(...)</b></p>
+    <p><b><del><emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_78"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceModuleRecord</a></emu-xref></del><ins><emu-xref aoid="HostGetModuleSourceRecord" id="_ref_79"><a href="#sec-HostGetModuleSourceRecord">HostGetModuleSourceRecord</a></emu-xref></ins>(...)</b></p>
     <p><b><emu-xref aoid="HostGrowSharedArrayBuffer"><a href="https://tc39.es/ecma262/#sec-hostgrowsharedarraybuffer">HostGrowSharedArrayBuffer</a></emu-xref>(...)</b></p>
     <p><b><emu-xref aoid="HostHasSourceTextAvailable"><a href="https://tc39.es/ecma262/#sec-hosthassourcetextavailable">HostHasSourceTextAvailable</a></emu-xref>(...)</b></p>
-    <p><b><emu-xref aoid="HostLoadImportedModule" id="_ref_77"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(...)</b></p>
+    <p><b><emu-xref aoid="HostLoadImportedModule" id="_ref_80"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(...)</b></p>
     <p><b><emu-xref aoid="HostGetSupportedImportAttributes"><a href="https://tc39.es/ecma262/#sec-hostgetsupportedimportattributes">HostGetSupportedImportAttributes</a></emu-xref>(...)</b></p>
     <p><b><emu-xref aoid="HostMakeJobCallback"><a href="https://tc39.es/ecma262/#sec-hostmakejobcallback">HostMakeJobCallback</a></emu-xref>(...)</b></p>
     <p><b><emu-xref aoid="HostPromiseRejectionTracker"><a href="https://tc39.es/ecma262/#sec-host-promise-rejection-tracker">HostPromiseRejectionTracker</a></emu-xref>(...)</b></p>
diff --git a/spec.emu b/spec.emu
index 32cdf63..ee48ec7 100644
--- a/spec.emu
+++ b/spec.emu
@@ -1108,17 +1108,6 @@ contributors: Luca Casonato, Guy Bedford
                 <ins>Field reserved for use by host environments that need to associate additional information with a module. This typically contains the canonical module specifier (e.g. the resolved URL) and other host-specific metadata.</ins>
               </td>
             </tr>
-            <tr>
-              <td>
-                <ins>[[SourceText]]</ins>
-              </td>
-              <td>
-                <ins>ECMAScript source text or ~none~</ins>
-              </td>
-              <td>
-                <ins>The original <emu-xref href="#sec-source-text">source text</emu-xref> for this module, if a Source Text Module Record.</ins>
-              </td>
-            </tr>
             <tr>
               <td>
                 <ins>[[ModuleSourceKind]]</ins>
@@ -1158,9 +1147,9 @@ contributors: Luca Casonato, Guy Bedford
             <dd><ins>It checks module source equality of two Module Source Records.</ins></dd>
           </dl>
           <emu-alg>
-            1. If _left_.[[SourceText]] is ~none~ or _right_.[[SourceText]] is ~none~, return *false*.
-            1. If _left_.[[HostDefined]] is not _right_.[[HostDefined]], return *false*.
-            1. If _left_.[[SourceText]] is not _right_.[[SourceText]], return *false*.
+            1. Assert: _left_.[[ModuleSource]] is not ~empty~.
+            1. Assert: _right_.[[ModuleSource]] is not ~empty~.
+            1. If _left_.[[ModuleSource]] is not _right_.[[ModuleSource]], return *false*.
             1. Return *true*.
           </emu-alg>
         </emu-clause>
@@ -1210,7 +1199,7 @@ contributors: Luca Casonato, Guy Bedford
                 1. Append _ee_ to _indirectExportEntries_.
             1. Let _async_ be _body_ Contains `await`.
             1. <ins>Let _moduleSourceObject_ be OrdinaryObjectCreate(%ModuleSource.prototype%, « [[ModuleSourceRecord]] »).</ins>
-            1. <ins>Let _moduleSourceRecord_ be the Module Source Record { [[HostDefined]]: _hostDefined_, [[SourceText]]: _sourceText_, [[ModuleSourceKind]]: *"ModuleSource"*, [[ModuleSource]]: _moduleSourceObject_ }.</ins>
+            1. <ins>Let _moduleSourceRecord_ be the Module Source Record { [[HostDefined]]: _hostDefined_, [[ModuleSourceKind]]: *"ModuleSource"*, [[ModuleSource]]: _moduleSourceObject_ }.</ins>
             1. <ins>Set _moduleSourceObject_.[[ModuleSourceRecord]] to _moduleSourceRecord_.</ins>
             1. Return Source Text Module Record { [[Realm]]: _realm_, [[Environment]]: ~empty~, [[Namespace]]: ~empty~, [[CycleRoot]]: ~empty~, [[HasTLA]]: _async_, [[AsyncEvaluation]]: *false*, [[TopLevelCapability]]: ~empty~, [[AsyncParentModules]]: « », [[PendingAsyncDependencies]]: ~empty~, [[Status]]: ~new~, [[EvaluationError]]: ~empty~, <del>[[HostDefined]]: _hostDefined_,</del> <ins>[[SourceRecord]]: _moduleSourceRecord_,</ins> [[ECMAScriptCode]]: _body_, [[Context]]: ~empty~, [[ImportMeta]]: ~empty~, <del>[[ModuleSource]]: _moduleSourceObject_,</del> [[RequestedModules]]: _requestedModules_, [[LoadedModules]]: « », [[ImportEntries]]: _importEntries_, [[LocalExportEntries]]: _localExportEntries_, [[IndirectExportEntries]]: _indirectExportEntries_, [[StarExportEntries]]: _starExportEntries_, [[DFSIndex]]: ~empty~, [[DFSAncestorIndex]]: ~empty~ }.
           </emu-alg>
@@ -1282,11 +1271,16 @@ contributors: Luca Casonato, Guy Bedford
           <li>
             The host environment must perform FinishLoadingImportedModule(_referrer_, _moduleRequest_, _payload_, _result_), where _result_ is either a normal completion containing the loaded Module Record or a throw completion, either synchronously or asynchronously.
           </li>
+          <li>
+            <ins>If _moduleRequest_.[[Specifier]] is a Module Source Record, then if FinishLoadingImportedModule(_referrer_, _moduleRequest_, _payload_, NormalCompletion(_module_)) is called with a normal completion, ModuleSourcesEqual(_module_.[[SourceRecord]], _moduleRequest_.[[Specifier]]) must be *true*.</ins>
+          </li>
           <li>
             <p><ins>For every pair (_referrer_, _moduleRequest_) that calls FinishLoadingImportedModule(_referrer_, _moduleRequest_, _payload_, NormalCompletion(_module_)), hosts must define a singular <dfn>Canonical ModuleRequest Record</dfn>, _moduleRequestKey_, satisfying:</ins></p>
             <ul>
+              <li><ins>_moduleRequestKey_.[[Specifier]] is a String;</ins></li>
               <li><ins>_moduleRequestKey_.[[Phase]] is equal to ~source~ (the lowest possible phase);</ins></li>
               <li><ins>FinishLoadingImportedModule will return the same NormalCompletion(_module_) _result_ for all (_otherReferrer_, _otherModuleRequest_) pairs whose Canonical ModuleRequest Record is also _moduleRequestKey_;</ins></li>
+              <li><ins>If _moduleRequest_.[[Specifier]] is a Module Source Record, then ModuleSourcesEqual(_moduleRequest_.[[Specifier]], _module_.[[SourceRecord]]) is *true*</ins></li>
               <li><ins>For any other module request _otherModuleRequest_ with Canonical ModuleRequest Record _otherModuleRequestKey_, if ModuleRequestsEqual(_moduleRequest_, _otherModuleRequest_) is *true*, then ModuleRequestsEqual(_moduleRequestKey_, _otherModuleRequestKey_) must be *true*.</ins></li>
             </ul>
             <p>If this operation is called multiple times <ins>first with (_referrer1_, _moduleRequest1_, _hostDefined1_, _payload1_) and later with (_referrer2_, _moduleRequest2_, _hostDefined2_, _payload2_)</ins><del>with two (_referrer_, _moduleRequest_) pairs</del> such that:</p>
@@ -1302,9 +1296,6 @@ contributors: Luca Casonato, Guy Bedford
           <li>
             The completion record returned by this operation must not be affected by _moduleRequest_.[[Phase]].
           </li>
-          <li>
-            <ins>When _moduleRequest_.[[Specifier]] is a Module Source Record, this corresponds to importing a Module Source Object directly. In this case the host must resolve the Module Source Record to a Module Record, registering it in the module registry while possibly coalescing with any existing record on exact key and source equality (checking source equality via ModuleSourcesEqual) to maintain the invariants above.</ins>
-          </li>
           <li>
             The operation must treat _payload_ as an opaque value to be passed through to FinishLoadingImportedModule.
           </li>
@@ -1312,6 +1303,8 @@ contributors: Luca Casonato, Guy Bedford
 
         <p>The actual process performed is host-defined, but typically consists of performing whatever I/O operations are necessary to load the appropriate Module Record. Multiple different (_referrer_, _moduleRequest_.[[Specifier]], _moduleRequest_.[[Attributes]]) triples may map to the same Module Record instance. The actual mapping semantics is host-defined but typically a normalization process is applied to _specifier_ as part of the mapping process. A typical normalization process would include actions such as expansion of relative and abbreviated path specifiers.</p>
 
+        <p><ins>Every Module Source Object has one unique importable instance in a given Realm, which is always returned for the import of that Module Source Object. In addition, when the Canonical ModuleRequest Record (with a String specifier) for a module source import has not previously been imported, it will also be defined to map to the same instance for future imports. On the other hand, if that Canonical ModuleRequest Record entry had previously been imported, the first registration remains authoritative for that Canonical ModuleRequest Record even if it does not match the Module Source Record's source. In this way, module source imports can be considered an order-dependent injective operation for the module registry.</ins></p>
+
         <emu-note>
           <p><emu-xref href="#sec-hosts-and-implementations">Implementations</emu-xref> may provide unobservable module loading optimizations, such as speculative preloading of modules that are likely to be requested next. When doing so, they should consider whether the module is being imported for its ~source~ phase, which won't cause calls to the HostLoadImportedModule hook for its transitive dependencies, or for its ~evaluation~ phase, which will.</p>
         </emu-note>
@@ -1360,7 +1353,7 @@ contributors: Luca Casonato, Guy Bedford
           </dl>
           <emu-alg>
             1. Let _realm_ be the current Realm Record.
-            1. <ins>Let _moduleSourceRecord_ be the Module Source Record { [[HostDefined]]: *undefined*, [[SourceText]]: ~none~, [[ModuleSourceKind]]: *"SyntheticModule"*, [[ModuleSource]]: ~empty~ }.</ins>
+            1. <ins>Let _moduleSourceRecord_ be the Module Source Record { [[HostDefined]]: *undefined*, [[ModuleSourceKind]]: *"SyntheticModule"*, [[ModuleSource]]: ~empty~ }.</ins>
             1. Let _setDefaultExport_ be a new Abstract Closure with parameters (_module_) that captures _defaultExport_ and performs the following steps when called:
               1. Perform SetSyntheticModuleExport(_module_, *"default"*, _defaultExport_).
               1. Return NormalCompletion(~unused~).