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

--- P17.a 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P17.a bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -3,15 +3,15 @@
     "P17": {
       "assertions": [
         {
-          "actual": 1,
+          "actual": 0,
           "expectedPredicate": true,
-          "observedPredicate": false,
-          "outcome": "FAIL",
+          "observedPredicate": true,
+          "outcome": "PASS",
           "test": "branch mismatch must not pull",
           "virtualTimeMs": 0
         },
         {
-          "actual": 1,
+          "actual": 0,
           "expectedPredicate": true,
           "observedPredicate": true,
           "outcome": "PASS",
@@ -43,7 +43,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [
         {
           "name": "policy-held",
@@ -56,11 +65,11 @@
       "finalResultsAndObservations": [
         {
           "kind": "result",
-          "pulls": 1,
+          "pulls": 0,
           "result": {
             "aheadCount": 0,
             "aheadOfDefaultCount": 1,
-            "behindCount": 0,
+            "behindCount": 2,
             "branchChanges": {
               "baseRef": "origin/main",
               "deletions": 0,
@@ -79,6 +88,84 @@
               "title": "Fixture A",
               "url": "https://github.com/proof-audit/status-fixture/pull/613"
             },
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "virtualTimeMs": 0
+        }
+      ],
+      "invalidationChannel": [
+        {
+          "kind": "invalidate-local"
+        },
+        {
+          "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-local"
+        }
+      ],
+      "localReadChannel": [
+        {
+          "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": 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
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": true,
+            "isRepo": true,
             "refName": "B",
             "workingTree": {
               "deletions": 0,
@@ -86,42 +173,11 @@
               "insertions": 0
             }
           },
-          "virtualTimeMs": 0
-        }
-      ],
-      "invalidationChannel": [
-        {
-          "kind": "invalidate-all"
-        },
-        {
-          "kind": "invalidate-local"
-        },
-        {
-          "kind": "invalidate-all"
-        }
-      ],
-      "localReadChannel": [
-        {
-          "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": 1,
-          "virtualTimeMs": 0
-        },
+          "n": 3,
+          "virtualTimeMs": 0
+        }
+      ],
+      "mutations": [
         {
           "local": {
             "branchChanges": {
@@ -140,60 +196,11 @@
               "insertions": 0
             }
           },
-          "n": 2,
-          "virtualTimeMs": 0
-        },
-        {
-          "local": {
-            "branchChanges": {
-              "baseRef": "origin/main",
-              "deletions": 0,
-              "insertions": 1
-            },
-            "hasPrimaryRemote": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": true,
-            "isRepo": true,
-            "refName": "B",
-            "workingTree": {
-              "deletions": 0,
-              "files": [],
-              "insertions": 0
-            }
-          },
-          "n": 3,
-          "virtualTimeMs": 0
-        }
-      ],
-      "mutations": [
-        {
-          "local": {
-            "branchChanges": {
-              "baseRef": "origin/main",
-              "deletions": 0,
-              "insertions": 1
-            },
-            "hasPrimaryRemote": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": true,
-            "isRepo": true,
-            "refName": "B",
-            "workingTree": {
-              "deletions": 0,
-              "files": [],
-              "insertions": 0
-            }
-          },
           "phase": "after-A-remote-before-auto-pull-local-gate",
           "virtualTimeMs": 0
         }
       ],
-      "pullChannel": [
-        {
-          "branch": "B",
-          "virtualTimeMs": 0
-        }
-      ],
+      "pullChannel": [],
       "reconnects": [],
       "rpcStarts": [],
       "upstreamChannel": [
@@ -238,48 +245,6 @@
             }
           },
           "virtualTimeMs": 0
-        },
-        {
-          "branch": "B",
-          "kind": "remote-read-start",
-          "n": 2,
-          "options": {
-            "refreshUpstream": false
-          },
-          "value": {
-            "aheadCount": 0,
-            "aheadOfDefaultCount": 1,
-            "behindCount": 0,
-            "hasUpstream": true,
-            "pr": {
-              "baseRef": "main",
-              "headRef": "A",
-              "number": 613,
-              "state": "open",
-              "title": "Fixture A",
-              "url": "https://github.com/proof-audit/status-fixture/pull/613"
-            }
-          },
-          "virtualTimeMs": 0
-        },
-        {
-          "kind": "remote-read-return",
-          "n": 2,
-          "value": {
-            "aheadCount": 0,
-            "aheadOfDefaultCount": 1,
-            "behindCount": 0,
-            "hasUpstream": true,
-            "pr": {
-              "baseRef": "main",
-              "headRef": "A",
-              "number": 613,
-              "state": "open",
-              "title": "Fixture A",
-              "url": "https://github.com/proof-audit/status-fixture/pull/613"
-            }
-          },
-          "virtualTimeMs": 0
         }
       ]
     }