P10.c 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.

--- P10.c 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P10.c bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -11,10 +11,10 @@
           "virtualTimeMs": 0
         },
         {
-          "actual": 1,
+          "actual": 0,
           "expectedPredicate": true,
-          "observedPredicate": false,
-          "outcome": "FAIL",
+          "observedPredicate": true,
+          "outcome": "PASS",
           "test": "local failure happens before remote work",
           "virtualTimeMs": 0
         },
@@ -27,7 +27,16 @@
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -45,14 +54,17 @@
             "operation": "proof.localStatus"
           },
           "kind": "result",
-          "remoteReadsOwned": 1,
+          "remoteReadsOwned": 0,
           "tag": "GitManagerError",
           "virtualTimeMs": 0
         }
       ],
       "invalidationChannel": [
         {
-          "kind": "invalidate-all"
+          "kind": "invalidate-remote"
+        },
+        {
+          "kind": "invalidate-local"
         }
       ],
       "localReadChannel": [
@@ -145,48 +157,6 @@
             }
           },
           "virtualTimeMs": 0
-        },
-        {
-          "branch": "A",
-          "kind": "remote-read-start",
-          "n": 2,
-          "options": {
-            "refreshUpstream": true
-          },
-          "value": {
-            "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"
-            }
-          },
-          "virtualTimeMs": 0
-        },
-        {
-          "kind": "remote-read-return",
-          "n": 2,
-          "value": {
-            "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"
-            }
-          },
-          "virtualTimeMs": 0
         }
       ]
     }