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

--- P02 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P02 bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -5,7 +5,40 @@
       "branchProbeChannel": [],
       "checkpoints": [
         {
-          "eventsSinceMutation": [],
+          "eventsSinceMutation": [
+            {
+              "_tag": "localUpdated",
+              "local": {
+                "branchChanges": {
+                  "baseRef": "origin/main",
+                  "deletions": 0,
+                  "insertions": 2
+                },
+                "hasPrimaryRemote": true,
+                "hasWorkingTreeChanges": true,
+                "isDefaultRef": false,
+                "isRepo": true,
+                "refName": "release",
+                "sourceControlProvider": {
+                  "baseUrl": "https://github.com",
+                  "kind": "github",
+                  "name": "GitHub"
+                },
+                "workingTree": {
+                  "deletions": 0,
+                  "files": [
+                    {
+                      "deletions": 0,
+                      "insertions": 1,
+                      "path": "README.md"
+                    }
+                  ],
+                  "insertions": 1,
+                  "rootPath": "<RUN>/P02/repo"
+                }
+              }
+            }
+          ],
           "gate": {
             "closed": true,
             "held": "UPSTREAM2",
@@ -18,11 +51,11 @@
             "branchChanges": {
               "baseRef": "origin/main",
               "deletions": 0,
-              "insertions": 1
+              "insertions": 2
             },
             "hasPrimaryRemote": true,
             "hasUpstream": true,
-            "hasWorkingTreeChanges": false,
+            "hasWorkingTreeChanges": true,
             "isDefaultRef": false,
             "isRepo": true,
             "pr": {
@@ -42,8 +75,14 @@
             },
             "workingTree": {
               "deletions": 0,
-              "files": [],
-              "insertions": 0,
+              "files": [
+                {
+                  "deletions": 0,
+                  "insertions": 1,
+                  "path": "README.md"
+                }
+              ],
+              "insertions": 1,
               "rootPath": "<RUN>/P02/repo"
             }
           },
@@ -474,30 +513,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>/P02/repo"
-            }
-          },
+          "_tag": "remoteUpdated",
           "remote": {
             "aheadCount": 0,
             "aheadOfDefaultCount": 1,
@@ -553,7 +569,7 @@
       },
       {
         "event": {
-          "_tag": "snapshot",
+          "_tag": "localUpdated",
           "local": {
             "branchChanges": {
               "baseRef": "origin/main",
@@ -581,21 +597,6 @@
               ],
               "insertions": 1,
               "rootPath": "<RUN>/P02/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"
             }
           }
         },