CI: default MINIWEBAPP_WEB_SMOKE_AOT_GATE=1 (#1523, #1752)

[PurHur]

Summary

• Flip MINIWEBAPP_WEB_SMOKE_AOT_GATE to default-on in script/ci-defaults.env and wire ci_run_miniwebapp_web_smoke_aot into ci-local.sh after AOT prebuild.
• Refresh phpc doctor --gates / miniwebapp-gates.sh stage 3c ladder, docs, and PHPUnit wiring tests.
• Fix ensure_miniwebapp_aot_binary build status echo polluting command substitution when the 003 binary is built inline.

Closes #1523. Implements #1752 doctor sync. Advances #1760 / North Star 1 (#1044) gate-flip bundle (DEPLOY_SMOKE_003_EXECUTE=1 was already default-on via #1530).

Test plan

• ./script/docker-ci-local.sh --filter "CiScriptsTest|MiniWebAppUnskipMatrixTest|PhpcDoctorTest|MiniWebAppGatesScriptTest" — 12 tests OK
• MINIWEBAPP_WEB_SMOKE_AOT_GATE=1 ./script/examples-web-smoke.sh --miniwebapp-only --aot — home + hello PATH_INFO + contact POST green
• MINIWEBAPP_WEB_SMOKE_GATE=0 ./script/ci-local.sh LLVM tail — prebuild, 003 AOT web-smoke, deploy-smoke 003 execute green
• Opt-out: MINIWEBAPP_WEB_SMOKE_AOT_GATE=0 ./script/ci-local.sh

Made with Cursor