P12.b 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.b 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P12.b bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -27,7 +27,24 @@
           "virtualTimeMs": 10000
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -95,6 +112,9 @@
       "invalidationChannel": [
         {
           "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [
@@ -385,7 +405,24 @@
           "virtualTimeMs": 10000
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 10000
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -471,6 +508,9 @@
       "invalidationChannel": [
         {
           "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [