Uh oh!
There was an error while loading. Please reload this page.
llp: renumber collided numbers 0098/0099/0111 and settle the repair policy (LLP 0156) - #487
Merged
Merged
Conversation
…0156) Three LLP numbers were each claimed by two documents on master (issue #463 item 1). Renumber the later-to-master claimant of each pair and sweep every inbound reference, disambiguated by anchor and context: - 0098-inactive-not-unknown-dispatch-miss -> LLP 0153 (scancolumn-where-pushdown keeps 0098) - 0099-dispatch-miss-repair-by-cause -> LLP 0154 (codex-attach-auth-route keeps 0099) - 0111-report-cli -> LLP 0155 (hyp-policy-verb keeps 0111) The repair policy (renumber over filename-qualified citations) is recorded as decision LLP 0156, and the 'no LLP number is claimed by two documents' hygiene test is unskipped so a future duplicate fails npm test. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…n't rewrite Mechanical edits (typos, links, status changes, meaning-preserving renumbering) stay allowed, per LLP 0156. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
The rename commit staged the moves but not the in-file edits: the H1 numbers, 0153's Extended-by line, and 0154's references to 0153. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Uh oh!
There was an error while loading. Please reload this page.
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 freeto 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
Three LLP numbers were each claimed by two documents on master, making bare citations like
@ref LLP 0111#surfaceformally ambiguous (issue #463 item 1, left open as a deliberate corpus decision). This PR settles it as renumber the later claimant, matching the 0142 -> 0152 precedent in #486:New numbers sit above the highest number claimed on any branch (0152), so the repair can't seed the next collision.
How
@refs, doc links,Related:/Extended-by:headers), disambiguated by anchor and context. References to the surviving claimants, including hypaware-server'sHypAware LLP 0098citations, were verified and left untouched.no LLP number is claimed by two documentstest inllp-ref-hygiene.test.js, so a future duplicate on master failsnpm test.Testing
npm test: 2993 pass, 0 fail (uniqueness test now live).🤖 Generated with Claude Code