This is a CounterProof Reality Probe for a PR that is currently waiting on maintainer review:
continuedev/continue#12627
@aryan105825 — I was going to produce an independent before/after regression receipt for this PR, but the current exact HEAD has a more basic evidence problem that seems worth flagging first.
Current PR metadata at HEAD 675749daa1b4052c71735afcca2b7074c481a01d:
- base:
eaa23c5a9de86049dff765f635c18f61d1d043bb
- commits: 1
- changed files: 1
- the only changed file is
core/util/messageConversion.ts
The PR description currently says:
Added unit tests in core/util/messageConversion.test.ts covering...
But that path is not present in the current HEAD tree, and there is no changed test file in the PR diff.
I also checked the HEAD tree for message-conversion tests. The only similarly named test file I can find is:
extensions/cli/src/messageConversion.test.ts
which is not changed by this PR.
Why I stopped here
CounterProof could happily run existing tests or static analysis, but that would not support the stronger claim in the PR body that this specific regression is covered by newly added tests.
So I am intentionally not manufacturing a Witness from unrelated green CI.
This may simply be a lost test commit / stale PR description after a rebase or squash.
Question
Were the regression tests accidentally dropped from the current branch?
If you restore the intended test change, I am happy to rerun the exact changed test against BASE and HEAD and publish the receipt here. That would give you something concrete to point at while the PR is waiting for review.
If the tests intentionally moved somewhere else, just point me to the path and I will use that instead.
This is a CounterProof Reality Probe for a PR that is currently waiting on maintainer review:
continuedev/continue#12627
@aryan105825 — I was going to produce an independent before/after regression receipt for this PR, but the current exact HEAD has a more basic evidence problem that seems worth flagging first.
Current PR metadata at HEAD
675749daa1b4052c71735afcca2b7074c481a01d:eaa23c5a9de86049dff765f635c18f61d1d043bbcore/util/messageConversion.tsThe PR description currently says:
But that path is not present in the current HEAD tree, and there is no changed test file in the PR diff.
I also checked the HEAD tree for message-conversion tests. The only similarly named test file I can find is:
extensions/cli/src/messageConversion.test.tswhich is not changed by this PR.
Why I stopped here
CounterProof could happily run existing tests or static analysis, but that would not support the stronger claim in the PR body that this specific regression is covered by newly added tests.
So I am intentionally not manufacturing a Witness from unrelated green CI.
This may simply be a lost test commit / stale PR description after a rebase or squash.
Question
Were the regression tests accidentally dropped from the current branch?
If you restore the intended test change, I am happy to rerun the exact changed test against BASE and HEAD and publish the receipt here. That would give you something concrete to point at while the PR is waiting for review.
If the tests intentionally moved somewhere else, just point me to the path and I will use that instead.