php-in-php: drop Context ensureMinimalUserStandaloneBodies always-on stdlib NestedJIT batch — lazy Jit* ABI (peer #34566)

[PurHur]

Category

Foundation · php-in-php · runtime-shrink · cold-build / #32122 class

Problem

Context::ensureMinimalUserStandaloneBodies() still eagerly NestedJIT/links a large stdlib batch on every thin AOT user-script init (hello-world / aot-smoke path), even when the script never calls those builtins:

• StringUtf8Latin1 / RewriteVarsRuntime / DefineRuntime / StringStrContains / StatPathRuntime
• StringFileGetContents / MetaTagsRuntime / StringHashCrypto / MbNumericEntity
• StringReadfile / StringBin2hex / StringAddslashes / StringStripslashes / StringFilePutContents
• IniRuntime::ensureLinked (comment still cites Type::register __compiler_ini_* shells removed in php-in-php: drop Type::initialize always-on Ini/IncludePath/Session*/WeakRef/Define/RewriteVars ensureLinked — lazy Jit* ABI (peer #34463) #34474)
• StringRandomBytes::implement

Same always-on NestedJIT vs Runtime ABI drift / cold-build surface class as closed #34566 / #34474 / #32122 .1-mint risk. Call sites already ensureLinked / ensureStandaloneBodies / emit* before lookup.

php-src reference

• php/php-src ext/standard/ — respective builtins; no new C floor

PHP implementation target

• lib/JIT/Context.php — remove the listed always-on calls from ensureMinimalUserStandaloneBodies(); keep echo/error/argv/superglobal/htmlspecialchars init essentials
• Add ContextMinimalStandaloneLazyStdlibRuntimeShrinkTest (peer php-in-php: drop Type::initialize always-on SessionStorageGlobals::ensureGlobals — lazy at session call sites (peer #34550) #34566)
• No new runtime/*.c / lib/AOT/runtime/*.c

Repro

./script/aot-smoke.sh
./script/docker-exec.sh -- bash -lc 'script/cold-build-check.sh'
./script/phpunit.sh --filter 'ContextMinimalStandaloneLazyStdlib|ExamplesHelloWorldAot'
./script/docker-exec.sh -- bash -lc 'printf "%s\n" "<?php echo file_get_contents(__FILE__) !== \"\" ? \"ok\" : \"fail\", PHP_EOL;" >/tmp/fgc.php && php bin/compile.php -o /tmp/fgc.bin /tmp/fgc.php && /tmp/fgc.bin'

Done when

• ensureMinimalUserStandaloneBodies does not eagerly link the listed stdlib batch
• aot-smoke 8/8 + cold-build-check stay green
• file_get_contents / ini_get / hash / str_contains still work under thin AOT (lazy ensure)
• No new runtime/*.c

Parent

• Peer: #34566
• Trust class: #32122 / #31894

[PurHur]

claim: php-runtime-migration — starting this run (#32122/#31968 closed; aot-smoke gate next; lazy ensureMinimalUserStandaloneBodies stdlib batch peer #34566).