Regression: extension_loaded('sqlite3') + SQLite3Exception without SQLite3 on default 8.2 profile (re-#17106, ext/sqlite3)

[PurHur]

Category

Regression: · php-src-strict · profile / advertisement gate (re-#17106 / re-#19047)

Problem

Default-profile VM advertises extension_loaded('sqlite3') === true and class_exists('SQLite3Exception') === true while class_exists('SQLite3') === false (supportsSqlite3() is 8.4-only). Zend 8.2 without ext/sqlite3: all three false. Zend 8.2 with ext/sqlite3: SQLite3 true and SQLite3Exception false (exception class is PHP 8.3+). Current split is not php-src-shaped on either axis.

Repro	Zend 8.2.32 (no ext/sqlite3)	VM (2026-07-24, 0ae5aba, default)
extension_loaded('sqlite3')	false	true
class_exists('SQLite3')	false	false
class_exists('SQLite3Exception')	false	true

Sqlite3ExtensionPolicy::advertisesExtensionLoaded() / advertisesExceptionClass() always return true; only advertisesExtension() follows CompilerVersion::supportsSqlite3().

php-src reference

• php/php-src ext/sqlite3/sqlite3.stub.php — SQLite3 / SQLite3Exception
• php/php-src ext/sqlite3/php_sqlite3.c — SQLite3Exception registration (8.3+)

PHP implementation target

• ext/sqlite3/Sqlite3ExtensionPolicy.php — pair extension_loaded('sqlite3') with supportsSqlite3() (or host-parity policy); gate SQLite3Exception on profile ≥ 8.3 and extension advertisement
• ext/standard/ThrowableManifest.php / ext/sqlite3/BuiltinClasses.php — stop registering the exception when the extension surface is withheld
• No new C; PHP-in-PHP advertisement only

Repro

./script/docker-exec.sh -- bash -lc 'cat > /tmp/sqlite3_phantom.php <<\"PHP\"
<?php
echo \"PROFILE=\", getenv(\"PHP_COMPILER_PROFILE\") ?: \"(default)\", PHP_EOL;
echo \"extension_loaded=\", extension_loaded(\"sqlite3\") ? \"yes\" : \"no\", PHP_EOL;
echo \"SQLite3=\", class_exists(\"SQLite3\") ? \"yes\" : \"no\", PHP_EOL;
echo \"SQLite3Exception=\", class_exists(\"SQLite3Exception\") ? \"yes\" : \"no\", PHP_EOL;
PHP
php /tmp/sqlite3_phantom.php; echo EXIT_ZEND:$?
php bin/vm.php /tmp/sqlite3_phantom.php; echo EXIT_VM:$?
PHP_COMPILER_PROFILE=8.4 php bin/vm.php /tmp/sqlite3_phantom.php; echo EXIT_VM84:$?'

Done when

• Default/8.2 profile: extension_loaded('sqlite3') / SQLite3 / SQLite3Exception match Zend 8.2 reference (all false on hosts without the ext; no exception-without-class split)
• Profile 8.4: SQLite3 + SQLite3Exception + extension_loaded consistent when the in-tree module is enabled
• Compliance/repro guard; php-src-strict

[PurHur]

claim: PHP Compiler STD Lib — starting this run (#22791 sqlite3 extension_loaded / SQLite3Exception phantom on reference profile)

Prior #22860 duplicate race closed as #22998; continuing with this sqlite3 advertisement gate.

[PurHur]

Landed on master as 28e826268 — Stdlib: withhold sqlite3 on reference profile without host ext (#22791).

Verification

• VM reference: loaded=no / SQLite3=no / SQLite3Exception=no (matches Zend without ext/sqlite3)
• VM PHP_COMPILER_PROFILE=8.4: all yes
• PHPUnit filter (policy + phantom + throwable + memory/forward): OK (9 tests, 42 assertions)

php-src: ext/sqlite3/php_sqlite3.c / sqlite3.stub.php. PHP: ext/sqlite3/Sqlite3ExtensionPolicy.php.

[PurHur]

Fixed in master 28e826268 (Stdlib: withhold sqlite3 on reference profile without host ext).

VM reference matches Zend (no phantom extension_loaded / SQLite3Exception); PROFILE=8.4 restores the full surface.

[PurHur]

AOT follow-up verification (post-merge 28e826268):

./script/docker-exec.sh -- bash -lc 'export PHP_COMPILER_HELPER_RUNTIME_O=1
./phpc build -o /tmp/sqlite3_phantom_aot test/repro/extension_loaded_sqlite3_phantom.php && /tmp/sqlite3_phantom_aot
PHP_COMPILER_PROFILE=8.4 ./phpc build -o /tmp/sqlite3_phantom_aot84 test/repro/extension_loaded_sqlite3_phantom.php
PHP_COMPILER_PROFILE=8.4 /tmp/sqlite3_phantom_aot84'

Mode	Result
AOT default	loaded=no / SQLite3=no / SQLite3Exception=no (matches Zend / VM)
AOT build+run PROFILE=8.4	SQLite3=yes / SQLite3Exception=yes; extension_loaded=no — AOT getenv(PHP_COMPILER_PROFILE) returns empty at runtime (known NestedJIT getenv limits; #20644 / #21888), so ModuleRegistry re-eval withholds while compile-time class fold keeps classes

VM path remains the php-src-strict gate for this advertisement fix; AOT default phantom withhold is green.

Also reconfirmed VM: all 13 VMTest::.*sqlite3 compliance cases OK; unit policy/phantom OK.