[JGamboa]

Summary

Introspection fixes split out of #1886 (the "introspection" PR of the suggested split). Each one makes elephc report what PHP reports:

• Reflection backing slots and hook accessors. Reflection listed the ~36 private __* storage slots elephc declares on the builtin Reflection classes in getProperties() / hasProperty() / getDefaultProperties(), and listed the generated __propget_* / __propset_* accessors of hooked properties in getMethods() / hasMethod(). Reflecting a user subclass of ReflectionClass and calling getProperties() exhausted the default heap. The statically expanded getProperties() (receiver known at lowering time) also listed a parent's private properties. One rule, ClassInfo::reflection_lists_property, now serves the codegen metadata and the static EIR expansion.
• Internal classes in get_declared_classes(). __ElephcWeakMapIterator, declared by the WeakMap prelude as a program statement, was listed. Code that instantiates every declared class (php-src Zend/tests/instantiate_all_classes.phpt) then hit a fatal error PHP never raises.
• Virtual hooked properties in var_dump(). A property whose hooks never touch a backing slot was printed as ["name"]=> uninitialized(string), read from an unrelated layout offset. PHP does not print it, and the object header count already excluded it. print_r() already omitted these properties.
• ReflectionType. It is now the abstract parent of ReflectionNamedType, ReflectionUnionType and ReflectionIntersectionType, so ?ReflectionType hints, instanceof ReflectionType and (string) $type compile.
• SessionHandlerInterface outside --web. Until now only the --web prelude declared it, so a handler class failed with "Unknown interface". The checker now injects the interface unless an internal prelude already declared it (the --web declaration still wins). A user redeclaration is rejected like the other builtin interfaces.

Closes #1900
Part of #855 (ReflectionType only; Reflector, ReflectionGenerator and ReflectionFunctionAbstract are still missing)

Repro (no issue yet)

Reflection backing slots and hook accessors:

<?php
class Mine extends ReflectionClass {}
$rc = new ReflectionClass('Mine');
var_dump(count($rc->getMethod('getName')->getDeclaringClass()->getDefaultProperties())); // main: int(36), PHP: int(0)
foreach ($rc->getProperties() as $p) {}                                                    // main: Fatal error: heap memory exhausted

class Hooked { public string $label { get => "x"; set { } } public function run(): void {} }
foreach ((new ReflectionClass('Hooked'))->getMethods() as $m) echo $m->getName(), ",";    // main: __propget_label,__propset_label,run,  PHP: run,

Virtual hooked property:

<?php
class A { private string $n = 'x'; public string $name { get => $this->n; } }
var_dump(new A()); // main also prints ["name"]=> uninitialized(string)

Not in this PR

• Reflection's public name property, which needs the __propget_name accessor this PR hides. It goes into the first-class-callables PR, aligned with fix(reflection): expose PHP public properties across object views #1297.
• UnitEnum / BackedEnum and the non-enum check from the same topic of feat: PHP compatibility batch (parser forms, checker convergence, references, dynamic includes, builtins) #1886. They are already on main via feat(core): complete PHP 8.5 classes and constants #1870.
• var_export() of virtual hooked properties. PHP 8.5 renders them with their get-hook values ('name' => 'x'), but elephc omits them, before and after this PR. That gap is separate.
• Reflection inside eval() fragments and method_exists() don't apply the new member filters yet (documented in docs/php/classes.md).
• ReflectionType declares no members of its own yet: allowsNull() is called through the concrete type classes (documented).

Tests

This branch is based on main @ df57a98. Each test below fails on that main (checked with a main build) and passes on this branch:

• codegen::oop::reflection_builtin_subclass::{reflection_class_backing_slots_are_not_reflected, property_hook_accessors_are_not_reflected_as_methods, static_get_properties_hides_reflection_backing_slots, static_get_properties_skips_inherited_private_properties}
• codegen::core_classes::test_declared_classes_hide_internal_core_prelude_classes
• var_dump_object_tests::virtual_hooked_property_is_not_rendered
• codegen::oop::reflection_functions::test_reflection_type_is_the_common_parent (main: "Unknown type: ReflectionType")
• codegen::core_classes::test_session_handler_interface_is_implementable_without_web (main: "Unknown interface: SessionHandlerInterface")
• error_tests::test_error_session_handler_interface_cannot_be_redeclared (main accepts the user interface)

The control test reflecting_a_reflection_class_subclass_fits_the_default_heap passes on main too. It is kept because it guards the heap budget once the Reflection classes gain public properties.

The builtin docs and symbol registries were regenerated with scripts/docs (two catalog entries changed).

Refs #1886

AI assistance

This PR was prepared with substantial help from Claude Code (Anthropic). The changes were split out of #1886, re-based on current main and reviewed by me. Every regression test was run against a main build and against this branch.

🤖 Generated with Claude Code

[greptile-apps]

Confidence Score: 5/5

[Medium impact] The PR appears safe to merge; the remaining trait-name conflict is fixed.

Summary

The PR hides compiler-only members from reflection, skips virtual properties in var_dump(), adds ReflectionType, and makes SessionHandlerInterface available outside --web.

• Reflection lists PHP members instead of compiler-created members.
• var_dump() leaves virtual hooked properties out of object output.
• Declared class lists leave out the internal WeakMap iterator.
• Reflection type results share the abstract ReflectionType parent.
• SessionHandlerInterface is available outside web compilation too.

_{Reviews (4) · Last reviewed commit: "fix(checker): reject a trait named Sessi..." · Reviewed by Greptile}