P13 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.

--- P13 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P13 bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -19,7 +19,16 @@
           "virtualTimeMs": 120000
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -264,7 +273,16 @@
           "virtualTimeMs": 120000
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -278,6 +296,9 @@
       ],
       "finalResultsAndObservations": [],
       "invalidationChannel": [
+        {
+          "kind": "invalidate-remote"
+        },
         {
           "kind": "invalidate-local"
         }
@@ -405,7 +426,32 @@
           "virtualTimeMs": 80000
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 20000
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 20000
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -459,6 +505,9 @@
         }
       ],
       "invalidationChannel": [
+        {
+          "kind": "invalidate-remote"
+        },
         {
           "kind": "invalidate-remote"
         },
@@ -830,7 +879,16 @@
           "virtualTimeMs": 120000
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 120000
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 120000
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -875,7 +933,13 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [
@@ -919,6 +983,27 @@
             }
           },
           "n": 2,
+          "virtualTimeMs": 120000
+        },
+        {
+          "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,
           "virtualTimeMs": 120000
         }
       ],
@@ -1516,24 +1601,7 @@
       },
       {
         "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
-            }
-          },
+          "_tag": "remoteUpdated",
           "remote": {
             "aheadCount": 0,
             "aheadOfDefaultCount": 1,