main: f6503f0e71 (github/main)
pr: d725c0974e3227dc9b245e0b33df2e791f1cfc0c
main dev: server 16733, web 8693, stopped before PR startup
pr dev: server 13773, web 5733
client: repository Playwright 1.60.0, /usr/bin/google-chrome, 1440x1000
source control: real local Forgejo 14.0.2, tea 0.16.0
projects added using app: pr-refresh-verification and unreadable-project
provider: Codex gpt-6.1-sol through local proxy, real completed turns in both apps
main provider committed d6c8361 on verify-pr-refresh
scenario: one real local authored PR, missing repository returns HTTP 404
close scenario PR externally: HTTP 201 closed; GET open pulls: HTTP 200, 0 rows
main websocket: entries=[], errors=[unreadable-project: verifier/missing-repository could not be read.]
main rendered after Refresh: Authored 1, Open #1; detail says Closed
pr websocket: entries=[], same unreadable-project error
pr rendered after Refresh: Nothing under these filters; stale Authored row absent
neighbor: Closed filter shows Closed #1
neighbor: reopen externally, select Open and Refresh; Authored 1 and Open #1 return; detail opens
checks: blacksmith vp test run pullRequestList.logic.test.ts: 36 passed
checks: blacksmith vp run check:changed HEAD^: format, lint, knip, affected typecheck, focused tests, react compiler all passed