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

--- P11 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P11 bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -3,10 +3,31 @@
     "P11": {
       "assertions": [
         {
-          "actual": [],
+          "actual": [
+            {
+              "_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
+                }
+              }
+            }
+          ],
           "expectedPredicate": true,
-          "observedPredicate": false,
-          "outcome": "FAIL",
+          "observedPredicate": true,
+          "outcome": "PASS",
           "test": "pre-fetch dirty local published while remote held",
           "virtualTimeMs": 0
         },
@@ -83,15 +104,130 @@
               }
             },
             {
+              "_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
+                }
+              }
+            },
+            {
+              "_tag": "localUpdated",
+              "local": {
+                "branchChanges": {
+                  "baseRef": "origin/main",
+                  "deletions": 0,
+                  "insertions": 5
+                },
+                "hasPrimaryRemote": true,
+                "hasWorkingTreeChanges": true,
+                "isDefaultRef": false,
+                "isRepo": true,
+                "refName": "A",
+                "workingTree": {
+                  "deletions": 0,
+                  "files": [],
+                  "insertions": 0
+                }
+              }
+            }
+          ],
+          "expectedPredicate": true,
+          "observedPredicate": true,
+          "outcome": "PASS",
+          "test": "post-fetch local published",
+          "virtualTimeMs": 0
+        }
+      ],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
+      "checkpoints": [
+        {
+          "localReads": 2,
+          "name": "remote-held",
+          "pending": true,
+          "pulls": 0,
+          "remoteReads": 2,
+          "virtualTimeMs": 0
+        }
+      ],
+      "clockAdvances": [
+        {
+          "byMs": 0,
+          "virtualTimeMs": 0
+        },
+        {
+          "byMs": 0,
+          "virtualTimeMs": 0
+        }
+      ],
+      "finalResultsAndObservations": [
+        {
+          "events": [
+            {
+              "_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
+                }
+              }
+            }
+          ],
+          "kind": "held-pre-fetch-events",
+          "virtualTimeMs": 0
+        },
+        {
+          "events": [
+            {
               "_tag": "snapshot",
               "local": {
                 "branchChanges": {
                   "baseRef": "origin/main",
                   "deletions": 0,
-                  "insertions": 5
+                  "insertions": 1
                 },
                 "hasPrimaryRemote": true,
-                "hasWorkingTreeChanges": true,
+                "hasWorkingTreeChanges": false,
                 "isDefaultRef": false,
                 "isRepo": true,
                 "refName": "A",
@@ -115,46 +251,9 @@
                   "url": "https://github.com/proof-audit/status-fixture/pull/613"
                 }
               }
-            }
-          ],
-          "expectedPredicate": true,
-          "observedPredicate": true,
-          "outcome": "PASS",
-          "test": "post-fetch local published",
-          "virtualTimeMs": 0
-        }
-      ],
-      "branchProbeChannel": [],
-      "checkpoints": [
-        {
-          "localReads": 1,
-          "name": "remote-held",
-          "pending": true,
-          "pulls": 0,
-          "remoteReads": 2,
-          "virtualTimeMs": 0
-        }
-      ],
-      "clockAdvances": [
-        {
-          "byMs": 0,
-          "virtualTimeMs": 0
-        },
-        {
-          "byMs": 0,
-          "virtualTimeMs": 0
-        }
-      ],
-      "finalResultsAndObservations": [
-        {
-          "events": [],
-          "kind": "held-pre-fetch-events",
-          "virtualTimeMs": 0
-        },
-        {
-          "events": [
+            },
             {
-              "_tag": "snapshot",
+              "_tag": "localUpdated",
               "local": {
                 "branchChanges": {
                   "baseRef": "origin/main",
@@ -162,7 +261,7 @@
                   "insertions": 1
                 },
                 "hasPrimaryRemote": true,
-                "hasWorkingTreeChanges": false,
+                "hasWorkingTreeChanges": true,
                 "isDefaultRef": false,
                 "isRepo": true,
                 "refName": "A",
@@ -171,24 +270,10 @@
                   "files": [],
                   "insertions": 0
                 }
-              },
-              "remote": {
-                "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"
-                }
               }
             },
             {
-              "_tag": "snapshot",
+              "_tag": "localUpdated",
               "local": {
                 "branchChanges": {
                   "baseRef": "origin/main",
@@ -205,20 +290,6 @@
                   "files": [],
                   "insertions": 0
                 }
-              },
-              "remote": {
-                "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"
-                }
               }
             }
           ],
@@ -257,7 +328,16 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
         }
       ],
       "localReadChannel": [
@@ -287,6 +367,27 @@
             "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
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
               "insertions": 5
             },
             "hasPrimaryRemote": true,
@@ -300,7 +401,7 @@
               "insertions": 0
             }
           },
-          "n": 2,
+          "n": 3,
           "virtualTimeMs": 0
         }
       ],
@@ -512,12 +613,12 @@
       },
       {
         "event": {
-          "_tag": "snapshot",
+          "_tag": "localUpdated",
           "local": {
             "branchChanges": {
               "baseRef": "origin/main",
               "deletions": 0,
-              "insertions": 5
+              "insertions": 1
             },
             "hasPrimaryRemote": true,
             "hasWorkingTreeChanges": true,
@@ -528,20 +629,6 @@
               "deletions": 0,
               "files": [],
               "insertions": 0
-            }
-          },
-          "remote": {
-            "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"
             }
           }
         },
@@ -552,7 +639,7 @@
           "branchChanges": {
             "baseRef": "origin/main",
             "deletions": 0,
-            "insertions": 5
+            "insertions": 1
           },
           "hasPrimaryRemote": true,
           "hasUpstream": true,
@@ -575,6 +662,58 @@
           }
         },
         "virtualTimeMs": 0
+      },
+      {
+        "event": {
+          "_tag": "localUpdated",
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 5
+            },
+            "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": 5
+          },
+          "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
       }
     ]
   }