Repository navigation
Conversation
…pressed) Every mined claim on a main-like build with no review yet whose source settles it. Quotes are the reporters' own sentences, checked against the sources; cited main commits are ancestors of main and every named PR is merged now. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Hand verdicts for 44 of the page's unverified claims: every mined claim on a
main-like build that had no review yet, minus the ones whose source did not settle them (those stay unreviewed). Each entry rests on the reporter's own sentence, quoted exactly from the source; a script checked every quote against the source text before writing. Every citedmaincommit was checked to be an ancestor ofmain, and every PR a build names was checked to be merged now (gh pr view).main, ormainplus PRs that are all merged now.Confirmed
mainmainmain + #6441, #6571mainmainmain + #5321, #5322, #5323, #5324mainmain + #6571mainmainmainmainmainmainmain + #6343, #6487, #6571main + #7300mainmainmainmainmainmain + #5918mainDowngraded
mainmain + #3295, #4688mainmain + #5916Suppressed
Source
Each entry's
claim_url, and for confirmed and downgraded entries itsurl(the same source, except Syobon Action, whose stage comes from the HD 520 run in the Capy Mobile thread).Checklist
main, ormainplus PRs that are merged nowtests/(no rule change)ruff check .andruff format --check .pass locally (--validateok)web/: N/A (data only)