Testing: THROWSWEB_WEB_SMOKE_GATE + examples-web-smoke 007 slice

[PurHur]

Problem

#2076 ✅ landed examples/007-ThrowsWeb/. The VM web-smoke ladder is mostly green via THROWS_WEB_SMOKE_GATE=1 (default-on #2125) in script/examples-web-smoke.sh and make examples-throws-smoke (#2141 ✅).

Remaining gap: polish items not covered by the default gate — especially #2200 uncaught HTTP 500 negative path (THROWSWEB_UNCAUGHT_500_GATE=0 opt-in) and doc/doctor alignment when gate names drift (THROWSWEB_WEB_SMOKE_GATE was never shipped; canonical env is THROWS_WEB_SMOKE_GATE).

Status (2026-05-26)

Piece	Status	Notes
script/examples-web-smoke.sh 007 slice	✅	--throws-only, EXAMPLES_WEB_SMOKE_ONLY=007
make examples-throws-smoke	✅ #2141	THROWS_WEB_SMOKE_GATE=1
ci-fast.sh default gate	✅ #2125	THROWS_WEB_SMOKE_GATE=1 in ci-defaults.env
Caught invalid POST curl	✅	ExamplesCompileTest + smoke script
Uncaught 500 curl	🚧 #2200	Opt-in THROWSWEB_UNCAUGHT_500_GATE=1
phpc doctor --gates	✅ #2102	Verify rows mention THROWS_WEB_SMOKE_GATE
AOT link/execute	✅ #2101 / #2157	THROWSWEB_AOT_*_GATE=1 default #2135

Remaining scope

1. Close this issue when Testing: ThrowsWeb uncaught HTTP 500 serve smoke (presenter negative path) #2200 lands OR document explicit wont-fix for uncaught demo in examples/007-ThrowsWeb/README.md
2. Ensure script/check-development-status-sync.php and check-root-readme-sync.php never resurrect stale THROWSWEB_WEB_SMOKE_GATE spelling
3. Optional: ExamplesWebSmokeTest asserts --throws-only wiring (if not already covered)

Implementation hints (remaining)

Piece	Path	Notes
Uncaught slice	script/examples-web-smoke.sh	Guard with THROWSWEB_UNCAUGHT_500_GATE (#2200)
README	examples/007-ThrowsWeb/README.md	Gate ladder table — canonical env names
Checker	script/check-capabilities-throws-sync.php	Already requires THROWS_WEB_SMOKE_GATE in footer

THROWS_WEB_SMOKE_GATE=1 ./script/examples-web-smoke.sh --throws-only
THROWSWEB_UNCAUGHT_500_GATE=1 ./script/examples-web-smoke.sh --throws-only  # after #2200
make examples-throws-smoke

Harness:

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && make examples-throws-smoke'

Acceptance criteria (close when)

• Testing: ThrowsWeb uncaught HTTP 500 serve smoke (presenter negative path) #2200 merged or explicitly deferred with README note
• No open references to THROWSWEB_WEB_SMOKE_GATE in docs/issues (use THROWS_WEB_SMOKE_GATE)
• ci-fast.sh green with default gates on harness

Dependencies

• Examples: 007-ThrowsWeb — throw/catch presenter app (post-#195/#57) #2076 ✅ · CI: Default THROWS_WEB_SMOKE_GATE=1 in ci-fast after #2093 green #2125 ✅ · Testing: ThrowsWeb uncaught HTTP 500 serve smoke (presenter negative path) #2200 (uncaught polish)
• Web: Map uncaught exceptions to HTTP 500 in serve driver #152 — uncaught → HTTP 500 in phpc serve

Links

• ROADMAP 🗺️ ROADMAP: Self-host + web-capable PHP subset (living) #78 · Testing: make examples-throws-smoke target (007-ThrowsWeb) #2141 · Docs: GETTING-STARTED optional 007-ThrowsWeb presenter step (curl invalid POST) #2158 GETTING-STARTED §5b · Pattern: Testing: 005-SessionsWeb in examples-web-smoke + ExamplesCompileTest #1887, CI: Default FILE_UPLOAD_WEB_SMOKE_GATE=1 in ci-local after #2008 green #2009

Verification

Local/Docker only — ./script/ci-fast.sh / make test-harness; not GitHub Actions (#394 ✅).

[PurHur]

Batch 122 status (partial on master)

Already landed:

• script/examples-web-smoke.sh — --throws-only / 007 curls (#2076 ✅)
• THROWS_WEB_SMOKE_GATE in script/ci-defaults.env (default 0)
• lib/Doctor.php 007 ladder (DevEx: phpc doctor --gates — 007 ThrowsWeb ladder rows #2102](DevEx: phpc doctor --gates — 007 ThrowsWeb ladder rows #2102) ✅)

Still open for this issue:

• Makefile examples-throws-smoke target (mirror DevEx: make examples-sessions-smoke — VM curl ladder for 005-SessionsWeb (#1887) #1914)
• ci-fast.sh hook when gate 1
• Align docs: issue title says THROWSWEB_WEB_SMOKE_GATE; code uses THROWS_WEB_SMOKE_GATE

Default-on flip tracked in #2125 (close #2093 when wiring + flip green).