Struct DefinitionId 

pub struct DefinitionId(/* private fields */);

A tagged 64-bit identifier for any definition in a compiled story.

Layout: [tag: 8 bits][hash: 56 bits]

Implementations

impl DefinitionId

pub const RNG_CELL: DefinitionId

The well-known cell id of the std::rand RNG state cell (NS-A6, docs/stdlib-spec.md §7, ruled 2026-07-18): RNG state is a named runtime state cell, and every draw is an ordinary write to it in a definition’s effect row — no new row dimension. This constant is that cell’s name in the DefinitionId space shared by the effect-row machinery (brink-analyzer’s harvest, @[effects(…)] assertions, the wake-condition purity gate) and the runtime’s ground-truth recorder (brink-runtime::effect_trace).

The cell is compiler-owned — no source declaration mints it — so its hash is a fixed, documented constant rather than a content hash. A collision with a real content-hashed GlobalVar would require a user VAR/CONST to hash to exactly this 56-bit value (probability 2⁻⁵⁶ per global; hash_qualified_name output is uniform), which is the same residual risk every pair of user globals already carries.

The cell’s runtime representation is not a Value slot: it is the (rng_seed, previous_random) pair ContextAccess has always carried (and saves have always round-tripped). This id names that state for the effect system; it never appears in a global table.

pub fn new(tag: DefinitionTag, hash: u64) -> Self

Create a new id from a tag and a 56-bit hash.

The hash is masked to 56 bits — upper bits are silently discarded.

pub fn tag(self) -> DefinitionTag

Extract the tag byte.

pub fn hash(self) -> u64

Extract the 56-bit hash.

pub fn to_raw(self) -> u64

Return the raw u64 representation.

pub fn from_raw(raw: u64) -> Option<Self>

Reconstruct from a raw u64, returning None if the tag byte is invalid.

Trait Implementations

impl Clone for DefinitionId

fn clone(&self) -> DefinitionId

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for DefinitionId

impl Debug for DefinitionId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DefinitionId

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Display for DefinitionId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for DefinitionId

impl Hash for DefinitionId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for DefinitionId

fn cmp(&self, other: &DefinitionId) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for DefinitionId

fn eq(&self, other: &DefinitionId) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialOrd for DefinitionId

fn partial_cmp(&self, other: &DefinitionId) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for DefinitionId

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for DefinitionId