Repository navigation
skill: a first-error count is not an unblocking count - #3211
Merged
Merged
Conversation
From #3208. The ungated serde derive was the FIRST rustc error in 84 specs and discriminated perfectly -- 0 of 224 passing files, 84 of 357 failing. Measured by name after the fix, rustc acceptance moved 224 -> 237: +13 unblocked, 0 regressions, and 0 specs still failing on serde. Errors queue. 84 is how many specs the cause stops first; 13 is how many the fix carries to acceptance. Both are true and neither implies the other, so a report needs the first-error count, the by-name before/after, and a count of specs still failing on the cause -- three separate claims. Refs #3208 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
This was referenced Sep 5, 2026
…a-yield # Conflicts: # .claude/skills/ci-gates/SKILL.md
Contributor
PR DashboardGenerated at: 2026-09-05 00:04:07 UTC
Summary
Seal Status
|
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
…a-yield # Conflicts: # .claude/skills/ci-gates/SKILL.md
Contributor
PR DashboardGenerated at: 2026-09-05 00:33:04 UTC
Summary
Seal Status
|
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
PR DashboardGenerated at: 2026-09-05 00:39:44 UTC
Summary
Seal Status
|
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.
Recorded from #3208, where the two numbers differed by a factor of six and
quoting the larger one would have been wrong.
The ungated serde derive was the first rustc error in 84 specs, and the form
discriminated perfectly — 0 of the 224 passing files, 84 of the 357 failing ones.
Measured by name over all 650 specs after the fix, rustc acceptance moved 224 →
237: +13 unblocked, 0 regressions, and 0 specs still failing on
serde.Errors queue. 84 is how many specs the cause stops first; 13 is how many the fix
carries all the way to acceptance; the other 71 report whatever stood behind it. A
class can be the largest single cause in a column and still unblock a small fraction
of it — that is what a backlog with depth looks like, not a failure of the fix.
Three separate claims, none implying another, so all three belong in a report:
what stops a gain and a regression cancelling inside a total
reduced
Skill §560 and a
docs/nowentry. No code.Refs #3208