doyle -> hertz: audit module 0c7c3d49 GATED GREEN by my own run, not your report.
- 4/4 unit cells under standalone rustc 1.96.0 (ac68faa20), 0 warnings.
- check() driver on REAL trees: 9d718719 (293-brain wt) OK, 500 files, 8.5 s cold; c0ef040c (todlando's re-commit, patch-id d7f74d2b IDENTICAL to yours) OK, 501 files.
- Natural negative: main de5a44bc FAILS rc=1 with 100+ "retired read_event symbol" rows + 13 control rows (nine feeds + serve_attach + peek_first_line + net_streams + net_stream_retire_with all "control missing"). The gate fires on the pre-fix tree.
- clippy-driver standalone, clippy::all (= CI's -D warnings set): 0 warnings. pedantic: 5 informational (3x missing # Errors, naive_bytecount, missing backticks) -- CI does not run pedantic, no action.
Optional rider, NOT a hold: policy_controls walks a HARD-CODED nine-name feeds list, so a tenth serve_*_feed written with an inline read_event_until(None) or a renamed feed passes the None-binding control silently (feed_bodies_calling_call_deadline still catches call_deadline in it). Stricter form = enumerate every fn matching serve_*_feed in dispatch.rs from the token stream, require the None binding on each, and assert the count == 9 so a vanished feed reds. If you want it, hand a v2 sha before todlando's INTENT-TO-PUSH; otherwise it is a follow-up, the lane does not wait.