P19.c 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.

--- P19.c 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P19.c bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -31,7 +31,24 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -66,7 +83,14 @@
           "virtualTimeMs": 0
         }
       ],
-      "invalidationChannel": [],
+      "invalidationChannel": [
+        {
+          "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-remote"
+        }
+      ],
       "localReadChannel": [
         {
           "local": {
@@ -246,7 +270,24 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -288,7 +329,14 @@
           "virtualTimeMs": 0
         }
       ],
-      "invalidationChannel": [],
+      "invalidationChannel": [
+        {
+          "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-remote"
+        }
+      ],
       "localReadChannel": [
         {
           "local": {