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

--- P19.b 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e
+++ P19.b bb35b941115a0a9f818e8512eebe67c29ee68355
@@ -4,25 +4,50 @@
       "assertions": [
         {
           "actual": {
-            "reads": 0,
-            "value": null
+            "reads": 1,
+            "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"
+              }
+            }
           },
           "expectedPredicate": true,
-          "observedPredicate": false,
-          "outcome": "FAIL",
+          "observedPredicate": true,
+          "outcome": "PASS",
           "test": "eligible-missing-PR-reader",
           "virtualTimeMs": 0
         },
         {
-          "actual": null,
+          "actual": {
+            "refreshMissingPullRequest": true,
+            "refreshUpstream": false
+          },
           "expectedPredicate": true,
-          "observedPredicate": false,
-          "outcome": "FAIL",
+          "observedPredicate": true,
+          "outcome": "PASS",
           "test": "exact-missing-PR-options",
           "virtualTimeMs": 0
         }
       ],
-      "branchProbeChannel": [],
+      "branchProbeChannel": [
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        },
+        {
+          "branch": "A",
+          "virtualTimeMs": 0
+        }
+      ],
       "checkpoints": [],
       "clockAdvances": [
         {
@@ -32,14 +57,43 @@
       ],
       "finalResultsAndObservations": [
         {
+          "allowed": true,
+          "input": {
+            "cwd": "/proof/repo",
+            "type": "vcs-status"
+          },
+          "kind": "background-policy",
+          "virtualTimeMs": 0
+        },
+        {
           "kind": "result",
-          "options": null,
-          "remoteReadsOwned": 0,
-          "value": null,
-          "virtualTimeMs": 0
-        }
-      ],
-      "invalidationChannel": [],
+          "options": {
+            "refreshMissingPullRequest": true,
+            "refreshUpstream": false
+          },
+          "remoteReadsOwned": 1,
+          "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
+        }
+      ],
+      "invalidationChannel": [
+        {
+          "kind": "invalidate-remote"
+        }
+      ],
       "localReadChannel": [
         {
           "local": {
@@ -86,11 +140,24 @@
                 "insertions": 0
               }
             },
-            "remote": null
+            "remote": {
+              "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"
+              }
+            }
           },
           "merged": {
             "aheadCount": 0,
-            "aheadOfDefaultCount": 0,
+            "aheadOfDefaultCount": 1,
             "behindCount": 0,
             "branchChanges": {
               "baseRef": "origin/main",
@@ -98,11 +165,18 @@
               "insertions": 1
             },
             "hasPrimaryRemote": true,
-            "hasUpstream": false,
+            "hasUpstream": true,
             "hasWorkingTreeChanges": false,
             "isDefaultRef": false,
             "isRepo": true,
-            "pr": null,
+            "pr": {
+              "baseRef": "main",
+              "headRef": "A",
+              "number": 613,
+              "state": "open",
+              "title": "Fixture A",
+              "url": "https://github.com/proof-audit/status-fixture/pull/613"
+            },
             "refName": "A",
             "workingTree": {
               "deletions": 0,
@@ -115,7 +189,51 @@
         }
       ],
       "rpcStarts": [],
-      "upstreamChannel": []
+      "upstreamChannel": [
+        {
+          "branch": "A",
+          "kind": "remote-read-start",
+          "n": 1,
+          "options": {
+            "refreshMissingPullRequest": true,
+            "refreshUpstream": false
+          },
+          "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": 1,
+          "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
+        }
+      ]
     }
   },
   "streams": {
@@ -165,6 +283,55 @@
           }
         },
         "virtualTimeMs": 0
+      },
+      {
+        "event": {
+          "_tag": "remoteUpdated",
+          "remote": {
+            "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"
+            }
+          }
+        },
+        "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": "A",
+            "number": 613,
+            "state": "open",
+            "title": "Fixture A",
+            "url": "https://github.com/proof-audit/status-fixture/pull/613"
+          },
+          "refName": "A",
+          "workingTree": {
+            "deletions": 0,
+            "files": [],
+            "insertions": 0
+          }
+        },
+        "virtualTimeMs": 0
       }
     ]
   }