DevEx: phpc doctor --gates refresh after North Star 1 default-on gate flips (#1523, #1530)

[PurHur]

Problem

#657 ✅ landed phpc doctor --gates delegating to script/miniwebapp-gates.sh. Since then, several gates flipped default-on on master:

Gate	Default today	Issue
MINIWEBAPP_AOT_EXECUTE_GATE	1	#747 ✅
MINIWEBAPP_SERVE_AOT_GATE	1	#1524 ✅
MINIWEBAPP_WEB_SMOKE_AOT_GATE	0	#1523 open
DEPLOY_SMOKE_003_EXECUTE	0	#1530 open

Doctor output and examples/003-MiniWebApp/README.md gate ladder may still read like AOT HTTP/deploy stages are opt-in, confusing harness users running ./phpc doctor --gates after #1523 / #1530 land.

Goal

When #1523 and #1530 flip defaults in script/ci-defaults.env:

1. Update script/miniwebapp-gates.sh stage labels (4c2 web-smoke --aot, 4d deploy 003 execute)
2. Ensure ./phpc doctor --gates reflects new defaults (no stale "set MINIWEBAPP_*=1" hints for already-on gates)
3. Extend test/unit/DoctorTest.php assertions for default-on env

Scope

• lib/Doctor.php / gates delegate — pass through env from ci-defaults.env
• README gate table in examples/003-MiniWebApp/README.md
• docs/local-ci-matrix.md row sync (Docs: local-ci-matrix — MiniWebApp gate env reference (MINIWEBAPP_*) #808 pattern)
• Blocked until CI: Default MINIWEBAPP_WEB_SMOKE_AOT_GATE=1 — examples-web-smoke 003 --aot curls (#676 step 3) #1523 + CI: Default DEPLOY_SMOKE_003_EXECUTE=1 — deploy-smoke 003 execute in ci-local #1530 merge (or implement alongside same PR)

Implementation hints

Piece	Path
Defaults source of truth	script/ci-defaults.env
Ladder script	script/miniwebapp-gates.sh
Doctor	lib/Doctor.php, bin/phpc.php
Tests	test/unit/DoctorTest.php, test/unit/CiScriptsTest.php

Verify

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

No GitHub Actions.

Acceptance criteria

• Doctor output matches ci-defaults.env defaults for all MiniWebApp gates
• Suggested exports only appear for gates still default-off
• ./script/ci-local.sh --filter DoctorTest green

Dependencies

• CI: Default MINIWEBAPP_WEB_SMOKE_AOT_GATE=1 — examples-web-smoke 003 --aot curls (#676 step 3) #1523, CI: Default DEPLOY_SMOKE_003_EXECUTE=1 — deploy-smoke 003 execute in ci-local #1530 — gate flips (can land doctor sync in same PR)
• DevEx: phpc doctor --gates prints MiniWebApp ladder status #657 ✅ — base doctor --gates
• 🌐 North Star 1: Web-capable PHP application (living tracker) #1044 — North Star 1 close

Links

• ROADMAP 🗺️ ROADMAP: Self-host + web-capable PHP subset (living) #78, DevEx: MiniWebApp CI gate ladder (lint → serve → AOT → web-smoke) #472 gate ladder

[PurHur]

Dependency update

#1530 ✅ merged #1825 — doctor should already show deploy 003 execute as default-on if wired.

Remaining: refresh doctor output when #1523 flips MINIWEBAPP_WEB_SMOKE_AOT_GATE=1. Land in same PR as #1760 remainder.

[PurHur]

Landed in #1836 (merged): stage 3c MINIWEBAPP_WEB_SMOKE_AOT_GATE default-on in miniwebapp-gates.sh + PhpcDoctorTest assertions.