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

--- P12.a 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P12.a bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -84,7 +84,24 @@
           "virtualTimeMs": 10000
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -192,6 +209,9 @@
           "kind": "invalidate-remote"
         },
         {
+          "kind": "invalidate-remote"
+        },
+        {
           "kind": "invalidate-local"
         }
       ],
@@ -522,7 +542,24 @@
           "virtualTimeMs": 10000
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -630,6 +667,9 @@
           "kind": "invalidate-remote"
         },
         {
+          "kind": "invalidate-remote"
+        },
+        {
           "kind": "invalidate-local"
         }
       ],
@@ -960,7 +1000,24 @@
           "virtualTimeMs": 10000
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -1068,6 +1125,9 @@
           "kind": "invalidate-remote"
         },
         {
+          "kind": "invalidate-remote"
+        },
+        {
           "kind": "invalidate-local"
         }
       ],