Skip to main content

SemanticAdmission

Struct SemanticAdmission 

Source
pub struct SemanticAdmission { /* private fields */ }
Expand description

Immutable typed content and identities held by one graph for one acquired base.

Registry IDs are diagnostic references only. Consumers use symbols() for accepted meanings and must not resolve them again through the live registry. Admission validates general semantic records; it does not qualify targets for an action catalogue’s operand limits or its completion-aware draw mask.

Implementations§

Source§

impl SemanticAdmission

Source

pub const fn encoding_generation(&self) -> u32

Typed record and symbol-content encoding, distinct from the kernel launch ABI.

Source

pub fn records(&self) -> &SemanticAdmissionRecords

Source

pub fn symbols(&self) -> &SymbolSnapshot

Source

pub const fn schema_generation(&self) -> Identity256

Source

pub fn schema_bytes(&self) -> &[u8] ⓘ

Exact canonical preimage of the admitted schema generation.

Source

pub const fn identity(&self) -> Identity256

Source

pub const fn base(&self) -> SemanticRootHandle

Source

pub const fn base_snapshot(&self) -> &SemanticRootSnapshot

Source

pub fn statement_key( &self, record: u32, ) -> Result<SemanticStatementKey, SemanticHypergraphError>

Selects a validated statement record; metadata records cannot become statements.

Source

pub fn support_event( &self, index: u32, ) -> Result<SemanticSupportEvent, SemanticHypergraphError>

Selects owner-bound support metadata whose source references were checked together. The original statement link remains in records(); insertion derives a support identity for the selected admitted target statement.

Auto Trait Implementations§

Blanket Implementations§

§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.