Struct SourceSemanticFacts 

pub struct SourceSemanticFacts { /* private fields */ }

Transient binding proof paired with one exact captured source graph.

This is not a serialized public graph or a persisted second authority. A consumer must retain the source identity and remap ordinals when filtering or merging the accompanying graph. Missing facts never authorize an exact call.

Implementations

impl SourceSemanticFacts

pub fn path(&self) -> &str

Borrow the exact source path that owns these ordinals.

pub fn content_hash(&self) -> &str

Borrow the hash that must match the captured inventory before reuse.

pub fn imports(&self) -> &[SourceImportFact]

Borrow source-order import bindings.

pub fn calls(&self) -> &[SourceCallFact]

Borrow call-site decisions and exact source extents.

pub fn exports(&self) -> &[SourceExportFact]

Borrow explicit module exports and their source-owned targets.

pub const fn rust(&self) -> Option<&SourceRustFacts>

Borrow Rust module ownership captured by the native source parser.

pub const fn cargo(&self) -> Option<&SourceCargoTargets>

Borrow Cargo target settings from this exact manifest’s existing parse.

pub const fn exports_complete(&self) -> bool

Return whether all competing source export slots fit within the evidence bound.

pub fn retained_bytes(&self) -> u64

Estimate retained bytes from actual vector/string capacities and shared sets.

Immutable overload arrays are charged once per shared allocation, including their reference-count header. This is staging accounting, not measured RSS.

pub fn matches_graph(&self, graph: &SymbolGraph) -> bool

Check the owning path and vector shape before an ordinal-based operation.

pub fn remap( &self, original: &SymbolGraph, graph: &SymbolGraph, symbols: &[Option<usize>], relations: &[Option<usize>], ) -> Result<Self, SourceSemanticRemapError>

Move source evidence through explicit filtering or reordering maps.

Each map addresses an original ordinal and optionally supplies its output ordinal. Dropping any required binding proof makes a surviving call unresolved; filtering cannot turn an ambiguous binding into an exact one. New graph facts without captured evidence gain no binding proof.

Errors

Returns an error for another source path, mismatched mapping dimensions, duplicate/out-of-bounds outputs or a changed relation family. The original evidence remains unchanged on failure.

pub fn retain_graph_facts( &mut self, graph: &mut SymbolGraph, symbols: &[bool], relations: &[bool], ) -> Result<(), SourceSemanticRemapError>

Retain graph facts and their source proof together without cloning the graph.

True mask entries retain the corresponding original ordinal. The source hash is preserved; dropped declaration/import proof cannot authorize a call.

Errors

Returns a source-identity or mask-dimension mismatch before either graph or evidence changes. Once validated, filtering and remapping are infallible.

Trait Implementations

impl Clone for SourceSemanticFacts

fn clone(&self) -> SourceSemanticFacts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SourceSemanticFacts

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

Formats the value using the given formatter.

impl Default for SourceSemanticFacts

fn default() -> SourceSemanticFacts

Returns the “default value” for a type.

impl Eq for SourceSemanticFacts

impl PartialEq for SourceSemanticFacts

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for SourceSemanticFacts