CI: examples-aot-smoke.sh 003 — link probe + execute bytes (#809, #764)

[PurHur]

Problem

script/examples-aot-smoke.sh still skips examples/003-MiniWebApp with stderr citing closed #568 (native user-class link). #752 ✅ and #754 prove link is green; the real blocker is #764 (0 stdout bytes on execute).

Misleading skip text hides progress and blocks enabling #738 / #676 step 3.

Goal

Retarget the 003 slice:

1. Link probe — phpc build --project must succeed (fail loud if not)
2. Execute probe — run .phpc/bin/app with MiniWebApp CGI env; require wc -c > 0
3. While AOT: MiniWebApp native binary CLI execute emits empty stdout (post-link) #764 open: exit 0 with stderr skip execute (#764) only when link passes but bytes=0 (opt-in strict mode later)

Remove all #568 strings from this script (see also #766, #802).

Scope

• Edit script/examples-aot-smoke.sh 003 block
• test/unit/CiScriptsTest.php — assert no #568 in script; assert link+execute messaging
• EXAMPLES_AOT_SMOKE_GATE behavior unchanged for 000–002
• When AOT: MiniWebApp native binary CLI execute emits empty stdout (post-link) #764 closes: flip to hard-fail on 0 bytes (coordinate Testing: Enable examples-aot-smoke.sh 003-MiniWebApp slice (#676 step 3) #738)

Implementation hints

File	Change
script/examples-aot-smoke.sh	Replace skip block ~L130 with link+execute probe
script/ci-local.sh	Already runs smoke when EXAMPLES_AOT_SMOKE_GATE=1
CGI env	Reuse vars from test/unit/MiniWebAppAotExecuteTest.php / #790 trait
Related	#809 (duplicate title OK — this is implementation); #766 PhpcBuild copy

Verify

make examples-aot-smoke
EXAMPLES_AOT_SMOKE_GATE=1 ./script/ci-local.sh
docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev make examples-aot-smoke

Acceptance criteria

• No 568 in examples-aot-smoke.sh
• Link failure → exit 1 with actionable message
• Execute 0 bytes → documented skip referencing AOT: MiniWebApp native binary CLI execute emits empty stdout (post-link) #764 until fixed
• No GitHub Actions required

Dependencies

• AOT: MiniWebApp native binary CLI execute emits empty stdout (post-link) #764, AOT: MiniWebApp phpc build --project native link fails on master (post-#568/#734) #752 ✅, Testing: ExamplesCompileTest 003 link gate policy (link green; execute #764) #754
• Testing: Enable examples-aot-smoke.sh 003-MiniWebApp slice (#676 step 3) #738, Testing: MiniWebApp AOT unskip matrix after #568 (orchestrate #454 #485 #478 #610) #676, CI: examples-aot-smoke 003 — probe link then execute bytes (#764, not #568 skip) #809 (policy sibling)

Links

• DevEx: Retire #568 user-class blocker copy in PhpcBuild and tests #766, CI: check-stale-issue-refs.sh — fail inventory on closed blocker strings (#568) #802, Docs: Sync examples/README + 003 README with live MiniWebApp AOT status #753, Testing: Regenerate examples benchmark AOT row for 003 after #568 #716
• ROADMAP 🗺️ ROADMAP: Compile a small PHP web application (living document) #78 Phase 4 Polish

[PurHur]

Verified on master: script/examples-aot-smoke.sh implements link + execute probes with #764 skip (no #568 references); ExamplesAotSmokeScriptTest passes in Docker CI.