diff --git a/build/index.html b/build/index.html
index e8984a6..de0bcb2 100644
--- a/build/index.html
+++ b/build/index.html
@@ -1423,7 +1423,7 @@
 });
 
 let sdoMap = JSON.parse(`{}`);
-let biblio = JSON.parse(`{"refsByClause":{"sec-well-known-intrinsic-objects":["_ref_0","_ref_1"],"sec-abstract-module-records":["_ref_2","_ref_9","_ref_10","_ref_11","_ref_12","_ref_13","_ref_14","_ref_15","_ref_16","_ref_17","_ref_18"],"sec-HostLoadImportedModule":["_ref_3","_ref_22","_ref_23","_ref_24","_ref_25","_ref_26","_ref_27","_ref_28","_ref_29","_ref_30","_ref_31"],"sec-evaluate-import-call":["_ref_4","_ref_5","_ref_6","_ref_7","_ref_8"],"sec-source-text-module-records":["_ref_19"],"sec-source-text-module-record-getmodulesource":["_ref_20"],"sec-source-text-module-record-sourceequals":["_ref_21"],"sec-FinishLoadingImportedModule":["_ref_32","_ref_33","_ref_34"],"sec-getmodulesourcemodulerecord":["_ref_35","_ref_36","_ref_37","_ref_38"],"sec-HostGetModuleSourceName":["_ref_39","_ref_40"],"sec-HostGetModuleSourceModuleRecord":["_ref_41","_ref_42","_ref_43"],"sec-module-semantics":["_ref_44","_ref_45"],"sec-module-source-objects":["_ref_46","_ref_47"],"sec-get-%abstractmodulesource%.prototype.@@tostringtag":["_ref_48","_ref_49","_ref_50","_ref_51"],"sec-properties-of-modulesource-instances":["_ref_52"],"sec-host-hooks-summary":["_ref_53","_ref_54","_ref_55"]},"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_4","_ref_6","_ref_7","_ref_48","_ref_49"]},{"type":"clause","id":"sec-ecmascript-language-types","titleHTML":"ECMAScript Language Types","number":"1.1"},{"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":"clause","id":"sec-import-calls","titleHTML":"Import Calls","number":"13.3.10","referencingIds":["_ref_3"]},{"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-abstract-methods-of-module-records","number":2,"caption":"Table 2: Abstract Methods of Module Records"},{"type":"term","term":"ResolvedBinding Record","id":"resolvedbinding-record"},{"type":"clause","id":"sec-abstract-module-records","titleHTML":"Abstract Module Records","number":"16.1.1.1","referencingIds":["_ref_9","_ref_10","_ref_12","_ref_13","_ref_14","_ref_15","_ref_16","_ref_17","_ref_18","_ref_21","_ref_22","_ref_24","_ref_27","_ref_30","_ref_31","_ref_32","_ref_33","_ref_34","_ref_35","_ref_36","_ref_38","_ref_41","_ref_42","_ref_43"]},{"type":"table","id":"table-additional-fields-of-source-text-module-records","number":3,"caption":"Table 3: Additional Fields of Source Text Module Records"},{"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.2.1"},{"type":"clause","id":"sec-source-text-module-record-getmodulesource","titleHTML":"GetModuleSource ( )","number":"16.1.1.2.2"},{"type":"clause","id":"sec-source-text-module-record-sourceequals","title":"ModuleSourcesEqual ( otherModule )","titleHTML":"<ins>ModuleSourcesEqual ( <var>otherModule</var> )</ins>","number":"16.1.1.2.3"},{"type":"clause","id":"sec-source-text-module-record-getmodulesourcename","title":"GetModuleSourceName ( )","titleHTML":"<ins>GetModuleSourceName ( )</ins>","number":"16.1.1.2.4"},{"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.2.5","referencingIds":["_ref_8","_ref_55"]},{"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.2.6","referencingIds":["_ref_23","_ref_25","_ref_26","_ref_29"]},{"type":"clause","id":"sec-source-text-module-records","titleHTML":"Source Text Module Records","number":"16.1.1.2"},{"type":"op","aoid":"GetModuleSourceModuleRecord","refId":"sec-getmodulesourcemodulerecord"},{"type":"clause","id":"sec-getmodulesourcemodulerecord","title":"GetModuleSourceModuleRecord ( moduleSource )","titleHTML":"<ins>GetModuleSourceModuleRecord ( <var>moduleSource</var> )</ins>","number":"16.1.1.3","referencingIds":["_ref_5","_ref_45","_ref_47","_ref_51"]},{"type":"op","aoid":"HostGetModuleSourceName","refId":"sec-HostGetModuleSourceName"},{"type":"clause","id":"sec-HostGetModuleSourceName","title":"HostGetModuleSourceName ( moduleSource )","titleHTML":"<del>HostGetModuleSourceName ( <var>moduleSource</var> )</del>","number":"16.1.1.4","referencingIds":["_ref_46","_ref_50","_ref_53"]},{"type":"op","aoid":"HostGetModuleSourceModuleRecord","refId":"sec-HostGetModuleSourceModuleRecord"},{"type":"clause","id":"sec-HostGetModuleSourceModuleRecord","title":"HostGetModuleSourceModuleRecord ( moduleSource )","titleHTML":"<ins>HostGetModuleSourceModuleRecord ( <var>moduleSource</var> )</ins>","number":"16.1.1.5","referencingIds":["_ref_37","_ref_44","_ref_54"]},{"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.@@tostringtag","titleHTML":"get %AbstractModuleSource%.prototype [ @@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_20","_ref_52"]},{"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_2","_ref_11","_ref_19","_ref_28","_ref_39","_ref_40"]},{"type":"clause","id":"sec-reflection","titleHTML":"Reflection","number":"28"},{"type":"clause","id":"sec-host-hooks-summary","titleHTML":"Host Hooks","number":"A.1"},{"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-abstract-module-records":["_ref_2","_ref_9","_ref_10","_ref_11","_ref_12","_ref_13","_ref_14","_ref_15","_ref_16","_ref_17","_ref_18"],"sec-HostLoadImportedModule":["_ref_3","_ref_23","_ref_24","_ref_25","_ref_26","_ref_27","_ref_28","_ref_29","_ref_30","_ref_31","_ref_32"],"sec-evaluate-import-call":["_ref_4","_ref_5","_ref_6","_ref_7","_ref_8"],"sec-source-text-module-records":["_ref_19","_ref_20"],"sec-source-text-module-record-getmodulesource":["_ref_21"],"sec-source-text-module-record-sourceequals":["_ref_22"],"sec-FinishLoadingImportedModule":["_ref_33","_ref_34","_ref_35"],"sec-getmodulesourcemodulerecord":["_ref_36","_ref_37","_ref_38","_ref_39"],"sec-HostGetModuleSourceName":["_ref_40","_ref_41"],"sec-HostGetModuleSourceModuleRecord":["_ref_42","_ref_43","_ref_44"],"sec-module-semantics":["_ref_45","_ref_46"],"sec-module-source-objects":["_ref_47","_ref_48"],"sec-get-%abstractmodulesource%.prototype.@@tostringtag":["_ref_49","_ref_50","_ref_51","_ref_52"],"sec-properties-of-modulesource-instances":["_ref_53"],"sec-host-hooks-summary":["_ref_54","_ref_55","_ref_56"]},"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_4","_ref_6","_ref_7","_ref_49","_ref_50"]},{"type":"clause","id":"sec-ecmascript-language-types","titleHTML":"ECMAScript Language Types","number":"1.1"},{"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":"clause","id":"sec-import-calls","titleHTML":"Import Calls","number":"13.3.10","referencingIds":["_ref_3"]},{"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-abstract-methods-of-module-records","number":2,"caption":"Table 2: Abstract Methods of Module Records"},{"type":"term","term":"ResolvedBinding Record","id":"resolvedbinding-record"},{"type":"clause","id":"sec-abstract-module-records","titleHTML":"Abstract Module Records","number":"16.1.1.1","referencingIds":["_ref_9","_ref_10","_ref_12","_ref_13","_ref_14","_ref_15","_ref_16","_ref_17","_ref_18","_ref_22","_ref_23","_ref_25","_ref_28","_ref_31","_ref_32","_ref_33","_ref_34","_ref_35","_ref_36","_ref_37","_ref_39","_ref_42","_ref_43","_ref_44"]},{"type":"table","id":"table-additional-fields-of-source-text-module-records","number":3,"caption":"Table 3: Additional Fields of Source Text Module Records"},{"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.2.1"},{"type":"clause","id":"sec-source-text-module-record-getmodulesource","titleHTML":"GetModuleSource ( )","number":"16.1.1.2.2"},{"type":"clause","id":"sec-source-text-module-record-sourceequals","title":"ModuleSourcesEqual ( otherModule )","titleHTML":"<ins>ModuleSourcesEqual ( <var>otherModule</var> )</ins>","number":"16.1.1.2.3"},{"type":"clause","id":"sec-source-text-module-record-getmodulesourcename","title":"GetModuleSourceName ( )","titleHTML":"<ins>GetModuleSourceName ( )</ins>","number":"16.1.1.2.4"},{"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.2.5","referencingIds":["_ref_8","_ref_56"]},{"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.2.6","referencingIds":["_ref_24","_ref_26","_ref_27","_ref_30"]},{"type":"clause","id":"sec-source-text-module-records","titleHTML":"Source Text Module Records","number":"16.1.1.2"},{"type":"op","aoid":"GetModuleSourceModuleRecord","refId":"sec-getmodulesourcemodulerecord"},{"type":"clause","id":"sec-getmodulesourcemodulerecord","title":"GetModuleSourceModuleRecord ( specifier )","titleHTML":"<ins>GetModuleSourceModuleRecord ( <var>specifier</var> )</ins>","number":"16.1.1.3","referencingIds":["_ref_5","_ref_46","_ref_48","_ref_52"]},{"type":"op","aoid":"HostGetModuleSourceName","refId":"sec-HostGetModuleSourceName"},{"type":"clause","id":"sec-HostGetModuleSourceName","title":"HostGetModuleSourceName ( moduleSource )","titleHTML":"<del>HostGetModuleSourceName ( <var>moduleSource</var> )</del>","number":"16.1.1.4","referencingIds":["_ref_47","_ref_51","_ref_54"]},{"type":"op","aoid":"HostGetModuleSourceModuleRecord","refId":"sec-HostGetModuleSourceModuleRecord"},{"type":"clause","id":"sec-HostGetModuleSourceModuleRecord","title":"HostGetModuleSourceModuleRecord ( moduleSource )","titleHTML":"<ins>HostGetModuleSourceModuleRecord ( <var>moduleSource</var> )</ins>","number":"16.1.1.5","referencingIds":["_ref_38","_ref_45","_ref_55"]},{"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.@@tostringtag","titleHTML":"get %AbstractModuleSource%.prototype [ @@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_21","_ref_53"]},{"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_2","_ref_11","_ref_19","_ref_20","_ref_29","_ref_40","_ref_41"]},{"type":"clause","id":"sec-reflection","titleHTML":"Reflection","number":"28"},{"type":"clause","id":"sec-host-hooks-summary","titleHTML":"Host Hooks","number":"A.1"},{"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>body {
   display: flex;
   word-wrap: break-word;
@@ -2696,7 +2696,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">
       <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</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></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-none"></span><a href="#sec-abstract-module-records" title="Abstract Module Records"><span class="secnum">16.1.1.1</span> Abstract Module Records</a></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.2</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.2.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-getmodulesource" title="GetModuleSource ( )"><span class="secnum">16.1.1.2.2</span> GetModuleSource ( )</a></li><li><span class="item-toggle-none"></span><a href="#sec-source-text-module-record-sourceequals" title="ModuleSourcesEqual ( otherModule )"><span class="secnum">16.1.1.2.3</span> <ins>ModuleSourcesEqual ( <var>otherModule</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-source-text-module-record-getmodulesourcename" title="GetModuleSourceName ( )"><span class="secnum">16.1.1.2.4</span> <ins>GetModuleSourceName ( )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-HostLoadImportedModule" title="HostLoadImportedModule ( referrer, moduleRequest, hostDefined, payload )"><span class="secnum">16.1.1.2.5</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.2.6</span> FinishLoadingImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var> )</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-getmodulesourcemodulerecord" title="GetModuleSourceModuleRecord ( moduleSource )"><span class="secnum">16.1.1.3</span> <ins>GetModuleSourceModuleRecord ( <var>moduleSource</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-HostGetModuleSourceName" title="HostGetModuleSourceName ( moduleSource )"><span class="secnum">16.1.1.4</span> <del>HostGetModuleSourceName ( <var>moduleSource</var> )</del></a></li><li><span class="item-toggle-none"></span><a href="#sec-HostGetModuleSourceModuleRecord" title="HostGetModuleSourceModuleRecord ( moduleSource )"><span class="secnum">16.1.1.5</span> <ins>HostGetModuleSourceModuleRecord ( <var>moduleSource</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.@@tostringtag" title="get %AbstractModuleSource%.prototype [ @@toStringTag ]"><span class="secnum">28.1.1.1</span> get %AbstractModuleSource%.prototype [ @@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">A</span> Host Layering Points</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-host-hooks-summary" title="Host Hooks"><span class="secnum">A.1</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"><span class="secnum">B</span> Copyright &amp; Software License</a></li></ol></div></div><div id="spec-container"><h1 class="version">Stage 2 Draft / November 21, 2024</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</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></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-none"></span><a href="#sec-abstract-module-records" title="Abstract Module Records"><span class="secnum">16.1.1.1</span> Abstract Module Records</a></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.2</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.2.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-getmodulesource" title="GetModuleSource ( )"><span class="secnum">16.1.1.2.2</span> GetModuleSource ( )</a></li><li><span class="item-toggle-none"></span><a href="#sec-source-text-module-record-sourceequals" title="ModuleSourcesEqual ( otherModule )"><span class="secnum">16.1.1.2.3</span> <ins>ModuleSourcesEqual ( <var>otherModule</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-source-text-module-record-getmodulesourcename" title="GetModuleSourceName ( )"><span class="secnum">16.1.1.2.4</span> <ins>GetModuleSourceName ( )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-HostLoadImportedModule" title="HostLoadImportedModule ( referrer, moduleRequest, hostDefined, payload )"><span class="secnum">16.1.1.2.5</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.2.6</span> FinishLoadingImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>payload</var>, <var>result</var> )</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-getmodulesourcemodulerecord" title="GetModuleSourceModuleRecord ( specifier )"><span class="secnum">16.1.1.3</span> <ins>GetModuleSourceModuleRecord ( <var>specifier</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-HostGetModuleSourceName" title="HostGetModuleSourceName ( moduleSource )"><span class="secnum">16.1.1.4</span> <del>HostGetModuleSourceName ( <var>moduleSource</var> )</del></a></li><li><span class="item-toggle-none"></span><a href="#sec-HostGetModuleSourceModuleRecord" title="HostGetModuleSourceModuleRecord ( moduleSource )"><span class="secnum">16.1.1.5</span> <ins>HostGetModuleSourceModuleRecord ( <var>moduleSource</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.@@tostringtag" title="get %AbstractModuleSource%.prototype [ @@toStringTag ]"><span class="secnum">28.1.1.1</span> get %AbstractModuleSource%.prototype [ @@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">A</span> Host Layering Points</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-host-hooks-summary" title="Host Hooks"><span class="secnum">A.1</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"><span class="secnum">B</span> Copyright &amp; Software License</a></li></ol></div></div><div id="spec-container"><h1 class="version">Stage 2 Draft / November 22, 2024</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>
@@ -3511,7 +3511,7 @@ <h1><span class="secnum">13.3.10</span> Import Calls</h1>
       <emu-clause id="sec-evaluate-import-call" type="abstract operation" aoid="EvaluateImportCall">
         <h1><span class="secnum">13.3.10.1</span> EvaluateImportCall ( <var>specifierExpression</var>, <var>phase</var> [ , <var>optionsExpression</var> ] )</h1>
         <p>The abstract operation EvaluateImportCall takes arguments <var>specifierExpression</var> (a <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref>) and <var>phase</var> (<emu-const>source</emu-const> or <emu-const>evaluation</emu-const>) and optional argument <var>optionsExpression</var> (a <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref>) and returns 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 Promise 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>. It performs the following steps when called:</p>
-        <emu-alg><ol><li>Let <var>referrer</var> be <emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</li><li>If <var>referrer</var> is <emu-val>null</emu-val>, set <var>referrer</var> to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</li><li>Let <var>specifierRef</var> be ?&nbsp;<emu-xref aoid="Evaluation"><a href="https://tc39.es/ecma262/#sec-evaluation">Evaluation</a></emu-xref> of <var>specifierExpression</var>.</li><li>Let <var>specifier</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>specifierRef</var>).</li><li>If <var>optionsExpression</var> is present, then<ol><li>Let <var>optionsRef</var> be ?&nbsp;<emu-xref aoid="Evaluation"><a href="https://tc39.es/ecma262/#sec-evaluation">Evaluation</a></emu-xref> of <var>optionsExpression</var>.</li><li>Let <var>options</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>optionsRef</var>).</li></ol></li><li>Else,<ol><li>Let <var>options</var> be <emu-val>undefined</emu-val>.</li></ol></li><li>Let <var>promiseCapability</var> be !&nbsp;<emu-xref aoid="NewPromiseCapability"><a href="https://tc39.es/ecma262/#sec-newpromisecapability">NewPromiseCapability</a></emu-xref>(<emu-xref href="#sec-promise-constructor"><a href="https://tc39.es/ecma262/#sec-promise-constructor">%Promise%</a></emu-xref>).</li><li><ins>Let <var>moduleRequest</var> be <emu-val>undefined</emu-val>.</ins></li><li><ins>If <var>specifier</var> <emu-xref href="#sec-object-type" id="_ref_4"><a href="#sec-object-type">is an Object</a></emu-xref>, then</ins><ol><li><ins>Let <var>moduleSource</var> be <emu-xref aoid="GetModuleSourceModuleRecord" id="_ref_5"><a href="#sec-getmodulesourcemodulerecord">GetModuleSourceModuleRecord</a></emu-xref>(<var>specifier</var>).</ins></li><li><ins>If <var>moduleSource</var> is not <emu-const>not-a-source</emu-const>, then</ins><ol><li><ins>If <var>moduleSource</var>.<var class="field">[[Realm]]</var> is not equal to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>, then</ins><ol><li><ins>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</ins></li><li><ins>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</ins></li></ol></li><li><ins>Let <var>attributesObj</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"with"</emu-val>)).</ins></li><li><ins><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</ins></li><li><ins>If <var>attributesObj</var> is not <emu-val>undefined</emu-val>, then</ins><ol><li><ins>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</ins></li><li><ins>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</ins></li></ol></li><li><ins>Set <var>moduleRequest</var> to <var>moduleSource</var>.</ins></li></ol></li></ol></li><li><ins>If <var>moduleRequest</var> is <emu-val>undefined</emu-val>, then</ins><ol><li>Let <var>specifierString</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>specifier</var>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>specifierString</var>, <var>promiseCapability</var>).</li><li>Let <var>attributes</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>If <var>options</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <var>options</var> <emu-xref href="#sec-object-type" id="_ref_6"><a href="#sec-object-type">is not an Object</a></emu-xref>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>attributesObj</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"with"</emu-val>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</li><li>If <var>attributesObj</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <var>attributesObj</var> <emu-xref href="#sec-object-type" id="_ref_7"><a href="#sec-object-type">is not an Object</a></emu-xref>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>entries</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="EnumerableOwnProperties"><a href="https://tc39.es/ecma262/#sec-enumerableownproperties">EnumerableOwnProperties</a></emu-xref>(<var>attributesObj</var>, <emu-const>key+value</emu-const>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>entries</var>, <var>promiseCapability</var>).</li><li>For each element <var>entry</var> of <var>entries</var>, do<ol><li>Let <var>key</var> be !&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>entry</var>, <emu-val>"0"</emu-val>).</li><li>Let <var>value</var> be !&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>entry</var>, <emu-val>"1"</emu-val>).</li><li>If <var>key</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>, then<ol><li>If <var>value</var> <emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type">is not a String</a></emu-xref>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Append the ImportAttribute <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> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <var>value</var>&nbsp;} to <var>attributes</var>.</li></ol></li></ol></li></ol></li><li>If AllImportAttributesSupported(<var>attributes</var>) is <emu-val>false</emu-val>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Sort <var>attributes</var> according to the lexicographic order of their <var class="field">[[Key]]</var> fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from changing behaviour based on the order in which attributes are enumerated.</li></ol></li><li><del>Let <var>moduleRequest</var> be</del><ins>Set <var>moduleRequest</var> to</ins> a new ModuleRequest <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> { <var class="field">[[Specifier]]</var>: <var>specifierString</var>, <var class="field">[[Phase]]</var>: <var>phase</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var>&nbsp;}.</li></ol></li><li>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_8"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <emu-const>empty</emu-const>, <var>promiseCapability</var>).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <var>referrer</var> be <emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</li><li>If <var>referrer</var> is <emu-val>null</emu-val>, set <var>referrer</var> to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</li><li>Let <var>specifierRef</var> be ?&nbsp;<emu-xref aoid="Evaluation"><a href="https://tc39.es/ecma262/#sec-evaluation">Evaluation</a></emu-xref> of <var>specifierExpression</var>.</li><li>Let <var>specifier</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>specifierRef</var>).</li><li>If <var>optionsExpression</var> is present, then<ol><li>Let <var>optionsRef</var> be ?&nbsp;<emu-xref aoid="Evaluation"><a href="https://tc39.es/ecma262/#sec-evaluation">Evaluation</a></emu-xref> of <var>optionsExpression</var>.</li><li>Let <var>options</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>optionsRef</var>).</li></ol></li><li>Else,<ol><li>Let <var>options</var> be <emu-val>undefined</emu-val>.</li></ol></li><li>Let <var>promiseCapability</var> be !&nbsp;<emu-xref aoid="NewPromiseCapability"><a href="https://tc39.es/ecma262/#sec-newpromisecapability">NewPromiseCapability</a></emu-xref>(<emu-xref href="#sec-promise-constructor"><a href="https://tc39.es/ecma262/#sec-promise-constructor">%Promise%</a></emu-xref>).</li><li><ins>Let <var>moduleRequest</var> be <emu-val>undefined</emu-val>.</ins></li><li><ins>If <var>specifier</var> <emu-xref href="#sec-object-type" id="_ref_4"><a href="#sec-object-type">is an Object</a></emu-xref>, then</ins><ol><li><ins>Let <var>moduleSource</var> be <emu-xref aoid="GetModuleSourceModuleRecord" id="_ref_5"><a href="#sec-getmodulesourcemodulerecord">GetModuleSourceModuleRecord</a></emu-xref>(<var>specifier</var>).</ins></li><li><ins>If <var>moduleSource</var> is not <emu-const>not-a-source</emu-const>, then</ins><ol><li><ins>If <var>moduleSource</var>.<var class="field">[[Realm]]</var> is not <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>, then</ins><ol><li><ins>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</ins></li><li><ins>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</ins></li></ol></li><li><ins>Let <var>attributesObj</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"with"</emu-val>)).</ins></li><li><ins><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</ins></li><li><ins>If <var>attributesObj</var> is not <emu-val>undefined</emu-val>, then</ins><ol><li><ins>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</ins></li><li><ins>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</ins></li></ol></li><li><ins>Set <var>moduleRequest</var> to <var>moduleSource</var>.</ins></li></ol></li></ol></li><li><ins>If <var>moduleRequest</var> is <emu-val>undefined</emu-val>, then</ins><ol><li>Let <var>specifierString</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>specifier</var>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>specifierString</var>, <var>promiseCapability</var>).</li><li>Let <var>attributes</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>If <var>options</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <var>options</var> <emu-xref href="#sec-object-type" id="_ref_6"><a href="#sec-object-type">is not an Object</a></emu-xref>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>attributesObj</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"with"</emu-val>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</li><li>If <var>attributesObj</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <var>attributesObj</var> <emu-xref href="#sec-object-type" id="_ref_7"><a href="#sec-object-type">is not an Object</a></emu-xref>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>entries</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="EnumerableOwnProperties"><a href="https://tc39.es/ecma262/#sec-enumerableownproperties">EnumerableOwnProperties</a></emu-xref>(<var>attributesObj</var>, <emu-const>key+value</emu-const>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>entries</var>, <var>promiseCapability</var>).</li><li>For each element <var>entry</var> of <var>entries</var>, do<ol><li>Let <var>key</var> be !&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>entry</var>, <emu-val>"0"</emu-val>).</li><li>Let <var>value</var> be !&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>entry</var>, <emu-val>"1"</emu-val>).</li><li>If <var>key</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>, then<ol><li>If <var>value</var> <emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type">is not a String</a></emu-xref>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Append the ImportAttribute <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> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <var>value</var>&nbsp;} to <var>attributes</var>.</li></ol></li></ol></li></ol></li><li>If AllImportAttributesSupported(<var>attributes</var>) is <emu-val>false</emu-val>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object&nbsp;»).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Sort <var>attributes</var> according to the lexicographic order of their <var class="field">[[Key]]</var> fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from changing behaviour based on the order in which attributes are enumerated.</li></ol></li><li><del>Let <var>moduleRequest</var> be</del><ins>Set <var>moduleRequest</var> to</ins> a new ModuleRequest <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> { <var class="field">[[Specifier]]</var>: <var>specifierString</var>, <var class="field">[[Phase]]</var>: <var>phase</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var>&nbsp;}.</li></ol></li><li>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_8"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <emu-const>empty</emu-const>, <var>promiseCapability</var>).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></emu-alg>
       </emu-clause>
     </emu-clause>
   </emu-clause>
@@ -3601,7 +3601,7 @@ <h1><span class="secnum">16.1.1.1</span> Abstract Module Records</h1>
                 <ins>ModuleSourcesEqual(<var>otherModuleRecord</var>)</ins>
               </td>
               <td>
-                <p><ins>For <emu-xref href="#sec-abstract-module-records" id="_ref_15"><a href="#sec-abstract-module-records">Module Records</a></emu-xref> that implement 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> for GetModuleSource(), allows defining a source equality operation for <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> registry checks.</ins></p>
+                <p><ins>For <emu-xref href="#sec-abstract-module-records" id="_ref_15"><a href="#sec-abstract-module-records">Module Records</a></emu-xref> that return 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> for GetModuleSource(), allows defining a source equality operation for <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> registry checks.</ins></p>
                 <p><ins>For <emu-xref href="#sec-abstract-module-records" id="_ref_16"><a href="#sec-abstract-module-records">Module Records</a></emu-xref> that do not have a source representation, ModuleSourcesEqual() is never called.</ins></p>
               </td>
             </tr>
@@ -3610,7 +3610,7 @@ <h1><span class="secnum">16.1.1.1</span> Abstract Module Records</h1>
                 <ins>GetModuleSourceName()</ins>
               </td>
               <td>
-                <p><ins>For <emu-xref href="#sec-abstract-module-records" id="_ref_17"><a href="#sec-abstract-module-records">Module Records</a></emu-xref> that implement 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> for GetModuleSource(), returns a constant String for each concrete module record that exposes a source representation through <code>GetModuleSource()</code>, to be provided in the strongly branded return value of the <emu-xref href="#sec-well-known-symbols"><a href="https://tc39.es/ecma262/#sec-well-known-symbols">@@toStringTag</a></emu-xref> getter on %AbstractModuleSource%.</ins></p>
+                <p><ins>For <emu-xref href="#sec-abstract-module-records" id="_ref_17"><a href="#sec-abstract-module-records">Module Records</a></emu-xref> that return 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> for GetModuleSource(), returns a constant String for each concrete module record that exposes a source representation through <code>GetModuleSource()</code>, to be provided in the strongly branded return value of the <emu-xref href="#sec-well-known-symbols"><a href="https://tc39.es/ecma262/#sec-well-known-symbols">@@toStringTag</a></emu-xref> getter on %AbstractModuleSource%.</ins></p>
                 <p><ins>For <emu-xref href="#sec-abstract-module-records" id="_ref_18"><a href="#sec-abstract-module-records">Module Records</a></emu-xref> that do not have a source representation, GetModuleSourceName() is never called.</ins></p>
               </td>
             </tr>
@@ -3641,10 +3641,10 @@ <h1><span class="secnum">16.1.1.2</span> Source Text Module Records</h1>
                 <ins><var class="field">[[SourceText]]</var></ins>
               </td>
               <td>
-                <ins>a sequence of Unicode code points</ins>
+                <ins><emu-xref href="#sec-source-text"><a href="https://tc39.es/ecma262/#sec-source-text">ECMAScript source text</a></emu-xref></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, allowing for equality checks and serialization of module sources. <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">Hosts</a></emu-xref> may implement this field with any optimized representation that supports equality and serialization.</ins>
+                <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, allowing for equality checks and serialization of module sources.</ins>
               </td>
             </tr>
             <tr>
@@ -3688,7 +3688,7 @@ <h1><span class="secnum">16.1.1.2</span> Source Text Module Records</h1>
                 <ins>an Object or <emu-const>empty</emu-const></ins>
               </td>
               <td>
-                <ins>The <emu-xref href="#sec-module-source-objects" id="_ref_19"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref> generated by GetModuleSource().</ins>
+                <ins>The <emu-xref href="#sec-module-source-objects" id="_ref_19"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref> generated by GetModuleSource(). Empty when no <emu-xref href="#sec-module-source-objects" id="_ref_20"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref> has yet been associated with this module.</ins>
               </td>
             </tr>
             <tr>
@@ -3750,13 +3750,13 @@ <h1><span class="secnum">16.1.1.2.1</span> ParseModule ( <var>sourceText</var>,
         <emu-clause id="sec-source-text-module-record-getmodulesource" type="concrete method">
           <h1><span class="secnum">16.1.1.2.2</span> GetModuleSource ( )</h1>
           <p>The GetModuleSource concrete method of a <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref> <var>module</var> takes no arguments and returns 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> an Object 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>. It performs the following steps when called:</p>
-          <emu-alg><ol><li><del>Throw a <emu-val>SyntaxError</emu-val> exception.</del></li><li><ins>If <var>module</var>.<var class="field">[[ModuleSource]]</var> is not <emu-const>empty</emu-const>, then</ins><ol><li><ins>Return <var>module</var>.<var class="field">[[ModuleSource]]</var>.</ins></li></ol></li><li><ins>Let <var>moduleSource</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_20"><a href="#sec-properties-of-the-%modulesource%-prototype-object">%ModuleSource.prototype%</a></emu-xref>).</ins></li><li><ins>Set <var>moduleSource</var>.<var class="field">[[SourceTextModuleRecord]]</var> to <var>module</var>.</ins></li><li><ins>Set <var>module</var>.<var class="field">[[ModuleSource]]</var> to <var>moduleSource</var>.</ins></li><li><ins>Return <var>moduleSource</var>.</ins></li></ol></emu-alg>
+          <emu-alg><ol><li><del>Throw a <emu-val>SyntaxError</emu-val> exception.</del></li><li><ins>If <var>module</var>.<var class="field">[[ModuleSource]]</var> is not <emu-const>empty</emu-const>, then</ins><ol><li><ins>Return <var>module</var>.<var class="field">[[ModuleSource]]</var>.</ins></li></ol></li><li><ins>Let <var>moduleSource</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_21"><a href="#sec-properties-of-the-%modulesource%-prototype-object">%ModuleSource.prototype%</a></emu-xref>).</ins></li><li><ins>Set <var>moduleSource</var>.<var class="field">[[SourceTextModuleRecord]]</var> to <var>module</var>.</ins></li><li><ins>Set <var>module</var>.<var class="field">[[ModuleSource]]</var> to <var>moduleSource</var>.</ins></li><li><ins>Return <var>moduleSource</var>.</ins></li></ol></emu-alg>
         </emu-clause>
 
         <emu-clause id="sec-source-text-module-record-sourceequals" type="concrete method">
           <h1><span class="secnum">16.1.1.2.3</span> <ins>ModuleSourcesEqual ( <var>otherModule</var> )</ins></h1>
-          <p>The ModuleSourcesEqual concrete method of a <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref> <var>module</var> takes argument <var>otherModule</var> (a <emu-xref href="#sec-abstract-module-records" id="_ref_21"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>) and returns a Boolean. Checks module source equality (not module instance equality) of this module record against another module record It performs the following steps when called:</p>
-          <emu-alg><ol><li><ins>If <var>otherModule</var> is not a <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref>, return <emu-val>false</emu-val>.</ins></li><li><ins>If <var>otherModule</var>.<var class="field">[[SourceText]]</var> is equal to <var>module</var>.<var class="field">[[SourceText]]</var>, return <emu-val>true</emu-val>.</ins></li><li><ins>Return <emu-val>false</emu-val>.</ins></li></ol></emu-alg>
+          <p>The ModuleSourcesEqual concrete method of a <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref> <var>module</var> takes argument <var>otherModule</var> (a <emu-xref href="#sec-abstract-module-records" id="_ref_22"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>) and returns a Boolean. Checks module source equality (not module instance equality) of this module record against another module record It performs the following steps when called:</p>
+          <emu-alg><ol><li><ins>If <var>otherModule</var> is not a <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref>, return <emu-val>false</emu-val>.</ins></li><li><ins>If <var>otherModule</var>.<var class="field">[[SourceText]]</var> is <var>module</var>.<var class="field">[[SourceText]]</var>, return <emu-val>true</emu-val>.</ins></li><li><ins>Return <emu-val>false</emu-val>.</ins></li></ol></emu-alg>
         </emu-clause>
 
         <emu-clause id="sec-source-text-module-record-getmodulesourcename" type="concrete method">
@@ -3767,7 +3767,7 @@ <h1><span class="secnum">16.1.1.2.4</span> <ins>GetModuleSourceName ( )</ins></h
 
         <emu-clause id="sec-HostLoadImportedModule" type="host-defined abstract operation" oldids="sec-hostresolveimportedmodule,sec-hostimportmoduledynamically" aoid="HostLoadImportedModule"><span id="sec-hostimportmoduledynamically"></span><span id="sec-hostresolveimportedmodule"></span>
           <h1><span class="secnum">16.1.1.2.5</span> HostLoadImportedModule ( <var>referrer</var>, <var>moduleRequest</var>, <var>hostDefined</var>, <var>payload</var> )</h1>
-          <p>The <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> abstract operation HostLoadImportedModule 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 ModuleRequest <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><ins> or <emu-xref href="#sec-abstract-module-records" id="_ref_22"><a href="#sec-abstract-module-records">Module Record</a></emu-xref></ins>), <var>hostDefined</var> (anything), and <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 returns <emu-const>unused</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 HostLoadImportedModule 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 ModuleRequest <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><ins> or <emu-xref href="#sec-abstract-module-records" id="_ref_23"><a href="#sec-abstract-module-records">Module Record</a></emu-xref></ins>), <var>hostDefined</var> (anything), and <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 returns <emu-const>unused</emu-const>.</p>
 
           <emu-note id="note-HostLoadImportedModule-referrer-Realm-Record"><span class="note"><a href="#note-HostLoadImportedModule-referrer-Realm-Record">Note 1</a></span><div class="note-contents">
             <p>An example of when <var>referrer</var> can be a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref> is in a web browser <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref>. There, if a user clicks on a control given by</p>
@@ -3780,7 +3780,7 @@ <h1><span class="secnum">16.1.1.2.5</span> HostLoadImportedModule ( <var>referre
           <p>An implementation of HostLoadImportedModule must conform to the following requirements:</p>
           <ul>
             <li>
-              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_23"><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_24"><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.
+              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_24"><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_25"><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>If this operation is called multiple times with two (<var>referrer</var>, <var>moduleRequest</var>) pairs such that:</p>
@@ -3788,20 +3788,20 @@ <h1><span class="secnum">16.1.1.2.5</span> HostLoadImportedModule ( <var>referre
                 <li>the first <var>referrer</var> is the same as the second <var>referrer</var>;</li>
                 <li>ModuleRequestsEqual(the first <var>moduleRequest</var>, the second <var>moduleRequest</var>) is <emu-val>true</emu-val>;</li>
               </ul>
-              <p>and it performs <emu-xref aoid="FinishLoadingImportedModule" id="_ref_25"><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_26"><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.</p>
+              <p>and it performs <emu-xref aoid="FinishLoadingImportedModule" id="_ref_26"><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_27"><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.</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>A <var>moduleRequest</var> is a <emu-xref href="#sec-abstract-module-records" id="_ref_27"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> when importing a <emu-xref href="#sec-module-source-objects" id="_ref_28"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref> directly. In this case it is only necessary to add the module to the module registry, while possibly coalescing with any existing record on exact key and source equality to maintain the invariants above.</ins>
+              <ins>A <var>moduleRequest</var> is a <emu-xref href="#sec-abstract-module-records" id="_ref_28"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> when importing a <emu-xref href="#sec-module-source-objects" id="_ref_29"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref> directly. In this case it is only necessary to add the module to the module registry, while possibly coalescing with any existing record on exact key and source equality 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_29"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>.
+              The operation must treat <var>payload</var> as an opaque value to be passed through to <emu-xref aoid="FinishLoadingImportedModule" id="_ref_30"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>.
             </li>
           </ul>
 
-          <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_30"><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_31"><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>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_31"><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_32"><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>
 
           <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>
@@ -3810,16 +3810,16 @@ <h1><span class="secnum">16.1.1.2.5</span> HostLoadImportedModule ( <var>referre
 
         <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.2.6</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 ModuleRequest <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><ins> or <emu-xref href="#sec-abstract-module-records" id="_ref_32"><a href="#sec-abstract-module-records">Module Record</a></emu-xref></ins>), <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_33"><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> is a ModuleRequest <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></ins>, then<ol><li>If <var>referrer</var>.<var class="field">[[LoadedModules]]</var> contains a LoadedModuleRequest <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> <var>record</var> such that ModuleRequestsEqual(<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_34"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>.</li></ol></li><li>Else,<ol><li>Append the LoadedModuleRequest <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> { <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> is a ModuleRequest <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>.</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"><a href="https://tc39.es/ecma262/#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 ModuleRequest <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><ins> or <emu-xref href="#sec-abstract-module-records" id="_ref_33"><a href="#sec-abstract-module-records">Module Record</a></emu-xref></ins>), <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_34"><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> is a ModuleRequest <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></ins>, then<ol><li>If <var>referrer</var>.<var class="field">[[LoadedModules]]</var> contains a LoadedModuleRequest <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> <var>record</var> such that ModuleRequestsEqual(<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_35"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>.</li></ol></li><li>Else,<ol><li>Append the LoadedModuleRequest <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> { <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> is a ModuleRequest <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>.</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"><a href="https://tc39.es/ecma262/#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>
 
       <emu-clause id="sec-getmodulesourcemodulerecord" type="abstract operation" aoid="GetModuleSourceModuleRecord">
-        <h1><span class="secnum">16.1.1.3</span> <ins>GetModuleSourceModuleRecord ( <var>moduleSource</var> )</ins></h1>
-        <p>The abstract operation GetModuleSourceModuleRecord takes argument <var>moduleSource</var> (an Object) and returns either a <emu-xref href="#sec-abstract-module-records" id="_ref_35"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> or <emu-const>not-a-source</emu-const>. Provides the concrete <emu-xref href="#sec-abstract-module-records" id="_ref_36"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> for all Module Source objects. It performs the following steps when called:</p>
+        <h1><span class="secnum">16.1.1.3</span> <ins>GetModuleSourceModuleRecord ( <var>specifier</var> )</ins></h1>
+        <p>The abstract operation GetModuleSourceModuleRecord takes argument <var>specifier</var> (an Object) and returns either a <emu-xref href="#sec-abstract-module-records" id="_ref_36"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> or <emu-const>not-a-source</emu-const>. Provides the concrete <emu-xref href="#sec-abstract-module-records" id="_ref_37"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> for all Module Source objects. It performs the following steps when called:</p>
 
-        <emu-alg><ol><li>Let <var>module</var> be <emu-val>undefined</emu-val>.</li><li>If <var>moduleSource</var> has a <var class="field">[[SourceTextModuleRecord]]</var> internal slot, then<ol><li>Set <var>module</var> to <var>moduleSource</var>.<var class="field">[[SourceTextModuleRecord]]</var>.</li></ol></li><li>Else,<ol><li>Set <var>module</var> to <emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_37"><a href="#sec-HostGetModuleSourceModuleRecord">HostGetModuleSourceModuleRecord</a></emu-xref>(<var>moduleSource</var>).</li><li>If <var>module</var> is <emu-const>not-a-source</emu-const>, return <emu-const>not-a-source</emu-const>.</li></ol></li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>module</var> is a concrete <emu-xref href="#sec-abstract-module-records" id="_ref_38"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: If <var>module</var> is a <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref>, then <var>module</var>.<var class="field">[[ModuleSource]]</var> is equal to <var>moduleSource</var>.</li><li>Return <var>module</var>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <var>module</var> be <emu-val>undefined</emu-val>.</li><li>If <var>specifier</var> has a <var class="field">[[SourceTextModuleRecord]]</var> internal slot, then<ol><li>Set <var>module</var> to <var>specifier</var>.<var class="field">[[SourceTextModuleRecord]]</var>.</li></ol></li><li>Else,<ol><li>Set <var>module</var> to <emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_38"><a href="#sec-HostGetModuleSourceModuleRecord">HostGetModuleSourceModuleRecord</a></emu-xref>(<var>specifier</var>).</li><li>If <var>module</var> is <emu-const>not-a-source</emu-const>, return <emu-const>not-a-source</emu-const>.</li></ol></li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>module</var> is a concrete <emu-xref href="#sec-abstract-module-records" id="_ref_39"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: If <var>module</var> is a <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Record</a></emu-xref>, then <var>module</var>.<var class="field">[[ModuleSource]]</var> is <var>specifier</var>.</li><li>Return <var>module</var>.</li></ol></emu-alg>
       </emu-clause>
 
       <emu-clause id="sec-HostGetModuleSourceName" type="host-defined abstract operation" aoid="HostGetModuleSourceName">
@@ -3829,31 +3829,31 @@ <h1><span class="secnum">16.1.1.4</span> <del>HostGetModuleSourceName ( <var>mod
         <p>An implementation of HostGetModuleSourceName must conform to the following requirements:</p>
         <ul>
           <li>
-            For any object that is a <emu-xref href="#sec-module-source-objects" id="_ref_39"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref>, returns 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> for a String corresponding to the source record type to be used as the strongly branded return value of the <emu-xref href="#sec-well-known-symbols"><a href="https://tc39.es/ecma262/#sec-well-known-symbols">@@toStringTag</a></emu-xref> getter on %AbstractModuleSource%.
+            For any object that is a <emu-xref href="#sec-module-source-objects" id="_ref_40"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref>, returns 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> for a String corresponding to the source record type to be used as the strongly branded return value of the <emu-xref href="#sec-well-known-symbols"><a href="https://tc39.es/ecma262/#sec-well-known-symbols">@@toStringTag</a></emu-xref> getter on %AbstractModuleSource%.
           </li>
           <li>
-            For any object which is not a <emu-xref href="#sec-module-source-objects" id="_ref_40"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref>, returns 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>.
+            For any object which is not a <emu-xref href="#sec-module-source-objects" id="_ref_41"><a href="#sec-module-source-objects">Module Source Object</a></emu-xref>, returns 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>.
           </li>
         </ul>
       </emu-clause>
 
       <emu-clause id="sec-HostGetModuleSourceModuleRecord" type="host-defined abstract operation" aoid="HostGetModuleSourceModuleRecord">
         <h1><span class="secnum">16.1.1.5</span> <ins>HostGetModuleSourceModuleRecord ( <var>moduleSource</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 HostGetModuleSourceModuleRecord takes argument <var>moduleSource</var> (an Object) and returns either a <emu-xref href="#sec-abstract-module-records" id="_ref_41"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> or <emu-const>not-a-source</emu-const>. Allows <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> to provide the concrete <emu-xref href="#sec-abstract-module-records" id="_ref_42"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> for a non-ECMA-262 module source object.</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>moduleSource</var> (an Object) and returns either a <emu-xref href="#sec-abstract-module-records" id="_ref_42"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> or <emu-const>not-a-source</emu-const>. Allows <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> to provide the concrete <emu-xref href="#sec-abstract-module-records" id="_ref_43"><a href="#sec-abstract-module-records">Module Record</a></emu-xref> for a non-ECMA-262 module source object.</p>
 
         <p>An implementation of HostGetModuleSourceModuleRecord must conform to the following requirements:</p>
         <ul>
           <li>
-            Defines any <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref>-specific module sources, by returning their concrete <emu-xref href="#sec-abstract-module-records" id="_ref_43"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>.
+            Defines any <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref>-specific module sources, by returning their concrete <emu-xref href="#sec-abstract-module-records" id="_ref_44"><a href="#sec-abstract-module-records">Module Record</a></emu-xref>.
           </li>
           <li>
             For all other objects, returns <emu-const>not-a-source</emu-const>.
           </li>
         </ul>
       </emu-clause>
-      <p>The default implementation of <emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_44"><a href="#sec-HostGetModuleSourceModuleRecord">HostGetModuleSourceModuleRecord</a></emu-xref> is to return <emu-const>not-a-source</emu-const>.</p>
+      <p>The default implementation of <emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_45"><a href="#sec-HostGetModuleSourceModuleRecord">HostGetModuleSourceModuleRecord</a></emu-xref> is to return <emu-const>not-a-source</emu-const>.</p>
       <emu-note><span class="note">Note</span><div class="note-contents">
-        <p>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="GetModuleSourceModuleRecord" id="_ref_45"><a href="#sec-getmodulesourcemodulerecord">GetModuleSourceModuleRecord</a></emu-xref>, where %ModuleSource% is handled before calling this hook.</p>
+        <p>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="GetModuleSourceModuleRecord" id="_ref_46"><a href="#sec-getmodulesourcemodulerecord">GetModuleSourceModuleRecord</a></emu-xref>, where %ModuleSource% is handled before calling this hook.</p>
       </div></emu-note>
     </emu-clause>
   </emu-clause>
@@ -3864,7 +3864,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 modules in their source import phase, which are not linked, instantiated or executed.</p>
-    <p>A <dfn>Module Source Object</dfn> is an object for which <del><emu-xref aoid="HostGetModuleSourceName" id="_ref_46"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceName</a></emu-xref></del><ins><emu-xref aoid="GetModuleSourceModuleRecord" id="_ref_47"><a href="#sec-getmodulesourcemodulerecord">GetModuleSourceModuleRecord</a></emu-xref></ins> returns 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>.</p>
+    <p>A <dfn>Module Source Object</dfn> is an object for which <del><emu-xref aoid="HostGetModuleSourceName" id="_ref_47"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceName</a></emu-xref></del><ins><emu-xref aoid="GetModuleSourceModuleRecord" id="_ref_48"><a href="#sec-getmodulesourcemodulerecord">GetModuleSourceModuleRecord</a></emu-xref></ins> returns 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>.</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>
 
@@ -3873,8 +3873,8 @@ <h1><span class="secnum">28.1.1</span> Properties of the %AbstractModuleSource%
 
       <emu-clause id="sec-get-%abstractmodulesource%.prototype.@@tostringtag">
         <h1><span class="secnum">28.1.1.1</span> get %AbstractModuleSource%.prototype [ @@toStringTag ]</h1>
-        <p>%AbstractModuleSource%.prototype <code>[@@toStringTag]</code> is an <emu-xref href="#sec-object-type" id="_ref_48"><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_49"><a href="#sec-object-type">is not an Object</a></emu-xref>, return <emu-val>undefined</emu-val>.</li><li><del>Let <var>sourceNameResult</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="HostGetModuleSourceName" id="_ref_50"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceName</a></emu-xref>(<var>O</var>)).</del></li><li><del>If <var>sourceNameResult</var> is an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>, return <emu-val>undefined</emu-val>.</del></li><li><del>Let <var>name</var> be !&nbsp;<var>sourceNameResult</var>.</del></li><li><ins>Let <var>module</var> be <emu-xref aoid="GetModuleSourceModuleRecord" id="_ref_51"><a href="#sec-getmodulesourcemodulerecord">GetModuleSourceModuleRecord</a></emu-xref>(<var>O</var>).</ins></li><li><ins>If <var>module</var> is <emu-const>not-a-source</emu-const>, return <emu-val>undefined</emu-val>.</ins></li><li><ins>Let <var>name</var> be <var>module</var>.GetModuleSourceName().</ins></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>[@@toStringTag]</code> is an <emu-xref href="#sec-object-type" id="_ref_49"><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_50"><a href="#sec-object-type">is not an Object</a></emu-xref>, return <emu-val>undefined</emu-val>.</li><li><del>Let <var>sourceNameResult</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="HostGetModuleSourceName" id="_ref_51"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceName</a></emu-xref>(<var>O</var>)).</del></li><li><del>If <var>sourceNameResult</var> is an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>, return <emu-val>undefined</emu-val>.</del></li><li><del>Let <var>name</var> be !&nbsp;<var>sourceNameResult</var>.</del></li><li><ins>Let <var>module</var> be <emu-xref aoid="GetModuleSourceModuleRecord" id="_ref_52"><a href="#sec-getmodulesourcemodulerecord">GetModuleSourceModuleRecord</a></emu-xref>(<var>O</var>).</ins></li><li><ins>If <var>module</var> is <emu-const>not-a-source</emu-const>, return <emu-val>undefined</emu-val>.</ins></li><li><ins>Let <var>name</var> be <var>module</var>.GetModuleSourceName().</ins></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>
@@ -3886,7 +3886,6 @@ <h1><span class="secnum">28.1.2</span> <ins>The ModuleSource Constructor</ins></
       <ul>
         <li>is %ModuleSource%.</li>
         <li>does not have a global name or appear as a property of the <emu-xref href="#sec-global-object"><a href="https://tc39.es/ecma262/#sec-global-object">global object</a></emu-xref>.</li>
-        <li>will throw an error when invoked, where support for dynamic construction may be added in future.</li>
       </ul>
 
       <emu-clause id="sec-modulesource">
@@ -3914,7 +3913,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_52"><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_53"><a href="#sec-properties-of-the-%modulesource%-prototype-object">%ModuleSource% prototype object</a></emu-xref>.</p>
       <p>ModuleSource instances have a <var class="field">[[SourceTextModuleRecord]]</var> internal slot.</p>
     </emu-clause>
   </emu-clause>
@@ -3933,10 +3932,10 @@ <h1><span class="secnum">A.1</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="HostGetModuleSourceName" id="_ref_53"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceName</a></emu-xref></del><ins><emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_54"><a href="#sec-HostGetModuleSourceModuleRecord">HostGetModuleSourceModuleRecord</a></emu-xref></ins>(...)</b></p>
+    <p><b><del><emu-xref aoid="HostGetModuleSourceName" id="_ref_54"><a href="#sec-HostGetModuleSourceName">HostGetModuleSourceName</a></emu-xref></del><ins><emu-xref aoid="HostGetModuleSourceModuleRecord" id="_ref_55"><a href="#sec-HostGetModuleSourceModuleRecord">HostGetModuleSourceModuleRecord</a></emu-xref></ins>(...)</b></p>
     <p><b>HostGrowSharedArrayBuffer(...)</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_55"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(...)</b></p>
+    <p><b><emu-xref aoid="HostLoadImportedModule" id="_ref_56"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(...)</b></p>
     <p><b>HostGetSupportedImportAttributes(...)</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 787a7d6..857d7c0 100644
--- a/spec.emu
+++ b/spec.emu
@@ -844,7 +844,7 @@ contributors: Luca Casonato, Guy Bedford
           1. <ins>If _specifier_ is an Object, then</ins>
             1. <ins>Let _moduleSource_ be GetModuleSourceModuleRecord(_specifier_).</ins>
             1. <ins>If _moduleSource_ is not ~not-a-source~, then</ins>
-              1. <ins>If _moduleSource_.[[Realm]] is not equal to the current Realm Record, then</ins>
+              1. <ins>If _moduleSource_.[[Realm]] is not the current Realm Record, then</ins>
                 1. <ins>Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « a newly created *TypeError* object »).</ins>
                 1. <ins>Return _promiseCapability_.[[Promise]].</ins>
               1. <ins>Let _attributesObj_ be Completion(Get(_options_, *"with"*)).</ins>
@@ -974,7 +974,7 @@ contributors: Luca Casonato, Guy Bedford
                 <ins>ModuleSourcesEqual(_otherModuleRecord_)</ins>
               </td>
               <td>
-                <p><ins>For Module Records that implement a normal completion for GetModuleSource(), allows defining a source equality operation for host registry checks.</ins></p>
+                <p><ins>For Module Records that return a normal completion for GetModuleSource(), allows defining a source equality operation for host registry checks.</ins></p>
                 <p><ins>For Module Records that do not have a source representation, ModuleSourcesEqual() is never called.</ins></p>
               </td>
             </tr>
@@ -983,7 +983,7 @@ contributors: Luca Casonato, Guy Bedford
                 <ins>GetModuleSourceName()</ins>
               </td>
               <td>
-                <p><ins>For Module Records that implement a normal completion for GetModuleSource(), returns a constant String for each concrete module record that exposes a source representation through `GetModuleSource()`, to be provided in the strongly branded return value of the @@toStringTag getter on %AbstractModuleSource%.</ins></p>
+                <p><ins>For Module Records that return a normal completion for GetModuleSource(), returns a constant String for each concrete module record that exposes a source representation through `GetModuleSource()`, to be provided in the strongly branded return value of the @@toStringTag getter on %AbstractModuleSource%.</ins></p>
                 <p><ins>For Module Records that do not have a source representation, GetModuleSourceName() is never called.</ins></p>
               </td>
             </tr>
@@ -1014,10 +1014,10 @@ contributors: Luca Casonato, Guy Bedford
                 <ins>[[SourceText]]</ins>
               </td>
               <td>
-                <ins>a sequence of Unicode code points</ins>
+                <ins>ECMAScript source text</ins>
               </td>
               <td>
-                <ins>The original <emu-xref href="#sec-source-text">source text</emu-xref> for this module, allowing for equality checks and serialization of module sources. Hosts may implement this field with any optimized representation that supports equality and serialization.</ins>
+                <ins>The original <emu-xref href="#sec-source-text">source text</emu-xref> for this module, allowing for equality checks and serialization of module sources.</ins>
               </td>
             </tr>
             <tr>
@@ -1061,7 +1061,7 @@ contributors: Luca Casonato, Guy Bedford
                 <ins>an Object or ~empty~</ins>
               </td>
               <td>
-                <ins>The Module Source Object generated by GetModuleSource().</ins>
+                <ins>The Module Source Object generated by GetModuleSource(). Empty when no Module Source Object has yet been associated with this module.</ins>
               </td>
             </tr>
             <tr>
@@ -1197,7 +1197,7 @@ contributors: Luca Casonato, Guy Bedford
           </dl>
           <emu-alg>
             1. <ins>If _otherModule_ is not a Source Text Module Record, return *false*.</ins>
-            1. <ins>If _otherModule_.[[SourceText]] is equal to _module_.[[SourceText]], return *true*.</ins>
+            1. <ins>If _otherModule_.[[SourceText]] is _module_.[[SourceText]], return *true*.</ins>
             1. <ins>Return *false*.</ins>
           </emu-alg>
         </emu-clause>
@@ -1306,7 +1306,7 @@ contributors: Luca Casonato, Guy Bedford
         <h1>
           <ins>
             GetModuleSourceModuleRecord (
-              _moduleSource_: an Object,
+              _specifier_: an Object,
             ): either a Module Record or ~not-a-source~
           </ins>
         </h1>
@@ -1317,13 +1317,13 @@ contributors: Luca Casonato, Guy Bedford
 
         <emu-alg>
           1. Let _module_ be *undefined*.
-          1. If _moduleSource_ has a [[SourceTextModuleRecord]] internal slot, then
-            1. Set _module_ to _moduleSource_.[[SourceTextModuleRecord]].
+          1. If _specifier_ has a [[SourceTextModuleRecord]] internal slot, then
+            1. Set _module_ to _specifier_.[[SourceTextModuleRecord]].
           1. Else,
-            1. Set _module_ to HostGetModuleSourceModuleRecord(_moduleSource_).
+            1. Set _module_ to HostGetModuleSourceModuleRecord(_specifier_).
             1. If _module_ is ~not-a-source~, return ~not-a-source~.
           1. Assert: _module_ is a concrete Module Record.
-          1. Assert: If _module_ is a Source Text Module Record, then _module_.[[ModuleSource]] is equal to _moduleSource_.
+          1. Assert: If _module_ is a Source Text Module Record, then _module_.[[ModuleSource]] is _specifier_.
           1. Return _module_.
         </emu-alg>
       </emu-clause>
@@ -1421,7 +1421,6 @@ contributors: Luca Casonato, Guy Bedford
       <ul>
         <li>is %ModuleSource%.</li>
         <li>does not have a global name or appear as a property of the global object.</li>
-        <li>will throw an error when invoked, where support for dynamic construction may be added in future.</li>
       </ul>
 
       <emu-clause id="sec-modulesource">