{"fixture": "P19.e", "kind": "capture-provenance", "recording": "labelled production service harness with controlled adapters", "revision": "bb35b941115a0a9f818e8512eebe67c29ee68355", "session": "P19", "sourceRun": "/tmp/lead-21046-r2/capture/2026-10-28T17-54-04-297Z-harness-after"}
{"kind": "provenance", "label": "after", "revision": "bb35b941115a0a9f818e8512eebe67c29ee68355", "row": "P19", "seq": 1, "type": "external deterministic service harness; controlled workflow fake + TestClock; no real server", "virtualTimeMs": 0}
{"actual": {"reads": 0, "value": null}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P19", "seq": 2, "test": "no-local skips missing-PR lookup", "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 1, "row": "P19", "seq": 3, "virtualTimeMs": 0}
{"event": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "remote": null}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 0, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": false, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "pr": null, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "observer": "passive-1", "row": "P19", "seq": 4, "virtualTimeMs": 0}
{"allowed": true, "input": {"cwd": "/proof/repo", "type": "vcs-status"}, "kind": "background-policy", "row": "P19", "seq": 5, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 6, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P19", "seq": 7, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 1, "options": {"refreshMissingPullRequest": true, "refreshUpstream": false}, "row": "P19", "seq": 8, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}, "virtualTimeMs": 0}
{"kind": "remote-read-return", "n": 1, "row": "P19", "seq": 9, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 10, "virtualTimeMs": 0}
{"actual": {"reads": 1, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P19", "seq": 11, "test": "local plus absent remote is eligible", "virtualTimeMs": 0}
{"kind": "invalidate-local", "row": "P19", "seq": 12, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 2, "row": "P19", "seq": 13, "virtualTimeMs": 0}
{"kind": "invalidate-all", "row": "P19", "seq": 14, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 15, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P19", "seq": 16, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 2, "options": {"refreshUpstream": true}, "row": "P19", "seq": 17, "value": null, "virtualTimeMs": 0}
{"kind": "remote-read-return", "n": 2, "row": "P19", "seq": 18, "value": null, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 19, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 3, "row": "P19", "seq": 20, "virtualTimeMs": 0}
{"actual": {"reads": 0, "value": null}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P19", "seq": 21, "test": "cached remote value null skips lookup", "virtualTimeMs": 0}
{"kind": "invalidate-local", "row": "P19", "seq": 22, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 4, "row": "P19", "seq": 23, "virtualTimeMs": 0}
{"kind": "invalidate-all", "row": "P19", "seq": 24, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 25, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P19", "seq": 26, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 3, "options": {"refreshUpstream": true}, "row": "P19", "seq": 27, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": null}, "virtualTimeMs": 0}
{"kind": "remote-read-return", "n": 3, "row": "P19", "seq": 28, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": null}, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 29, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 5, "row": "P19", "seq": 30, "virtualTimeMs": 0}
{"allowed": true, "input": {"cwd": "/proof/repo", "type": "vcs-status"}, "kind": "background-policy", "row": "P19", "seq": 31, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 32, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P19", "seq": 33, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 4, "options": {"refreshMissingPullRequest": true, "refreshUpstream": false}, "row": "P19", "seq": 34, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": null}, "virtualTimeMs": 0}
{"kind": "remote-read-return", "n": 4, "row": "P19", "seq": 35, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": null}, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 36, "virtualTimeMs": 0}
{"actual": 1, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P19", "seq": 37, "test": "remote object with PR null remains eligible", "virtualTimeMs": 0}
{"actual": {"refreshMissingPullRequest": true, "refreshUpstream": false}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P19", "seq": 38, "test": "missing-PR options exact", "virtualTimeMs": 0}
{"kind": "invalidate-local", "row": "P19", "seq": 39, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 6, "row": "P19", "seq": 40, "virtualTimeMs": 0}
{"kind": "invalidate-all", "row": "P19", "seq": 41, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 42, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P19", "seq": 43, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 5, "options": {"refreshUpstream": true}, "row": "P19", "seq": 44, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}, "virtualTimeMs": 0}
{"kind": "remote-read-return", "n": 5, "row": "P19", "seq": 45, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 46, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 7, "row": "P19", "seq": 47, "virtualTimeMs": 0}
{"allowed": true, "input": {"cwd": "/proof/repo", "type": "vcs-status"}, "kind": "background-policy", "row": "P19", "seq": 48, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 49, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P19", "seq": 50, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 6, "options": {"refreshMissingPullRequest": true, "refreshUpstream": false}, "row": "P19", "seq": 51, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}, "virtualTimeMs": 0}
{"kind": "remote-read-return", "n": 6, "row": "P19", "seq": 52, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 53, "virtualTimeMs": 0}
{"actual": 1, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P19", "seq": 54, "test": "existing PR still calls workflow reader", "virtualTimeMs": 0}
{"allowed": false, "input": {"cwd": "/proof/repo", "type": "vcs-status"}, "kind": "background-policy", "row": "P19", "seq": 55, "virtualTimeMs": 0}
{"actual": 0, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P19", "seq": 56, "test": "denied policy skips lookup", "virtualTimeMs": 0}
{"event": {"_tag": "remoteUpdated", "remote": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "observer": "passive-1", "row": "P19", "seq": 57, "virtualTimeMs": 0}
{"event": {"_tag": "remoteUpdated", "remote": null}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 0, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": false, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "pr": null, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "observer": "passive-1", "row": "P19", "seq": 58, "virtualTimeMs": 0}
{"event": {"_tag": "remoteUpdated", "remote": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": null}}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "pr": null, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "observer": "passive-1", "row": "P19", "seq": 59, "virtualTimeMs": 0}
{"event": {"_tag": "remoteUpdated", "remote": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "observer": "passive-1", "row": "P19", "seq": 60, "virtualTimeMs": 0}
{"allowed": true, "input": {"cwd": "/proof/repo", "type": "vcs-status"}, "kind": "background-policy", "row": "P19", "seq": 61, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P19", "seq": 62, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P19", "seq": 63, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 7, "options": {"refreshMissingPullRequest": true, "refreshUpstream": false}, "row": "P19", "seq": 64, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}, "virtualTimeMs": 0}
{"kind": "upstream-held", "read": 7, "row": "P19", "seq": 65, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}, "virtualTimeMs": 0}
{"kind": "checkpoint", "name": "missing-PR-held", "pending": true, "remoteReads": 7, "row": "P19", "seq": 66, "virtualTimeMs": 0}
{"kind": "mutation", "phase": "missing-PR-inflight-A-to-B", "row": "P19", "seq": 67, "virtualTimeMs": 0}
{"kind": "upstream-release", "read": 7, "row": "P19", "seq": 68, "virtualTimeMs": 0}
{"kind": "remote-read-return", "n": 7, "row": "P19", "seq": 69, "value": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "A", "number": 613, "state": "open", "title": "Fixture A", "url": "https://github.com/proof-audit/status-fixture/pull/613"}}, "virtualTimeMs": 0}
{"branch": "B", "kind": "branch-probe", "row": "P19", "seq": 70, "virtualTimeMs": 0}
{"kind": "invalidate-local", "row": "P19", "seq": 71, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 8, "row": "P19", "seq": 72, "virtualTimeMs": 0}
{"event": {"_tag": "remoteUpdated", "remote": null}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 0, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": false, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "pr": null, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "observer": "passive-1", "row": "P19", "seq": 73, "virtualTimeMs": 0}
{"event": {"_tag": "localUpdated", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 0, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": false, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "pr": null, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "observer": "passive-1", "row": "P19", "seq": 74, "virtualTimeMs": 0}
{"event": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "remote": null}, "kind": "snapshot", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 0, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": false, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "pr": null, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "name": "discarded-A", "row": "P19", "seq": 75, "virtualTimeMs": 0}
{"actual": {"discarded": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "remote": null}, "value": null}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P19", "seq": 76, "test": "incompatible missing-PR response discarded", "virtualTimeMs": 0}
{"allowed": false, "input": {"cwd": "/proof/repo", "type": "vcs-status"}, "kind": "background-policy", "row": "P19", "seq": 77, "virtualTimeMs": 0}
{"actual": 0, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P19", "seq": 78, "test": "denied after discard owns no lookup", "virtualTimeMs": 0}
{"allowed": true, "input": {"cwd": "/proof/repo", "type": "vcs-status"}, "kind": "background-policy", "row": "P19", "seq": 79, "virtualTimeMs": 0}
{"branch": "B", "kind": "branch-probe", "row": "P19", "seq": 80, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P19", "seq": 81, "virtualTimeMs": 0}
{"branch": "B", "kind": "remote-read-start", "n": 8, "options": {"refreshMissingPullRequest": true, "refreshUpstream": false}, "row": "P19", "seq": 82, "value": {"aheadCount": 0, "aheadOfDefaultCount": 2, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "B", "number": 614, "state": "open", "title": "Fixture B", "url": "https://github.com/proof-audit/status-fixture/pull/614"}}, "virtualTimeMs": 0}
{"kind": "remote-read-return", "n": 8, "row": "P19", "seq": 83, "value": {"aheadCount": 0, "aheadOfDefaultCount": 2, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "B", "number": 614, "state": "open", "title": "Fixture B", "url": "https://github.com/proof-audit/status-fixture/pull/614"}}, "virtualTimeMs": 0}
{"branch": "B", "kind": "branch-probe", "row": "P19", "seq": 84, "virtualTimeMs": 0}
{"event": {"_tag": "remoteUpdated", "remote": {"aheadCount": 0, "aheadOfDefaultCount": 2, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "B", "number": 614, "state": "open", "title": "Fixture B", "url": "https://github.com/proof-audit/status-fixture/pull/614"}}}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 2, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "pr": {"baseRef": "main", "headRef": "B", "number": 614, "state": "open", "title": "Fixture B", "url": "https://github.com/proof-audit/status-fixture/pull/614"}, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "observer": "passive-1", "row": "P19", "seq": 85, "virtualTimeMs": 0}
{"event": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "remote": {"aheadCount": 0, "aheadOfDefaultCount": 2, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "B", "number": 614, "state": "open", "title": "Fixture B", "url": "https://github.com/proof-audit/status-fixture/pull/614"}}}, "kind": "snapshot", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 2, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "pr": {"baseRef": "main", "headRef": "B", "number": 614, "state": "open", "title": "Fixture B", "url": "https://github.com/proof-audit/status-fixture/pull/614"}, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "name": "recovered-B", "row": "P19", "seq": 86, "virtualTimeMs": 0}
{"actual": {"recovered": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": false, "isDefaultRef": false, "isRepo": true, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "remote": {"aheadCount": 0, "aheadOfDefaultCount": 2, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "B", "number": 614, "state": "open", "title": "Fixture B", "url": "https://github.com/proof-audit/status-fixture/pull/614"}}}, "value": {"aheadCount": 0, "aheadOfDefaultCount": 2, "behindCount": 0, "hasUpstream": true, "pr": {"baseRef": "main", "headRef": "B", "number": 614, "state": "open", "title": "Fixture B", "url": "https://github.com/proof-audit/status-fixture/pull/614"}}}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P19", "seq": 87, "test": "allowed next missing-PR lookup recovers B PR", "virtualTimeMs": 0}
{"kind": "complete", "row": "P19", "seq": 88, "virtualTimeMs": 0}