Language: wire lazy property PHPCfg marker → ReflectionProperty::isLazy (#16813)

[PurHur]

Summary

• Place /*phpc-lazy-property*/ marker before visibility (leading comment recovery like asymmetric visibility) so php-parser/PHPCfg preserve it
• Add propertyLazy on PHPCfg Property + extractLazyPropertyFromAttributes() in Parser (patch overlay)
• Compiler reads $child->propertyLazy; fix VM\TypeCheck import in LazyPropertySupport
• Refresh docs/bootstrap-inventory.md for lazy-property files on vm.php path

Root cause

LazyPropertyRewriter embedded the marker between public and the type; php-parser only attaches leading comments to Stmt\Property, so propertyLazy never reached DECLARE_PROPERTY and ReflectionProperty::isLazy() was always false.

Verification

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && PHP_COMPILER_PROFILE=8.4 php bin/vm.php test/repro/maintainer_gap_lazy_property_modifier_parse.php'
# lazy / hello / initialized / ok

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && PHP_COMPILER_PROFILE=8.4 vendor/bin/phpunit --filter LazyPropertyRewriterTest'

php script/bootstrap-inventory.php --check
# OK 4182/4182

make bootstrap-selfhost-vm-driver-execute-probe
# OK

Closes #16813

Made with Cursor