Checked current main dd5b5401e1 with the real web/dev server on Linux. Codex children launched in both wait and async modes had no watch_pull_request or unwatch_pull_request tools; the async completion woke its parent with the result. The reported PR-watch sequence is no longer available after e641761e2a: PR watching belongs to the parent.
The focused HTTP tool-visibility check passed (1 test), as did the background-follow-up delivery checks (2 tests). Runtime transcript. This used same-environment delegation; existing legacy watches and linked-environment replay were not exercised. Closing as addressed by the child-watch removal on main.