P05.a 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.

--- P05.a 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P05.a bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -103,6 +103,10 @@
         {
           "actual": [
             {
+              "_tag": "remoteUpdated",
+              "remote": null
+            },
+            {
               "_tag": "localUpdated",
               "local": {
                 "branchChanges": {
@@ -130,8 +134,8 @@
             }
           ],
           "expectedPredicate": true,
-          "observedPredicate": false,
-          "outcome": "FAIL",
+          "observedPredicate": true,
+          "outcome": "PASS",
           "test": "remote null precedes local B",
           "virtualTimeMs": 0
         },
@@ -149,6 +153,154 @@
               "isDefaultRef": false,
               "isRepo": true,
               "refName": "B",
+              "workingTree": {
+                "deletions": 0,
+                "files": [
+                  {
+                    "deletions": 0,
+                    "insertions": 1,
+                    "path": "README.md"
+                  }
+                ],
+                "insertions": 1
+              }
+            },
+            "remote": null
+          },
+          "expectedPredicate": true,
+          "observedPredicate": true,
+          "outcome": "PASS",
+          "test": "passive cache is B/null",
+          "virtualTimeMs": 0
+        }
+      ],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
+      "checkpoints": [],
+      "clockAdvances": [
+        {
+          "byMs": 0,
+          "virtualTimeMs": 0
+        },
+        {
+          "byMs": 0,
+          "virtualTimeMs": 0
+        }
+      ],
+      "finalResultsAndObservations": [],
+      "invalidationChannel": [
+        {
+          "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-local"
+        },
+        {
+          "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": [
+                {
+                  "deletions": 0,
+                  "insertions": 1,
+                  "path": "README.md"
+                }
+              ],
+              "insertions": 1
+            }
+          },
+          "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": [
+                {
+                  "deletions": 0,
+                  "insertions": 1,
+                  "path": "README.md"
+                }
+              ],
+              "insertions": 1
+            }
+          },
+          "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": [
@@ -176,155 +328,6 @@
               }
             }
           },
-          "expectedPredicate": true,
-          "observedPredicate": false,
-          "outcome": "FAIL",
-          "test": "passive cache is B/null",
-          "virtualTimeMs": 0
-        }
-      ],
-      "branchProbeChannel": [],
-      "checkpoints": [],
-      "clockAdvances": [
-        {
-          "byMs": 0,
-          "virtualTimeMs": 0
-        },
-        {
-          "byMs": 0,
-          "virtualTimeMs": 0
-        }
-      ],
-      "finalResultsAndObservations": [],
-      "invalidationChannel": [
-        {
-          "kind": "invalidate-local"
-        },
-        {
-          "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": [
-                {
-                  "deletions": 0,
-                  "insertions": 1,
-                  "path": "README.md"
-                }
-              ],
-              "insertions": 1
-            }
-          },
-          "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": [
-                {
-                  "deletions": 0,
-                  "insertions": 1,
-                  "path": "README.md"
-                }
-              ],
-              "insertions": 1
-            }
-          },
-          "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": [
-                  {
-                    "deletions": 0,
-                    "insertions": 1,
-                    "path": "README.md"
-                  }
-                ],
-                "insertions": 1
-              }
-            },
-            "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,
@@ -389,24 +392,11 @@
                 "insertions": 1
               }
             },
-            "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"
-              }
-            }
+            "remote": null
           },
           "merged": {
             "aheadCount": 0,
-            "aheadOfDefaultCount": 1,
+            "aheadOfDefaultCount": 0,
             "behindCount": 0,
             "branchChanges": {
               "baseRef": "origin/main",
@@ -414,18 +404,11 @@
               "insertions": 1
             },
             "hasPrimaryRemote": true,
-            "hasUpstream": true,
+            "hasUpstream": false,
             "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"
-            },
+            "pr": null,
             "refName": "B",
             "workingTree": {
               "deletions": 0,
@@ -624,6 +607,41 @@
       },
       {
         "event": {
+          "_tag": "remoteUpdated",
+          "remote": null
+        },
+        "merged": {
+          "aheadCount": 0,
+          "aheadOfDefaultCount": 0,
+          "behindCount": 0,
+          "branchChanges": {
+            "baseRef": "origin/main",
+            "deletions": 0,
+            "insertions": 1
+          },
+          "hasPrimaryRemote": true,
+          "hasUpstream": false,
+          "hasWorkingTreeChanges": true,
+          "isDefaultRef": false,
+          "isRepo": true,
+          "pr": null,
+          "refName": "A",
+          "workingTree": {
+            "deletions": 0,
+            "files": [
+              {
+                "deletions": 0,
+                "insertions": 1,
+                "path": "README.md"
+              }
+            ],
+            "insertions": 1
+          }
+        },
+        "virtualTimeMs": 0
+      },
+      {
+        "event": {
           "_tag": "localUpdated",
           "local": {
             "branchChanges": {
@@ -651,7 +669,7 @@
         },
         "merged": {
           "aheadCount": 0,
-          "aheadOfDefaultCount": 1,
+          "aheadOfDefaultCount": 0,
           "behindCount": 0,
           "branchChanges": {
             "baseRef": "origin/main",
@@ -659,18 +677,11 @@
             "insertions": 1
           },
           "hasPrimaryRemote": true,
-          "hasUpstream": true,
+          "hasUpstream": false,
           "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"
-          },
+          "pr": null,
           "refName": "B",
           "workingTree": {
             "deletions": 0,