Enum CrossMemRelCheck 

pub enum CrossMemRelCheck {
    Ok,
    EdgeNotDeclared,
    Invalid(ValidationError),
}

Outcome of looking up a rel-type against a cross-mem entry in the source schema’s cross_mem_relationships: vocabulary. EdgeNotDeclared carries the recovery payload the engine layer wraps into crate::EngineError::CrossMemEdgeNotDeclared; the other variants reuse the existing ValidationError shapes so agents reading the wire shape decode INVALID_REL_TYPE / INVALID_REL_SHAPE identically in both intra- and cross-mem flows.

Variants

Ok

(rel_type, from_type, to_type) are admitted by the matched cross-mem entry’s declared vocabulary and shape. The engine proceeds with the relate write.

EdgeNotDeclared

The source schema declares no cross-mem entry whose to_schema: matches the target schema. Carries the recovery payload for CROSS_MEM_EDGE_NOT_DECLARED.

Invalid(ValidationError)

Validation tripped the matched cross-mem entry’s own vocabulary / shape — reuses the existing INVALID_REL_TYPE / INVALID_REL_SHAPE envelopes (carried as the wrapped ValidationError) so wire-shape decoders stay flat.

Trait Implementations

impl Clone for CrossMemRelCheck

fn clone(&self) -> CrossMemRelCheck

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CrossMemRelCheck

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

Formats the value using the given formatter.