Repository navigation
RFM row: drop an evidence citation that backs nothing (follow-up to #13314) - #13478
Merged
Merged
Conversation
…ce (review 75977) That note carries no 'second condition'; the departure's authority is the count rung_drop row. The sibling class comparison_operands_never_judged_in_v2_infer now resolves on main (#13311). Co-Authored-By: Claude Opus 5.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
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.
Follow-up to #13314, per review 75977 and lively-crane-656's ruling.
gunbc.recurring_failure_modecall_result_of_a_declared_return_type_unjudged_in_v2_infercitedstd.algebraalgebra_count_length_name_fork_noteas evidence for a "second condition" of the count departure. That note contains no such condition, on main or on #13307. The departure's authority is the rung-drop rowcollection_count_result_stated_int_until_declared_results_are_judged. This change removes that evidence ref and rewords the sentence that relied on it. Under DESIGN §3, a citation to a fact that does not exist is a citation defect.The sibling citation
comparison_operands_never_judged_in_v2_inferis kept: #13311 has merged, so it resolves on main.One file, ledger text only.
🤖 Generated with Claude Code