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

--- P05.b 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P05.b bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -58,7 +58,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -114,6 +123,9 @@
         }
       ],
       "invalidationChannel": [
+        {
+          "kind": "invalidate-remote"
+        },
         {
           "kind": "invalidate-local"
         }