P12.c Diff0
Before 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
After bb35b941115a0a9f818e8512eebe67c29ee68355
Threshold: ZERO omitted events, ZERO payload tolerances, ZERO unexpected per-stream order changes. Object keys sorted; arrays and every duplicate/null/optional value preserved.

--- P12.c 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P12.c bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -33,6 +33,30 @@
               "state": "open",
               "title": "Fixture A",
               "url": "https://github.com/proof-audit/status-fixture/pull/613"
+            }
+          }
+        },
+        {
+          "_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
             }
           }
         }
@@ -74,6 +98,30 @@
               "url": "https://github.com/proof-audit/status-fixture/pull/613"
             }
           }
+        },
+        {
+          "_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
+            }
+          }
         }
       ],
       "observer": "P12-held-switch/P12-held-switch/passive-1"
@@ -92,27 +140,14 @@
             "hasWorkingTreeChanges": false,
             "isDefaultRef": false,
             "isRepo": true,
-            "refName": "A",
+            "refName": "B",
             "workingTree": {
               "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"
-            }
-          }
+          "remote": null
         }
       ],
       "observer": "P12-held-switch/P12-held-switch/reconnect/after-tick"