Regression: asymmetric private(set) Error message includes public — Zend omits get-visibility (Zend/zend_object_handlers.c)

[PurHur]

Category

Regression · php-src-strict · Error message wording (Pillar 4)

Problem

Writing a public private(set) property from outside scope correctly throws Error, but the message diverges from Zend 8.4.23:

Repro	Zend 8.4.23	VM PROFILE=8.4
$a->x = 2 on public private(set) string $x	Cannot modify private(set) property A::$x from global scope	Cannot modify public private(set) property A::$x from global scope ❌

Unit fixtures currently expect a third wording (public (private(set))), so tests and Zend both disagree with live VM — align to Zend.

Probed 2026-07-20 vs php:8.4-cli (8.4.23).

php-src reference

• php/php-src Zend/zend_object_handlers.c — asymmetric set guard / error message
• php/php-src Zend/zend_compile.c — asymmetric visibility

PHP implementation target

• Match Zend message text in asymmetric set guards (VM + JIT/AOT); update unit expectations in test/unit/AsymmetricVisibilityJitExecuteTest.php / related; PHP-in-PHP; no new C.

Repro

./script/docker-exec.sh -- bash -lc 'export PHP_COMPILER_PROFILE=8.4
php bin/vm.php -r "
class A { public private(set) string \$x = \"a\"; }
\$a = new A();
try { \$a->x = \"b\"; } catch (Throwable \$e) { echo \$e->getMessage(), PHP_EOL; }
"
# expect: Cannot modify private(set) property A::\$x from global scope
'

Done when

• Error message matches Zend 8.4.23 exactly (no leading get-visibility token)
• VM/JIT/AOT + unit tests updated; php-src-strict; no new C

Related

• Pillar 4 (Strategic alignment: compiler excellence pillars (2026 H2) #10533) · #15995 · #18820 · #9842

[PurHur]

claim: Lane B implementer — starting this run

Trust gates (pre-claim):

• bootstrap-inventory --check: OK 6177/6177
• release-readiness: still running; will note result on PR

[PurHur]

Merged #21529

Fix: writeModifierLabel now returns set-only (private(set) / protected(set)), matching zend_asymmetric_visibility_property_modification_error.

Verification:

Cannot modify private(set) property A::$x from global scope

VM/JIT compliance EXPECT updated; unit testWriteModifierLabelMatchesZendSetOnly green under PHP_COMPILER_PROFILE=8.4.