Glossary
Definitions for the compiler, ABI, ownership, ELF, provenance and proof terms used throughout the field manual.
| AST | Shared parsed syntax tree produced before canonical resolution/type identity. |
|---|---|
| Canonical HIR | Typed semantic IR that is the v12 authority consumed by backends; backends must not reinterpret canonical types. |
| TypeId | Stable canonical type identity used by HIR, layout and specialization. |
| GenericDefId | Stable generic-definition identity used with canonical TypeId arguments for monomorphization. |
| Monomorphization | Compile-time specialization of generic definitions into concrete type instances. |
| TargetDataLayout | Target input defining pointer/usize width and alignment; host Rust usize is not a target-layout input. |
| DBYTE32 | DByte i686 systems ABI used by the native path. |
| ET_REL | ELF relocatable object emitted before final linking. |
| ET_EXEC | Final executable ELF image emitted by the DByte linker. |
| Peel · peeled commit | For annotated Git tags, resolve the tag object to the commit it names; the history ledger records both identities. |
| Copy | Value class copied by assignment/passing instead of moved. Includes integers, bool, raw pointers, borrows, slices, StringView, function pointers and all-Copy aggregates/enums. |
| Move | Transfer of non-Copy value ownership; later use of the old binding is invalid. |
| Borrow | Lexical immutable or exclusive mutable view that prevents conflicting owner operations while active. |
| Niche optimization | A representation optimization explicitly NOT used by v12 payload enums. |
| Profile validation | Gate after typing/HIR that rejects capabilities unavailable to hosted, kernel or user targets. |
| Proof | Executed evidence whose command, input identity, acceptance condition and output can be reproduced; a prose claim alone is not executed proof. |
Documentation status vocabulary§
| Word | Meaning |
|---|---|
CURRENT | Current release documentation. |
SUPPORTED | A released surface that is supported in the stated host/target context. |
NOT SUPPORTED | The named capability is unavailable in the stated released host/target/profile context. |
DOCUMENTED | Specified and documented; does not by itself promise a host distribution. |
COMPATIBILITY | Historical or hosted surface retained for compatibility. |
PROPOSED | Roadmap design only; not a release contract. |
DEFERRED | Explicitly outside the current release. |
NOT RELEASED | No current release artifact for the named surface. |
FROZEN | Historical evidence that keeps its original version identity. |
SOURCE POLICY: release/tag documents define contracts; examples are copied from the supplied v12.0.0 package or explicitly marked as explanatory. Unsupported claims are not upgraded by prose.