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

--- P10.b 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P10.b bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -12,7 +12,7 @@
                 "insertions": 1
               },
               "hasPrimaryRemote": true,
-              "hasWorkingTreeChanges": false,
+              "hasWorkingTreeChanges": true,
               "isDefaultRef": false,
               "isRepo": true,
               "refName": "A",
@@ -38,8 +38,8 @@
             }
           },
           "expectedPredicate": true,
-          "observedPredicate": false,
-          "outcome": "FAIL",
+          "observedPredicate": true,
+          "outcome": "PASS",
           "test": "dirty local published before workflow remote failure",
           "virtualTimeMs": 0
         },
@@ -78,7 +78,7 @@
                 "insertions": 1
               },
               "hasPrimaryRemote": true,
-              "hasWorkingTreeChanges": false,
+              "hasWorkingTreeChanges": true,
               "isDefaultRef": false,
               "isRepo": true,
               "refName": "A",
@@ -104,16 +104,29 @@
             }
           },
           "expectedPredicate": true,
-          "observedPredicate": false,
-          "outcome": "FAIL",
+          "observedPredicate": true,
+          "outcome": "PASS",
           "test": "published dirty local retained with prior remote",
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [
         {
-          "localReads": 1,
+          "localReads": 2,
           "name": "remote-held",
           "pending": true,
           "pulls": 0,
@@ -130,7 +143,16 @@
       "finalResultsAndObservations": [],
       "invalidationChannel": [
         {
+          "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [
@@ -154,6 +176,27 @@
           },
           "n": 1,
           "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": true,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 2,
+          "virtualTimeMs": 0
         }
       ],
       "mutations": [],
@@ -169,7 +212,7 @@
                 "insertions": 1
               },
               "hasPrimaryRemote": true,
-              "hasWorkingTreeChanges": false,
+              "hasWorkingTreeChanges": true,
               "isDefaultRef": false,
               "isRepo": true,
               "refName": "A",
@@ -205,7 +248,7 @@
             },
             "hasPrimaryRemote": true,
             "hasUpstream": true,
-            "hasWorkingTreeChanges": false,
+            "hasWorkingTreeChanges": true,
             "isDefaultRef": false,
             "isRepo": true,
             "pr": {
@@ -236,7 +279,7 @@
                 "insertions": 1
               },
               "hasPrimaryRemote": true,
-              "hasWorkingTreeChanges": false,
+              "hasWorkingTreeChanges": true,
               "isDefaultRef": false,
               "isRepo": true,
               "refName": "A",
@@ -272,7 +315,7 @@
             },
             "hasPrimaryRemote": true,
             "hasUpstream": true,
-            "hasWorkingTreeChanges": false,
+            "hasWorkingTreeChanges": true,
             "isDefaultRef": false,
             "isRepo": true,
             "pr": {
@@ -455,6 +498,58 @@
           }
         },
         "virtualTimeMs": 0
+      },
+      {
+        "event": {
+          "_tag": "localUpdated",
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": true,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "refName": "A",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          }
+        },
+        "merged": {
+          "aheadCount": 0,
+          "aheadOfDefaultCount": 1,
+          "behindCount": 0,
+          "branchChanges": {
+            "baseRef": "origin/main",
+            "deletions": 0,
+            "insertions": 1
+          },
+          "hasPrimaryRemote": true,
+          "hasUpstream": true,
+          "hasWorkingTreeChanges": true,
+          "isDefaultRef": false,
+          "isRepo": true,
+          "pr": {
+            "baseRef": "main",
+            "headRef": "A",
+            "number": 613,
+            "state": "open",
+            "title": "Fixture A",
+            "url": "https://github.com/proof-audit/status-fixture/pull/613"
+          },
+          "refName": "A",
+          "workingTree": {
+            "deletions": 0,
+            "files": [],
+            "insertions": 0
+          }
+        },
+        "virtualTimeMs": 0
       }
     ]
   }