CI: SESSIONS_WEB_DEPLOY_SMOKE_GATE opt-in in ci-local after #1893

[PurHur]

Problem

#1891 ✅ landed two-request 005-SessionsWeb AOT execute (SessionsWebAotExecuteTest, examples-aot-smoke.sh with SESSIONS_WEB_AOT_SMOKE_GATE=1). 003 already has production-style deploy smoke via script/deploy-smoke.sh + make deploy-smoke (#718, #1530).

There is no env-gated hook in ci-local.sh for 005 deploy + PHPC_DEPLOY_ROOT CGI curls. Regressions in session file paths or cookie headers between phpc serve and deployed layout only show up when someone runs deploy smoke manually.

Goal

After #1893 implements deploy-smoke.sh --example 005 (or equivalent):

1. Add SESSIONS_WEB_DEPLOY_SMOKE_GATE to script/ci-defaults.env (default 0)
2. Call deploy smoke from script/ci-common.sh / script/ci-local.sh when gate =1 and LLVM ready
3. Document in docs/local-ci-matrix.md, examples/005-SessionsWeb/README.md, and phpc doctor --gates (Testing: 005-SessionsWeb AOT link gate (#1946) #1964)

Follow-up (separate issue): default SESSIONS_WEB_DEPLOY_SMOKE_GATE=1 after #1893 green on harness.

Scope

Piece	Path	Notes
Smoke impl	#1893	script/deploy-smoke.sh --example 005, cookie jar, two CGI invocations
CI hook	script/ci-common.sh	Mirror ci_run_sessions_web_aot_smoke() pattern
Defaults	script/ci-defaults.env	SESSIONS_WEB_DEPLOY_SMOKE_GATE="${SESSIONS_WEB_DEPLOY_SMOKE_GATE:-0}"
Tests	test/unit/CiScriptsTest.php	Assert env var documented
Doctor	lib/Doctor.php	List gate + command (#1964)

Out of scope: implementing deploy curls (#1893); flipping default-on (follow-up after green).

Acceptance criteria

SESSIONS_WEB_DEPLOY_SMOKE_GATE=1 ./script/ci-local.sh
# or:
SESSIONS_WEB_DEPLOY_SMOKE_GATE=1 make deploy-smoke

• Skips with exit 0 when LLVM 9 missing (same probe as other deploy smokes)
• Failure cites which curl step broke (POST flash vs GET read)
• No .github/workflows/* — verify on harness / Docker only

Verification (local / Docker only)

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

Dependencies

• Testing: 005-SessionsWeb phpc deploy + PHPC_DEPLOY_ROOT CGI smoke #1893 — deploy smoke implementation (blocker)
• Testing: 005-SessionsWeb AOT link + two-request CGI execute smoke #1891 ✅ — AOT execute semantics reference
• AOT: phpc deploy bundles binary, public/, assets/, and phpc.json into dist/ #609 ✅ — phpc deploy
• Web: AOT CGI wrapper for phpc-built binaries (production nginx spawn) #665 ✅ — AOT CGI wrapper
• Testing: 005-SessionsWeb AOT link gate (#1946) #1964 — doctor ladder rows

Links

• ROADMAP #78 Phase 4 Polish
• CI: SESSIONS_WEB_AOT_SMOKE_GATE opt-in in ci-local after #1891 lands #1921 / CI: Default SESSIONS_WEB_AOT_SMOKE_GATE=1 in ci-local after #1921 green #1923 — sibling AOT ci-local gate ladder for execute (not deploy)
• Docs: Production deployment guide (nginx + AOT binary + CGI/FastCGI) #445 — production guide consumer

[PurHur]

Unblocked: #1893 landed via #1933 (merge commit includes master AOT execute green).

Ready to implement: wire SESSIONS_WEB_DEPLOY_SMOKE_GATE into script/ci-local.sh / ci-common.sh (opt-in section already exists from #1933; this issue tracks ci-local inclusion + docs matrix row).

Pre-merge verify (Docker):

SESSIONS_WEB_DEPLOY_SMOKE_GATE=1 ./script/deploy-smoke.sh --example 005

Follow-on default-on: #1954 after green on master in full ci-local.sh.

[PurHur]

claim: cursor-agent-lane-c — starting this run

[PurHur]

Merged via #3918

CI gate wiring for SESSIONS_WEB_DEPLOY_SMOKE_GATE was already on master; the blocker was AOT session_start() compiling as an ExternalMethod no-op under PHP_COMPILER_SELFHOST_AOT=1 (set by bin/compile.php).

Fix: add session_* to SelfHostBuiltinPolicy::CATEGORY_SESSION, standalone AOT forwarder to phpc_session_start_runtime, and pass deploy-smoke POST bodies via REQUEST_BODY.

Verification (Docker):

PHP_COMPILER_CACHE=0 vendor/bin/phpunit test/aot/SessionAotPersistTest.php  → OK
SESSIONS_WEB_AOT_SMOKE_GATE=1 vendor/bin/phpunit test/unit/SessionsWebAotExecuteTest.php  → OK
SESSIONS_WEB_DEPLOY_SMOKE_GATE=1 ./script/deploy-smoke.sh --example 005  → deploy-smoke: 005-SessionsWeb: ok
vendor/bin/phpunit test/unit/CiScriptsTest.php --filter DeploySmoke  → OK