php-in-php: drop Context ensureMinimalUserStandaloneBodies always-on StreamLifecycle/StreamRead/StreamBucket — lazy at call sites (peer #34822 / #34439)

[PurHur]

Category

php-in-php · runtime-shrink · Pillar Trust (#32122 .1 mint class)

Problem

Context::ensureMinimalUserStandaloneBodies still eagerly NestedJITs StreamLifecycleRuntime / StreamReadRuntime / StreamBucket when !$this->isUserScriptAot() — i.e. the bootstrap-aot path that calls ensureMinimal via ensureBootstrapAotStandaloneBodies.

User-script AOT already skips that block. Call sites already ensureLinked before lookup (JitFclose / JitFgetc / JitStreamBucket / JitIsResource / … — peer Type::initialize drop #34439). Eager NestedJIT during thin init vs Runtime ABI drift mints feof.1 / stream_bucket_*.1 (#31894 / #32122).

Full standalone still links Stream* from ensureFullStandaloneBodies.

PHP implementation target

• lib/JIT/Context.php — remove the if (!$this->isUserScriptAot()) { StreamLifecycle/StreamRead/StreamBucket::ensureLinked } block from ensureMinimalUserStandaloneBodies
• Unit shrink test peer ContextMinimalStandaloneLazyCliArgvRuntimeShrinkTest
• Do not add runtime/*.c

php-src reference

• php/php-src main/streams/streams.c — stream lifecycle
• php/php-src main/streams/userspace.c — stream_bucket_*

Done when

• ensureMinimalUserStandaloneBodies has no StreamLifecycle/StreamRead/StreamBucket ensureLinked
• ./script/aot-smoke.sh stays 8/8
• Targeted phpunit shrink + hello-world AOT green
• No restamp / gate weakening

Parent

• peer php-in-php: drop Context ensureMinimalUserStandaloneBodies always-on CliArgvRuntime — lazy at CliArgvGlobalInit / compileToFile (#32122 class) #34822 / php-in-php: drop Context ensureMinimalUserStandaloneBodies always-on SuperglobalNameRuntime — lazy at JitSuperglobalName call sites #34812 / php-in-php: drop Type::initialize always-on Stream* ensureLinked — lazy Jit* ABI (peer #34433) #34439 · meta Release v1.1.0: fix cold-build-check compile_failed on hello world (LLVM Module.php line 180; re-#24302) #32122

[PurHur]

claim: runtime-migration lane — dropping StreamLifecycle/StreamRead/StreamBucket from ensureMinimal (peer #34822 / #34439).