AOT: Green method_include_void.phpt and @group aot-link for void+include methods

[PurHur]

Problem

MiniWebApp Router::render* methods are : void and end with a literal include of layout templates (examples/003-MiniWebApp/src/Router.php). Fixture test/fixtures/aot/cases/method_include_void.phpt documents the pattern but may not run in @group aot-link yet.

When #568 closed, nested include inlining (lib/JIT.php IncludeHelper, lib/JIT/Context.php depth) still needs a focused compliance target so render* regressions are caught before full #454 project link.

Goal

• method_include_void.phpt passes in AotTest / @group aot-link
• Output Home (or fixture expectation) from void method + trailing include

Implementation hints

Area	Files	Notes
Fixture	test/fixtures/aot/cases/method_include_void/	entry.php calls method that includes inc.php
JIT/AOT	lib/JIT.php, lib/JIT/IncludeHelper.php	inlineIncludeAtBlock for method tail includes
Lint	lib/Lint/UnsupportedRegistry.php	Ensure void+include not blocked for project lint
Project	examples/003-MiniWebApp	Same pattern as renderHome()

Acceptance criteria

./script/ci-local.sh --filter method_include_void
# or Docker:
docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev \
  ./script/ci-local.sh --filter method_include_void

Dependencies

• AOT: Native user-class object model for phpc build --project #568 ✅ — user-class + include inlining groundwork
• Compiler: Return type declarations on user functions (VM + JIT) #205 — :void return enforcement at native link
• Testing: ExamplesCompileTest @group miniwebapp for 003-MiniWebApp (skipped until green) #454 — full project gate

Links

• Testing: MiniWebApp AOT unskip matrix after #568 (orchestrate #454 #485 #478 #610) #676 step 2 (project execute)
• 🗺️ ROADMAP: Compile a small PHP web application (living document) #78 ROADMAP Phase 3

[PurHur]

Progress (branch fix/issue-739-method-include-void-jump)

Opened PR with partial fixes toward green method_include_void.phpt:

• Added test/fixtures/aot/cases/method_include_void.phpt to @group aot-link (fixture was already on master from AOT: Native user-class object model for phpc build --project #568).
• JIT TYPE_JUMP: branch to the target block entry (same pattern as TYPE_JUMPIF / switch after AOT: Native user-class object model for phpc build --project #568), not the compiled tail.
• IncludeHelper: bind callee locals by caller-block operand (not polluted scope->variables name scan); at include entry, materialize string ASSIGN constants via __string__separate into the callee slot before inlining the included unit.

Still failing locally

docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev \
  ./vendor/bin/phpunit --filter method_include_void test/aot/AotTest.php

AOT binary runs but prints only \n (empty $title in inc.php). VM path prints Home as expected. include_literal_path.phpt still passes.

Remaining work

• Confirm inlined include body is reachable and echo uses the callee slot we populate (possible extra CFG / scope issue in compileIncludedAtEntry).
• Verify ASSIGN to duplicate dest slots (arg1/arg2) is visible to binding when hasVariableOp is false at collect time.
• Re-run full @group aot-link in Docker once green.

Will link PR when pushed.