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

--- P17.b 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P17.b bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -11,7 +11,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [],
       "finalResultsAndObservations": [
@@ -45,7 +54,13 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [
@@ -68,6 +83,27 @@
             }
           },
           "n": 1,
+          "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": true,
+            "isRepo": true,
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 2,
           "virtualTimeMs": 0
         }
       ],
@@ -117,7 +153,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [],
       "finalResultsAndObservations": [
@@ -151,9 +196,15 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
         },
         {
+          "kind": "invalidate-remote"
+        },
+        {
           "kind": "invalidate-local"
         }
       ],
@@ -198,6 +249,27 @@
             }
           },
           "n": 2,
+          "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": true,
+            "isDefaultRef": true,
+            "isRepo": true,
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 3,
           "virtualTimeMs": 0
         }
       ],
@@ -257,7 +329,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [],
       "finalResultsAndObservations": [
@@ -291,7 +372,13 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [
@@ -314,6 +401,27 @@
             }
           },
           "n": 1,
+          "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": true,
+            "isRepo": true,
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 2,
           "virtualTimeMs": 0
         }
       ],
@@ -374,7 +482,24 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [],
       "finalResultsAndObservations": [
@@ -400,7 +525,14 @@
           "virtualTimeMs": 0
         }
       ],
-      "invalidationChannel": [],
+      "invalidationChannel": [
+        {
+          "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-remote"
+        }
+      ],
       "localReadChannel": [
         {
           "local": {
@@ -499,7 +631,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [],
       "finalResultsAndObservations": [
@@ -533,7 +674,13 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [
@@ -556,6 +703,27 @@
             }
           },
           "n": 1,
+          "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": true,
+            "isRepo": true,
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 2,
           "virtualTimeMs": 0
         }
       ],
@@ -605,7 +773,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [],
       "finalResultsAndObservations": [
@@ -639,9 +816,15 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
         },
         {
+          "kind": "invalidate-remote"
+        },
+        {
           "kind": "invalidate-local"
         }
       ],
@@ -686,6 +869,27 @@
             }
           },
           "n": 2,
+          "virtualTimeMs": 0
+        },
+        {
+          "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": 0
         }
       ],
@@ -735,7 +939,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [],
       "finalResultsAndObservations": [
@@ -769,9 +982,15 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
         },
         {
+          "kind": "invalidate-remote"
+        },
+        {
           "kind": "invalidate-local"
         }
       ],
@@ -816,6 +1035,27 @@
             }
           },
           "n": 2,
+          "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": true,
+            "isRepo": false,
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 3,
           "virtualTimeMs": 0
         }
       ],
@@ -865,7 +1105,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [],
       "finalResultsAndObservations": [
@@ -899,7 +1148,13 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [
@@ -922,6 +1177,27 @@
             }
           },
           "n": 1,
+          "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": true,
+            "isRepo": true,
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 2,
           "virtualTimeMs": 0
         }
       ],
@@ -971,7 +1247,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [],
       "finalResultsAndObservations": [
@@ -1005,7 +1290,13 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [
@@ -1028,6 +1319,27 @@
             }
           },
           "n": 1,
+          "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": true,
+            "isRepo": true,
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 2,
           "virtualTimeMs": 0
         }
       ],
@@ -1077,7 +1389,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [],
       "finalResultsAndObservations": [
@@ -1111,7 +1432,13 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [
@@ -1134,6 +1461,27 @@
             }
           },
           "n": 1,
+          "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": true,
+            "isRepo": true,
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 2,
           "virtualTimeMs": 0
         }
       ],