Struct SemanticHypergraph 

pub struct SemanticHypergraph { /* private fields */ }

Device-resident immutable-root semantic owner retaining its provider.

Implementations

impl SemanticHypergraph

pub fn admit_initial_records( self, records: SemanticAdmissionRecords, initial_supports: &[u32], limits: SemanticAdmissionLimits, ) -> Result<Self, SemanticHypergraphError>

Consumes a cold graph and imports the explicitly selected support assertions.

Each index selects an admitted support record with its declared statement link. Order and duplicate-insertion semantics are preserved; unselected events remain declarations available to future proposals, not initial truth. The assertion count is bounded by limits.max_records.

Initialization uses the existing device mutation path, then binds admission to the sealed populated root without re-resolving accepted symbol content. Errors return no partially initialized owner. This cold import does not certify external truth or provenance, or publish joint neural/text state.

pub fn admit_records( &mut self, base: SemanticRootHandle, records: SemanticAdmissionRecords, limits: SemanticAdmissionLimits, ) -> Result<&SemanticAdmission, SemanticHypergraphError>

Admits and owns typed content for one exact sealed base before resident execution.

This is not an import of a separate relation store, and does not assert the external truth of provenance. Invalid input is rejected before CUDA work. The accepted snapshot cannot be replaced or mutated by the caller.

pub fn admission(&self) -> Option<&SemanticAdmission>

Returns the retained cold snapshot, not a re-resolution of live inputs.

pub const fn empty_root(&self) -> SemanticRootHandle

pub const fn execution_stats(&self) -> SemanticHypergraphExecutionStats

pub fn fork( &mut self, base: SemanticRootHandle, ) -> Result<SemanticForkHandle, SemanticHypergraphError>

pub fn insert_support( &mut self, fork: SemanticForkHandle, statement: &SemanticStatementKey, event: &SemanticSupportEvent, ) -> Result<SemanticInsertOutcome, SemanticHypergraphError>

pub fn discard( &mut self, fork: SemanticForkHandle, ) -> Result<(), SemanticHypergraphError>

pub fn seal( &mut self, fork: SemanticForkHandle, ) -> Result<SemanticRootHandle, SemanticHypergraphError>

pub fn snapshot( &mut self, view: SemanticView, ) -> Result<SemanticRootSnapshot, SemanticHypergraphError>

pub fn truth( &mut self, view: SemanticView, statement: &SemanticStatementKey, ) -> Result<SemanticTruth, SemanticHypergraphError>

pub fn inspect_statement( &mut self, view: SemanticView, handle: SemanticStatementHandle, ) -> Result<SemanticStatementRef, SemanticHypergraphError>

pub fn inspect_support( &mut self, view: SemanticView, handle: SemanticSupportHandle, ) -> Result<SemanticSupportRef, SemanticHypergraphError>

pub fn inspect_version( &mut self, view: SemanticView, handle: SemanticVersionHandle, ) -> Result<SemanticVersionRef, SemanticHypergraphError>