P10.d DiffT Before 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e After bb35b941115a0a9f818e8512eebe67c29ee68355 Threshold: ZERO semantic mismatches to declared oracle; ZERO reducer mismatches; all mandatory head assertions PASS. Compare each stream and service/upstream channel independently; ignore only cross-channel arrival interleaving. NOT_COMPARABLE_TO_BASE: The pre/post branch probes and mismatch reconciliation are new stages absent from the base. Each head stage is independently injected; no base trigger or timeout is represented. Declared oracle: Canonical typed error and last valid local remain; do not accept remote candidate after failed probe/reconciliation. Base has no probe stages: those variants head-only, reason explicit; common local-reconciliation error can be paired if reached. HEAD OBSERVATIONS (no fabricated base): { "services": { "P10-stage-mismatch-reconciliation": { "assertions": [ { "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, "observedPredicate": true, "outcome": "PASS", "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, "observedPredicate": true, "outcome": "PASS", "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, "observedPredicate": true, "outcome": "PASS", "test": "no-new-remote-accepted", "virtualTimeMs": 0 } ], "branchProbeChannel": [ { "branch": "A", "virtualTimeMs": 0 }, { "branch": "A", "virtualTimeMs": 0 }, { "branch": "A", "virtualTimeMs": 0 }, { "branch": "B", "virtualTimeMs": 0 } ], "checkpoints": [], "clockAdvances": [ { "byMs": 0, "virtualTimeMs": 0 } ], "finalResultsAndObservations": [ { "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, "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 } ], "invalidationChannel": [ { "kind": "invalidate-remote" }, { "kind": "invalidate-local" }, { "kind": "invalidate-all" }, { "kind": "invalidate-remote" }, { "kind": "invalidate-local" } ], "localReadChannel": [ { "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, "virtualTimeMs": 0 }, { "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, "virtualTimeMs": 0 }, { "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, "virtualTimeMs": 0 } ], "mutations": [], "pullChannel": [], "reconnects": [ { "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" } } }, "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", "virtualTimeMs": 0 } ], "rpcStarts": [], "upstreamChannel": [ { "branch": "A", "kind": "remote-read-start", "n": 1, "options": { "refreshUpstream": true }, "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, "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": "remote-read-start", "n": 2, "options": { "refreshUpstream": true }, "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, "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 } ] }, "P10-stage-post-probe": { "assertions": [ { "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, "observedPredicate": true, "outcome": "PASS", "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, "observedPredicate": true, "outcome": "PASS", "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, "observedPredicate": true, "outcome": "PASS", "test": "no-new-remote-accepted", "virtualTimeMs": 0 } ], "branchProbeChannel": [ { "branch": "A", "virtualTimeMs": 0 }, { "branch": "A", "virtualTimeMs": 0 }, { "branch": "A", "virtualTimeMs": 0 } ], "checkpoints": [], "clockAdvances": [ { "byMs": 0, "virtualTimeMs": 0 } ], "finalResultsAndObservations": [ { "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, "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 } ], "invalidationChannel": [ { "kind": "invalidate-remote" }, { "kind": "invalidate-local" }, { "kind": "invalidate-all" }, { "kind": "invalidate-remote" } ], "localReadChannel": [ { "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, "virtualTimeMs": 0 }, { "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, "virtualTimeMs": 0 } ], "mutations": [], "pullChannel": [], "reconnects": [ { "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" } } }, "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", "virtualTimeMs": 0 } ], "rpcStarts": [], "upstreamChannel": [ { "branch": "A", "kind": "remote-read-start", "n": 1, "options": { "refreshUpstream": true }, "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, "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": "remote-read-start", "n": 2, "options": { "refreshUpstream": true }, "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, "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 } ] }, "P10-stage-pre-probe": { "assertions": [ { "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, "observedPredicate": true, "outcome": "PASS", "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, "observedPredicate": true, "outcome": "PASS", "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, "observedPredicate": true, "outcome": "PASS", "test": "no-new-remote-accepted", "virtualTimeMs": 0 } ], "branchProbeChannel": [ { "branch": "A", "virtualTimeMs": 0 }, { "branch": "A", "virtualTimeMs": 0 } ], "checkpoints": [], "clockAdvances": [ { "byMs": 0, "virtualTimeMs": 0 } ], "finalResultsAndObservations": [ { "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, "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 } ], "invalidationChannel": [ { "kind": "invalidate-remote" }, { "kind": "invalidate-local" }, { "kind": "invalidate-all" } ], "localReadChannel": [ { "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, "virtualTimeMs": 0 }, { "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, "virtualTimeMs": 0 } ], "mutations": [], "pullChannel": [], "reconnects": [ { "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" } } }, "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", "virtualTimeMs": 0 } ], "rpcStarts": [], "upstreamChannel": [ { "branch": "A", "kind": "remote-read-start", "n": 1, "options": { "refreshUpstream": true }, "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, "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 } ] } }, "streams": { "P10-stage-mismatch-reconciliation/P10-stage-mismatch-reconciliation/passive-1": [ { "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" } } }, "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 } }, "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 } } }, "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 } }, "virtualTimeMs": 0 } ], "P10-stage-post-probe/P10-stage-post-probe/passive-1": [ { "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" } } }, "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 } }, "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 } } }, "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 } }, "virtualTimeMs": 0 } ], "P10-stage-pre-probe/P10-stage-pre-probe/passive-1": [ { "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" } } }, "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 } }, "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 } } }, "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 } }, "virtualTimeMs": 0 } ] } }