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

--- P07.b 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P07.b bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -5,13 +5,89 @@
       "branchProbeChannel": [],
       "checkpoints": [
         {
-          "eventsSinceMutation": [],
+          "eventsSinceMutation": [
+            {
+              "_tag": "remoteUpdated",
+              "remote": null
+            },
+            {
+              "_tag": "localUpdated",
+              "local": {
+                "branchChanges": {
+                  "baseRef": "origin/main",
+                  "deletions": 0,
+                  "insertions": 2
+                },
+                "hasPrimaryRemote": true,
+                "hasWorkingTreeChanges": false,
+                "isDefaultRef": false,
+                "isRepo": true,
+                "refName": "feature/b",
+                "sourceControlProvider": {
+                  "baseUrl": "https://github.com",
+                  "kind": "github",
+                  "name": "GitHub"
+                },
+                "workingTree": {
+                  "deletions": 0,
+                  "files": [],
+                  "insertions": 0,
+                  "rootPath": "<RUN>/P07-queued/repo"
+                }
+              }
+            }
+          ],
           "gate": {
             "closed": true,
             "held": "UPSTREAM2",
             "requestCount": 17
           },
           "merged": {
+            "aheadCount": 0,
+            "aheadOfDefaultCount": 0,
+            "behindCount": 0,
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 2
+            },
+            "hasPrimaryRemote": true,
+            "hasUpstream": false,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "pr": null,
+            "refName": "feature/b",
+            "sourceControlProvider": {
+              "baseUrl": "https://github.com",
+              "kind": "github",
+              "name": "GitHub"
+            },
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0,
+              "rootPath": "<RUN>/P07-queued/repo"
+            }
+          },
+          "rpcs": [
+            {
+              "pending": true,
+              "request": "RPC2"
+            },
+            {
+              "pending": true,
+              "request": "RPC3"
+            }
+          ],
+          "windowMs": 1200
+        }
+      ],
+      "clockAdvances": [],
+      "finalResultsAndObservations": [
+        {
+          "request": "RPC1",
+          "result": {
             "aheadCount": 0,
             "aheadOfDefaultCount": 1,
             "behindCount": 0,
@@ -46,66 +122,13 @@
               "insertions": 0,
               "rootPath": "<RUN>/P07-queued/repo"
             }
-          },
-          "rpcs": [
-            {
-              "pending": true,
-              "request": "RPC2"
-            },
-            {
-              "pending": true,
-              "request": "RPC3"
-            }
-          ],
-          "windowMs": 1200
-        }
-      ],
-      "clockAdvances": [],
-      "finalResultsAndObservations": [
-        {
-          "request": "RPC1",
-          "result": {
-            "aheadCount": 0,
-            "aheadOfDefaultCount": 1,
-            "behindCount": 0,
-            "branchChanges": {
-              "baseRef": "origin/main",
-              "deletions": 0,
-              "insertions": 1
-            },
-            "hasPrimaryRemote": true,
-            "hasUpstream": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": false,
-            "isRepo": true,
-            "pr": {
-              "baseRef": "main",
-              "headRef": "release",
-              "number": 613,
-              "state": "open",
-              "title": "Fixture release",
-              "updatedAt": "2026-01-02T00:00:00.000Z",
-              "url": "https://github.com/proof-audit/status-fixture/pull/613"
-            },
-            "refName": "release",
-            "sourceControlProvider": {
-              "baseUrl": "https://github.com",
-              "kind": "github",
-              "name": "GitHub"
-            },
-            "workingTree": {
-              "deletions": 0,
-              "files": [],
-              "insertions": 0,
-              "rootPath": "<RUN>/P07-queued/repo"
-            }
           }
         },
         {
           "request": "RPC2",
           "result": {
             "aheadCount": 0,
-            "aheadOfDefaultCount": 1,
+            "aheadOfDefaultCount": 0,
             "behindCount": 0,
             "branchChanges": {
               "baseRef": "origin/main",
@@ -113,19 +136,11 @@
               "insertions": 2
             },
             "hasPrimaryRemote": true,
-            "hasUpstream": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": false,
-            "isRepo": true,
-            "pr": {
-              "baseRef": "main",
-              "headRef": "release",
-              "number": 613,
-              "state": "open",
-              "title": "Fixture release",
-              "updatedAt": "2026-01-02T00:00:00.000Z",
-              "url": "https://github.com/proof-audit/status-fixture/pull/613"
-            },
+            "hasUpstream": false,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "pr": null,
             "refName": "feature/b",
             "sourceControlProvider": {
               "baseUrl": "https://github.com",
@@ -144,7 +159,7 @@
           "request": "RPC3",
           "result": {
             "aheadCount": 0,
-            "aheadOfDefaultCount": 1,
+            "aheadOfDefaultCount": 0,
             "behindCount": 0,
             "branchChanges": {
               "baseRef": "origin/main",
@@ -152,19 +167,11 @@
               "insertions": 2
             },
             "hasPrimaryRemote": true,
-            "hasUpstream": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": false,
-            "isRepo": true,
-            "pr": {
-              "baseRef": "main",
-              "headRef": "release",
-              "number": 613,
-              "state": "open",
-              "title": "Fixture release",
-              "updatedAt": "2026-01-02T00:00:00.000Z",
-              "url": "https://github.com/proof-audit/status-fixture/pull/613"
-            },
+            "hasUpstream": false,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "pr": null,
             "refName": "feature/b",
             "sourceControlProvider": {
               "baseUrl": "https://github.com",
@@ -232,86 +239,6 @@
       ],
       "pullChannel": [],
       "reconnects": [
-        {
-          "event": {
-            "_tag": "snapshot",
-            "local": {
-              "branchChanges": {
-                "baseRef": "origin/main",
-                "deletions": 0,
-                "insertions": 1
-              },
-              "hasPrimaryRemote": true,
-              "hasWorkingTreeChanges": false,
-              "isDefaultRef": false,
-              "isRepo": true,
-              "refName": "release",
-              "sourceControlProvider": {
-                "baseUrl": "https://github.com",
-                "kind": "github",
-                "name": "GitHub"
-              },
-              "workingTree": {
-                "deletions": 0,
-                "files": [],
-                "insertions": 0,
-                "rootPath": "<RUN>/P07-queued/repo"
-              }
-            },
-            "remote": {
-              "aheadCount": 0,
-              "aheadOfDefaultCount": 1,
-              "behindCount": 0,
-              "hasUpstream": true,
-              "pr": {
-                "baseRef": "main",
-                "headRef": "release",
-                "number": 613,
-                "state": "open",
-                "title": "Fixture release",
-                "updatedAt": "2026-01-02T00:00:00.000Z",
-                "url": "https://github.com/proof-audit/status-fixture/pull/613"
-              }
-            }
-          },
-          "merged": {
-            "aheadCount": 0,
-            "aheadOfDefaultCount": 1,
-            "behindCount": 0,
-            "branchChanges": {
-              "baseRef": "origin/main",
-              "deletions": 0,
-              "insertions": 1
-            },
-            "hasPrimaryRemote": true,
-            "hasUpstream": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": false,
-            "isRepo": true,
-            "pr": {
-              "baseRef": "main",
-              "headRef": "release",
-              "number": 613,
-              "state": "open",
-              "title": "Fixture release",
-              "updatedAt": "2026-01-02T00:00:00.000Z",
-              "url": "https://github.com/proof-audit/status-fixture/pull/613"
-            },
-            "refName": "release",
-            "sourceControlProvider": {
-              "baseUrl": "https://github.com",
-              "kind": "github",
-              "name": "GitHub"
-            },
-            "workingTree": {
-              "deletions": 0,
-              "files": [],
-              "insertions": 0,
-              "rootPath": "<RUN>/P07-queued/repo"
-            }
-          },
-          "name": "B-while-gate-closed"
-        },
         {
           "event": {
             "_tag": "snapshot",
@@ -338,25 +265,11 @@
                 "rootPath": "<RUN>/P07-queued/repo"
               }
             },
-            "remote": {
-              "aheadCount": 0,
-              "aheadOfDefaultCount": 1,
-              "behindCount": 0,
-              "hasUpstream": true,
-              "pr": {
-                "baseRef": "main",
-                "headRef": "release",
-                "number": 613,
-                "state": "open",
-                "title": "Fixture release",
-                "updatedAt": "2026-01-02T00:00:00.000Z",
-                "url": "https://github.com/proof-audit/status-fixture/pull/613"
-              }
-            }
+            "remote": null
           },
           "merged": {
             "aheadCount": 0,
-            "aheadOfDefaultCount": 1,
+            "aheadOfDefaultCount": 0,
             "behindCount": 0,
             "branchChanges": {
               "baseRef": "origin/main",
@@ -364,19 +277,11 @@
               "insertions": 2
             },
             "hasPrimaryRemote": true,
-            "hasUpstream": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": false,
-            "isRepo": true,
-            "pr": {
-              "baseRef": "main",
-              "headRef": "release",
-              "number": 613,
-              "state": "open",
-              "title": "Fixture release",
-              "updatedAt": "2026-01-02T00:00:00.000Z",
-              "url": "https://github.com/proof-audit/status-fixture/pull/613"
-            },
+            "hasUpstream": false,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "pr": null,
             "refName": "feature/b",
             "sourceControlProvider": {
               "baseUrl": "https://github.com",
@@ -390,7 +295,7 @@
               "rootPath": "<RUN>/P07-queued/repo"
             }
           },
-          "name": "B-settled"
+          "name": "B-while-gate-closed"
         },
         {
           "event": {
@@ -418,6 +323,64 @@
                 "rootPath": "<RUN>/P07-queued/repo"
               }
             },
+            "remote": null
+          },
+          "merged": {
+            "aheadCount": 0,
+            "aheadOfDefaultCount": 0,
+            "behindCount": 0,
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 2
+            },
+            "hasPrimaryRemote": true,
+            "hasUpstream": false,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "pr": null,
+            "refName": "feature/b",
+            "sourceControlProvider": {
+              "baseUrl": "https://github.com",
+              "kind": "github",
+              "name": "GitHub"
+            },
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0,
+              "rootPath": "<RUN>/P07-queued/repo"
+            }
+          },
+          "name": "B-settled"
+        },
+        {
+          "event": {
+            "_tag": "snapshot",
+            "local": {
+              "branchChanges": {
+                "baseRef": "origin/main",
+                "deletions": 0,
+                "insertions": 2
+              },
+              "hasPrimaryRemote": true,
+              "hasWorkingTreeChanges": false,
+              "isDefaultRef": false,
+              "isRepo": true,
+              "refName": "feature/b",
+              "sourceControlProvider": {
+                "baseUrl": "https://github.com",
+                "kind": "github",
+                "name": "GitHub"
+              },
+              "workingTree": {
+                "deletions": 0,
+                "files": [],
+                "insertions": 0,
+                "rootPath": "<RUN>/P07-queued/repo"
+              }
+            },
             "remote": {
               "aheadCount": 0,
               "aheadOfDefaultCount": 2,
@@ -655,30 +618,7 @@
       },
       {
         "event": {
-          "_tag": "snapshot",
-          "local": {
-            "branchChanges": {
-              "baseRef": "origin/main",
-              "deletions": 0,
-              "insertions": 1
-            },
-            "hasPrimaryRemote": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": false,
-            "isRepo": true,
-            "refName": "release",
-            "sourceControlProvider": {
-              "baseUrl": "https://github.com",
-              "kind": "github",
-              "name": "GitHub"
-            },
-            "workingTree": {
-              "deletions": 0,
-              "files": [],
-              "insertions": 0,
-              "rootPath": "<RUN>/P07-queued/repo"
-            }
-          },
+          "_tag": "remoteUpdated",
           "remote": {
             "aheadCount": 0,
             "aheadOfDefaultCount": 1,
@@ -734,69 +674,80 @@
       },
       {
         "event": {
-          "_tag": "snapshot",
-          "local": {
-            "branchChanges": {
-              "baseRef": "origin/main",
-              "deletions": 0,
-              "insertions": 2
-            },
-            "hasPrimaryRemote": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": false,
-            "isRepo": true,
-            "refName": "feature/b",
-            "sourceControlProvider": {
-              "baseUrl": "https://github.com",
-              "kind": "github",
-              "name": "GitHub"
-            },
-            "workingTree": {
-              "deletions": 0,
-              "files": [],
-              "insertions": 0,
-              "rootPath": "<RUN>/P07-queued/repo"
-            }
-          },
-          "remote": {
-            "aheadCount": 0,
-            "aheadOfDefaultCount": 1,
-            "behindCount": 0,
-            "hasUpstream": true,
-            "pr": {
-              "baseRef": "main",
-              "headRef": "release",
-              "number": 613,
-              "state": "open",
-              "title": "Fixture release",
-              "updatedAt": "2026-01-02T00:00:00.000Z",
-              "url": "https://github.com/proof-audit/status-fixture/pull/613"
-            }
-          }
+          "_tag": "remoteUpdated",
+          "remote": null
         },
         "merged": {
           "aheadCount": 0,
-          "aheadOfDefaultCount": 1,
+          "aheadOfDefaultCount": 0,
           "behindCount": 0,
           "branchChanges": {
             "baseRef": "origin/main",
             "deletions": 0,
-            "insertions": 2
+            "insertions": 1
           },
           "hasPrimaryRemote": true,
-          "hasUpstream": true,
+          "hasUpstream": false,
           "hasWorkingTreeChanges": false,
           "isDefaultRef": false,
           "isRepo": true,
-          "pr": {
-            "baseRef": "main",
-            "headRef": "release",
-            "number": 613,
-            "state": "open",
-            "title": "Fixture release",
-            "updatedAt": "2026-01-02T00:00:00.000Z",
-            "url": "https://github.com/proof-audit/status-fixture/pull/613"
-          },
+          "pr": null,
+          "refName": "release",
+          "sourceControlProvider": {
+            "baseUrl": "https://github.com",
+            "kind": "github",
+            "name": "GitHub"
+          },
+          "workingTree": {
+            "deletions": 0,
+            "files": [],
+            "insertions": 0,
+            "rootPath": "<RUN>/P07-queued/repo"
+          }
+        }
+      },
+      {
+        "event": {
+          "_tag": "localUpdated",
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 2
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": false,
+            "isRepo": true,
+            "refName": "feature/b",
+            "sourceControlProvider": {
+              "baseUrl": "https://github.com",
+              "kind": "github",
+              "name": "GitHub"
+            },
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0,
+              "rootPath": "<RUN>/P07-queued/repo"
+            }
+          }
+        },
+        "merged": {
+          "aheadCount": 0,
+          "aheadOfDefaultCount": 0,
+          "behindCount": 0,
+          "branchChanges": {
+            "baseRef": "origin/main",
+            "deletions": 0,
+            "insertions": 2
+          },
+          "hasPrimaryRemote": true,
+          "hasUpstream": false,
+          "hasWorkingTreeChanges": false,
+          "isDefaultRef": false,
+          "isRepo": true,
+          "pr": null,
           "refName": "feature/b",
           "sourceControlProvider": {
             "baseUrl": "https://github.com",
@@ -813,30 +764,41 @@
       },
       {
         "event": {
-          "_tag": "snapshot",
-          "local": {
-            "branchChanges": {
-              "baseRef": "origin/main",
-              "deletions": 0,
-              "insertions": 2
-            },
-            "hasPrimaryRemote": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": false,
-            "isRepo": true,
-            "refName": "feature/b",
-            "sourceControlProvider": {
-              "baseUrl": "https://github.com",
-              "kind": "github",
-              "name": "GitHub"
-            },
-            "workingTree": {
-              "deletions": 0,
-              "files": [],
-              "insertions": 0,
-              "rootPath": "<RUN>/P07-queued/repo"
-            }
-          },
+          "_tag": "remoteUpdated",
+          "remote": null
+        },
+        "merged": {
+          "aheadCount": 0,
+          "aheadOfDefaultCount": 0,
+          "behindCount": 0,
+          "branchChanges": {
+            "baseRef": "origin/main",
+            "deletions": 0,
+            "insertions": 2
+          },
+          "hasPrimaryRemote": true,
+          "hasUpstream": false,
+          "hasWorkingTreeChanges": false,
+          "isDefaultRef": false,
+          "isRepo": true,
+          "pr": null,
+          "refName": "feature/b",
+          "sourceControlProvider": {
+            "baseUrl": "https://github.com",
+            "kind": "github",
+            "name": "GitHub"
+          },
+          "workingTree": {
+            "deletions": 0,
+            "files": [],
+            "insertions": 0,
+            "rootPath": "<RUN>/P07-queued/repo"
+          }
+        }
+      },
+      {
+        "event": {
+          "_tag": "remoteUpdated",
           "remote": {
             "aheadCount": 0,
             "aheadOfDefaultCount": 2,