pr 32905 real dev verification
main e4d86abca9c0d0ddd8107ea557f2e0c879632cf3
pr 6f5d96b5233f4123e8fc79c7240936e8e2944514

both checkouts: vp i; background vp run dev with isolated empty state
main ports: server 16733, web 8693 (stopped before pr)
pr ports: server 13773, web 5733
client: repository Playwright 1.60.0 with /usr/bin/google-chrome
project added via Add project > Local folder: /home/user/no-remote-verification
same initial data: main + feature branch, one empty initial commit, zero remotes
codex gpt-6.1-sol turns sent via web composer on both versions
both returned feature, clean working tree, no remotes

live server trace summaries (effect-span records named resolvePrimaryRemoteName):
main: 12 lookup spans, 12 failed, 0 successful
t3code: 65 lookup spans, 0 failed, 65 successful

main diagnostics displayed repeated No git remote is configured failures.
pr diagnostics had no failed remote-lookup spans; unrelated failures remain visible.

pr codex created README.md, committed it as 50917d8, and the real Changes panel showed +1/-0 against main.

authenticated web-client WebSocket requests to /ws?orchestrationProtocol=2:
{
  "method": "vcs.pull",
  "payload": {
    "cwd": "/home/user/no-remote-verification"
  },
  "result": {
    "_tag": "Exit",
    "requestId": "32905",
    "exit": {
      "_tag": "Failure",
      "cause": [
        {
          "_tag": "Fail",
          "error": {
            "_tag": "GitCommandError",
            "operation": "GitVcsDriver.pullCurrentBranch",
            "command": "git",
            "cwd": "/home/user/no-remote-verification",
            "argumentCount": 2,
            "detail": "Current branch has no upstream configured. Push with upstream first."
          }
        }
      ]
    }
  }
}
{
  "method": "git.runStackedAction",
  "payload": {
    "actionId": "verify-32905-push-no-remote",
    "cwd": "/home/user/no-remote-verification",
    "action": "push"
  },
  "result": {
    "_tag": "Exit",
    "requestId": "32905",
    "exit": {
      "_tag": "Failure",
      "cause": [
        {
          "_tag": "Fail",
          "error": {
            "_tag": "GitCommandError",
            "operation": "GitVcsDriver.pushCurrentBranch",
            "command": "git",
            "cwd": "/home/user/no-remote-verification",
            "argumentCount": 1,
            "detail": "Cannot push because no git remote is configured for this repository."
          }
        }
      ]
    }
  }
}
{
  "method": "git.runStackedAction",
  "payload": {
    "actionId": "verify-32905-push-upstream",
    "cwd": "/home/user/no-remote-verification",
    "action": "push"
  },
  "result": {
    "_tag": "Exit",
    "requestId": "32905",
    "exit": {
      "_tag": "Success",
      "value": null
    }
  }
}

successful push used a real local bare repository, sole remote named upstream.
bare repository refs/heads/feature = 50917d86735e595af03010be9eec9cf92d58f063

blacksmith: focused regression 1 passed; neighboring remote/upstream/push/pull/fetch selection 76 passed
existing CI at exact pr head: 33 successful, 0 failing, 0 pending
no source changes needed. no commits or pushes to the pr.

limits: native desktop/mobile, macOS/Windows, external hosted remote operations were not exercised.
exact no-remote fetchRefCommit rejection was tested on blacksmith, not through the web app: provider detection rejects earlier.
resource monitor binary is absent on this linux VM; unrelated diagnostics failures are not attributed to this pr.