Module relation_interchange 

Relation import/export fixtures for IFDS and differential evidence.

use weir::relation_interchange::{
    export_relation_interchange_bytes, import_relation_interchange_bytes,
};

Relation interchange rows for IFDS fixtures and differential evidence.

The schema is deliberately byte-oriented and dataflow-generic: it records source rows, sink rows, graph edges, call-string rows, fact domains, and output witnesses without depending on a downstream reporter.

Structs

ReconstructedRelationWitness

Reconstructed source-to-sink witness.

RelationCallString

Call-string relation row.

RelationEdge

Graph or summary edge relation row.

RelationEndpoint

Source or sink relation row.

RelationFact

Fact-domain relation row.

RelationInterchange

Owned relation interchange fixture.

RelationOutputWitness

Output witness relation row.

Enums

RelationInterchangeError

Relation interchange validation and decode failures.

Constants

RELATION_INTERCHANGE_SCHEMA_VERSION

Relation interchange schema version.

Functions

export_relation_interchange_bytes

Serialize relation interchange rows to canonical little-endian bytes.

import_relation_interchange_bytes

Decode canonical relation interchange bytes.

reconstruct_relation_witness

Reconstruct one source-to-sink witness from relation interchange rows.

validate_relation_interchange

Validate relation interchange tuple identities and witness consistency.