AOT: Router render* void methods — template include must emit stdout (#764)

[PurHur]

Problem

examples/003-MiniWebApp/src/Router.php uses : void render methods that end with a literal include of layout templates:

private function renderHome(): void
{
    $title = 'Home';
    include __DIR__ . '/../templates/home.php';
}

#752 ✅ links the project; #764 tracks empty stdout when running .phpc/bin/app. VM/JIT serve prints HTML — the gap is native execute through void methods + nested includes.

#739 covers method_include_void.phpt fixture; this issue tracks the Router-shaped integration path.

Goal

Native binary stdout contains layout HTML (e.g. app_name from config.php) for:

• QUERY_STRING=route=home
• PATH_INFO=/hello + name=Dev

Implementation hints

Layer	Files	Notes
JIT include	lib/JIT.php IncludeHelper, lib/JIT/Context.php	Nested compile-time inlining depth (#568 history)
AOT	lib/AOT/	Ensure included template TU is linked; echo/buffer not dropped after void return
Void returns	#205	: void must not strip trailing include side effects
Typed props	#767	private array $config on Router
Fixture	test/fixtures/aot/cases/method_include_void.phpt	Green before full 003 (#739)
Test	#747 / #485	Project-level acceptance

Reproduce

composer install && ./script/apply-patches.sh
php bin/phpc.php build --project examples/003-MiniWebApp
cd examples/003-MiniWebApp
QUERY_STRING=route=home REQUEST_METHOD=GET ./.phpc/bin/app | wc -c   # expect >0; currently 0 (#764)

Docker (tar copy on empty bind-mount):

./script/docker-ci-local.sh --filter method_include_void

Acceptance criteria

• method_include_void.phpt passes @group aot-link (AOT: Green method_include_void.phpt and @group aot-link for void+include methods #739)
• MiniWebAppAotExecuteTest home route non-empty (Testing: MiniWebAppAotExecuteTest CLI smoke (#485, #676 step 2) #747)
• Manual wc -c > 0 for home route

Dependencies

• AOT: MiniWebApp native binary CLI execute emits empty stdout (post-link) #764 (umbrella execute tracker)
• AOT: Green method_include_void.phpt and @group aot-link for void+include methods #739, AOT: Runtime include() of deploy-root PHP via phpc_deploy_path() #623, Language: Typed property array (private array $config) in VM/JIT/AOT #767, Compiler: Return type declarations on user functions (VM + JIT) #205

Verification

Local/Docker only — ./script/ci-local.sh --filter MiniWebAppAotExecuteTest when #747 exists.

Links

• AOT: MiniWebApp native binary CLI execute emits empty stdout (post-link) #764, Testing: MiniWebAppAotExecuteTest CLI smoke (#485, #676 step 2) #747, Testing: MiniWebApp AOT binary CLI execute smoke (tracked in #747, blocked #764) #485, AOT: Green method_include_void.phpt and @group aot-link for void+include methods #739
• ROADMAP 🗺️ ROADMAP: Compile a small PHP web application (living document) #78 Phase 3 Web AOT