Skip to content

Flag that the development page's PHP row predates its audit - #167

Merged
DavidBakerEffendi merged 1 commit into
mainfrom
dave/157-development-page-caveat
Aug 21, 2026
Merged

Flag that the development page's PHP row predates its audit#167
DavidBakerEffendi merged 1 commit into
mainfrom
dave/157-development-page-caveat

Conversation

@DavidBakerEffendi

Copy link
Copy Markdown
Collaborator

Closes #157.

The page reports PHP as 10 shared / 9 both exact / 0 exact-for-LSP-only, which
reads as Bifrost satisfying every PHP case in the corrected 24 July run. That
cannot describe the corpus as it stands.

The PHP ground-truth audit (f19c801) landed 22 July, two days before that run,
and rewrote php-property-access and php-parity-static-property-access to
expect sigil-inclusive ranges. Every Bifrost measured since fails at least one:

v0.10.1 v0.10.5
php-property-access failed passed
php-parity-static-property-access failed failed (BrokkAi/bifrost-dev#2535)

So the row reflects a pre-audit corpus, or a shared denominator that excluded
those two for a reason the page does not record.

Why bother

Reading that row as current evidence is what produced the false "PHP
regression between v0.8.8 and v0.10.1" hypothesis — disproved only by checking
visit_property_declaration at both tags, after a round trip to another
repository. A caution costs less than the next person repeating it.

The numbers are untouched. This is historical evidence; the point is that its
provenance is unclear, not that the figures should be restated.

links:check passes 22 routes.

🤖 Generated with Claude Code

The page reports PHP as ten shared cases with nine exact for both sides and
none exact for the language server alone, which reads as Bifrost satisfying
every PHP case in the 24 July run. That cannot describe the corpus as it
stands.

The PHP ground-truth audit landed on 22 July, two days before that run, and
rewrote php-property-access and php-parity-static-property-access to expect
sigil-inclusive ranges. Every Bifrost version measured since fails at least one
of them: both under v0.10.1, and the static-property case alone under v0.10.5,
which corrected the declaration side but not the static usage side.

So the row describes a corpus from before the audit, or a shared denominator
that dropped those two cases for a reason the page does not give. It is not
evidence that Bifrost passed them.

This is not hypothetical. Reading that row as current evidence produced a false
regression hypothesis that took a source-level comparison across two Bifrost
tags to disprove, and a round trip to another repository. A caution on the page
is cheaper than the next person repeating it.

The numbers are left untouched. The page is historical evidence and the point
is that its provenance is unclear, not that the figures should be restated.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@DavidBakerEffendi
DavidBakerEffendi merged commit d6939b6 into main Aug 21, 2026
5 checks passed
@DavidBakerEffendi
DavidBakerEffendi deleted the dave/157-development-page-caveat branch August 21, 2026 15:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Reconcile the 24 July development page with the PHP audit

1 participant