{"fixture": "P10.d", "kind": "capture-provenance", "recording": "labelled production service harness with controlled adapters", "revision": "bb35b941115a0a9f818e8512eebe67c29ee68355", "session": "P10-stage-pre-probe", "sourceRun": "/tmp/lead-21046-r2/capture/2026-10-28T17-54-03-990Z-harness-after"}
{"kind": "provenance", "label": "after", "revision": "bb35b941115a0a9f818e8512eebe67c29ee68355", "row": "P10-stage-pre-probe", "seq": 1, "type": "external deterministic service harness; controlled workflow fake + TestClock; no real server", "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": "P10-stage-pre-probe", "seq": 2, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P10-stage-pre-probe", "seq": 3, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P10-stage-pre-probe", "seq": 4, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 1, "options": {"refreshUpstream": true}, "row": "P10-stage-pre-probe", "seq": 5, "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": "P10-stage-pre-probe", "seq": 6, "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": "P10-stage-pre-probe", "seq": 7, "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": {"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": "P10-stage-pre-probe", "seq": 8, "virtualTimeMs": 0}
{"kind": "invalidate-local", "row": "P10-stage-pre-probe", "seq": 9, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 2, "row": "P10-stage-pre-probe", "seq": 10, "virtualTimeMs": 0}
{"kind": "invalidate-all", "row": "P10-stage-pre-probe", "seq": 11, "virtualTimeMs": 0}
{"byMs": 0, "kind": "clock-advance", "row": "P10-stage-pre-probe", "seq": 12, "virtualTimeMs": 0}
{"event": {"_tag": "localUpdated", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": true, "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": "P10-stage-pre-probe", "seq": 13, "virtualTimeMs": 0}
{"event": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "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": "snapshot", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": true, "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}}, "name": "after-stage-failure", "row": "P10-stage-pre-probe", "seq": 14, "virtualTimeMs": 0}
{"exit": {"_id": "Exit", "_tag": "Failure", "cause": {"_id": "Cause", "failures": [{"_tag": "Fail", "error": {"_tag": "GitManagerError", "cwd": "/proof/repo", "detail": "controlled probe failure", "operation": "proof.branch-probe"}}]}}, "kind": "result", "remoteReadsOwned": 0, "row": "P10-stage-pre-probe", "seq": 15, "snapshot": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "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"}}}, "stage": "pre-probe", "virtualTimeMs": 0}
{"actual": {"_id": "Exit", "_tag": "Failure", "cause": {"_id": "Cause", "failures": [{"_tag": "Fail", "error": {"_tag": "GitManagerError", "cwd": "/proof/repo", "detail": "controlled probe failure", "operation": "proof.branch-probe"}}]}}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P10-stage-pre-probe", "seq": 16, "test": "stage-failure-propagates", "virtualTimeMs": 0}
{"actual": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "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"}}}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P10-stage-pre-probe", "seq": 17, "test": "prior-dirty-local-retained", "virtualTimeMs": 0}
{"actual": {"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": "P10-stage-pre-probe", "seq": 18, "test": "no-new-remote-accepted", "virtualTimeMs": 0}
{"kind": "complete", "row": "P10-stage-pre-probe", "seq": 19, "virtualTimeMs": 0}
{"fixture": "P10.d", "kind": "capture-provenance", "recording": "labelled production service harness with controlled adapters", "revision": "bb35b941115a0a9f818e8512eebe67c29ee68355", "session": "P10-stage-post-probe", "sourceRun": "/tmp/lead-21046-r2/capture/2026-10-28T17-54-03-990Z-harness-after"}
{"kind": "provenance", "label": "after", "revision": "bb35b941115a0a9f818e8512eebe67c29ee68355", "row": "P10-stage-post-probe", "seq": 1, "type": "external deterministic service harness; controlled workflow fake + TestClock; no real server", "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": "P10-stage-post-probe", "seq": 2, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P10-stage-post-probe", "seq": 3, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P10-stage-post-probe", "seq": 4, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 1, "options": {"refreshUpstream": true}, "row": "P10-stage-post-probe", "seq": 5, "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": "P10-stage-post-probe", "seq": 6, "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": "P10-stage-post-probe", "seq": 7, "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": {"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": "P10-stage-post-probe", "seq": 8, "virtualTimeMs": 0}
{"kind": "invalidate-local", "row": "P10-stage-post-probe", "seq": 9, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 2, "row": "P10-stage-post-probe", "seq": 10, "virtualTimeMs": 0}
{"kind": "invalidate-all", "row": "P10-stage-post-probe", "seq": 11, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P10-stage-post-probe", "seq": 12, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P10-stage-post-probe", "seq": 13, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 2, "options": {"refreshUpstream": true}, "row": "P10-stage-post-probe", "seq": 14, "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": 2, "row": "P10-stage-post-probe", "seq": 15, "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}
{"byMs": 0, "kind": "clock-advance", "row": "P10-stage-post-probe", "seq": 16, "virtualTimeMs": 0}
{"event": {"_tag": "localUpdated", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": true, "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": "P10-stage-post-probe", "seq": 17, "virtualTimeMs": 0}
{"event": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "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": "snapshot", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": true, "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}}, "name": "after-stage-failure", "row": "P10-stage-post-probe", "seq": 18, "virtualTimeMs": 0}
{"exit": {"_id": "Exit", "_tag": "Failure", "cause": {"_id": "Cause", "failures": [{"_tag": "Fail", "error": {"_tag": "GitManagerError", "cwd": "/proof/repo", "detail": "controlled probe failure", "operation": "proof.branch-probe"}}]}}, "kind": "result", "remoteReadsOwned": 1, "row": "P10-stage-post-probe", "seq": 19, "snapshot": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "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"}}}, "stage": "post-probe", "virtualTimeMs": 0}
{"actual": {"_id": "Exit", "_tag": "Failure", "cause": {"_id": "Cause", "failures": [{"_tag": "Fail", "error": {"_tag": "GitManagerError", "cwd": "/proof/repo", "detail": "controlled probe failure", "operation": "proof.branch-probe"}}]}}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P10-stage-post-probe", "seq": 20, "test": "stage-failure-propagates", "virtualTimeMs": 0}
{"actual": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "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"}}}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P10-stage-post-probe", "seq": 21, "test": "prior-dirty-local-retained", "virtualTimeMs": 0}
{"actual": {"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": "P10-stage-post-probe", "seq": 22, "test": "no-new-remote-accepted", "virtualTimeMs": 0}
{"kind": "complete", "row": "P10-stage-post-probe", "seq": 23, "virtualTimeMs": 0}
{"fixture": "P10.d", "kind": "capture-provenance", "recording": "labelled production service harness with controlled adapters", "revision": "bb35b941115a0a9f818e8512eebe67c29ee68355", "session": "P10-stage-mismatch-reconciliation", "sourceRun": "/tmp/lead-21046-r2/capture/2026-10-28T17-54-03-990Z-harness-after"}
{"kind": "provenance", "label": "after", "revision": "bb35b941115a0a9f818e8512eebe67c29ee68355", "row": "P10-stage-mismatch-reconciliation", "seq": 1, "type": "external deterministic service harness; controlled workflow fake + TestClock; no real server", "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": "P10-stage-mismatch-reconciliation", "seq": 2, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P10-stage-mismatch-reconciliation", "seq": 3, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P10-stage-mismatch-reconciliation", "seq": 4, "virtualTimeMs": 0}
{"branch": "A", "kind": "remote-read-start", "n": 1, "options": {"refreshUpstream": true}, "row": "P10-stage-mismatch-reconciliation", "seq": 5, "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": "P10-stage-mismatch-reconciliation", "seq": 6, "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": "P10-stage-mismatch-reconciliation", "seq": 7, "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": {"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": "P10-stage-mismatch-reconciliation", "seq": 8, "virtualTimeMs": 0}
{"kind": "invalidate-local", "row": "P10-stage-mismatch-reconciliation", "seq": 9, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 2, "row": "P10-stage-mismatch-reconciliation", "seq": 10, "virtualTimeMs": 0}
{"kind": "invalidate-all", "row": "P10-stage-mismatch-reconciliation", "seq": 11, "virtualTimeMs": 0}
{"branch": "A", "kind": "branch-probe", "row": "P10-stage-mismatch-reconciliation", "seq": 12, "virtualTimeMs": 0}
{"kind": "invalidate-remote", "row": "P10-stage-mismatch-reconciliation", "seq": 13, "virtualTimeMs": 0}
{"branch": "B", "kind": "remote-read-start", "n": 2, "options": {"refreshUpstream": true}, "row": "P10-stage-mismatch-reconciliation", "seq": 14, "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": 2, "row": "P10-stage-mismatch-reconciliation", "seq": 15, "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": "P10-stage-mismatch-reconciliation", "seq": 16, "virtualTimeMs": 0}
{"kind": "invalidate-local", "row": "P10-stage-mismatch-reconciliation", "seq": 17, "virtualTimeMs": 0}
{"kind": "local-read", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "B", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "n": 3, "row": "P10-stage-mismatch-reconciliation", "seq": 18, "virtualTimeMs": 0}
{"byMs": 0, "kind": "clock-advance", "row": "P10-stage-mismatch-reconciliation", "seq": 19, "virtualTimeMs": 0}
{"event": {"_tag": "localUpdated", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}}, "kind": "stream", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": true, "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": "P10-stage-mismatch-reconciliation", "seq": 20, "virtualTimeMs": 0}
{"event": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "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": "snapshot", "merged": {"aheadCount": 0, "aheadOfDefaultCount": 1, "behindCount": 0, "branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasUpstream": true, "hasWorkingTreeChanges": true, "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}}, "name": "after-stage-failure", "row": "P10-stage-mismatch-reconciliation", "seq": 21, "virtualTimeMs": 0}
{"exit": {"_id": "Exit", "_tag": "Failure", "cause": {"_id": "Cause", "failures": [{"_tag": "Fail", "error": {"_tag": "GitManagerError", "cwd": "/proof/repo", "detail": "controlled mismatch reconciliation failure", "operation": "proof.local-reconciliation"}}]}}, "kind": "result", "remoteReadsOwned": 1, "row": "P10-stage-mismatch-reconciliation", "seq": 22, "snapshot": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "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"}}}, "stage": "mismatch-reconciliation", "virtualTimeMs": 0}
{"actual": {"_id": "Exit", "_tag": "Failure", "cause": {"_id": "Cause", "failures": [{"_tag": "Fail", "error": {"_tag": "GitManagerError", "cwd": "/proof/repo", "detail": "controlled mismatch reconciliation failure", "operation": "proof.local-reconciliation"}}]}}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P10-stage-mismatch-reconciliation", "seq": 23, "test": "stage-failure-propagates", "virtualTimeMs": 0}
{"actual": {"_tag": "snapshot", "local": {"branchChanges": {"baseRef": "origin/main", "deletions": 0, "insertions": 1}, "hasPrimaryRemote": true, "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, "refName": "A", "workingTree": {"deletions": 0, "files": [], "insertions": 0}}, "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"}}}, "expectedPredicate": true, "kind": "assertion", "observedPredicate": true, "outcome": "PASS", "row": "P10-stage-mismatch-reconciliation", "seq": 24, "test": "prior-dirty-local-retained", "virtualTimeMs": 0}
{"actual": {"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": "P10-stage-mismatch-reconciliation", "seq": 25, "test": "no-new-remote-accepted", "virtualTimeMs": 0}
{"kind": "complete", "row": "P10-stage-mismatch-reconciliation", "seq": 26, "virtualTimeMs": 0}