Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

"infinite bounds" definition and xrefs disagree #392

Open
nwf opened this issue Oct 2, 2024 · 0 comments
Open

"infinite bounds" definition and xrefs disagree #392

nwf opened this issue Oct 2, 2024 · 0 comments

Comments

@nwf
Copy link
Collaborator

nwf commented Oct 2, 2024

(While writing #391, I noticed...)

§3.13 makes repeated reference to capabilities "hav[ing] infinte bounds (see Section 2.1)", but the very short §2.1 does not define the term. Instead, that definition appears in §2.2.6, amidst the discussion of bounds encoding used in the draft.

And indeed, §2.2.6 itself seems a bit confused, referring the reader back to §2.1 for bounds decoding before launching into the details of bounds decoding. I suspect some historical editorial violence to the prose. ;)

I could suggest that there be a section introduced before §2.1 that gave a brief, abstract description of the components of capabilities, sort of like what the CHERI ISA documents have done, but that sounds like a fair bit of work for which I'm not champing at the bit to volunteer. As a simpler, hopefully sufficient, edit, could we just move the definition of "has infinite bounds" nearer the top of §2.2.6 and drop its erroneous xref to §2.1?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant