guybedford shu I wrote down how I would like to see the "Module" vs "Module Source" to be represented in the spec, and what it should mean for two modules to be "the same module".

https://notes.igalia.com/ZuVEtJzHTveQW5yBOSG2vQ

Most of this can apply to scripts if needed, to support shared structs correlation in scripts

Couple of points:

1. Is this purely a refactoring, or, beyond the change of abstraction boundaries with HTML etc - are there real semantic differences at all? It would be nice to see those categorised.
2. Module expressions and module declarations also have the concept of canonical instances, which need to be defined here, and it would be good to have a description of that in this context.