DevEx: phpc doctor --gates — 005-SessionsWeb AOT + deploy ladder rows

[PurHur]

Problem

#1903 tracks a doctor section for 005 VM/session gates. With #1891 ✅ (AOT execute) and #1893 / #1962 (deploy smoke), contributors still grep script/ci-defaults.env to learn the full ladder:

SESSIONS_WEB_SMOKE_GATE → SESSIONS_WEB_AOT_LINK_GATE → SESSIONS_WEB_AOT_SMOKE_GATE → SESSIONS_WEB_DEPLOY_SMOKE_GATE

MiniWebApp already has parallel doctor rows via #1857 / #1752 patterns.

Goal

Extend phpc doctor --gates (and lib/Doctor.php) with an ordered 005-SessionsWeb block:

Stage	Env var	Command when =1
VM session flash	SESSIONS_WEB_SMOKE_GATE	make examples-sessions-smoke
AOT link	SESSIONS_WEB_AOT_LINK_GATE	PHPUnit SessionsWebAotLinkTest / ExamplesCompileTest
AOT execute	SESSIONS_WEB_AOT_SMOKE_GATE	examples-aot-smoke.sh 005 slice
Deploy CGI	SESSIONS_WEB_DEPLOY_SMOKE_GATE	SESSIONS_WEB_DEPLOY_SMOKE_GATE=1 make deploy-smoke (#1962)

Show current default from script/ci-defaults.env and whether LLVM is required.

Scope

Piece	Path
Doctor output	lib/Doctor.php
CLI	bin/phpc.php doctor subcommand
Docs	examples/005-SessionsWeb/README.md, docs/local-ci-matrix.md
Tests	test/unit/DoctorTest.php or PhpcDoctorTest — assert substring present

Out of scope: flipping gate defaults (#1921, #1923, #1962 follow-ups).

Acceptance criteria

./phpc doctor --gates | grep -E 'SESSIONS_WEB|005-SessionsWeb'

• Lists all four env vars with one-line “how to run” commands
• Notes Testing: 005-SessionsWeb AOT link + two-request CGI execute smoke #1891 ✅ for execute stage
• Links Testing: 005-SessionsWeb phpc deploy + PHPC_DEPLOY_ROOT CGI smoke #1893 / Docs: capabilities-matrix session_* + 005-SessionsWeb rows (#1947) #1962 when deploy stage not implemented yet

Verification

./phpc test --fast --filter Doctor
docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev ./phpc doctor --gates

Dependencies

• DevEx: phpc doctor --gates lists 005-SessionsWeb ladder (#1887–#1894) #1903 — parent doctor ladder issue (may close together)
• Testing: 005-SessionsWeb AOT link + two-request CGI execute smoke #1891 ✅, Testing: ExamplesCompileTest 005-SessionsWeb AOT link (-l) before CGI execute #1946 ✅
• Testing: 005-SessionsWeb phpc deploy + PHPC_DEPLOY_ROOT CGI smoke #1893, Docs: capabilities-matrix session_* + 005-SessionsWeb rows (#1947) #1962 — deploy stage commands

Links

• Testing: 005-SessionsWeb in examples-web-smoke + ExamplesCompileTest #1887, DevEx: make examples-sessions-smoke — VM curl ladder for 005-SessionsWeb (#1887) #1914 — VM smoke targets
• ROADMAP #78 Phase 4