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

--- P16.a 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P16.a bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -85,7 +85,7 @@
               }
             },
             {
-              "_tag": "snapshot",
+              "_tag": "localUpdated",
               "local": {
                 "branchChanges": {
                   "baseRef": "origin/main",
@@ -108,20 +108,6 @@
                   ],
                   "insertions": 1
                 }
-              },
-              "remote": {
-                "aheadCount": 0,
-                "aheadOfDefaultCount": 1,
-                "behindCount": 2,
-                "hasUpstream": true,
-                "pr": {
-                  "baseRef": "main",
-                  "headRef": "main",
-                  "number": 613,
-                  "state": "open",
-                  "title": "Fixture A",
-                  "url": "https://github.com/proof-audit/status-fixture/pull/613"
-                }
               }
             }
           ],
@@ -140,7 +126,24 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "main",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "main",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "main",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "main",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -195,7 +198,16 @@
       ],
       "invalidationChannel": [
         {
+          "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-local"
+        },
+        {
           "kind": "invalidate-all"
+        },
+        {
+          "kind": "invalidate-remote"
         },
         {
           "kind": "invalidate-local"
@@ -266,6 +278,27 @@
             }
           },
           "n": 3,
+          "virtualTimeMs": 0
+        },
+        {
+          "local": {
+            "branchChanges": {
+              "baseRef": "origin/main",
+              "deletions": 0,
+              "insertions": 1
+            },
+            "hasPrimaryRemote": true,
+            "hasWorkingTreeChanges": false,
+            "isDefaultRef": true,
+            "isRepo": true,
+            "refName": "main",
+            "workingTree": {
+              "deletions": 0,
+              "files": [],
+              "insertions": 0
+            }
+          },
+          "n": 4,
           "virtualTimeMs": 0
         },
         {
@@ -292,7 +325,7 @@
               "insertions": 1
             }
           },
-          "n": 4,
+          "n": 5,
           "virtualTimeMs": 0
         }
       ],
@@ -463,7 +496,7 @@
       },
       {
         "event": {
-          "_tag": "snapshot",
+          "_tag": "localUpdated",
           "local": {
             "branchChanges": {
               "baseRef": "origin/main",
@@ -485,20 +518,6 @@
                 }
               ],
               "insertions": 1
-            }
-          },
-          "remote": {
-            "aheadCount": 0,
-            "aheadOfDefaultCount": 1,
-            "behindCount": 2,
-            "hasUpstream": true,
-            "pr": {
-              "baseRef": "main",
-              "headRef": "main",
-              "number": 613,
-              "state": "open",
-              "title": "Fixture A",
-              "url": "https://github.com/proof-audit/status-fixture/pull/613"
             }
           }
         },