Testing: MiniWebAppAotExecuteTest CLI smoke (#485, #676 step 2)

[PurHur]

Problem

#568 ✅ closed — ExamplesCompileTest::test003MiniWebAppEventuallyRuns() already runs phpc build --project and asserts .phpc/bin/app exists. There is still no dedicated test that executes the binary with CGI env and route needles (#676 step 2).

#485 title tracks this gap but body still references pre-#568 skip state. Shell smoke (#738) and PHPUnit execute should share the same env contract.

Goal

test/unit/MiniWebAppAotExecuteTest.php (or extend ExamplesCompileTest):

Step	Assert
Build	phpc build --project examples/003-MiniWebApp exit 0
GET home (query)	QUERY_STRING=route=home → stdout contains app_name from config.php
GET hello	QUERY_STRING=route=hello&name=Dev → Hello Dev
PATH_INFO	PATH_INFO=/hello + QUERY_STRING=name=Dev → greeting (#489)
POST contact	REQUEST_METHOD=POST, body name=PostDev → thank-you

@group miniwebapp, @group llvm, @group aot-link.

Implementation hints

Piece	File	Notes
Test class	test/unit/MiniWebAppAotExecuteTest.php	Extract from #454 if method grows too large
Env helper	runBinaryWithCgiEnv(string $binary, array $env): string	Mirror MiniWebAppVmCliTest / #491
Build	reuse ExamplesCompileTest::llvmProcessEnv()	Same LLVM skip message
Order	#676 step 2	Land before #738 shell smoke and #478 HTTP

Acceptance criteria

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

Once #568 link is green, prefer fail over skip for execute regressions.

Dependencies

• AOT: Native user-class object model for phpc build --project #568 ✅ — link
• Compiler: Return type declarations on user functions (VM + JIT) #205 — :void on Router::render* if execute fails on return paths
• AOT: Green method_include_void.phpt and @group aot-link for void+include methods #739 — void+include fixture if template include breaks at runtime
• Testing: MiniWebApp AOT unskip matrix after #568 (orchestrate #454 #485 #478 #610) #676 — step 2 before Testing: Enable examples-aot-smoke.sh 003-MiniWebApp slice (#676 step 3) #738 / Testing: ServeAotTest MiniWebApp routes via phpc serve --aot (blocked #764 execute) #478

Verification

Local/Docker only — not GitHub Actions.

Links

• Testing: MiniWebApp AOT binary CLI execute smoke (tracked in #747, blocked #764) #485 (umbrella — close when this lands)
• Testing: ExamplesCompileTest @group miniwebapp for 003-MiniWebApp (skipped until green) #454, Testing: Enable examples-aot-smoke.sh 003-MiniWebApp slice (#676 step 3) #738, Testing: ServeAotTest MiniWebApp routes via phpc serve --aot (blocked #764 execute) #478
• ROADMAP 🗺️ ROADMAP: Compile a small PHP web application (living document) #78

[PurHur]

Batch 49: Blocked on #752 (link still fails on harness post-#568 close). Execute work starts after PhpcBuildProjectTest::testMiniWebAppBuildLinksNativeBinary passes — not before.