AOT: MiniWebApp phpc build --project native link fails on master (post-#568/#734)

[PurHur]

Problem

Issue #568 closed after #734 (void-method include CFG for Router::render*), and ROADMAP batch 48 marked native link ✅. Harness verify (2026-05-23) shows the link is still red on master:

./script/docker-ci-local.sh --filter 'PhpcBuildProjectTest::testMiniWebAppBuildLinksNativeBinary'
# phpc build --project failed (exit 255)
# stderr trailer: "user-defined classes are not yet linkable in native AOT (#568)"

Same failure in ExamplesCompileTest::test003MiniWebAppEventuallyRuns().

Until this lands, #676 steps 2+ (execute, HTTP, deploy smoke) remain blocked regardless of #568 tracker state.

Goal

phpc build --project examples/003-MiniWebApp exits 0 and produces .phpc/bin/app without the user-class AOT trailer (lib/Cli/PhpcBuild.php).

Scope

• Complete remaining user-class native ABI from AOT: Native user-class object model for phpc build --project #568 acceptance criteria (constructor lowering, vtable/property slots for Router, multi-TU link)
• Ensure AOT: Green method_include_void.phpt and @group aot-link for void+include methods #739 method_include_void.phpt is green in @group aot-link (void + trailing include pattern)
• Update PhpcBuild::formatUserClassTrailer() tracking URL if a new issue supersedes closed AOT: Native user-class object model for phpc build --project #568

Implementation hints

Area	Files	Notes
AOT object model	lib/AOT/, lib/JIT/Type/Object_.php	Bootstrap minimal_class patterns
Link	lib/AOT/Linker.php	Per-class vtable + property offsets
Project build	lib/Cli/PhpcBuild.php, lib/Web/ProjectManifest.php	includes[] merge (#452 ✅)
Void+include	lib/JIT.php, lib/JIT/IncludeHelper.php	#734 landed; verify on full Router graph
Methods	lib/JIT.php compileClass	router::dispatch export names

Reproduce

make docker-build-22
./script/docker-ci-local.sh --filter 'PhpcBuildProjectTest::testMiniWebAppBuildLinksNativeBinary'
cd examples/003-MiniWebApp && ../../phpc build --project . --verbose

Acceptance criteria

• PhpcBuildProjectTest::testMiniWebAppBuildLinksNativeBinary passes in ./script/ci-local.sh @group llvm
• ExamplesCompileTest::test003MiniWebAppEventuallyRuns passes (link only — execute is Testing: MiniWebAppAotExecuteTest CLI smoke (#485, #676 step 2) #747)
• No stderr trailer user-defined classes are not yet linkable for 003 project build
• Testing: ExamplesCompileTest 003 link gate policy (link green; execute #764) #754 can flip from hard-fail to required pass in full CI

Dependencies

• AOT: Native user-class object model for phpc build --project #568 (closed — this issue tracks remaining work)
• AOT: fix include CFG in void methods — MiniWebApp phpc build --project (#568) #734 ✅ — void+include CFG slice
• AOT: Green method_include_void.phpt and @group aot-link for void+include methods #739 — focused fixture before full project
• Language: Class methods and property access in JIT #58, Language: Visibility, constructors, and destructors #145, Compiler: Return type declarations on user functions (VM + JIT) #205 — method/visibility/return types if link fails on Router specifics

Verification (local / Docker only)

docker run --rm -i -w /compiler php-compiler:22.04-dev bash -lc '
  tar -xf - && ./script/docker-ci-local.sh --filter PhpcBuildProjectTest::testMiniWebAppBuildLinksNativeBinary
' < <(tar -cf - --exclude=.git --exclude=.llvm .)

No GitHub Actions required.

Links

• Testing: MiniWebApp AOT unskip matrix after #568 (orchestrate #454 #485 #478 #610) #676 orchestration (step 1 = link)
• Testing: ExamplesCompileTest @group miniwebapp for 003-MiniWebApp (skipped until green) #454, Testing: MiniWebAppAotExecuteTest CLI smoke (#485, #676 step 2) #747, 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