ECMAScript 仕様では、制御が関数内の関数の実行コンテキストに入ったときに何が起こるかについて詳しく説明しています。
function foo() {
function bar() {
}
bar(); // Control will be given to the bar function. Details specified by spec
}
制御がグローバル コードに入ったときに何が起こるかについての説明もあります。
<script>
// Entering global code! Details specified by spec
</script>
ただし、グローバルコードで定義された関数の制御に入ったときに何が起こるかを指定するものは何もありません。
<script>
function foo() {
}
foo(); // Calling a function defined in the global environment...not specified by spec
</script>
編集:これが私にとって重要な理由は、グローバルコードによって呼び出される関数の内部 [[Scope]] プロパティがどうなるか興味があるからです。グローバルな実行コンテキストのレキシカル環境になると思いますが、仕様でこれを指定するものは何もありません。