php-in-php: lazy ExceptionBridge/ErrorBridge + dead string NestedJIT from ensureFullStandaloneBodies (Context.php)

[PurHur]

Category

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

Problem

Context::ensureFullStandaloneBodies still eagerly NestedJITs pending-exception / pending-Error ABIs during every full standalone init — peers already made these lazy on the minimal path (#34732 ExceptionBridge / #34769 ErrorBridge):

1. ExceptionBridge::ensureStandaloneBodies (→ TypeErrorRaise / JitThrow; replaces lib/AOT/runtime/phpc_type_error_raise.c)
2. ErrorBridge::ensureStandaloneBodies (→ ErrorRaise / AssertionErrorRaise / ReadonlyRaise; replaces lib/AOT/runtime/phpc_error_raise.c)

Standalone {main} already ErrorBridge::ensureLinked / ExceptionBridge::emitClear|emitAbort → ensureLinked before lookup. Leftover Context NestedJIT vs Runtime ABI drift mints type_error_*.1 / error_*.1 (#31894 / #32122).

Also delete the string-helpers NestedJIT block gated on !isStandaloneInitPhase() — ensureFull always beginStandaloneInitPhase() first, so Soundex/Quotemeta/… never run; call sites already ensureLinked (peer ensureMinimal #34578).

php-src reference

• php/php-src Zend/zend_exceptions.c — TypeError / Error pending throw
• php/php-src Zend/zend_error.c — Error raise / abort

PHP implementation target

• lib/JIT/Context.php — drop always-on ExceptionBridge/ErrorBridge NestedJIT from ensureFullStandaloneBodies; delete dead string-helpers gate block
• Update ContextMinimalStandaloneLazyExceptionBridgeRuntimeShrinkTest / ErrorBridge peers that still assert ensureFull keeps them
• New ContextFullStandaloneLazyExceptionErrorBridgeRuntimeShrinkTest

Repro / verify

./script/phpunit.sh --filter 'ContextFullStandaloneLazyExceptionErrorBridge|ContextMinimalStandaloneLazyExceptionBridge|ContextMinimalStandaloneLazyErrorBridge|ContextFullStandaloneLazyStdlib'
./script/docker-exec.sh -- bash -lc './script/aot-smoke.sh'

Done when

• ensureFullStandaloneBodies has no ExceptionBridge::ensureStandaloneBodies / ErrorBridge::ensureStandaloneBodies
• Dead Soundex…ParseStr NestedJIT block removed from ensureFull
• Unit shrink guards green; ./script/aot-smoke.sh stays 8/8
• No new lib/AOT/runtime/*.c

Parent

• Peers: php-in-php: drop Context ensureMinimalUserStandaloneBodies always-on ExceptionBridge — lazy at TypeErrorRaise call sites (peer #34695) #34732 php-in-php: drop Context ensureMinimalUserStandaloneBodies always-on ErrorBridge — lazy at ErrorRaise/ReadonlyRaise call sites (peer #34732) #34769 php-in-php: lazy Utf8Latin1/RewriteVars/Define/Strspn/FileGetContents/Readfile from ensureFullStandaloneBodies (Context.php) #35089 php-in-php: lazy StreamLifecycle/StreamRead/StreamFilter/StreamBucket + FunctionStatic from ensureFullStandaloneBodies (Context.php) #35086
• Trust: Release v1.1.0: fix cold-build-check compile_failed on hello world (LLVM Module.php line 180; re-#24302) #32122 / Fix: AOT link fails for EVERY binary — duplicate memset declaration #31894

[PurHur]

claim: dropping ExceptionBridge/ErrorBridge + dead string NestedJIT from ensureFullStandaloneBodies (peer #34732/#34769)