jmdyck

Okay, I think this is ready to go.

I see only two occurrences of the "let" form: the one given, and one in ToPrimitive.

> Any preference on whether the oldid for `sec-InnerModuleLinking` and `sec-innermoduleevaluation` should point to `Link`/`Evaluate` or to `InnerModuleGraphDFS`? Me? Maybe a slight pref for `InnerModuleGraphDFS`. BTW, just noticed that the...

Ah, in the sense of "the current Realm Record" = "the Realm component of the running execution context". But if we first changed IHDR as described in https://github.com/tc39/ecma262/pull/3274#issuecomment-2495512097, that would...

There's an alternative to commit 1: rather than a single _customizations_ parameter that returns a List of 2 values, IHDR could have 2 customization parameters, one for the global object...

And another thing: in IHDR, after the invocation of `SetDefaultGlobalBindings`, there's the step: ``` 1. Create any host-defined global object properties on _global_. ``` I'm wondering if that should be...

> With that second approach we could also make both parameters optional, rather than expecting `*undefined*` to be passed in. Yeah, but as far as I can tell, there's exactly...

> I think in HTML all global object properties are taken care of by IDL. Including the ones that IHDR sets via SetDefaultGlobalBindings? Or just the HTML-specific ones? > As...

> And yeah, I think step 17 is only needed if a host wanted an ordinary object as global with its own properties, but it might as well create its...

Currently (in this PR, but effectively in the status quo too), _realm_.[[GlobalObject]] is set when IHDR's invocation of _customizations_ returns, but https://github.com/whatwg/webidl/issues/1547 indicates that HTML can't wait until then. That...