DevEx: phpc doctor --gates lists 005-SessionsWeb ladder (#1887–#1894)

[PurHur]

Problem

#1857 ✅ extended phpc doctor --gates with North Star 1 presenter steps. #1871 ✅ added North Star 2 / make north-star2-verify.

005-SessionsWeb VM gates are live on master (#1881 ✅, #1887 ✅, #1894 ✅, SESSIONS_WEB_SMOKE_GATE=1 default). There is still no doctor section for the 005 ladder — contributors grep examples/README.md or ROADMAP #78.

Goal

Extend lib/Doctor.php runGates() with a SessionsWeb (005) section that probes real status (not “pending #1881”):

Stage	Probe	LLVM?
Lint	phpc lint examples/005-SessionsWeb/example.php	no
VM serve smoke	SESSIONS_WEB_SMOKE_GATE + suggest make examples-sessions-smoke	no
AOT link+execute	#1891 commands / gate SESSIONS_WEB_AOT_SMOKE_GATE	yes
Deploy CGI	#1893 phpc deploy + cookie jar	yes
Init scaffold	#1886 phpc init --profile sessionsweb	no

Print ✅/📋/⬜ per row from filesystem + env (mirror miniwebapp / north-star1 formatting).

Implementation hints

File	Change
lib/Doctor.php	printSessionsWebSection(): void — call from runGates() after NS1 block
Env reads	getenv('SESSIONS_WEB_SMOKE_GATE'), SESSIONS_WEB_AOT_SMOKE_GATE
Paths	examples/005-SessionsWeb/example.php, phpc.json
test/unit/PhpcDoctorTest.php	assertStringContainsString('005-SessionsWeb', $output) when section enabled
docs/GETTING-STARTED.md	One line: ./phpc doctor --gates | grep -i sessions
bin/phpc.php help	Mention 005 section under doctor --gates

Sample output (target)

SessionsWeb (005) — issue #1881
  [✅] example.php present
  [✅] SESSIONS_WEB_SMOKE_GATE=1 (default) — make examples-sessions-smoke
  [📋] AOT two-request execute — #1891 (opt-in SESSIONS_WEB_AOT_SMOKE_GATE=0)
  [📋] phpc init --profile sessionsweb — #1886

Gate env SSOT (document in section footer)

Variable	Default (master)	Issue
SESSIONS_WEB_SMOKE_GATE	1	#1894 ✅
SESSIONS_WEB_AOT_SMOKE_GATE	0 (until #1923)	#1921

Acceptance criteria

./phpc doctor --gates | grep -i '005\|SessionsWeb\|SESSIONS_WEB'
./script/ci-fast.sh --filter PhpcDoctor

• Section prints when examples/005-SessionsWeb/ exists (always on master)
• Links Testing: 005-SessionsWeb AOT link + two-request CGI execute smoke #1891, Testing: 005-SessionsWeb phpc deploy + PHPC_DEPLOY_ROOT CGI smoke #1893, DevEx: phpc init --profile sessionsweb (005-SessionsWeb scaffold) #1886, CI: SESSIONS_WEB_AOT_SMOKE_GATE opt-in in ci-local after #1891 lands #1921 in 📋 rows

Verification (local / Docker only)

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

No GitHub Actions (#394 ✅).

Dependencies

• Examples: 005-SessionsWeb — session_start + flash message reference app #1881 ✅ — example tree
• Testing: 005-SessionsWeb in examples-web-smoke + ExamplesCompileTest #1887 ✅ / CI: Default SESSIONS_WEB_SMOKE_GATE=1 in ci-fast after #1887 green #1894 ✅ — VM gate defaults
• Testing: 005-SessionsWeb AOT link + two-request CGI execute smoke #1891, Testing: 005-SessionsWeb phpc deploy + PHPC_DEPLOY_ROOT CGI smoke #1893, DevEx: phpc init --profile sessionsweb (005-SessionsWeb scaffold) #1886 — optional rows stay 📋 until landed
• DevEx: make north-star2-verify presenter gate (self-host M0–M4) #1865 / DevEx: phpc doctor --gates lists north-star2-verify steps (#1865 phase 2) #1871 — NS2 doctor pattern

Links

• ROADMAP #78 Phase 4
• NS1 doctor: DevEx: phpc doctor --gates lists north-star1-verify presenter steps (#1845 phase 2) #1857, DevEx: phpc doctor --gates prints MiniWebApp ladder status #657
• Parity: DevEx: check-init-sessionsweb-parity.sh — template ↔ examples/005-SessionsWeb (#695 pattern) #1902