PurHur · PurHur · Aug 26, 2026 · Aug 26, 2026
diff --git a/lib/JIT/Builtin/SuperglobalRefreshRuntime.php b/lib/JIT/Builtin/SuperglobalRefreshRuntime.php
@@ -16,7 +16,12 @@
  *
  * Former NestedJIT {@see \PHPCompiler\Web\SuperglobalRefreshJitHelper} bridge removed (#21888):
  * `: HashTable` returns TypeError under self-host stubs (`HashTable, int returned` — peer #20652 /
- * #13571). Zend/VM SSOT remains {@see \PHPCompiler\Web\Superglobals} + the JitHelper unit tests.
+ * #13571). Context ensureFullStandaloneBodies must not eagerly link this during init (#35137) —
+ * {@see Context::compileToFile} (every LOAD_TYPE_STANDALONE: thin ensureUserScriptRefreshEmit,
+ * full ensureStandaloneBodies) + bootstrap-aot ensureBootstrapAotStandaloneBodies already ensure
+ * before main looks up __superglobals__refresh. Leftover Context NestedJIT vs Runtime ABI drift
+ * mints __superglobals__refresh.1 (#31894 / #32122).
+ * Zend/VM SSOT remains {@see \PHPCompiler\Web\Superglobals} + the JitHelper unit tests.
  * php-src: main/php_variables.c
  */
 final class SuperglobalRefreshRuntime

diff --git a/lib/JIT/Context.php b/lib/JIT/Context.php
@@ -2517,7 +2517,12 @@ private function ensureFullStandaloneBodies(): void
             // standalone must not NestedJIT those ABIs during init — leftover Context
             // NestedJIT vs Runtime ABI drift mints utf8_*.1 / define.1 /
             // file_get_contents.1 / readfile.1 / strspn.1 (#31894 / #32122).
-            Builtin\SuperglobalRefreshRuntime::ensureStandaloneBodies($this);
+            // SuperglobalRefresh always-on removed (#35137 / peer #35133 CliArgv):
+            // compileToFile ensures for every LOAD_TYPE_STANDALONE before main emits
+            // __superglobals__refresh; thin keeps ensureUserScriptRefreshEmit. Full
+            // standalone must not NestedJIT __superglobals__refresh during init —
+            // leftover Context NestedJIT vs Runtime ABI drift mints
+            // __superglobals__refresh.1 (#31894 / #32122).
             // SuperglobalName always-on removed (#35035): JitSuperglobalName / JIT.php
             // StringSuperglobalName::ensureLinked before lookup (peer ensureMinimal #34812 /
             // #33235). Full standalone must not NestedJIT is_superglobal_name during init —
@@ -2574,13 +2579,17 @@ public function compileToFile(string $file) {
             // Every standalone main emits __phpc_cli_store_argv — link before that call.
             // Was ensureFull-only for non-thin (#35133); thin already linked here (#34822).
             Builtin\CliArgvRuntime::ensureStandaloneBodies($this);
+            // Every standalone main calls __superglobals__refresh — link before that call.
+            // Was ensureFull-only for non-thin (#35137); thin already emitRefresh here.
             if ($this->isThinStandaloneAotMain()) {
                 // IniRuntime always-on removed (#34848): JitIni / IniGet / IniSet / ErrorReporting /
                 // ZendDoubleStringRuntime / ExceptionThrowToStringSeed already ensureLinked before
                 // lookup (peer #34578 / #34822). Thin hello-world must not NestedJIT ini ABI during
                 // compileToFile pre-main — leftover Context NestedJIT vs Runtime ABI drift mints
                 // ini_get.1 / phpc_ini_*.1 (#31894 / #32122).
                 Builtin\SuperglobalRefreshRuntime::ensureUserScriptRefreshEmit($this);
+            } else {
+                Builtin\SuperglobalRefreshRuntime::ensureStandaloneBodies($this);
             }
         }
 

diff --git a/test/unit/ContextFullStandaloneLazyAssertGcProgressTriggerShrinkTest.php b/test/unit/ContextFullStandaloneLazyAssertGcProgressTriggerShrinkTest.php
@@ -44,9 +44,13 @@ public function testEnsureFullDropsEagerAssertGcProgressTriggerNestedJit(): void
             );
         }
 
-        // Still links echo / refresh used by standalone main (#35133: CliArgv at compileToFile).
+        // Still links echo; CliArgv/#35133 + SuperglobalRefresh/#35137 at compileToFile.
         $this->assertStringContainsString('ValueEchoRuntime::ensureLinked($this)', $fullBody);
-        $this->assertStringContainsString('SuperglobalRefreshRuntime::ensureStandaloneBodies($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'SuperglobalRefresh deferred to compileToFile (#35137)'
+        );
         // compileToFile ensureLinked fills return-pending before clear.
         $this->assertStringContainsString('JitReturnPending::ensureLinked($this)', $context);
     }

diff --git a/test/unit/ContextFullStandaloneLazyCliArgvRuntimeShrinkTest.php b/test/unit/ContextFullStandaloneLazyCliArgvRuntimeShrinkTest.php
@@ -37,9 +37,13 @@ public function testEnsureFullDropsEagerCliArgvNestedJit(): void
             );
         }
 
-        // Still links echo / refresh; StringFormat left ensureFull in #35130.
+        // Still links echo; CliArgv/#35133 + SuperglobalRefresh/#35137 at compileToFile.
         $this->assertStringContainsString('ValueEchoRuntime::ensureLinked($this)', $fullBody);
-        $this->assertStringContainsString('SuperglobalRefreshRuntime::ensureStandaloneBodies($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'SuperglobalRefresh deferred to compileToFile (#35137)'
+        );
         $this->assertStringNotContainsString(
             'StringFormat::ensureStandaloneBodies($this)',
             $fullBody,

diff --git a/test/unit/ContextFullStandaloneLazyExceptionErrorBridgeRuntimeShrinkTest.php b/test/unit/ContextFullStandaloneLazyExceptionErrorBridgeRuntimeShrinkTest.php
@@ -63,9 +63,13 @@ public function testEnsureFullDropsEagerExceptionAndErrorBridge(): void
             );
         }
 
-        // Still links echo / refresh (#35130 StringFormat + #35133 CliArgv deferred).
+        // Still links echo; CliArgv/#35133 + SuperglobalRefresh/#35137 at compileToFile.
         $this->assertStringContainsString('ValueEchoRuntime::ensureLinked($this)', $fullBody);
-        $this->assertStringContainsString('SuperglobalRefreshRuntime::ensureStandaloneBodies($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'SuperglobalRefresh deferred to compileToFile (#35137)'
+        );
     }
 
     public function testStandaloneMainStillEnsuresBeforeClearAbort(): void

diff --git a/test/unit/ContextFullStandaloneLazyGetenvShrinkTest.php b/test/unit/ContextFullStandaloneLazyGetenvShrinkTest.php
@@ -40,9 +40,13 @@ public function testEnsureFullDropsEagerGetenvNestedJit(): void
             );
         }
 
-        // Still links echo / refresh (#35130 StringFormat + #35133 CliArgv deferred).
+        // Still links echo; CliArgv/#35133 + SuperglobalRefresh/#35137 at compileToFile.
         $this->assertStringContainsString('ValueEchoRuntime::ensureLinked($this)', $fullBody);
-        $this->assertStringContainsString('SuperglobalRefreshRuntime::ensureStandaloneBodies($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'SuperglobalRefresh deferred to compileToFile (#35137)'
+        );
     }
 
     public function testCallSitesStillEnsureBeforeLookup(): void

diff --git a/test/unit/ContextFullStandaloneLazyJsonOffsetShrinkTest.php b/test/unit/ContextFullStandaloneLazyJsonOffsetShrinkTest.php
@@ -41,7 +41,11 @@ public function testEnsureFullDropsEagerJsonAndOffsetNestedJit(): void
         // Still links refresh used by inventory / standalone main.
         // StringStrspn left ensureFull in #35089 — do not re-assert eager strspn here.
         // StringFormat left ensureFull in #35130 — do not re-assert eager format here.
-        $this->assertStringContainsString('SuperglobalRefreshRuntime::ensureStandaloneBodies($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'SuperglobalRefresh deferred to compileToFile (#35137)'
+        );
     }
 
     public function testCallSitesStillEnsureBeforeLookup(): void

diff --git a/test/unit/ContextFullStandaloneLazyRandomBytesShrinkTest.php b/test/unit/ContextFullStandaloneLazyRandomBytesShrinkTest.php
@@ -37,9 +37,13 @@ public function testEnsureFullDropsEagerRandomBytesNestedJit(): void
             );
         }
 
-        // Still links echo / refresh (#35130 StringFormat + #35133 CliArgv deferred).
+        // Still links echo; CliArgv/#35133 + SuperglobalRefresh/#35137 at compileToFile.
         $this->assertStringContainsString('ValueEchoRuntime::ensureLinked($this)', $fullBody);
-        $this->assertStringContainsString('SuperglobalRefreshRuntime::ensureStandaloneBodies($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'SuperglobalRefresh deferred to compileToFile (#35137)'
+        );
     }
 
     public function testCallSitesStillEnsureBeforeLookup(): void

diff --git a/test/unit/ContextFullStandaloneLazyStdlibRuntimeShrinkTest.php b/test/unit/ContextFullStandaloneLazyStdlibRuntimeShrinkTest.php
@@ -40,9 +40,13 @@ public function testEnsureFullDropsEagerStdlibNestedJit(): void
             );
         }
 
-        // Still links echo / refresh used by standalone main (#35133: CliArgv at compileToFile).
+        // Still links echo; CliArgv/#35133 + SuperglobalRefresh/#35137 at compileToFile.
         $this->assertStringContainsString('ValueEchoRuntime::ensureLinked($this)', $fullBody);
-        $this->assertStringContainsString('SuperglobalRefreshRuntime::ensureStandaloneBodies($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'SuperglobalRefresh deferred to compileToFile (#35137)'
+        );
     }
 
     public function testCallSitesStillEnsureBeforeLookup(): void

diff --git a/test/unit/ContextFullStandaloneLazyStreamRuntimeShrinkTest.php b/test/unit/ContextFullStandaloneLazyStreamRuntimeShrinkTest.php
@@ -39,9 +39,13 @@ public function testEnsureFullDropsEagerStreamAndFunctionStaticNestedJit(): void
             );
         }
 
-        // Still links echo / refresh used by standalone main (#35133: CliArgv at compileToFile).
+        // Still links echo; CliArgv/#35133 + SuperglobalRefresh/#35137 at compileToFile.
         $this->assertStringContainsString('ValueEchoRuntime::ensureLinked($this)', $fullBody);
-        $this->assertStringContainsString('SuperglobalRefreshRuntime::ensureStandaloneBodies($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'SuperglobalRefresh deferred to compileToFile (#35137)'
+        );
     }
 
     public function testCallSitesStillEnsureBeforeLookup(): void

diff --git a/test/unit/ContextFullStandaloneLazyStringFormatShrinkTest.php b/test/unit/ContextFullStandaloneLazyStringFormatShrinkTest.php
@@ -39,9 +39,13 @@ public function testEnsureFullDropsEagerStringFormatNestedJit(): void
             );
         }
 
-        // Still links echo / refresh; CliArgv deferred to compileToFile in #35133.
+        // Still links echo; CliArgv/#35133 + SuperglobalRefresh/#35137 at compileToFile.
         $this->assertStringContainsString('ValueEchoRuntime::ensureLinked($this)', $fullBody);
-        $this->assertStringContainsString('SuperglobalRefreshRuntime::ensureStandaloneBodies($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'SuperglobalRefresh deferred to compileToFile (#35137)'
+        );
         $this->assertStringNotContainsString(
             'CliArgvRuntime::ensureStandaloneBodies($this)',
             $fullBody,

diff --git a/test/unit/ContextFullStandaloneLazySuperglobalRefreshRuntimeShrinkTest.php b/test/unit/ContextFullStandaloneLazySuperglobalRefreshRuntimeShrinkTest.php
@@ -0,0 +1,114 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PHPCompiler\Test\Unit;
+
+use PHPUnit\Framework\TestCase;
+
+/**
+ * Drop Context::ensureFullStandaloneBodies always-on NestedJIT of SuperglobalRefreshRuntime
+ * (#35137 / peer #35133 CliArgv / #35127).
+ *
+ * Full standalone must not NestedJIT __superglobals__refresh during init (#32122 .1 mint class).
+ * compileToFile ensures before main emits the call for every standalone.
+ */
+final class ContextFullStandaloneLazySuperglobalRefreshRuntimeShrinkTest extends TestCase
+{
+    public function testEnsureFullDropsEagerSuperglobalRefreshNestedJit(): void
+    {
+        $context = (string) file_get_contents(__DIR__.'/../../lib/JIT/Context.php');
+        $this->assertStringContainsString('#35137', $context);
+        $fullPos = strpos($context, 'private function ensureFullStandaloneBodies');
+        $this->assertNotFalse($fullPos);
+        $fullEnd = strpos($context, 'public function compileToFile', $fullPos);
+        $this->assertNotFalse($fullEnd);
+        $fullBody = substr($context, $fullPos, $fullEnd - $fullPos);
+
+        foreach ([
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            'SuperglobalRefreshRuntime::ensureLinked($this)',
+            'SuperglobalRefreshRuntime::ensureUserScriptRefreshEmit($this)',
+            'SuperglobalRefreshRuntime::implement($this)',
+        ] as $forbidden) {
+            $this->assertStringNotContainsString(
+                $forbidden,
+                $fullBody,
+                'ensureFullStandaloneBodies must not eagerly '.$forbidden.' (#35137)'
+            );
+        }
+
+        // Still links echo; CliArgv/#35133 + SuperglobalRefresh/#35137 at compileToFile.
+        $this->assertStringContainsString('ValueEchoRuntime::ensureLinked($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'CliArgvRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'CliArgv deferred to compileToFile (#35133)'
+        );
+    }
+
+    public function testCompileToFileEnsuresSuperglobalRefreshForAllStandalone(): void
+    {
+        $context = (string) file_get_contents(__DIR__.'/../../lib/JIT/Context.php');
+        $compilePos = strpos($context, 'public function compileToFile(string $file)');
+        $this->assertNotFalse($compilePos);
+        $compileSlice = substr($context, $compilePos, 3500);
+        $this->assertStringContainsString('#35137', $compileSlice);
+        $this->assertStringContainsString(
+            'SuperglobalRefreshRuntime::ensureUserScriptRefreshEmit($this)',
+            $compileSlice,
+            'thin path still ensureUserScriptRefreshEmit (#35137)'
+        );
+        $this->assertStringContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $compileSlice,
+            'full path ensureStandaloneBodies at compileToFile (#35137)'
+        );
+        // Full ensure must live in the non-thin else branch (not thin-only).
+        $thinEmitPos = strpos($compileSlice, 'SuperglobalRefreshRuntime::ensureUserScriptRefreshEmit($this)');
+        $fullEnsurePos = strpos($compileSlice, 'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)');
+        $this->assertNotFalse($thinEmitPos);
+        $this->assertNotFalse($fullEnsurePos);
+        $elsePos = strpos($compileSlice, '} else {', $thinEmitPos);
+        $this->assertNotFalse($elsePos, 'thin/full if-else around SuperglobalRefresh (#35137)');
+        $this->assertTrue(
+            $fullEnsurePos > $elsePos && $elsePos > $thinEmitPos,
+            'ensureStandaloneBodies must be in else of isThinStandaloneAotMain (#35137)'
+        );
+    }
+
+    public function testBootstrapAotStillEnsuresSuperglobalRefresh(): void
+    {
+        $context = (string) file_get_contents(__DIR__.'/../../lib/JIT/Context.php');
+        $bootPos = strpos($context, 'private function ensureBootstrapAotStandaloneBodies');
+        $this->assertNotFalse($bootPos);
+        $bootEnd = strpos($context, 'private function ensureFullStandaloneBodies', $bootPos);
+        $this->assertNotFalse($bootEnd);
+        $bootBody = substr($context, $bootPos, $bootEnd - $bootPos);
+        $this->assertStringContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $bootBody,
+            'bootstrap-aot fixtures still ensure SuperglobalRefresh (#14459 / #35137)'
+        );
+    }
+
+    public function testSuperglobalRefreshDocumentsLazyFull(): void
+    {
+        $source = (string) file_get_contents(__DIR__.'/../../lib/JIT/Builtin/SuperglobalRefreshRuntime.php');
+        $this->assertStringContainsString('#35137', $source);
+        $this->assertStringContainsString('ensureFullStandaloneBodies', $source);
+    }
+
+    public function testNoNewRuntimeCForFullSuperglobalRefreshLazy(): void
+    {
+        $runtimeDir = dirname(__DIR__, 2).'/lib/AOT/runtime';
+        $this->assertFileDoesNotExist(
+            $runtimeDir.'/superglobals_refresh.c',
+            'must not add superglobals_refresh.c for #35137 — PHP JIT bridges only'
+        );
+        $this->assertFileDoesNotExist(
+            $runtimeDir.'/phpc_superglobals_refresh.c',
+            'must not add phpc_superglobals_refresh.c for #35137'
+        );
+    }
+}
diff --git a/test/unit/ContextFullStandaloneLazyTokenHebrevSuperglobalShrinkTest.php b/test/unit/ContextFullStandaloneLazyTokenHebrevSuperglobalShrinkTest.php
@@ -42,7 +42,11 @@ public function testEnsureFullDropsEagerTokenHighlightHebrevAndSuperglobalName()
 
         // Still links refresh used by inventory / standalone main.
         // StringStrspn left ensureFull in #35089 — do not re-assert eager strspn here.
-        $this->assertStringContainsString('SuperglobalRefreshRuntime::ensureStandaloneBodies($this)', $fullBody);
+        $this->assertStringNotContainsString(
+            'SuperglobalRefreshRuntime::ensureStandaloneBodies($this)',
+            $fullBody,
+            'SuperglobalRefresh deferred to compileToFile (#35137)'
+        );
     }
 
     public function testCallSitesStillEnsureBeforeLookup(): void