Repository navigation
Main repair: two new annotation parse refusals blocking the floor for every lane - #11959
Merged
Merged
Conversation
dcd1552 introduced 7 blocking parse errors, and they blocked the floor for every lane: a parse FAIL lends no declaration index, so the floor refuses at ArmSetConsumerPlanningUnavailable and never prepares a subject. mtcollins1_boot_authorization.dag:188-191 annotation names no subject (trailing block at EOF with no declaration after it) -- moved onto MtCollins1BootSubject, the declaration it is about, since the block's subject IS that type's gate. deepseek_v4_1_flash_authority_witness_test.dag:239,250-251 in-body annotations -- hoisted onto the enclosing test fn, after the block already attached there, in source order. Prose byte-identical in both; no semantic line touched. This is the fourth landing of this class today, which is what a required gate that cannot refuse buys: the class is only mechanically preventable once #11829 binds the floor's adjudicator. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
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
1 participant
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.
dcd1552ebaflanded 7 blockingsource annotationparse errors. They are not confined to their own files: a parse FAIL lends no declaration index, so the floor refuses atArmSetConsumerPlanningUnavailableand never prepares a subject — for every lane. The declarations and floor phases are dark corpus-wide until this parses.mtcollins1_boot_authorization.dag:188-191names no subject— trailing block at EOFMtCollins1BootSubject, the type whose gate the block is aboutdeepseek_v4_1_flash_authority_witness_test.dag:239,250-251test fn, after the block already there, in source orderProse is byte-identical in both; no semantic line is touched, and §4c admits exactly this form ("standalone leading
//blocks attached to module-scope declarations").Observed on: #11829 run 35597107939, job 106324373874 —
adjudication BLOCKING phase=parse cause=parse (7 error(s))followed by the planning refusal. That PR is the one that binds the gate's adjudicator, and it is currently the only place these are visible.This is the fourth landing of this class today (after the three cleared earlier). While the required gate cannot refuse, nothing stops the next one — the class is only mechanically preventable once #11829 lands.
🤖 Generated with Claude Code