PR 32932 real dev verification, 2026-11-10

main: 2922e8fb5952277793e0915b6adbceb58ebef1b0
head: 0e69ee9017b1b2ceddf7573a76c1acec3553a1d9

Both checkouts installed with timeout 600 vp i.
Main: background vp run dev, server 16733, web 8693, isolated /home/user/main/.t3.
PR: background vp run dev --home-dir /home/user/t3code/.t3 --no-seed, server 13773, web 5733.
Only one dev server ran at a time.
Browser: repo Playwright 1.60.0, /usr/bin/google-chrome, 1440x1000.
Project created in web UI with Local folder: /home/user/alias-repo.
Real repository origin: git@github-work:pingdotgg/t3code.git.
Main UI: Pull requests > Filters > Project > alias-repo > Check again => Nothing under these filters.
Control: gh pr list --repo pingdotgg/t3code --state open --limit 3 returned open PRs.
PR UI, same app-created project and filter: open PR list loaded; searching 32932 returned the target; Summary and expanded Code diff loaded.

Authenticated WebSocket requests to running PR server:
method pullRequests.list
payload {state:"open",involvement:"all",projectId:"c6a97d99-1545-413c-b590-9ebdfbf3fd21",limit:5,query:"32932"}

origin git@github-work:pingdotgg/t3code.git
{"result":{"rpc":"Exit","result":"Success","providers":[{"host":"github.com","kind":"github","projectCount":1}],"entries":[{"project":"alias-repo","host":"github.com","repository":"pingdotgg/t3code","number":32932,"title":"fix(github): find pull requests for SSH aliases","state":"open"}],"errors":[]}}

origin https://github.com/pingdotgg/t3code.git
{"result":{"rpc":"Exit","result":"Success","providers":[{"host":"github.com","kind":"github","projectCount":1}],"entries":[{"project":"alias-repo","host":"github.com","repository":"pingdotgg/t3code","number":32932,"title":"fix(github): find pull requests for SSH aliases","state":"open"}],"errors":[]}}

origin ssh://git@github-ci:22/pingdotgg/t3code.git
{"result":{"rpc":"Exit","result":"Success","providers":[{"host":"github.com","kind":"github","projectCount":1}],"entries":[{"project":"alias-repo","host":"github.com","repository":"pingdotgg/t3code","number":32932,"title":"fix(github): find pull requests for SSH aliases","state":"open"}],"errors":[]}}

Original origin restored and confirmed: git@github-work:pingdotgg/t3code.git.

Real Codex gpt-6.1-sol turn submitted in web UI, project alias-repo.
Thread 5b006888-aa5f-49f4-8609-2ed5037a94ec completed in 19s.
Command: timeout 20 git remote get-url origin
Output: git@github-work:pingdotgg/t3code.git
Provider reported list_pull_requests unavailable. No provider MCP listing claim is made.

Blacksmith: 3 focused GitHub test files, 66 tests passed.
Blacksmith: vp run check:changed origin/main passed format, lint, knip, generated GraphQL, affected typecheck (11 packages), and tests.
Existing CI: 29 successful, 0 failing, 0 pending.
No source changes, commits, or pushes.
Unverified: native desktop/mobile, macOS/Windows, relay/tunnel, enterprise GitHub live API, arbitrary SSH-config expansion, SSH fetch/push, provider MCP PR listing.