P09.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. --- P09.a 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e +++ P09.a bb35b941115a0a9f818e8512eebe67c29ee68355 @@ -43,27 +43,20 @@ { "actual": { "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", + "aheadOfDefaultCount": 0, + "behindCount": 0, + "branchChanges": { + "baseRef": "origin/main", + "deletions": 0, + "insertions": 1 + }, + "hasPrimaryRemote": true, + "hasUpstream": false, + "hasWorkingTreeChanges": true, + "isDefaultRef": false, + "isRepo": true, + "pr": null, + "refName": "B", "workingTree": { "deletions": 0, "files": [], @@ -71,209 +64,13 @@ } }, "expectedPredicate": true, - "observedPredicate": false, - "outcome": "FAIL", + "observedPredicate": true, + "outcome": "PASS", "test": "cold result uses latest B and compatible remote", "virtualTimeMs": 0 }, { "actual": { - "_tag": "snapshot", - "local": { - "branchChanges": { - "baseRef": "origin/main", - "deletions": 0, - "insertions": 1 - }, - "hasPrimaryRemote": true, - "hasWorkingTreeChanges": false, - "isDefaultRef": false, - "isRepo": true, - "refName": "A", - "workingTree": { - "deletions": 0, - "files": [], - "insertions": 0 - } - }, - "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" - } - } - }, - "expectedPredicate": true, - "observedPredicate": false, - "outcome": "FAIL", - "test": "cache remains B/null", - "virtualTimeMs": 0 - } - ], - "branchProbeChannel": [], - "checkpoints": [], - "clockAdvances": [ - { - "byMs": 0, - "virtualTimeMs": 0 - }, - { - "byMs": 0, - "virtualTimeMs": 0 - } - ], - "finalResultsAndObservations": [ - { - "kind": "result", - "result": { - "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 - } - }, - "snapshot": { - "_tag": "snapshot", - "local": { - "branchChanges": { - "baseRef": "origin/main", - "deletions": 0, - "insertions": 1 - }, - "hasPrimaryRemote": true, - "hasWorkingTreeChanges": false, - "isDefaultRef": false, - "isRepo": true, - "refName": "A", - "workingTree": { - "deletions": 0, - "files": [], - "insertions": 0 - } - }, - "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" - } - } - }, - "virtualTimeMs": 0 - } - ], - "invalidationChannel": [ - { - "kind": "invalidate-local" - } - ], - "localReadChannel": [ - { - "local": { - "branchChanges": { - "baseRef": "origin/main", - "deletions": 0, - "insertions": 1 - }, - "hasPrimaryRemote": true, - "hasWorkingTreeChanges": false, - "isDefaultRef": false, - "isRepo": true, - "refName": "A", - "workingTree": { - "deletions": 0, - "files": [], - "insertions": 0 - } - }, - "n": 1, - "virtualTimeMs": 0 - }, - { - "local": { - "branchChanges": { - "baseRef": "origin/main", - "deletions": 0, - "insertions": 1 - }, - "hasPrimaryRemote": true, - "hasWorkingTreeChanges": false, - "isDefaultRef": false, - "isRepo": true, - "refName": "A", - "workingTree": { - "deletions": 0, - "files": [], - "insertions": 0 - } - }, - "n": 2, - "virtualTimeMs": 0 - }, - { - "local": { - "branchChanges": { - "baseRef": "origin/main", - "deletions": 0, - "insertions": 1 - }, - "hasPrimaryRemote": true, - "hasWorkingTreeChanges": true, - "isDefaultRef": false, - "isRepo": true, - "refName": "B", - "workingTree": { - "deletions": 0, - "files": [], - "insertions": 0 - } - }, - "n": 3, - "virtualTimeMs": 0 - } - ], - "mutations": [], - "pullChannel": [], - "reconnects": [ - { - "event": { "_tag": "snapshot", "local": { "branchChanges": { @@ -294,7 +91,38 @@ }, "remote": null }, - "merged": { + "expectedPredicate": true, + "observedPredicate": true, + "outcome": "PASS", + "test": "cache remains B/null", + "virtualTimeMs": 0 + } + ], + "branchProbeChannel": [ + { + "branch": "A", + "virtualTimeMs": 0 + }, + { + "branch": "B", + "virtualTimeMs": 0 + } + ], + "checkpoints": [], + "clockAdvances": [ + { + "byMs": 0, + "virtualTimeMs": 0 + }, + { + "byMs": 0, + "virtualTimeMs": 0 + } + ], + "finalResultsAndObservations": [ + { + "kind": "result", + "result": { "aheadCount": 0, "aheadOfDefaultCount": 0, "behindCount": 0, @@ -316,9 +144,109 @@ "insertions": 0 } }, - "name": "while-A-held-after-B-local", - "virtualTimeMs": 0 - }, + "snapshot": { + "_tag": "snapshot", + "local": { + "branchChanges": { + "baseRef": "origin/main", + "deletions": 0, + "insertions": 1 + }, + "hasPrimaryRemote": true, + "hasWorkingTreeChanges": true, + "isDefaultRef": false, + "isRepo": true, + "refName": "B", + "workingTree": { + "deletions": 0, + "files": [], + "insertions": 0 + } + }, + "remote": null + }, + "virtualTimeMs": 0 + } + ], + "invalidationChannel": [ + { + "kind": "invalidate-remote" + }, + { + "kind": "invalidate-local" + }, + { + "kind": "invalidate-local" + } + ], + "localReadChannel": [ + { + "local": { + "branchChanges": { + "baseRef": "origin/main", + "deletions": 0, + "insertions": 1 + }, + "hasPrimaryRemote": true, + "hasWorkingTreeChanges": false, + "isDefaultRef": false, + "isRepo": true, + "refName": "A", + "workingTree": { + "deletions": 0, + "files": [], + "insertions": 0 + } + }, + "n": 1, + "virtualTimeMs": 0 + }, + { + "local": { + "branchChanges": { + "baseRef": "origin/main", + "deletions": 0, + "insertions": 1 + }, + "hasPrimaryRemote": true, + "hasWorkingTreeChanges": true, + "isDefaultRef": false, + "isRepo": true, + "refName": "B", + "workingTree": { + "deletions": 0, + "files": [], + "insertions": 0 + } + }, + "n": 2, + "virtualTimeMs": 0 + }, + { + "local": { + "branchChanges": { + "baseRef": "origin/main", + "deletions": 0, + "insertions": 1 + }, + "hasPrimaryRemote": true, + "hasWorkingTreeChanges": true, + "isDefaultRef": false, + "isRepo": true, + "refName": "B", + "workingTree": { + "deletions": 0, + "files": [], + "insertions": 0 + } + }, + "n": 3, + "virtualTimeMs": 0 + } + ], + "mutations": [], + "pullChannel": [], + "reconnects": [ { "event": { "_tag": "snapshot", @@ -329,54 +257,81 @@ "insertions": 1 }, "hasPrimaryRemote": true, - "hasWorkingTreeChanges": false, + "hasWorkingTreeChanges": true, "isDefaultRef": false, "isRepo": true, - "refName": "A", + "refName": "B", "workingTree": { "deletions": 0, "files": [], "insertions": 0 } }, - "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" + "remote": null + }, + "merged": { + "aheadCount": 0, + "aheadOfDefaultCount": 0, + "behindCount": 0, + "branchChanges": { + "baseRef": "origin/main", + "deletions": 0, + "insertions": 1 + }, + "hasPrimaryRemote": true, + "hasUpstream": false, + "hasWorkingTreeChanges": true, + "isDefaultRef": false, + "isRepo": true, + "pr": null, + "refName": "B", + "workingTree": { + "deletions": 0, + "files": [], + "insertions": 0 + } + }, + "name": "while-A-held-after-B-local", + "virtualTimeMs": 0 + }, + { + "event": { + "_tag": "snapshot", + "local": { + "branchChanges": { + "baseRef": "origin/main", + "deletions": 0, + "insertions": 1 + }, + "hasPrimaryRemote": true, + "hasWorkingTreeChanges": true, + "isDefaultRef": false, + "isRepo": true, + "refName": "B", + "workingTree": { + "deletions": 0, + "files": [], + "insertions": 0 } - } + }, + "remote": null }, "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", + "aheadOfDefaultCount": 0, + "behindCount": 0, + "branchChanges": { + "baseRef": "origin/main", + "deletions": 0, + "insertions": 1 + }, + "hasPrimaryRemote": true, + "hasUpstream": false, + "hasWorkingTreeChanges": true, + "isDefaultRef": false, + "isRepo": true, + "pr": null, + "refName": "B", "workingTree": { "deletions": 0, "files": [],