8.6.1 Many difference unnormalized names -> Many different unnormalized names
Table 39 Export Entry Record Fields
is exported by ththis module -> is exported by this module
15.2.1.16 Stati[c] Semantics: ParseModuleAndImports
for modoles that are directly -> for modules that are directly
15.2.1.18 10. Return startResolution -> Return starResolution
15.2.1.20 4. Append to modules [then -> the new] elements of newModuleSet (module set may include modules already in realm.modules)
15.2.1.20 5. For each Module Record m that is an elemen[ot->t] of newModuleSet
15.2.1.20 5. a) Let satatus -> Let status
15.2.1.20 6. ready for to be evaluated -> ready to be evaluated
15.2.1.20 7. Append to realm.[[modules]] [then -> the new] elements of newModuleSet
15.2.1.21 Runtime Semantics: ModuleDeclarationInstantiation
realm is the Ream Record -> realm is the Realm Record
15.2.1.22 Runtime Semantics: ModuleEvaluation
Using "m" instead of "module" which is the argument name.
Re: 15.2.1.20 4. and 7. (actually now 2 and 5) you say "(module set may include modules already in realm.modules)". How did you arrive at that conclusion? By my analysis, newModuleSet has no duplicates and initially only contains module records that are not already in realm.[[modules]].
Everything else fixed in rev 31 editor's draft (mostly fied in rev29)