Editorial: add a note about synchronicity of SyntheticModule Evaluate

Author: legendecas

spec.html

@@ -28715,7 +28715,7 @@ <h1>Synthetic Module Records</h1>
             <tr>
               <td>[[EvaluationSteps]]</td>
               <td>an Abstract Closure</td>
-              <td>The initialization logic to perform upon evaluation of the module, taking the Synthetic Module Record as its sole argument. It must not modify [[ExportNames]]. It may return an abrupt completion.</td>
+              <td>The initialization logic to perform upon evaluation of the module, taking the Synthetic Module Record as its sole argument. It must not modify [[ExportNames]]. It should return a normal Completion Record containing UNUSED, or return an abrupt completion.</td>
             </tr>
           </table>
         </emu-table>
@@ -28871,6 +28871,10 @@ <h1>Evaluate ( ): a Promise</h1>
               1. Perform ! Call(_pc_.[[Resolve]], *undefined*, « *undefined* »).
               1. Return _pc_.[[Promise]].
             </emu-alg>
+
+            <emu-note>
+              <p>The returned promise should always be settled. In InnerModuleEvaluation, a non Cyclic Module Record is evaluated with EvaluateModuleSync, and asserted to return a settled promise.</p>
+            </emu-note>
           </emu-clause>
         </emu-clause>
       </emu-clause>