P12.d 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.

--- P12.d 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P12.d bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -23,7 +23,7 @@
               "hasWorkingTreeChanges": false,
               "isDefaultRef": false,
               "isRepo": true,
-              "refName": "A",
+              "refName": "B",
               "workingTree": {
                 "deletions": 0,
                 "files": [],
@@ -46,13 +46,30 @@
             }
           },
           "expectedPredicate": true,
-          "observedPredicate": false,
-          "outcome": "FAIL",
+          "observedPredicate": true,
+          "outcome": "PASS",
           "test": "stale-local-reconciled-to-B",
           "virtualTimeMs": 10000
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "B",
+          "virtualTimeMs": 10000
+        },
+        {
+          "branch": "B",
+          "virtualTimeMs": 10000
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -76,6 +93,30 @@
         },
         {
           "events": [
+            {
+              "_tag": "remoteUpdated",
+              "remote": null
+            },
+            {
+              "_tag": "localUpdated",
+              "local": {
+                "branchChanges": {
+                  "baseRef": "origin/main",
+                  "deletions": 0,
+                  "insertions": 1
+                },
+                "hasPrimaryRemote": true,
+                "hasWorkingTreeChanges": false,
+                "isDefaultRef": false,
+                "isRepo": true,
+                "refName": "B",
+                "workingTree": {
+                  "deletions": 0,
+                  "files": [],
+                  "insertions": 0
+                }
+              }
+            },
             {
               "_tag": "remoteUpdated",
               "remote": {
@@ -95,7 +136,7 @@
             }
           ],
           "kind": "tick-outcome",
-          "localReadsOwned": 0,
+          "localReadsOwned": 1,
           "remoteReadsOwned": 1,
           "snapshot": {
             "_tag": "snapshot",
@@ -109,7 +150,7 @@
               "hasWorkingTreeChanges": false,
               "isDefaultRef": false,
               "isRepo": true,
-              "refName": "A",
+              "refName": "B",
               "workingTree": {
                 "deletions": 0,
                 "files": [],
@@ -138,6 +179,12 @@
       "invalidationChannel": [
         {
           "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-local"
         }
       ],
       "localReadChannel": [
@@ -161,6 +208,27 @@
           },
           "n": 1,
           "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "refName": "B",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 2,
+          "virtualTimeMs": 10000
         }
       ],
       "mutations": [
@@ -216,7 +284,7 @@
               "hasWorkingTreeChanges": false,
               "isDefaultRef": false,
               "isRepo": true,
-              "refName": "A",
+              "refName": "B",
               "workingTree": {
                 "deletions": 0,
                 "files": [],
@@ -260,7 +328,7 @@
               "title": "Fixture B",
               "url": "https://github.com/proof-audit/status-fixture/pull/614"
             },
-            "refName": "A",
+            "refName": "B",
             "workingTree": {
               "deletions": 0,
               "files": [],
@@ -434,6 +502,80 @@
       {
         "event": {
           "_tag": "remoteUpdated",
+          "remote": null
+        },
+        "merged": {
+          "aheadCount": 0,
+          "aheadOfDefaultCount": 0,
+          "behindCount": 0,
+          "branchChanges": {
+            "baseRef": "origin/main",
+            "deletions": 0,
+            "insertions": 1
+          },
+          "hasPrimaryRemote": true,
+          "hasUpstream": false,
+          "hasWorkingTreeChanges": false,
+          "isDefaultRef": false,
+          "isRepo": true,
+          "pr": null,
+          "refName": "A",
+          "workingTree": {
+            "deletions": 0,
+            "files": [],
+            "insertions": 0
+          }
+        },
+        "virtualTimeMs": 10000
+      },
+      {
+        "event": {
+          "_tag": "localUpdated",
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "refName": "B",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          }
+        },
+        "merged": {
+          "aheadCount": 0,
+          "aheadOfDefaultCount": 0,
+          "behindCount": 0,
+          "branchChanges": {
+            "baseRef": "origin/main",
+            "deletions": 0,
+            "insertions": 1
+          },
+          "hasPrimaryRemote": true,
+          "hasUpstream": false,
+          "hasWorkingTreeChanges": false,
+          "isDefaultRef": false,
+          "isRepo": true,
+          "pr": null,
+          "refName": "B",
+          "workingTree": {
+            "deletions": 0,
+            "files": [],
+            "insertions": 0
+          }
+        },
+        "virtualTimeMs": 10000
+      },
+      {
+        "event": {
+          "_tag": "remoteUpdated",
           "remote": {
             "aheadCount": 0,
             "aheadOfDefaultCount": 1,
@@ -471,7 +613,7 @@
             "title": "Fixture B",
             "url": "https://github.com/proof-audit/status-fixture/pull/614"
           },
-          "refName": "A",
+          "refName": "B",
           "workingTree": {
             "deletions": 0,
             "files": [],
@@ -551,6 +693,80 @@
       {
         "event": {
           "_tag": "remoteUpdated",
+          "remote": null
+        },
+        "merged": {
+          "aheadCount": 0,
+          "aheadOfDefaultCount": 0,
+          "behindCount": 0,
+          "branchChanges": {
+            "baseRef": "origin/main",
+            "deletions": 0,
+            "insertions": 1
+          },
+          "hasPrimaryRemote": true,
+          "hasUpstream": false,
+          "hasWorkingTreeChanges": false,
+          "isDefaultRef": false,
+          "isRepo": true,
+          "pr": null,
+          "refName": "A",
+          "workingTree": {
+            "deletions": 0,
+            "files": [],
+            "insertions": 0
+          }
+        },
+        "virtualTimeMs": 10000
+      },
+      {
+        "event": {
+          "_tag": "localUpdated",
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "refName": "B",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          }
+        },
+        "merged": {
+          "aheadCount": 0,
+          "aheadOfDefaultCount": 0,
+          "behindCount": 0,
+          "branchChanges": {
+            "baseRef": "origin/main",
+            "deletions": 0,
+            "insertions": 1
+          },
+          "hasPrimaryRemote": true,
+          "hasUpstream": false,
+          "hasWorkingTreeChanges": false,
+          "isDefaultRef": false,
+          "isRepo": true,
+          "pr": null,
+          "refName": "B",
+          "workingTree": {
+            "deletions": 0,
+            "files": [],
+            "insertions": 0
+          }
+        },
+        "virtualTimeMs": 10000
+      },
+      {
+        "event": {
+          "_tag": "remoteUpdated",
           "remote": {
             "aheadCount": 0,
             "aheadOfDefaultCount": 1,
@@ -588,7 +804,7 @@
             "title": "Fixture B",
             "url": "https://github.com/proof-audit/status-fixture/pull/614"
           },
-          "refName": "A",
+          "refName": "B",
           "workingTree": {
             "deletions": 0,
             "files": [],