Update - Items crossed out where separate issues have been created by others, so that feedback remains unique.
1.1.1.4 There is no isCallable check for the normalize function, while all the other hooks have this.
1.1.1.6 ProceedToLocate does not take a promise as an argument, it returns one.
1.1.1.6 & 1.1.1.7 The return values of these functions are entirely unnecessary
1.1.2.6 source not defined. Should be undefined?
1.1.4 It is not clear how load is passed into EvaluatedLoadedModule
1.6.3.6 6. Set the [[Address]] field of load to addres, should be "address"
1.6.3.8 IndirectEval not defined anywhere
1.4.1.3 CreateLinkedModuleInstance not defined, including default evaluated = false internal value
1.5.1.1 DefineBuiltinProperties not defined
1.6.3.5 request is provided as input, but name is used in LoadModule. One or the other should probably be used, unless a normalization is still on the cards here (this is probably what John was hinting at in the previous discussion).
1.6.3.6 This code recreates everything in AsyncStartLoadPartWayThrough('translate'), which would work with an undefined name. Could this function not be used, followed by the EnsureLoadedModule check after?
LinkDyanmicModules (1.a) "Let factory be load.[[factory]]" should probably be "Let execute be load.[[execute]]"?
LinkageGroups (2.) Surely "if there are any mixed dependency cycles in G", should be "if there are any dependency cycles in G containing a dynamic dependency"? Since it might be possible to have a cycle containing dependencies entirely of kind "dynamic"?
Load record load.[[UnlinkedDependencies]] doesn't seem to be defined?
LinkageGroups This function can be tricky to understand, and especially as the first function of Link, it may be useful to explain what it does. Perhaps define a dependency group as a subgraph of the linkage graph of a single kind, and what it means for a dependency group to be dependent on another dependency group. Then this function "returns a list of dependency groups, such that each group is dependent on the next, alternating the kind. In this way the groups can be individually linked from the bottom up, by their respective link functions", or some better wording that helps explain what is going on.
Here's some low-level feedback on the first read.
Update - Items crossed out where separate issues have been created by others, so that feedback remains unique.
1.1.2.6 source not defined. Should be undefined?1.1.4 It is not clear how load is passed into EvaluatedLoadedModule