DevEx: miniwebapp-gates stage 4c — probe examples-aot-smoke 003 block

[PurHur]

Problem

#675 ✅ added stage 4a (phpc build --project --dry-run) to script/miniwebapp-gates.sh. Stage 4b documents link (#568). Contributors running make miniwebapp-gates or phpc doctor --gates cannot see whether script/examples-aot-smoke.sh would pass the 003-MiniWebApp block without running full CI.

Goal

Stage 4c in the ladder:

Stage 4c: examples-aot-smoke 003 slice (LLVM required; skip until #568)

When LLVM is present, gates script runs the 003 section of examples-aot-smoke.sh (or phpc build --project + CLI execute with CGI env) and prints pass/skip/fail with stderr tail — same UX as stage 4a.

Implementation hints

Piece	File	Notes
Script	script/miniwebapp-gates.sh	Call examples-aot-smoke.sh with env EXAMPLES_AOT_SMOKE_ONLY=003 or extract function
Smoke	script/examples-aot-smoke.sh	Today skips 003 with message — stage 4c should detect skip vs fail
Doctor	lib/Doctor.php	Inherits via miniwebapp-gates.sh delegation
Docs	examples/003-MiniWebApp/README.md	Stage table 4a/4b/4c

Acceptance criteria

./script/miniwebapp-gates.sh
# When #568 green: stage 4c shows green without manual make examples-aot-smoke

Dependencies

• AOT: Native user-class object model for phpc build --project #568 — remove skip in examples-aot-smoke.sh 003 block
• Testing: MiniWebApp AOT unskip matrix after #568 (orchestrate #454 #485 #478 #610) #676 step 3 — shell smoke unskip
• DevEx: miniwebapp-gates stage 4a — detect AOT dry-run/lint green (#624) #675 ✅ — stage 4a pattern

Verification

make miniwebapp-gates
docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev ./script/miniwebapp-gates.sh

Local/Docker only — not GitHub Actions.

Links

• DevEx: MiniWebApp CI gate ladder (lint → serve → AOT → web-smoke) #472, DevEx: make miniwebapp-gates — print MiniWebApp CI gate ladder status #503, ROADMAP 🗺️ ROADMAP: Compile a small PHP web application (living document) #78