docs(adr): a display suffix skips a number a literal display already holds (improvise-cq1q.1)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
This commit is contained in:
committed by
Edward Langley
parent
1df5f99e35
commit
46c8a967bc
@@ -112,10 +112,11 @@ cost`); a dimension target is rare, for a derived dimension.
|
||||
`Profit #2` picks that thing (clause 6), and the ids stay the unambiguous name.
|
||||
- Old files cannot hold two things with one name in a scope, so loading one adds no
|
||||
suffix.
|
||||
- A display can also be literally `Profit #2`. Beside two things displayed `Profit`,
|
||||
it shows the same text as the suffixed one; the two stay distinct by id, and typing
|
||||
`Profit #2` then matches both, so the pick is ambiguous and is refused with both ids
|
||||
listed (clause 12).
|
||||
- A suffix never repeats a display already in the scope. If something is literally
|
||||
displayed `Profit #2`, the shared `Profit`s take the next free numbers instead:
|
||||
`Profit`, `Profit #3`, `Profit #4`, still in id order. "Gapless" counts only the
|
||||
suffixes actually assigned, so a number taken by a literal display is skipped,
|
||||
like an id collision candidate that is already held.
|
||||
|
||||
### 4. How an id is made
|
||||
|
||||
|
||||
Reference in New Issue
Block a user