CI: Default EXAMPLES_AOT_SMOKE_GATE=1 in ci-local.sh (promote #667)

[PurHur]

Problem

#667 ✅ added script/examples-aot-smoke.sh and make examples-aot-smoke, but full CI only runs it when contributors export EXAMPLES_AOT_SMOKE_GATE=1. ExamplesCompileTest already covers AOT in PHPUnit; the shell smoke is a fast pre-PR check for 000–004 CLI execute that is easy to forget.

Goal

Default ./script/ci-local.sh runs examples-aot-smoke.sh in the llvm aot-link phase (after PHPUnit @group aot-link), with opt-out EXAMPLES_AOT_SMOKE_GATE=0 for iteration.

Scope

• Default EXAMPLES_AOT_SMOKE_GATE=1 in script/ci-defaults.env and script/ci-common.sh (mirror CI: Default MINIWEBAPP_WEB_SMOKE_GATE=1 in ci-local.sh (promote gate ladder stage 3) #664 MINIWEBAPP_WEB_SMOKE_GATE)
• Keep off in script/ci-fast.sh (no LLVM phases)
• Update test/unit/CiScriptsTest.php — assert default-on in ci-local.sh
• Document in examples/README.md and phpc doctor --gates (DevEx: miniwebapp-gates stage 4a — detect AOT dry-run/lint green (#624) #675 doctor row optional)

Acceptance criteria

make docker-build-22
docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev ./script/ci-local.sh

With LLVM present → log line examples-aot-smoke runs without manual export. With LLVM missing → script exits 0 with skip message (unchanged).

Dependencies

• DevEx: make examples-aot-smoke — phpc build + execute for 001-004 when LLVM ready #667 ✅ script + Makefile target
• AOT: Native user-class object model for phpc build --project #568 — 003 remains skipped in smoke script

Verification

Local/Docker only — not GitHub Actions.

Links

• script/examples-aot-smoke.sh, ROADMAP 🗺️ ROADMAP: Compile a small PHP web application (living document) #78