DevEx: make web-smoke runs phpc lint --all on 003-MiniWebApp when tree exists

[PurHur]

Problem

make web-smoke lints and VM-smokes flat examples/00x-*/example.php (#304 closed). Once #246 lands examples/003-MiniWebApp/, contributors need a single command that reports all unsupported syntax in the project tree (not just public/index.php).

phpc lint --all exists (#286 closed) but is not wired into Makefile smoke targets.

Goal

Extend Makefile web-smoke (or script/web-smoke.sh if split) to:

if [[ -d examples/003-MiniWebApp/public ]]; then
  ./phpc lint --all examples/003-MiniWebApp --json | tee /tmp/miniwebapp-lint.json
  # exit 0 while lint-first (documented blockers); exit 1 when README says "should pass"
fi

Document expected non-zero lint during skeleton phase vs green gate before #67 completion.

Scope

• Makefile target + examples/README.md row for 003
• Optional: aggregate issue links from lint JSON into CI log (human-readable)
• Do not add GitHub Actions workflow

Acceptance criteria

make web-smoke
# prints lint summary for 003 when directory exists

Verification (local / Docker only)

docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev make web-smoke

Dependencies

• Reference: MiniWebApp lint-first skeleton (examples/003-MiniWebApp) #246 skeleton directory
• DevEx: phpc lint --all for project trees (MiniWebApp blocker report) #286 phpc lint --all (closed)

Related

• Fix AOT superglobal isset and coalesce lowering (partial #99, #148) #448 PHPUnit miniwebapp group
• 🗺️ ROADMAP: Compile a small PHP web application (living document) #78 ROADMAP Phase 4 Polish