P08.a 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.

--- P08.a 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P08.a bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -199,25 +199,11 @@
               "rootPath": "<RUN>/P07-P08/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",
@@ -225,19 +211,11 @@
             "insertions": 2
           },
           "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": "heads/release",
           "sourceControlProvider": {
             "baseUrl": "https://github.com",
@@ -254,30 +232,7 @@
       },
       {
         "event": {
-          "_tag": "snapshot",
-          "local": {
-            "branchChanges": {
-              "baseRef": "origin/main",
-              "deletions": 0,
-              "insertions": 2
-            },
-            "hasPrimaryRemote": true,
-            "hasWorkingTreeChanges": false,
-            "isDefaultRef": false,
-            "isRepo": true,
-            "refName": "heads/release",
-            "sourceControlProvider": {
-              "baseUrl": "https://github.com",
-              "kind": "github",
-              "name": "GitHub"
-            },
-            "workingTree": {
-              "deletions": 0,
-              "files": [],
-              "insertions": 0,
-              "rootPath": "<RUN>/P07-P08/repo"
-            }
-          },
+          "_tag": "remoteUpdated",
           "remote": {
             "aheadCount": 0,
             "aheadOfDefaultCount": 2,