From fade9249ee12f657ebe95d4d214daa4e21ec92f9 Mon Sep 17 00:00:00 2001
From: Jungyeom Kim <kimjg1199lock@gmail.com>
Date: Wed, 2 Oct 2024 15:45:03 +0900
Subject: [PATCH 1/2] Add assertion for GetGlobalObject must not be undefined

---
 spec.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spec.html b/spec.html
index 2780ca01a1..1948f30023 100644
--- a/spec.html
+++ b/spec.html
@@ -11966,6 +11966,7 @@ <h1>GetGlobalObject ( ): an Object</h1>
       </dl>
       <emu-alg>
         1. Let _currentRealm_ be the current Realm Record.
+        1. Assert: _currentRealm_.[[GlobalObject]] is not *undefined*.
         1. Return _currentRealm_.[[GlobalObject]].
       </emu-alg>
     </emu-clause>

From 966db9a0bee99649b1bc9e0a511fcb51417c64cf Mon Sep 17 00:00:00 2001
From: Jungyeom Kim <kimjg1119@korea.ac.kr>
Date: Thu, 21 Nov 2024 17:13:34 +0900
Subject: [PATCH 2/2] Remove undefined form GlobalObject

---
 spec.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/spec.html b/spec.html
index 583195865a..f6b6beaf5c 100644
--- a/spec.html
+++ b/spec.html
@@ -11721,7 +11721,7 @@ <h1>Realms</h1>
             [[GlobalObject]]
           </td>
           <td>
-            an Object or *undefined*
+            an Object
           </td>
           <td>
             The global object for this realm
@@ -11787,7 +11787,6 @@ <h1>InitializeHostDefinedRealm ( ): either a normal completion containing ~unuse
         1. Perform CreateIntrinsics(_realm_).
         1. Set _realm_.[[AgentSignifier]] to AgentSignifier().
         1. Set _realm_.[[GlobalObject]] to *undefined*.
-        1. Set _realm_.[[GlobalEnv]] to *undefined*.
         1. Set _realm_.[[TemplateMap]] to a new empty List.
         1. Let _newContext_ be a new execution context.
         1. Set the Function of _newContext_ to *null*.