Struct ResidentGraphCacheIdentity 

pub struct ResidentGraphCacheIdentity {
    pub domain: ResidentGraphCacheDomain,
    pub backend_id: &'static str,
    pub backend_version: &'static str,
    pub layout_hash: u64,
    pub node_count: u32,
    pub edge_count: u32,
    pub frontier_words: u32,
}

Backend-neutral resident graph cache identity shared by IFDS and fixed-point resident caches.

The tuple is intentionally not just layout_hash: resident handles are backend-owned, backend-version-sensitive resources, and solver scratch compatibility depends on the shape carried beside the layout hash.

Fields

domain: ResidentGraphCacheDomain

Resident cache domain and analysis family.

backend_id: &'static str

Stable backend/device family id.

backend_version: &'static str

Stable backend implementation version.

layout_hash: u64

Deterministic graph layout/content hash.

node_count: u32

Graph node count used by resident solver scratch.

edge_count: u32

Graph edge count used by resident uploads and diagnostics.

frontier_words: u32

Frontier bitset word count required by the resident solve.

Implementations

impl ResidentGraphCacheIdentity

pub const fn ifds_csr( backend_id: &'static str, backend_version: &'static str, layout_hash: u64, node_count: u32, edge_count: u32, frontier_words: u32, ) -> Self

Identity for a prepared IFDS resident CSR.

pub const fn fixed_point( backend_id: &'static str, backend_version: &'static str, analysis_kind: FixedPointAnalysisKind, layout_hash: u64, node_count: u32, edge_count: u32, frontier_words: u32, ) -> Self

Identity for a fixed-point resident graph.

pub fn stable_digest64(&self) -> u64

Tuple-boundary-preserving 64-bit digest for compact release evidence.

pub fn cmp_stable(&self, other: &Self) -> Ordering

Deterministic ordering for cache snapshots and release evidence.

Trait Implementations

impl Clone for ResidentGraphCacheIdentity

fn clone(&self) -> ResidentGraphCacheIdentity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResidentGraphCacheIdentity

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

Formats the value using the given formatter.

impl Eq for ResidentGraphCacheIdentity

impl Hash for ResidentGraphCacheIdentity

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 PartialEq for ResidentGraphCacheIdentity

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ResidentGraphCacheIdentity