Miscellaneous Definitions
You found the page where we define all of the previews we do not introduce in any spec. We hope you will enjoy your stay.
A U8 is an unsigned 8-bit integer, i.e., a natural number between zero (inclusive) and (exclusive).
A U64 is an unsigned 64-bit integer, i.e., a natural number between zero (inclusive) and (exclusive).
A Bool is one of two possible values: true or false.
The value open signals that a range is open.
The value any signals that an Area includes Entries with arbitrary entry_subspace_id.
read is a value that signifies that a capability grants the ability to read some Entries.
write is a value that signifies that a capability grants the ability to write some Entries.
Specification Statuses
Final means the specified concepts will not change anymore. You can safely implement this specification.
Anyone — including us — wishing for changes will have to fork and create their own, derivative specification. We may still update the page with presentational and non-normative changes.
Candidate means we have a complete design and first implementation experience, but we want to practically validate it some more before committing to never changing it.
We may still change details as issues arise. In principle, we might even do fundamental changes, but we hope optimistic this will not be necessary. We encourage implementation efforts and would love to hear about any stumbling blocks you encounter.
We keep a changelog and RSS feed of all changes to Candidate specifications invalid-reference.
Proposal means we have a complete design which we think should work, but which has not been validated by any implementation work yet.
There will probably be changes unless we got it right the first time. If we got it really wrong, there may be fundamental changes. While we would be delighted by outside implementation efforts and reports of stumbling blocks, we will happily save you the effort.