diff --git a/index.html b/index.html
index 39b6993..dd10da7 100644
--- a/index.html
+++ b/index.html
@@ -1350,7 +1350,7 @@
 });
 
 let sdoMap = JSON.parse(`{}`);
-let biblio = JSON.parse(`{"refsByClause":{"sec-hostloadimportedmodule":["_ref_0","_ref_5"],"sec-semantics":["_ref_1","_ref_14","_ref_15","_ref_16","_ref_17","_ref_18"],"sec-evaluate-import-call":["_ref_2","_ref_3","_ref_4"],"sec-FinishLoadingImportedModule":["_ref_6"],"sec-assert-clause-early-errors":["_ref_7"],"sec-assert-clause-to-assertions":["_ref_8","_ref_9","_ref_10","_ref_11","_ref_12"],"sec-modulerequest-record":["_ref_13"],"sec-static-semantics-modulerequests":["_ref_19","_ref_20","_ref_21","_ref_22","_ref_23","_ref_24"],"sec-host-integration":["_ref_25","_ref_26","_ref_27"]},"entries":[{"type":"clause","id":"intro","titleHTML":"import assertions","number":""},{"type":"clause","id":"sec-syntax","titleHTML":"Syntax","number":"1"},{"type":"clause","id":"sec-evaluate-import-call","title":"EvaluateImportCall ( specifierExpression [ , optionsExpression ] )","titleHTML":"EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )","number":"2.1.1.1"},{"type":"clause","id":"sec-import-call-runtime-semantics-evaluation","titleHTML":"Runtime Semantics: Evaluation","number":"2.1.1"},{"type":"clause","id":"sec-import-calls","titleHTML":"Import Calls","number":"2.1","referencingIds":["_ref_0"]},{"type":"op","aoid":"HostLoadImportedModule","refId":"sec-hostloadimportedmodule"},{"type":"clause","id":"sec-hostloadimportedmodule","title":"HostLoadImportedModule ( referrer, specifiermoduleRequest, hostDefined, payload )","titleHTML":"HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )","number":"2.2","referencingIds":["_ref_4","_ref_25"]},{"type":"clause","id":"sec-FinishLoadingImportedModule-AssertionsEqual","title":"AssertionsEqual(left, right)","titleHTML":"<ins>AssertionsEqual(<var>left</var>, <var>right</var>)</ins>","number":"2.3.1"},{"type":"clause","id":"sec-FinishLoadingImportedModule","title":"FinishLoadingImportedModule ( referrer, specifiermoduleRequest, payload, result )","titleHTML":"FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )","number":"2.3"},{"type":"op","aoid":"HostGetSupportedImportAssertions","refId":"sec-hostgetsupportedimportassertions"},{"type":"clause","id":"sec-hostgetsupportedimportassertions","titleHTML":"Static Semantics: HostGetSupportedImportAssertions ()","number":"2.4","referencingIds":["_ref_2","_ref_9","_ref_10"]},{"type":"clause","id":"sec-assert-clause-early-errors","titleHTML":"Static Semantics: Early Errors","number":"2.5"},{"type":"op","aoid":"AssertClauseToAssertions","refId":"sec-assert-clause-to-assertions"},{"type":"clause","id":"sec-assert-clause-to-assertions","titleHTML":"Static Semantics: AssertClauseToAssertions","number":"2.6","referencingIds":["_ref_7","_ref_8","_ref_11","_ref_12","_ref_20","_ref_23"]},{"type":"clause","id":"sec-assertion-key-string-value","titleHTML":"Static Semantics: StringValue","number":"2.7"},{"type":"term","term":"ModuleRequest Record","refId":"sec-modulerequest-record"},{"type":"table","id":"table-modulerequest-fields","number":1,"caption":"Table 1: ModuleRequest Record fields"},{"type":"clause","id":"sec-modulerequest-record","titleHTML":"ModuleRequest Records","number":"2.8","referencingIds":["_ref_3","_ref_5","_ref_6","_ref_13","_ref_14","_ref_17","_ref_18","_ref_19","_ref_21","_ref_22","_ref_24","_ref_26","_ref_27"]},{"type":"table","id":"table-cyclic-module-fields","number":2,"caption":"Table 2: Additional Fields of Cyclic Module Records"},{"type":"term","term":"ImportEntry Record","id":"importentry-record","referencingIds":["_ref_15","_ref_16"]},{"type":"table","id":"table-39","number":3,"caption":"Table 3: ImportEntry Record Fields","referencingIds":["_ref_1"]},{"type":"clause","id":"sec-static-semantics-modulerequests","titleHTML":"Static Semantics: ModuleRequests","number":"2.9"},{"type":"clause","id":"sec-semantics","titleHTML":"Semantics","number":"2"},{"type":"clause","id":"sec-host-integration","titleHTML":"Sample host integration: The Web embedding","number":"A"}]}`);
+let biblio = JSON.parse(`{"refsByClause":{"sec-hostloadimportedmodule":["_ref_0","_ref_4"],"sec-semantics":["_ref_1","_ref_11","_ref_12","_ref_13","_ref_14","_ref_15"],"sec-evaluate-import-call":["_ref_2","_ref_3"],"sec-FinishLoadingImportedModule":["_ref_5"],"sec-assert-clause-early-errors":["_ref_6"],"sec-assert-clause-to-assertions":["_ref_7","_ref_8","_ref_9"],"sec-modulerequest-record":["_ref_10"],"sec-static-semantics-modulerequests":["_ref_16","_ref_17","_ref_18","_ref_19","_ref_20","_ref_21"],"sec-host-integration":["_ref_22","_ref_23","_ref_24"]},"entries":[{"type":"clause","id":"intro","titleHTML":"import assertions","number":""},{"type":"clause","id":"sec-syntax","titleHTML":"Syntax","number":"1"},{"type":"clause","id":"sec-evaluate-import-call","title":"EvaluateImportCall ( specifierExpression [ , optionsExpression ] )","titleHTML":"EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )","number":"2.1.1.1"},{"type":"clause","id":"sec-import-call-runtime-semantics-evaluation","titleHTML":"Runtime Semantics: Evaluation","number":"2.1.1"},{"type":"clause","id":"sec-import-calls","titleHTML":"Import Calls","number":"2.1","referencingIds":["_ref_0"]},{"type":"op","aoid":"HostLoadImportedModule","refId":"sec-hostloadimportedmodule"},{"type":"clause","id":"sec-hostloadimportedmodule","title":"HostLoadImportedModule ( referrer, specifiermoduleRequest, hostDefined, payload )","titleHTML":"HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )","number":"2.2","referencingIds":["_ref_3","_ref_22"]},{"type":"clause","id":"sec-FinishLoadingImportedModule-AssertionsEqual","title":"AssertionsEqual(left, right)","titleHTML":"<ins>AssertionsEqual(<var>left</var>, <var>right</var>)</ins>","number":"2.3.1"},{"type":"clause","id":"sec-FinishLoadingImportedModule","title":"FinishLoadingImportedModule ( referrer, specifiermoduleRequest, payload, result )","titleHTML":"FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )","number":"2.3"},{"type":"clause","id":"sec-assert-clause-early-errors","titleHTML":"Static Semantics: Early Errors","number":"2.4"},{"type":"op","aoid":"AssertClauseToAssertions","refId":"sec-assert-clause-to-assertions"},{"type":"clause","id":"sec-assert-clause-to-assertions","titleHTML":"Static Semantics: AssertClauseToAssertions","number":"2.5","referencingIds":["_ref_6","_ref_7","_ref_8","_ref_9","_ref_17","_ref_20"]},{"type":"clause","id":"sec-assertion-key-string-value","titleHTML":"Static Semantics: StringValue","number":"2.6"},{"type":"term","term":"ModuleRequest Record","refId":"sec-modulerequest-record"},{"type":"table","id":"table-modulerequest-fields","number":1,"caption":"Table 1: ModuleRequest Record fields"},{"type":"clause","id":"sec-modulerequest-record","titleHTML":"ModuleRequest Records","number":"2.7","referencingIds":["_ref_2","_ref_4","_ref_5","_ref_10","_ref_11","_ref_14","_ref_15","_ref_16","_ref_18","_ref_19","_ref_21","_ref_23","_ref_24"]},{"type":"table","id":"table-cyclic-module-fields","number":2,"caption":"Table 2: Additional Fields of Cyclic Module Records"},{"type":"term","term":"ImportEntry Record","id":"importentry-record","referencingIds":["_ref_12","_ref_13"]},{"type":"table","id":"table-39","number":3,"caption":"Table 3: ImportEntry Record Fields","referencingIds":["_ref_1"]},{"type":"clause","id":"sec-static-semantics-modulerequests","titleHTML":"Static Semantics: ModuleRequests","number":"2.8"},{"type":"clause","id":"sec-semantics","titleHTML":"Semantics","number":"2"},{"type":"clause","id":"sec-host-integration","titleHTML":"Sample host integration: The Web embedding","number":"A"}]}`);
 ;let usesMultipage = false</script><style>body {
   display: flex;
   word-wrap: break-word;
@@ -1457,6 +1457,10 @@
   transition: background-color 0.25s ease;
   cursor: pointer;
 }
+var.field {
+  font: inherit;
+  color: inherit;
+}
 
 var.referenced0 {
   color: inherit;
@@ -2619,7 +2623,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-none"></span><a href="#intro" title="import assertions">import assertions</a></li><li><span class="item-toggle-none"></span><a href="#sec-syntax" title="Syntax"><span class="secnum">1</span> Syntax</a></li><li><span class="item-toggle">◢</span><a href="#sec-semantics" title="Semantics"><span class="secnum">2</span> Semantics</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-import-calls" title="Import Calls"><span class="secnum">2.1</span> Import Calls</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-import-call-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">2.1.1</span> RS: Evaluation</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-evaluate-import-call" title="EvaluateImportCall ( specifierExpression [ , optionsExpression ] )"><span class="secnum">2.1.1.1</span> EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</a></li></ol></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-hostloadimportedmodule" title="HostLoadImportedModule ( referrer, specifiermoduleRequest, hostDefined, payload )"><span class="secnum">2.2</span> HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )</a></li><li><span class="item-toggle">◢</span><a href="#sec-FinishLoadingImportedModule" title="FinishLoadingImportedModule ( referrer, specifiermoduleRequest, payload, result )"><span class="secnum">2.3</span> FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-FinishLoadingImportedModule-AssertionsEqual" title="AssertionsEqual(left, right)"><span class="secnum">2.3.1</span> <ins>AssertionsEqual(<var>left</var>, <var>right</var>)</ins></a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-hostgetsupportedimportassertions" title="Static Semantics: HostGetSupportedImportAssertions ()"><span class="secnum">2.4</span> SS: HostGetSupportedImportAssertions ()</a></li><li><span class="item-toggle-none"></span><a href="#sec-assert-clause-early-errors" title="Static Semantics: Early Errors"><span class="secnum">2.5</span> SS: Early Errors</a></li><li><span class="item-toggle-none"></span><a href="#sec-assert-clause-to-assertions" title="Static Semantics: AssertClauseToAssertions"><span class="secnum">2.6</span> SS: AssertClauseToAssertions</a></li><li><span class="item-toggle-none"></span><a href="#sec-assertion-key-string-value" title="Static Semantics: StringValue"><span class="secnum">2.7</span> SS: StringValue</a></li><li><span class="item-toggle-none"></span><a href="#sec-modulerequest-record" title="ModuleRequest Records"><span class="secnum">2.8</span> ModuleRequest Records</a></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-modulerequests" title="Static Semantics: ModuleRequests"><span class="secnum">2.9</span> SS: ModuleRequests</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-host-integration" title="Sample host integration: The Web embedding"><span class="secnum">A</span> Sample host integration: The Web embedding</a></li></ol></div></div><div id="spec-container"><h1 class="version">Stage 2 Draft / February 10, 2023</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-none"></span><a href="#intro" title="import assertions">import assertions</a></li><li><span class="item-toggle-none"></span><a href="#sec-syntax" title="Syntax"><span class="secnum">1</span> Syntax</a></li><li><span class="item-toggle">◢</span><a href="#sec-semantics" title="Semantics"><span class="secnum">2</span> Semantics</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-import-calls" title="Import Calls"><span class="secnum">2.1</span> Import Calls</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-import-call-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">2.1.1</span> RS: Evaluation</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-evaluate-import-call" title="EvaluateImportCall ( specifierExpression [ , optionsExpression ] )"><span class="secnum">2.1.1.1</span> EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</a></li></ol></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-hostloadimportedmodule" title="HostLoadImportedModule ( referrer, specifiermoduleRequest, hostDefined, payload )"><span class="secnum">2.2</span> HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )</a></li><li><span class="item-toggle">◢</span><a href="#sec-FinishLoadingImportedModule" title="FinishLoadingImportedModule ( referrer, specifiermoduleRequest, payload, result )"><span class="secnum">2.3</span> FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-FinishLoadingImportedModule-AssertionsEqual" title="AssertionsEqual(left, right)"><span class="secnum">2.3.1</span> <ins>AssertionsEqual(<var>left</var>, <var>right</var>)</ins></a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-assert-clause-early-errors" title="Static Semantics: Early Errors"><span class="secnum">2.4</span> SS: Early Errors</a></li><li><span class="item-toggle-none"></span><a href="#sec-assert-clause-to-assertions" title="Static Semantics: AssertClauseToAssertions"><span class="secnum">2.5</span> SS: AssertClauseToAssertions</a></li><li><span class="item-toggle-none"></span><a href="#sec-assertion-key-string-value" title="Static Semantics: StringValue"><span class="secnum">2.6</span> SS: StringValue</a></li><li><span class="item-toggle-none"></span><a href="#sec-modulerequest-record" title="ModuleRequest Records"><span class="secnum">2.7</span> ModuleRequest Records</a></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-modulerequests" title="Static Semantics: ModuleRequests"><span class="secnum">2.8</span> SS: ModuleRequests</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-host-integration" title="Sample host integration: The Web embedding"><span class="secnum">A</span> Sample host integration: The Web embedding</a></li></ol></div></div><div id="spec-container"><h1 class="version">Stage 2 Draft / February 22, 2023</h1>
 <emu-intro id="intro">
   <h1>import assertions</h1>
   <p>See <a href="https://github.com/tc39/proposal-import-assertions/blob/master/README.md">the explainer</a> for information.</p>
@@ -2774,7 +2778,7 @@ <h1><span class="secnum">2.1.1</span> Runtime Semantics: Evaluation</h1>
 
         <emu-clause id="sec-evaluate-import-call">
           <h1><span class="secnum">2.1.1.1</span> EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</h1>
-          <emu-alg><ol><li>Let <var>referencingScriptOrModule</var> be !&nbsp;<emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</li><li>Let <var>specifierRef</var> be the result of evaluating <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 the result of evaluating <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>Let <var>specifierString</var> be <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>assertions</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 <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>options</var>) is not Object,<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.[[Reject]], <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.[[Promise]].</li></ol></li><li>Let <var>assertionsObj</var> be <emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"assert"</emu-val>).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>assertionsObj</var>, <var>promiseCapability</var>).</li><li>If <var>assertionsObj</var> is not <emu-val>undefined</emu-val>,<ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>assertionsObj</var>) is not Object,<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.[[Reject]], <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.[[Promise]].</li></ol></li><li>Let <var>keys</var> be EnumerableOwnPropertyNames(<var>assertionsObj</var>, <emu-const>key</emu-const>).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>keys</var>, <var>promiseCapability</var>).</li><li>Let <var>supportedAssertions</var> be !&nbsp;<emu-xref aoid="HostGetSupportedImportAssertions" id="_ref_2"><a href="#sec-hostgetsupportedimportassertions">HostGetSupportedImportAssertions</a></emu-xref>().</li><li>For each String <var>key</var> of <var>keys</var>,<ol><li>Let <var>value</var> be <emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>assertionsObj</var>, <var>key</var>).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>value</var>, <var>promiseCapability</var>).</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is not String, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.[[Reject]], <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.[[Promise]].</li></ol></li><li>If <var>supportedAssertions</var> contains <var>key</var>, then<ol><li>Append { [[Key]]: <var>key</var>, [[Value]]: <var>value</var> } to <var>assertions</var>.</li></ol></li></ol></li></ol></li><li>Sort <var>assertions</var> by the code point order of the [[Key]] of each element. 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 distinguishing among assertions by the order they occur in.</li></ol></li><li>Let <var>moduleRequest</var> be a new <emu-xref href="#sec-modulerequest-record" id="_ref_3"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> { [[Specifier]]: <var>specifierString</var>, [[Assertions]]: <var>assertions</var> }.</li><li>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_4"><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>.[[Promise]].</li></ol></emu-alg>
+          <emu-alg><ol><li>Let <var>referencingScriptOrModule</var> be !&nbsp;<emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</li><li>Let <var>specifierRef</var> be the result of evaluating <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 the result of evaluating <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>Let <var>specifierString</var> be <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>assertions</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 <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>options</var>) is not Object,<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 »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>assertionsObj</var> be <emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"assert"</emu-val>).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>assertionsObj</var>, <var>promiseCapability</var>).</li><li>If <var>assertionsObj</var> is not <emu-val>undefined</emu-val>,<ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>assertionsObj</var>) is not Object,<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 »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>keys</var> be EnumerableOwnPropertyNames(<var>assertionsObj</var>, <emu-const>key</emu-const>).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>keys</var>, <var>promiseCapability</var>).</li><li>For each String <var>key</var> of <var>keys</var>,<ol><li>Let <var>value</var> be <emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>assertionsObj</var>, <var>key</var>).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>value</var>, <var>promiseCapability</var>).</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is not String, 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 »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>If <var>key</var> is <emu-val>"type"</emu-val>, then<ol><li>Append { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <var>value</var> } to <var>assertions</var>.</li></ol></li></ol></li></ol></li><li>Sort <var>assertions</var> by the code point order of the <var class="field">[[Key]]</var> of each element. 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 distinguishing among assertions by the order they occur in.</li></ol></li><li>Let <var>moduleRequest</var> be a new <emu-xref href="#sec-modulerequest-record" id="_ref_2"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <var>specifierString</var>, <var class="field">[[Assertions]]</var>: <var>assertions</var> }.</li><li>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_3"><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-grammar><emu-production name="ImportCall" collapsed="">
@@ -2807,9 +2811,9 @@ <h1><span class="secnum">2.1.1.1</span> EvaluateImportCall ( <var>specifierExpre
 
       <emu-clause id="sec-hostloadimportedmodule" aoid="HostLoadImportedModule">
         <h1><span class="secnum">2.2</span> HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <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>), <del><var>specifier</var> (a String)</del><ins><var>moduleRequest</var> (a <emu-xref href="#sec-modulerequest-record" id="_ref_5"><a href="#sec-modulerequest-record">ModuleRequest 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>), <del><var>specifier</var> (a String)</del><ins><var>moduleRequest</var> (a <emu-xref href="#sec-modulerequest-record" id="_ref_4"><a href="#sec-modulerequest-record">ModuleRequest 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><span class="note">Note</span><div class="note-contents">
+        <emu-note><span class="note">Note 1</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>
 
           <pre><code class="html hljs"><span class="hljs-tag">&lt;<span class="hljs-name">button</span> <span class="hljs-attr">type</span>=<span class="hljs-string">"button"</span> <span class="hljs-attr">onclick</span>=<span class="hljs-string">"import('./foo.mjs')"</span>&gt;</span>Click me<span class="hljs-tag">&lt;/<span class="hljs-name">button</span>&gt;</span></code></pre>
@@ -2823,32 +2827,21 @@ <h1><span class="secnum">2.2</span> HostLoadImportedModule ( <var>referrer</var>
             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"><a href="https://tc39.es/ecma262/#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <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"><a href="https://tc39.es/ecma262/#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 the same <del>(<var>referrer</var>, <var>specifier</var>) pair</del><ins>(<var>referrer</var>, <var>moduleRequest</var>.[[Specifier]], <var>moduleRequest</var>.[[Assertions]]) triple</ins> and it performs <emu-xref aoid="FinishLoadingImportedModule"><a href="https://tc39.es/ecma262/#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <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"><a href="https://tc39.es/ecma262/#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>) with the same <var>result</var> each time.</p>
-
-            <p><ins>It is recommended but not required that implementations additionally conform to the following stronger constraint:</ins></p>
-            <ul>
-              <li>
-                <ins>If this operation is called multiple times with the same (<var>referrer</var>, <var>moduleRequest</var>.[[Specifier]]) pair and it performs <emu-xref aoid="FinishLoadingImportedModule"><a href="https://tc39.es/ecma262/#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"><a href="https://tc39.es/ecma262/#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.</ins>
-              </li>
-            </ul>
-          </li>
-          <li>
-            <ins><var>moduleRequest</var>.[[Assertions]] must not influence the interpretation of the module or the module specifier; instead, it may be used to determine whether the algorithm completes normally or with 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>.</ins>
+            <p>If this operation is called multiple times with the same <del>(<var>referrer</var>, <var>specifier</var>) pair</del><ins>(<var>referrer</var>, <var>moduleRequest</var>.<var class="field">[[Specifier]]</var>, <var>moduleRequest</var>.<var class="field">[[Assertions]]</var>) triple</ins> and it performs <emu-xref aoid="FinishLoadingImportedModule"><a href="https://tc39.es/ecma262/#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <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"><a href="https://tc39.es/ecma262/#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>) with the same <var>result</var> each time.</p>
           </li>
           <li>
             The operation must treat <var>payload</var> as an opaque value to be passed through to <emu-xref aoid="FinishLoadingImportedModule"><a href="https://tc39.es/ecma262/#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"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>. Multiple different (<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var>.[[Specifier]]</ins>) pairs may map to the same <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> instance. The actual mapping semantic 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 <del><var>specifier</var></del><ins><var>moduleRequest</var>.[[Specifier]]</ins> 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"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>. Multiple different (<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var>.<var class="field">[[Specifier]]</var></ins>) pairs may map to the same <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> instance. The actual mapping semantic 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 <del><var>specifier</var></del><ins><var>moduleRequest</var>.<var class="field">[[Specifier]]</var></ins> 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 type="editor"><span class="note">Editor's Note</span><div class="note-contents">
-          <p>The above text implies that is recommended but not required that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> do not use <var>moduleRequest</var>.[[Assertions]] as part of the module cache key. In either case, an exception thrown from an import with a given assertion list does not rule out success of another import with the same specifier but a different assertion list.</p>
-          <p>Assertions do not affect the contents of the module. Future follow-up proposals may relax this restriction with "evaluator attributes" that would change the contents of the module. There are three possible ways to handle multiple imports of the same module with "evaluator attributes":</p>
+        <emu-note><span class="note">Note 2</span><div class="note-contents">
+          <p>When the same specifier is imported multiple times with different attributes, <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> could choose between three possible behaviors:</p>
           <ul>
             <li><strong>Race</strong> and use the attribute that was requested by the first import. This seems broken--the second usage is ignored.</li>
-            <li><strong>Reject</strong> the module graph and don't load if attributes differ. This seems bad for composition--using two unrelated packages together could break, if they load the same module with disagreeing attributes.</li>
-            <li><strong>Clone</strong> and make two copies of the module, for the different ways it's transformed. In this case, the attributes would have to be part of the cache key. These semantics would run counter to the intuition that there is just one copy of a module.</li>
+            <li><strong>Reject</strong> the module graph and don't load if attributes are incompatible. This seems bad for composition--using two unrelated packages together could break, if they load the same module with disagreeing attributes.</li>
+            <li><strong>Clone</strong> and make two copies of the module, for the different ways it's transformed. These semantics would run counter to the intuition that there is just one copy of a module.</li>
           </ul>
           <p>It's possible that one of these three options may make sense for a module load, on a case-by-case basis by attribute, but it's worth careful thought before making this choice.</p>
         </div></emu-note>
@@ -2856,46 +2849,25 @@ <h1><span class="secnum">2.2</span> HostLoadImportedModule ( <var>referrer</var>
 
       <emu-clause id="sec-FinishLoadingImportedModule" type="abstract operation">
         <h1><span class="secnum">2.3</span> FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <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>), <del><var>specifier</var> (a String)</del><ins><var>moduleRequest</var> (a <emu-xref href="#sec-modulerequest-record" id="_ref_6"><a href="#sec-modulerequest-record">ModuleRequest 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"><a href="https://tc39.es/ecma262/#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>.</p>
+        <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>), <del><var>specifier</var> (a String)</del><ins><var>moduleRequest</var> (a <emu-xref href="#sec-modulerequest-record" id="_ref_5"><a href="#sec-modulerequest-record">ModuleRequest 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"><a href="https://tc39.es/ecma262/#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>.</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>, then<ol><li>If <var>referrer</var>.[[LoadedModules]] contains a <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 <var>record</var>.[[Specifier]] is <var>moduleRequest</var>.[[Specifier]] <ins>and AssertionsEqual(<var>record</var>.[[Assertions]], <var>moduleRequest</var>.[[Assertions]]) is <emu-val>true</emu-val></ins>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>record</var>.[[Module]] is <var>result</var>.[[Value]].</li></ol></li><li>Else, add <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> { [[Specifier]]: <var>moduleRequest</var>.[[Specifier]], <ins>[[Assertions]]: <var>moduleRequest</var>.[[Assertions]]</ins>, [[Module]]: <var>result</var>.[[Value]] } to <var>referrer</var>.[[LoadedModules]].</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>Perform <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>(<var>payload</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>result</var>).</li></ol></li><li>Return <emu-const>unused</emu-const>.</li></ol></emu-alg>
+        <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>, then<ol><li>If <var>referrer</var>.<var class="field">[[LoadedModules]]</var> contains a <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 <var>record</var>.<var class="field">[[Specifier]]</var> is <var>moduleRequest</var>.<var class="field">[[Specifier]]</var> <ins>and AssertionsEqual(<var>record</var>.<var class="field">[[Assertions]]</var>, <var>moduleRequest</var>.<var class="field">[[Assertions]]</var>) is <emu-val>true</emu-val></ins>, 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> is <var>result</var>.<var class="field">[[Value]]</var>.</li></ol></li><li>Else, add <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>, <ins><var class="field">[[Assertions]]</var>: <var>moduleRequest</var>.<var class="field">[[Assertions]]</var></ins>, <var class="field">[[Module]]</var>: <var>result</var>.<var class="field">[[Value]]</var> } to <var>referrer</var>.<var class="field">[[LoadedModules]]</var>.</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>Perform <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>(<var>payload</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>result</var>).</li></ol></li><li>Return <emu-const>unused</emu-const>.</li></ol></emu-alg>
 
         <emu-note type="editor"><span class="note">Editor's Note</span><div class="note-contents">
-          <p>The description of the [[LoadedModules]] field of <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>, <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, and <emu-xref href="#cyclic-module-record"><a href="https://tc39.es/ecma262/#cyclic-module-record">Cyclic Module Record</a></emu-xref> should be updated to include the [[Assertions]] field.</p>
+          <p>The description of the <var class="field">[[LoadedModules]]</var> field of <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>, <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, and <emu-xref href="#cyclic-module-record"><a href="https://tc39.es/ecma262/#cyclic-module-record">Cyclic Module Record</a></emu-xref> should be updated to include the <var class="field">[[Assertions]]</var> field.</p>
         </div></emu-note>
 
         <emu-clause id="sec-FinishLoadingImportedModule-AssertionsEqual" type="abstract operation">
           <h1><span class="secnum">2.3.1</span> <ins>AssertionsEqual(<var>left</var>, <var>right</var>)</ins></h1>
-          <p>The abstract operation AssertionsEqual takes arguments <var>left</var> and <var>right</var> (two <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> { [[Key]]: a String, [[Value]]: a String }), and returns a Boolean.</p>
+          <p>The abstract operation AssertionsEqual takes arguments <var>left</var> and <var>right</var> (two <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> { <var class="field">[[Key]]</var>: a String, <var class="field">[[Value]]</var>: a String }), and returns a Boolean.</p>
 
-          <emu-alg><ol><li>If the number of elements in <var>left</var> is not the same as the number of elements in <var>right</var>, return <emu-val>false</emu-val>.</li><li>For each <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> { [[Key]], [[Value]] } <var>r</var> of <var>left</var>, do<ol><li>Let <var>found</var> be <emu-val>false</emu-val>.</li><li>For each <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> { [[Key]], [[Value]] } <var>s</var> of <var>right</var>, do<ol><li>If <var>r</var>.[[Key]] is <var>s</var>.[[Key]] and <var>r</var>.[[Value]] is <var>s</var>.[[Value]], then<ol><li>Set <var>found</var> to <emu-val>true</emu-val>.</li></ol></li></ol></li><li>If <var>found</var> is <emu-val>false</emu-val>, return <emu-val>false</emu-val>.</li></ol></li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
+          <emu-alg><ol><li>If the number of elements in <var>left</var> is not the same as the number of elements in <var>right</var>, return <emu-val>false</emu-val>.</li><li>For each <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 class="field">[[Value]]</var> } <var>r</var> of <var>left</var>, do<ol><li>Let <var>found</var> be <emu-val>false</emu-val>.</li><li>For each <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 class="field">[[Value]]</var> } <var>s</var> of <var>right</var>, do<ol><li>If <var>r</var>.<var class="field">[[Key]]</var> is <var>s</var>.<var class="field">[[Key]]</var> and <var>r</var>.<var class="field">[[Value]]</var> is <var>s</var>.<var class="field">[[Value]]</var>, then<ol><li>Set <var>found</var> to <emu-val>true</emu-val>.</li></ol></li></ol></li><li>If <var>found</var> is <emu-val>false</emu-val>, return <emu-val>false</emu-val>.</li></ol></li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
         </emu-clause>
       </emu-clause>
 
-  <emu-clause id="sec-hostgetsupportedimportassertions" aoid="HostGetSupportedImportAssertions">
-    <h1><span class="secnum">2.4</span> Static Semantics: HostGetSupportedImportAssertions ()</h1>
-    <p>
-      HostGetSupportedImportAssertions is a <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> abstract operation that allows <emu-xref href="#host-environment"><a href="https://tc39.es/ecma262/#host-environment">host environments</a></emu-xref> to specify which import assertions they support.
-      Only assertions with supported keys will be provided to the <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref>.
-    </p>
-
-    <p>The implementation of HostGetSupportedImportAssertions must conform to the following requrements:</p>
-
-    <ul>
-      <li>It must return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> whose values are all StringValues, each indicating a supported assertion.</li>
-
-      <li>Each time this operation is called, it must return the same <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> instance with the same contents.</li>
-
-      <li>An implementation of HostGetSupportedImportAssertions must always complete normally (i.e., not return 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>).</li>
-    </ul>
-
-    <p>The default implementation of HostGetSupportedImportAssertions is to return an 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>.</p>
-
-    <emu-note type="editor"><span class="note">Editor's Note</span><div class="note-contents">The purpose of requiring the <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> to specify its supported import assertions, rather than passing all assertions to the <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> and letting it then choose which ones it wants to handle, is to ensure that unsupported assertions are handled in a consistent way across different <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref>.</div></emu-note>
-  </emu-clause>
 
   <emu-clause id="sec-assert-clause-early-errors">
-    <h1><span class="secnum">2.5</span> Static Semantics: Early Errors</h1>
+    <h1><span class="secnum">2.4</span> Static Semantics: Early Errors</h1>
     <emu-grammar><emu-production name="AssertClause" collapsed="">
     <emu-nt>AssertClause</emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="ifkqczcb">
         <emu-t>assert</emu-t>
@@ -2907,12 +2879,12 @@ <h1><span class="secnum">2.5</span> Static Semantics: Early Errors</h1>
 </emu-production>
 </emu-grammar>
     <ul>
-      <li>It is a Syntax Error if <emu-xref aoid="AssertClauseToAssertions" id="_ref_7"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertClause</emu-nt> has two entries <var>a</var> and <var>b</var> such that <var>a</var>.[[Key]] is <var>b</var>.[[Key]].</li>
+      <li>It is a Syntax Error if <emu-xref aoid="AssertClauseToAssertions" id="_ref_6"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertClause</emu-nt> has two entries <var>a</var> and <var>b</var> such that <var>a</var>.<var class="field">[[Key]]</var> is <var>b</var>.<var class="field">[[Key]]</var>.</li>
     </ul>
   </emu-clause>
 
   <emu-clause id="sec-assert-clause-to-assertions" aoid="AssertClauseToAssertions">
-    <h1><span class="secnum">2.6</span> Static Semantics: AssertClauseToAssertions</h1>
+    <h1><span class="secnum">2.5</span> Static Semantics: AssertClauseToAssertions</h1>
     <emu-grammar><emu-production name="AssertClause" collapsed="">
     <emu-nt>AssertClause</emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="uul2hn9u">
         <emu-t>assert</emu-t>
@@ -2933,7 +2905,7 @@ <h1><span class="secnum">2.6</span> Static Semantics: AssertClauseToAssertions</
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-    <emu-alg><ol><li>Let <var>assertions</var> be <emu-xref aoid="AssertClauseToAssertions" id="_ref_8"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertEntries</emu-nt>.</li><li>Sort <var>assertions</var> by the code point order of the [[Key]] of each element. 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 distinguishing among assertions by the order they occur in.</li><li>Return <var>assertions</var>.</li></ol></emu-alg>
+    <emu-alg><ol><li>Let <var>assertions</var> be <emu-xref aoid="AssertClauseToAssertions" id="_ref_7"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertEntries</emu-nt>.</li><li>Sort <var>assertions</var> by the code point order of the <var class="field">[[Key]]</var> of each element. 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 distinguishing among assertions by the order they occur in.</li><li>Return <var>assertions</var>.</li></ol></emu-alg>
 
     <emu-grammar><emu-production name="AssertEntries" collapsed="">
     <emu-nt>AssertEntries</emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="su9gfubp">
@@ -2943,7 +2915,7 @@ <h1><span class="secnum">2.6</span> Static Semantics: AssertClauseToAssertions</
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-    <emu-alg><ol><li>Let <var>supportedAssertions</var> be !<emu-xref aoid="HostGetSupportedImportAssertions" id="_ref_9"><a href="#sec-hostgetsupportedimportassertions">HostGetSupportedImportAssertions</a></emu-xref>().</li><li>Let <var>key</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of <emu-nt>AssertionKey</emu-nt>.</li><li>If <var>supportedAssertions</var> contains <var>key</var>,<ol><li>Let <var>entry</var> be a <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> { [[Key]]: <var>key</var>, [[Value]]: <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Return a new <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> containing the single element, <var>entry</var>.</li></ol></li><li>Otherwise, return 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></ol></emu-alg>
+    <emu-alg><ol><li>Let <var>key</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of <emu-nt>AssertionKey</emu-nt>.</li><li>If <var>key</var> is <emu-val>"type"</emu-val>, then<ol><li>Let <var>entry</var> be a <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>: <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Return a new <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> containing the single element, <var>entry</var>.</li></ol></li><li>Otherwise, return 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></ol></emu-alg>
 
     <emu-grammar><emu-production name="AssertEntries" collapsed="">
     <emu-nt>AssertEntries</emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="lopyou-y">
@@ -2955,11 +2927,15 @@ <h1><span class="secnum">2.6</span> Static Semantics: AssertClauseToAssertions</
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-    <emu-alg><ol><li>Let <var>supportedAssertions</var> be !<emu-xref aoid="HostGetSupportedImportAssertions" id="_ref_10"><a href="#sec-hostgetsupportedimportassertions">HostGetSupportedImportAssertions</a></emu-xref>().</li><li>Let <var>key</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of <emu-nt>AssertionKey</emu-nt>.</li><li>If <var>supportedAssertions</var> contains <var>key</var>,<ol><li>Let <var>entry</var> be a <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> { [[Key]]: <var>key</var>, [[Value]]: <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Let <var>rest</var> be <emu-xref aoid="AssertClauseToAssertions" id="_ref_11"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertEntries</emu-nt>.</li><li>Return a new <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> containing <var>entry</var> followed by the elements of <var>rest</var>.</li></ol></li><li>Otherwise, return <emu-xref aoid="AssertClauseToAssertions" id="_ref_12"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertEntries</emu-nt>.</li></ol></emu-alg>
+    <emu-alg><ol><li>Let <var>key</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of <emu-nt>AssertionKey</emu-nt>.</li><li>If <var>key</var> is <emu-val>"type"</emu-val>, then<ol><li>Let <var>entry</var> be a <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>: <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Let <var>rest</var> be <emu-xref aoid="AssertClauseToAssertions" id="_ref_8"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertEntries</emu-nt>.</li><li>Return a new <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> containing <var>entry</var> followed by the elements of <var>rest</var>.</li></ol></li><li>Otherwise, return <emu-xref aoid="AssertClauseToAssertions" id="_ref_9"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertEntries</emu-nt>.</li></ol></emu-alg>
+
+    <emu-note><span class="note">Note</span><div class="note-contents">
+      The list of valid assertion keys may be expanded in the future.
+    </div></emu-note>
   </emu-clause>
 
   <emu-clause id="sec-assertion-key-string-value">
-    <h1><span class="secnum">2.7</span> Static Semantics: StringValue</h1>
+    <h1><span class="secnum">2.6</span> Static Semantics: StringValue</h1>
     <emu-grammar><emu-production name="AssertionKey" collapsed="">
     <emu-nt>AssertionKey</emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="drsx4tka"><emu-nt><a href="https://tc39.es/ecma262/#prod-IdentifierName">IdentifierName</a></emu-nt></emu-rhs>
 </emu-production>
@@ -2974,10 +2950,10 @@ <h1><span class="secnum">2.7</span> Static Semantics: StringValue</h1>
   </emu-clause>
 
       <emu-clause id="sec-modulerequest-record">
-        <h1><span class="secnum">2.8</span> ModuleRequest Records</h1>
+        <h1><span class="secnum">2.7</span> ModuleRequest Records</h1>
 
         <p>A <dfn>ModuleRequest Record</dfn> represents the request to import a module with given import assertions. It consists of the following fields:</p>
-        <emu-table id="table-modulerequest-fields" caption="ModuleRequest Record fields"><figure><figcaption>Table 1: <emu-xref href="#sec-modulerequest-record" id="_ref_13"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> fields</figcaption>
+        <emu-table id="table-modulerequest-fields" caption="ModuleRequest Record fields"><figure><figcaption>Table 1: <emu-xref href="#sec-modulerequest-record" id="_ref_10"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> fields</figcaption>
           <table>
             <tbody>
               <tr>
@@ -2993,7 +2969,7 @@ <h1><span class="secnum">2.8</span> ModuleRequest Records</h1>
               </tr>
               <tr>
                 <td>
-                  [[Specifier]]
+                  <var class="field">[[Specifier]]</var>
                 </td>
                 <td>
                   String
@@ -3004,10 +2980,10 @@ <h1><span class="secnum">2.8</span> ModuleRequest Records</h1>
               </tr>
               <tr>
                 <td>
-                  [[Assertions]]
+                  <var class="field">[[Assertions]]</var>
                 </td>
                 <td>
-                  a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> { [[Key]]: a String, [[Value]]: a String }
+                  a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> { <var class="field">[[Key]]</var>: a String, <var class="field">[[Value]]</var>: a String }
                 </td>
                 <td>
                   The import assertions
@@ -3036,7 +3012,7 @@ <h1><span class="secnum">2.8</span> ModuleRequest Records</h1>
               </tr>
               <tr>
                 <td>
-                  [[Status]]
+                  <var class="field">[[Status]]</var>
                 </td>
                 <td>
                   <emu-const>unlinked</emu-const> | <emu-const>linking</emu-const> | <emu-const>linked</emu-const> | <emu-const>evaluating</emu-const> | <emu-const>evaluated</emu-const>
@@ -3047,44 +3023,44 @@ <h1><span class="secnum">2.8</span> ModuleRequest Records</h1>
               </tr>
               <tr>
                 <td>
-                  [[EvaluationError]]
+                  <var class="field">[[EvaluationError]]</var>
                 </td>
                 <td>
                   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> | <emu-val>undefined</emu-val>
                 </td>
                 <td>
-                  A completion of type <emu-const>throw</emu-const> representing the exception that occurred during evaluation.  <emu-val>undefined</emu-val> if no exception occurred or if [[Status]] is not <emu-const>evaluated</emu-const>.
+                  A completion of type <emu-const>throw</emu-const> representing the exception that occurred during evaluation.  <emu-val>undefined</emu-val> if no exception occurred or if <var class="field">[[Status]]</var> is not <emu-const>evaluated</emu-const>.
                 </td>
               </tr>
               <tr>
                 <td>
-                  [[DFSIndex]]
+                  <var class="field">[[DFSIndex]]</var>
                 </td>
                 <td>
                   <emu-xref href="#integer"><a href="https://tc39.es/ecma262/#integer">Integer</a></emu-xref> | <emu-val>undefined</emu-val>
                 </td>
                 <td>
                   Auxiliary field used during Link and Evaluate only.
-                  If [[Status]] is <emu-const>linking</emu-const> or <emu-const>evaluating</emu-const>, this nonnegative number records the point at which the module was first visited during the ongoing depth-first traversal of the dependency graph.
+                  If <var class="field">[[Status]]</var> is <emu-const>linking</emu-const> or <emu-const>evaluating</emu-const>, this nonnegative number records the point at which the module was first visited during the ongoing depth-first traversal of the dependency graph.
                 </td>
               </tr>
               <tr>
                 <td>
-                  [[DFSAncestorIndex]]
+                  <var class="field">[[DFSAncestorIndex]]</var>
                 </td>
                 <td>
                   <emu-xref href="#integer"><a href="https://tc39.es/ecma262/#integer">Integer</a></emu-xref> | <emu-val>undefined</emu-val>
                 </td>
                 <td>
-                  Auxiliary field used during Link and Evaluate only. If [[Status]] is <emu-const>linking</emu-const> or <emu-const>evaluating</emu-const>, this is either the module's own [[DFSIndex]] or that of an "earlier" module in the same strongly connected component.
+                  Auxiliary field used during Link and Evaluate only. If <var class="field">[[Status]]</var> is <emu-const>linking</emu-const> or <emu-const>evaluating</emu-const>, this is either the module's own <var class="field">[[DFSIndex]]</var> or that of an "earlier" module in the same strongly connected component.
                 </td>
               </tr>
               <tr>
                 <td>
-                  [[RequestedModules]]
+                  <var class="field">[[RequestedModules]]</var>
                 </td>
                 <td>
-                  <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <del>String</del><ins><emu-xref href="#sec-modulerequest-record" id="_ref_14"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref></ins>
+                  <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <del>String</del><ins><emu-xref href="#sec-modulerequest-record" id="_ref_11"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref></ins>
                 </td>
                 <td>
                   A <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of all the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> strings <ins>and import assertions</ins> used by the module represented by this record to request the importation of a module. The <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> is source code occurrence ordered.
@@ -3094,8 +3070,8 @@ <h1><span class="secnum">2.8</span> ModuleRequest Records</h1>
           </table>
         </figure></emu-table>
 
-        <p>An <dfn id="importentry-record">ImportEntry Record</dfn> is a <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> that digests information about a single declarative import. Each <emu-xref href="#importentry-record" id="_ref_15"><a href="#importentry-record">ImportEntry Record</a></emu-xref> has the fields defined in <emu-xref href="#table-39" id="_ref_1"><a href="#table-39">Table 3</a></emu-xref>:</p>
-        <emu-table id="table-39" caption="ImportEntry Record Fields"><figure><figcaption>Table 3: <emu-xref href="#importentry-record" id="_ref_16"><a href="#importentry-record">ImportEntry Record</a></emu-xref> Fields</figcaption>
+        <p>An <dfn id="importentry-record">ImportEntry Record</dfn> is a <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> that digests information about a single declarative import. Each <emu-xref href="#importentry-record" id="_ref_12"><a href="#importentry-record">ImportEntry Record</a></emu-xref> has the fields defined in <emu-xref href="#table-39" id="_ref_1"><a href="#table-39">Table 3</a></emu-xref>:</p>
+        <emu-table id="table-39" caption="ImportEntry Record Fields"><figure><figcaption>Table 3: <emu-xref href="#importentry-record" id="_ref_13"><a href="#importentry-record">ImportEntry Record</a></emu-xref> Fields</figcaption>
           <table>
             <tbody>
             <tr>
@@ -3111,31 +3087,31 @@ <h1><span class="secnum">2.8</span> ModuleRequest Records</h1>
             </tr>
             <tr>
               <td>
-                [[ModuleRequest]]
+                <var class="field">[[ModuleRequest]]</var>
               </td>
               <td>
                 <del>String</del>
-                <ins><emu-xref href="#sec-modulerequest-record" id="_ref_17"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref></ins>
+                <ins><emu-xref href="#sec-modulerequest-record" id="_ref_14"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref></ins>
               </td>
               <td>
                 <del>String value of the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> of the <emu-nt><a href="https://tc39.es/ecma262/#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</del>
-                <ins><emu-xref href="#sec-modulerequest-record" id="_ref_18"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> representing the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> and import assertions of the <emu-nt><a href="https://tc39.es/ecma262/#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</ins>
+                <ins><emu-xref href="#sec-modulerequest-record" id="_ref_15"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> representing the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> and import assertions of the <emu-nt><a href="https://tc39.es/ecma262/#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</ins>
               </td>
             </tr>
             <tr>
               <td>
-                [[ImportName]]
+                <var class="field">[[ImportName]]</var>
               </td>
               <td>
                 String
               </td>
               <td>
-                The name under which the desired binding is exported by the module identified by [[ModuleRequest]]. The value <emu-val>"*"</emu-val> indicates that the import request is for the target module's namespace object.
+                The name under which the desired binding is exported by the module identified by <var class="field">[[ModuleRequest]]</var>. The value <emu-val>"*"</emu-val> indicates that the import request is for the target module's namespace object.
               </td>
             </tr>
             <tr>
               <td>
-                [[LocalName]]
+                <var class="field">[[LocalName]]</var>
               </td>
               <td>
                 String
@@ -3149,7 +3125,7 @@ <h1><span class="secnum">2.8</span> ModuleRequest Records</h1>
         </figure></emu-table>
 
       <emu-clause id="sec-static-semantics-modulerequests">
-        <h1><span class="secnum">2.9</span> Static Semantics: ModuleRequests</h1>
+        <h1><span class="secnum">2.8</span> Static Semantics: ModuleRequests</h1>
         <emu-see-also-para op="ModuleRequests"></emu-see-also-para>
         <emu-grammar><emu-production name="ImportDeclaration" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ImportDeclaration">ImportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="glhuxxec">
@@ -3160,7 +3136,7 @@ <h1><span class="secnum">2.9</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests"><a href="https://tc39.es/ecma262/#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of the <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> contained in <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-modulerequest-record" id="_ref_19"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> { [[Specifer]]: <var>specifier</var>, [[Assertions]]: an 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> }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests"><a href="https://tc39.es/ecma262/#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of the <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> contained in <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-modulerequest-record" id="_ref_16"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Assertions]]</var>: an 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> }.</ins></li></ol></emu-alg>
         <emu-grammar><emu-production name="ImportDeclaration" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ImportDeclaration">ImportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="b66cd5gl">
         <emu-t>import</emu-t>
@@ -3171,7 +3147,7 @@ <h1><span class="secnum">2.9</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Let <var>specifier</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of the <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> contained in <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>assertions</var> be <emu-xref aoid="AssertClauseToAssertions" id="_ref_20"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertClause</emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-modulerequest-record" id="_ref_21"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> { [[Specifer]]: <var>specifier</var>, [[Assertions]]: <var>assertions</var> }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Let <var>specifier</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of the <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> contained in <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>assertions</var> be <emu-xref aoid="AssertClauseToAssertions" id="_ref_17"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertClause</emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-modulerequest-record" id="_ref_18"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Assertions]]</var>: <var>assertions</var> }.</ins></li></ol></emu-alg>
         <emu-grammar><emu-production name="Module" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-Module">Module</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="n7nathbb"><emu-gann>[empty]</emu-gann></emu-rhs>
 </emu-production>
@@ -3205,7 +3181,7 @@ <h1><span class="secnum">2.9</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests"><a href="https://tc39.es/ecma262/#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of the <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> contained in <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-modulerequest-record" id="_ref_22"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> { [[Specifer]]: <var>specifier</var>, [[Assertions]]: an 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> }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests"><a href="https://tc39.es/ecma262/#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of the <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> contained in <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-modulerequest-record" id="_ref_19"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Assertions]]</var>: an 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> }.</ins></li></ol></emu-alg>
         <emu-grammar><emu-production name="ExportDeclaration" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ExportDeclaration">ExportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="uj03qgl7">
         <emu-t>export</emu-t>
@@ -3216,7 +3192,7 @@ <h1><span class="secnum">2.9</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Let <var>specifier</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of the <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> contained in <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>assertions</var> be <emu-xref aoid="AssertClauseToAssertions" id="_ref_23"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertClause</emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-modulerequest-record" id="_ref_24"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> { [[Specifer]]: <var>specifier</var>, [[Assertions]]: <var>assertions</var> }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Let <var>specifier</var> be <emu-xref aoid="StringValue"><a href="https://tc39.es/ecma262/#sec-static-semantics-stringvalue">StringValue</a></emu-xref> of the <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> contained in <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>assertions</var> be <emu-xref aoid="AssertClauseToAssertions" id="_ref_20"><a href="#sec-assert-clause-to-assertions">AssertClauseToAssertions</a></emu-xref> of <emu-nt>AssertClause</emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-modulerequest-record" id="_ref_21"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Assertions]]</var>: <var>assertions</var> }.</ins></li></ol></emu-alg>
         <emu-grammar><emu-production name="ExportDeclaration">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ExportDeclaration">ExportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="j2lh_kda">
         <emu-t>export</emu-t>
@@ -3262,8 +3238,8 @@ <h1><span class="secnum">A</span> Sample host integration: The Web embedding</h1
 
   <ul>
     <li>The <a href="https://html.spec.whatwg.org/#module-script">module script</a> would have an additional item, which would be the module type, as a string (e.g., <emu-val>"json"</emu-val>), or <emu-val>undefined</emu-val> for a JavaScript module.</li>
-    <li><emu-xref aoid="HostLoadImportedModule" id="_ref_25"><a href="#sec-hostloadimportedmodule">HostLoadImportedModule</a></emu-xref> would take a <emu-xref href="#sec-modulerequest-record" id="_ref_26"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> parameter in place of a specifier string, which would be passed down through several <emu-xref href="#sec-algorithm-conventions-abstract-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-abstract-operations">abstract operations</a></emu-xref> to reach the <a href="https://html.spec.whatwg.org/#fetch-a-single-module-script">fetch a single module script</a> algorithm. Somewhere near the entrypoint, if the <emu-xref href="#sec-modulerequest-record" id="_ref_27"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref>'s [[Assertions]] field has an element <var>entry</var> such that <var>entry</var>.[[Key]] is <emu-val>"type"</emu-val>, then let <var>type</var> be <var>entry</var>.[[Value]]; otherwise let <var>type</var> be <emu-val>undefined</emu-val>. If the type is invalid, then an exception is thrown and module loading fails. Otherwise, this will equal the module type, if the module can be successfully fetched with a matching MIME type.</li>
-    <li>In the <a href="https://html.spec.whatwg.org/#fetch-the-descendants-of-a-module-script">fetch the descendents of a module script</a> algorithm, when iterating over [[RequestedModules]], the elements are ModuleRequest <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> rather than just specifier strings; these <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> is passed on to the internal module script graph fetching procedure (which sends it to "fetch a single module script". Other usage sites of [[RequestedModules]] ignore the assertion.</li>
+    <li><emu-xref aoid="HostLoadImportedModule" id="_ref_22"><a href="#sec-hostloadimportedmodule">HostLoadImportedModule</a></emu-xref> would take a <emu-xref href="#sec-modulerequest-record" id="_ref_23"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref> parameter in place of a specifier string, which would be passed down through several <emu-xref href="#sec-algorithm-conventions-abstract-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-abstract-operations">abstract operations</a></emu-xref> to reach the <a href="https://html.spec.whatwg.org/#fetch-a-single-module-script">fetch a single module script</a> algorithm. Somewhere near the entrypoint, if the <emu-xref href="#sec-modulerequest-record" id="_ref_24"><a href="#sec-modulerequest-record">ModuleRequest Record</a></emu-xref>'s <var class="field">[[Assertions]]</var> field has an element <var>entry</var> such that <var>entry</var>.<var class="field">[[Key]]</var> is <emu-val>"type"</emu-val>, then let <var>type</var> be <var>entry</var>.<var class="field">[[Value]]</var>; otherwise let <var>type</var> be <emu-val>undefined</emu-val>. If the type is invalid, then an exception is thrown and module loading fails. Otherwise, this will equal the module type, if the module can be successfully fetched with a matching MIME type.</li>
+    <li>In the <a href="https://html.spec.whatwg.org/#fetch-the-descendants-of-a-module-script">fetch the descendents of a module script</a> algorithm, when iterating over <var class="field">[[RequestedModules]]</var>, the elements are ModuleRequest <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> rather than just specifier strings; these <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> is passed on to the internal module script graph fetching procedure (which sends it to "fetch a single module script". Other usage sites of <var class="field">[[RequestedModules]]</var> ignore the assertion.</li>
     <li>"Fetch a single module script" would check the assertion in two places:
       <ul>
         <li>The module map is keyed with both the absolute URL and the module type, so an existing entry will be found only if its <var>type</var> matches.</li>
diff --git a/spec.emu b/spec.emu
index 183266b..89e00ba 100644
--- a/spec.emu
+++ b/spec.emu
@@ -92,14 +92,13 @@
                   1. Return _promiseCapability_.[[Promise]].
                 1. Let _keys_ be EnumerableOwnPropertyNames(_assertionsObj_, ~key~).
                 1. IfAbruptRejectPromise(_keys_, _promiseCapability_).
-                1. Let _supportedAssertions_ be ! HostGetSupportedImportAssertions().
                 1. For each String _key_ of _keys_,
                   1. Let _value_ be Get(_assertionsObj_, _key_).
                   1. IfAbruptRejectPromise(_value_, _promiseCapability_).
                   1. If Type(_value_) is not String, then
                     1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, &laquo; a newly created *TypeError* object &raquo;).
                     1. Return _promiseCapability_.[[Promise]].
-                  1. If _supportedAssertions_ contains _key_, then
+                  1. If _key_ is *"type"*, then
                     1. Append { [[Key]]: _key_, [[Value]]: _value_ } to _assertions_.
               1. Sort _assertions_ by the code point order of the [[Key]] of each element. NOTE: This sorting is observable only in that hosts are prohibited from distinguishing among assertions by the order they occur in.
             1. Let _moduleRequest_ be a new ModuleRequest Record { [[Specifier]]: _specifierString_, [[Assertions]]: _assertions_ }.
@@ -139,16 +138,6 @@
           </li>
           <li>
             <p>If this operation is called multiple times with the same <del>(_referrer_, _specifier_) pair</del><ins>(_referrer_, _moduleRequest_.[[Specifier]], _moduleRequest_.[[Assertions]]) triple</ins> and it performs FinishLoadingImportedModule(_referrer_, <del>_specifier_</del><ins>_moduleRequest_</ins>, _payload_, _result_) where _result_ is a normal completion, then it must perform FinishLoadingImportedModule(_referrer_, <del>_specifier_</del><ins>_moduleRequest_</ins>, _payload_, _result_) with the same _result_ each time.</p>
-
-            <p><ins>It is recommended but not required that implementations additionally conform to the following stronger constraint:</ins></p>
-            <ul>
-              <li>
-                <ins>If this operation is called multiple times with the same (_referrer_, _moduleRequest_.[[Specifier]]) pair and it performs FinishLoadingImportedModule(_referrer_, _moduleRequest_, _payload_, _result_) where _result_ is a normal completion, then it must perform FinishLoadingImportedModule(_referrer_, _moduleRequest_, _payload_, _result_) with the same _result_ each time.</ins>
-              </li>
-            </ul>
-          </li>
-          <li>
-            <ins>_moduleRequest_.[[Assertions]] must not influence the interpretation of the module or the module specifier; instead, it may be used to determine whether the algorithm completes normally or with an abrupt completion.</ins>
           </li>
           <li>
             The operation must treat _payload_ as an opaque value to be passed through to FinishLoadingImportedModule.
@@ -157,13 +146,12 @@
 
         <p>The actual process performed is host-defined, but typically consists of performing whatever I/O operations are necessary to load the appropriate Module Record. Multiple different (_referrer_, <del>_specifier_</del><ins>_moduleRequest_.[[Specifier]]</ins>) pairs may map to the same Module Record instance. The actual mapping semantic is host-defined but typically a normalization process is applied to <del>_specifier_</del><ins>_moduleRequest_.[[Specifier]]</ins> 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 type=editor>
-          <p>The above text implies that is recommended but not required that hosts do not use _moduleRequest_.[[Assertions]] as part of the module cache key. In either case, an exception thrown from an import with a given assertion list does not rule out success of another import with the same specifier but a different assertion list.</p>
-          <p>Assertions do not affect the contents of the module. Future follow-up proposals may relax this restriction with "evaluator attributes" that would change the contents of the module. There are three possible ways to handle multiple imports of the same module with "evaluator attributes":</p>
+        <emu-note>
+          <p>When the same specifier is imported multiple times with different attributes, hosts could choose between three possible behaviors:</p>
           <ul>
             <li><strong>Race</strong> and use the attribute that was requested by the first import. This seems broken--the second usage is ignored.</li>
-            <li><strong>Reject</strong> the module graph and don't load if attributes differ. This seems bad for composition--using two unrelated packages together could break, if they load the same module with disagreeing attributes.</li>
-            <li><strong>Clone</strong> and make two copies of the module, for the different ways it's transformed. In this case, the attributes would have to be part of the cache key. These semantics would run counter to the intuition that there is just one copy of a module.</li>
+            <li><strong>Reject</strong> the module graph and don't load if attributes are incompatible. This seems bad for composition--using two unrelated packages together could break, if they load the same module with disagreeing attributes.</li>
+            <li><strong>Clone</strong> and make two copies of the module, for the different ways it's transformed. These semantics would run counter to the intuition that there is just one copy of a module.</li>
           </ul>
           <p>It's possible that one of these three options may make sense for a module load, on a case-by-case basis by attribute, but it's worth careful thought before making this choice.</p>
         </emu-note>
@@ -206,27 +194,6 @@
         </emu-clause>
       </emu-clause>
 
-  <emu-clause id="sec-hostgetsupportedimportassertions" aoid="HostGetSupportedImportAssertions">
-    <h1>Static Semantics: HostGetSupportedImportAssertions ()</h1>
-    <p>
-      HostGetSupportedImportAssertions is a host-defined abstract operation that allows host environments to specify which import assertions they support.
-      Only assertions with supported keys will be provided to the host.
-    </p>
-
-    <p>The implementation of HostGetSupportedImportAssertions must conform to the following requrements:</p>
-
-    <ul>
-      <li>It must return a List whose values are all StringValues, each indicating a supported assertion.</li>
-
-      <li>Each time this operation is called, it must return the same List instance with the same contents.</li>
-
-      <li>An implementation of HostGetSupportedImportAssertions must always complete normally (i.e., not return an abrupt completion).</li>
-    </ul>
-
-    <p>The default implementation of HostGetSupportedImportAssertions is to return an empty List.</p>
-
-    <emu-note type=editor>The purpose of requiring the host to specify its supported import assertions, rather than passing all assertions to the host and letting it then choose which ones it wants to handle, is to ensure that unsupported assertions are handled in a consistent way across different hosts.</emu-note>
-  </emu-clause>
 
   <emu-clause id="sec-assert-clause-early-errors">
     <h1>Static Semantics: Early Errors</h1>
@@ -252,9 +219,8 @@
 
     <emu-grammar> AssertEntries : AssertionKey `:` StringLiteral </emu-grammar>
     <emu-alg>
-      1. Let _supportedAssertions_ be !HostGetSupportedImportAssertions().
       1. Let _key_ be StringValue of |AssertionKey|.
-      1. If _supportedAssertions_ contains _key_,
+      1. If _key_ is *"type"*, then
         1. Let _entry_ be a Record { [[Key]]: _key_, [[Value]]: StringValue of |StringLiteral| }.
         1. Return a new List containing the single element, _entry_.
       1. Otherwise, return a new empty List.
@@ -262,14 +228,17 @@
 
     <emu-grammar> AssertEntries : AssertionKey `:` StringLiteral `,` AssertEntries </emu-grammar>
     <emu-alg>
-      1. Let _supportedAssertions_ be !HostGetSupportedImportAssertions().
       1. Let _key_ be StringValue of |AssertionKey|.
-      1. If _supportedAssertions_ contains _key_,
+      1. If _key_ is *"type"*, then
         1. Let _entry_ be a Record { [[Key]]: _key_, [[Value]]: StringValue of |StringLiteral| }.
         1. Let _rest_ be AssertClauseToAssertions of |AssertEntries|.
         1. Return a new List containing _entry_ followed by the elements of _rest_.
       1. Otherwise, return AssertClauseToAssertions of |AssertEntries|.
     </emu-alg>
+
+    <emu-note>
+      The list of valid assertion keys may be expanded in the future.
+    </emu-note>
   </emu-clause>
 
   <emu-clause id="sec-assertion-key-string-value">