Examples: 007-ThrowsWeb — throw/catch presenter app (post-#195/#57)

[PurHur]

Problem

Shipped examples 000–006 cover CLI, simple CGI, sessions, and multipart upload, but none demonstrate throw / catch / HTTP 500 paths. #195 tracks language lowering; presenters lack a copy-paste web demo like 005-SessionsWeb / 006-FileUploadWeb.

MiniWebApp contact validation (#697) and API errors will eventually use exceptions instead of echo + exit.

Goal

Add examples/007-ThrowsWeb/ with:

• example.php — form POST; invalid input throw new Exception(...); caught → friendly HTML; uncaught path documented for phpc serve
• phpc.json manifest
• README.md with VM curls + gate ladder
• Optional: ./phpc init --profile throwsweb follow-up (separate issue)

Acceptance criteria

./phpc lint examples/007-ThrowsWeb/example.php   # green after #195 VM
./phpc run examples/007-ThrowsWeb/example.php
./phpc serve 127.0.0.1:8080 examples/007-ThrowsWeb
curl -sf -X POST -d 'email=bad' http://127.0.0.1:8080/example.php | grep -i invalid

• Listed in examples/README.md run matrix (VM column; JIT/AOT deferred)
• test/unit/ExamplesCompileTest.php discovers 007 when lint green
• examples-web-smoke.sh slice opt-in via THROWS_WEB_SMOKE_GATE=0 default until stable

Verification (local / Docker)

./script/ci-fast.sh
docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev ./script/ci-fast.sh

No GitHub Actions required.

Dependencies

• Language: throw expressions and Exception object propagation #195 — throw + builtin Exception VM
• Language: try/catch/finally lowering #57 — try/catch (for caught-path demo)
• Web: Map uncaught exceptions to HTTP 500 in serve driver #152 ✅ — serve HTTP 500 mapping
• Language: Class methods and property access in JIT #58 — object method calls (getMessage)

Links

• ROADMAP 🗺️ ROADMAP: Self-host + web-capable PHP subset (living) #78 Phase 4 polish · Security: MiniWebApp contact POST validation and body limits (dev + deploy) #697 · Docs: Production deployment guide (nginx + AOT binary + CGI/FastCGI) #445 production guide

---

Implementation hints (batch 120)

Proposed tree

examples/007-ThrowsWeb/
  example.php          # POST form; caught Exception → HTML; doc uncaught 500 path
  phpc.json            # { "entry": "example.php", "binary": ".phpc/bin/app" }
  README.md            # curls + gate ladder

Gate ladder (mirror 005/006)

Step	Env / command	Issue
VM lint + run	./phpc lint / run / serve	this issue
Web smoke	THROWSWEB_WEB_SMOKE_GATE=1	#2093
Init scaffold	./phpc init --profile throwsweb	#2092
Init parity	check-init-throwsweb-parity.sh	#2086
AOT link	THROWSWEB_AOT_LINK_GATE=1	#2101
AOT execute	THROWSWEB_AOT_SMOKE_GATE=1	#2101
Benchmark row	BENCH_THROWSWEB=1 rebuild-examples	#2113
doctor	./phpc doctor --gates	#2102

Tests to touch

• test/unit/ExamplesCompileTest.php — auto-discover 007 when lint passes (CI: check-examples-ladder-discovery.php — examples/ dirs ↔ ExamplesCompileTest #1913 pattern)
• test/unit/ExamplesWebSmokeTest.php or script/examples-web-smoke.sh — Testing: THROWSWEB_WEB_SMOKE_GATE + examples-web-smoke 007 slice #2093
• Optional: test/aot/ThrowsWebAotExecuteTest.php — Testing: THROWSWEB_AOT_LINK_GATE + THROWSWEB_AOT_SMOKE_GATE (007-ThrowsWeb) #2101

Makefile / CI

• make web-smoke — include lint path when dir exists
• Do not default-on ci-local until VM curls stable (same as early 005)

File map (language)

Need	Blocker
throw new Exception(...)	#195
catch (Exception $e)	#57 + #2084 PHPTs
$e->getMessage()	#58 method calls

Verify on harness:

docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev ./script/ci-fast.sh

[PurHur]

PM dependency ladder (batch 117)

Reference-app track after 006-FileUploadWeb deploy ladder lands.

Prerequisite	Issue	Why
try/catch VM compliance	#2084 (phase 1 of #57)	Example needs caught exceptions green in VM
Language lowering	#195	throw/catch JIT/AOT (defer AOT column until green)
Init parity checker	#2086	After tree exists — mirror #2029 / 006 pattern
Public status row	#2039	Add 007 row when example ships

Parallel (not blocking VM demo): #2055 / #1997 — dynamic $fn() for router plugins.

North star: NS1 polish — does not block NS2 #1492.

[PurHur]

PM ladder (batch 119) — execution order

#2084  try/catch compliance PHPT pack (phase 1 of #57)
   ↓
#2076  this issue — examples/007-ThrowsWeb tree
   ↓
#2092  phpc init --profile throwsweb
#2093  THROWSWEB_WEB_SMOKE_GATE + examples-web-smoke slice
#2094  ROOT_README + examples README row
#2086  check-init-throwsweb-parity.sh

Blocked now: #2084 (language tests) + #195/#57 semantics — not web-example work.

Parallel (do not confuse with NS1): example fixtures only; north star remains #1492.