{
  "result": "PASS real PullRequestService routing, URL-aware memory and persisted cache, permission queries, comments, explicit failure",
  "runtime": "Real PullRequestService + GitLab provider/CLI/VcsProcess + real on-disk PullRequestReadCache and SQLite marks; project and unrelated service sources supplied by harness",
  "proof_limit": "No SyncReactor/WatchReactor or orchestrator persistence exercised; stored URL references are supplied directly to the real service",
  "no_gitlab_host_override": true,
  "cases": [
    {
      "label": "SSH checkout API path",
      "ref": {
        "projectId": "ssh-2",
        "host": "127.0.0.1",
        "repository": "gitlab/team/subgroup/project",
        "number": 1
      },
      "summary_url": "http://127.0.0.1:8924/gitlab/gitlab/team/subgroup/project/-/merge_requests/1",
      "detail_url": "http://127.0.0.1:8924/gitlab/gitlab/team/subgroup/project/-/merge_requests/1",
      "read_only": true
    },
    {
      "label": "stored browser URL overrides matching SSH checkout",
      "ref": {
        "projectId": "ssh-2",
        "host": "127.0.0.1",
        "repository": "gitlab/team/subgroup/project",
        "number": 1,
        "webUrl": "http://127.0.0.1:8924/gitlab/team/subgroup/project/-/merge_requests/1"
      },
      "summary_url": "http://127.0.0.1:8924/gitlab/team/subgroup/project/-/merge_requests/1",
      "detail_url": "http://127.0.0.1:8924/gitlab/team/subgroup/project/-/merge_requests/1",
      "permission_and_write_project_ids": [
        1,
        1
      ],
      "persisted_note": {
        "id": 28,
        "body": "T3 real service round4 stored browser URL overrides matching SSH checkout project 1 1792396357401"
      },
      "collision_unchanged": true
    },
    {
      "label": "second stored browser URL on identical tuple",
      "ref": {
        "projectId": "ssh-2",
        "host": "127.0.0.1",
        "repository": "gitlab/team/subgroup/project",
        "number": 1,
        "webUrl": "http://127.0.0.1:8924/gitlab/gitlab/team/subgroup/project/-/merge_requests/1"
      },
      "summary_url": "http://127.0.0.1:8924/gitlab/gitlab/team/subgroup/project/-/merge_requests/1",
      "detail_url": "http://127.0.0.1:8924/gitlab/gitlab/team/subgroup/project/-/merge_requests/1",
      "permission_and_write_project_ids": [
        2,
        2
      ],
      "persisted_note": {
        "id": 29,
        "body": "T3 real service round4 second stored browser URL on identical tuple project 2 1792396360078"
      },
      "collision_unchanged": true
    }
  ],
  "http_checkout": {
    "cases": [
      {
        "label": "HTTP checkout explicit raw selector",
        "ref": {
          "projectId": "http-1",
          "host": "127.0.0.1",
          "repository": "gitlab/team/subgroup/project",
          "number": 1,
          "webUrl": null
        },
        "summary_url": "http://127.0.0.1:8924/gitlab/gitlab/team/subgroup/project/-/merge_requests/1",
        "detail_url": "http://127.0.0.1:8924/gitlab/gitlab/team/subgroup/project/-/merge_requests/1",
        "title": "Fixture MR in gitlab/team/subgroup/project"
      },
      {
        "label": "HTTP checkout ordinary inherited URL",
        "ref": {
          "projectId": "http-1",
          "host": "127.0.0.1",
          "repository": "gitlab/team/subgroup/project",
          "number": 1
        },
        "summary_url": "http://127.0.0.1:8924/gitlab/team/subgroup/project/-/merge_requests/1",
        "detail_url": "http://127.0.0.1:8924/gitlab/team/subgroup/project/-/merge_requests/1",
        "title": "Fixture MR in team/subgroup/project"
      }
    ],
    "persisted_cache_restored": true,
    "glab_reads_on_fresh_service": 0
  },
  "persisted_cache": {
    "cacheDir": "/tmp/worktree-git-11/20241-r4-service-cache-1792396355053",
    "restored_urls": [
      "http://127.0.0.1:8924/gitlab/gitlab/team/subgroup/project/-/merge_requests/1",
      "http://127.0.0.1:8924/gitlab/team/subgroup/project/-/merge_requests/1",
      "http://127.0.0.1:8924/gitlab/gitlab/team/subgroup/project/-/merge_requests/1"
    ],
    "glab_reads_on_fresh_service": 0
  },
  "failed_explicit_url": {
    "read_and_write_failed": true,
    "collision_unchanged": true
  },
  "calls": [
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 2,
      "path_with_namespace": "gitlab/team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "user"
      ]
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 2,
      "path_with_namespace": "gitlab/team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "repo",
        "view",
        "http://127.0.0.1:8924/gitlab/team/subgroup/project",
        "--output",
        "json"
      ],
      "project_id": 1,
      "path_with_namespace": "team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 1,
      "path_with_namespace": "team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 1,
      "path_with_namespace": "team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/1/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/2/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject/merge_requests/1/notes",
        "--method",
        "POST",
        "--input",
        "-",
        "--header",
        "Content-Type: application/json"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/1/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/2/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "repo",
        "view",
        "http://127.0.0.1:8924/gitlab/gitlab/team/subgroup/project",
        "--output",
        "json"
      ],
      "project_id": 2,
      "path_with_namespace": "gitlab/team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 2,
      "path_with_namespace": "gitlab/team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 2,
      "path_with_namespace": "gitlab/team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/1/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/2/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject/merge_requests/1/notes",
        "--method",
        "POST",
        "--input",
        "-",
        "--header",
        "Content-Type: application/json"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/1/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/2/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 2,
      "path_with_namespace": "gitlab/team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 1,
      "path_with_namespace": "team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 2,
      "path_with_namespace": "gitlab/team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 2,
      "path_with_namespace": "gitlab/team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "user"
      ]
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/gitlab%2Fteam%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 2,
      "path_with_namespace": "gitlab/team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "repo",
        "view",
        "http://127.0.0.1:8924/gitlab/team/subgroup/project.git",
        "--output",
        "json"
      ],
      "project_id": 1,
      "path_with_namespace": "team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 1,
      "path_with_namespace": "team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject/merge_requests/1?include_diverged_commits_count=true"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/team%2Fsubgroup%2Fproject?license=false"
      ],
      "project_id": 1,
      "path_with_namespace": "team/subgroup/project"
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/1/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/2/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 2
    },
    {
      "command": "glab",
      "args": [
        "repo",
        "view",
        "http://127.0.0.1:8924/gitlab/unavailable/project",
        "--output",
        "json"
      ],
      "failed": true
    },
    {
      "command": "glab",
      "args": [
        "repo",
        "view",
        "http://127.0.0.1:8924/gitlab/unavailable/project",
        "--output",
        "json"
      ],
      "failed": true
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/1/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 1
    },
    {
      "command": "glab",
      "args": [
        "api",
        "projects/2/merge_requests/1/notes?per_page=100"
      ],
      "project_id": 2
    }
  ],
  "head": "12b3a0c5bdf9467e1f22ae1d8b86d4ba67032294",
  "glab_host_alias": "Host-only 127.0.0.1 is configured to fixture API port 8924/gitlab; not a universal production-port claim",
  "repository_unchanged": true
}
