Testing: examples-aot-smoke.sh 007 slice (EXAMPLES_AOT_SMOKE_ONLY=007)

[PurHur]

Problem

make examples-aot-smoke runs 000–004 and 006 by default (#2013). When 007-ThrowsWeb gains AOT link/execute (#2101), contributors need a fast slice without re-running the full ladder.

Goal

EXAMPLES_AOT_SMOKE_ONLY=007 make examples-aot-smoke
# or: ./script/examples-aot-smoke.sh --example 007

Builds examples/007-ThrowsWeb and probes native 500 response (same CGI overlay as #2101).

Implementation hints

File	Change
script/examples-aot-smoke.sh	Add 007 to ONLY filter branch (mirror 006 block)
Makefile	Document target in examples-aot-smoke help
test/unit/ExamplesAotSmokeScriptTest.php	If exists, assert 007 recognized when dir present

Skip when LLVM missing (LlvmToolchain::isReady() false) — same as other examples.

Acceptance criteria

EXAMPLES_AOT_SMOKE_ONLY=007 ./script/examples-aot-smoke.sh

exits 0 in php-compiler:22.04-dev when #2101 gates are green.

Dependencies

• Examples: 007-ThrowsWeb — throw/catch presenter app (post-#195/#57) #2076 — tree on disk
• Testing: THROWSWEB_AOT_LINK_GATE + THROWSWEB_AOT_SMOKE_GATE (007-ThrowsWeb) #2101 — AOT link + execute semantics

Links

• Examples: add 006-FileUploadWeb slice to make examples-aot-smoke #2013 (006 slice) · CI: Default EXAMPLES_AOT_SMOKE_GATE=1 in ci-local.sh (promote #667) #674 (default full smoke)

[PurHur]

Implementation hints (batch 123 expansion)

File map

File	Change
script/examples-aot-smoke.sh	Add 007) branch in EXAMPLES_AOT_SMOKE_ONLY / --example parser (copy 006 block ~lines 180–220)
script/ci-defaults.env	Respect THROWSWEB_AOT_LINK_GATE / THROWSWEB_AOT_SMOKE_GATE from #2101
Makefile examples-aot-smoke	Help text: EXAMPLES_AOT_SMOKE_ONLY=007
test/unit/ExamplesAotSmokeScriptTest.php	Assert 007 in allowed ONLY set when examples/007-ThrowsWeb/ exists
examples/README.md	Run matrix AOT execute row → link #2104 after #2101

CGI overlay (must match #2101)

export REQUEST_METHOD=POST
export CONTENT_TYPE=application/x-www-form-urlencoded
export CONTENT_LENGTH=9
export QUERY_STRING=
# body: email=bad → expect HTTP 500 + invalid HTML needle

Dependency fix

Parent AOT gates: #2101 (not #2096). Default-on follow-up: #2135.

Verify

EXAMPLES_AOT_SMOKE_ONLY=007 ./script/examples-aot-smoke.sh
docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev \
  env THROWSWEB_AOT_LINK_GATE=1 EXAMPLES_AOT_SMOKE_ONLY=007 ./script/examples-aot-smoke.sh

[PurHur]

Backlog architect expansion (batch 126)

Status sync: #2076 ✅ tree on master · #2101 ✅ closed (gate wiring only) · AOT execute still blocked on user-class ValidationError → track #2157 (language), not this issue.

File map

File	Change
script/examples-aot-smoke.sh	Add 007) branch in ONLY / --example parser (grep 006) block ~L80–120)
script/ci-common.sh	Honor THROWSWEB_AOT_LINK_GATE + THROWSWEB_AOT_SMOKE_GATE when ONLY=007
Makefile	examples-aot-smoke help text lists EXAMPLES_AOT_SMOKE_ONLY=007
test/unit/ExamplesAotSmokeScriptTest.php	Assert 007 in allowed ONLY values
examples/007-ThrowsWeb/README.md	Document slice command

Harness repro

make docker-build-22
./script/docker-exec.sh -- bash -lc '
  source script/php-env.sh
  EXAMPLES_AOT_SMOKE_ONLY=007 THROWSWEB_AOT_LINK_GATE=1 THROWSWEB_AOT_SMOKE_GATE=1 \
    ./script/examples-aot-smoke.sh
'

Use ./script/docker-exec.sh on Runforge — do not use raw docker run -v "$(pwd):/compiler" (empty bind-mount).

Unblock order

#2157 AOT throw/user-class green → this slice → #2135 ci-local default-on.

De-dupe: #2096 was a merged doc PR, not an AOT tracker — removed from scope.