Module dataflow 

Compatibility facade for GPU dataflow compositions. This path remains for older vyre-libs::dataflow::* consumers and must not grow a parallel dataflow implementation tree. Compatibility facade for shared dataflow soundness contracts.

vyre-libs::dataflow remains as a stable import path for older consumers, but platform crates must not re-export downstream analysis engines. Concrete IFDS, SSA, reaching-definition, callgraph, slicing, range, and related analyses live in their owning engine crates and consume these shared contracts from vyre-foundation.

Structs

DynamicPrimitiveSoundness

Serializable soundness evidence for one primitive in a finding or release artifact.

DynamicSoundnessViolation

Mechanical rejection reason for an invalid dynamic soundness composition.

PrimitiveSoundness

Soundness evidence for one primitive in a composed pipeline.

SharedFactHeader

Minimal cross-engine fact header.

SoundnessViolation

Mechanical rejection reason for an invalid soundness composition.

Enums

PrecisionContract

Precision contract requested by a consumer pipeline.

SharedFactKind

Cross-engine fact families accepted by the shared dataflow schema.

Soundness

Soundness regime of a dataflow primitive.

Constants

SHARED_FACT_SCHEMA_VERSION

Shared fact-schema version for security, borrowck, and Weir/Vyre bridges.

Traits

SoundnessTagged

Trait for types that carry a soundness marker.

Functions

validate_dynamic_pipeline

Validate a serializable primitive pipeline against a consumer precision contract, returning the composed soundness marker on success.

validate_dynamic_primitive

Validate one serializable primitive against a consumer precision contract.

validate_pipeline

Validate that a primitive pipeline can satisfy a consumer precision contract, returning the composed soundness marker on success.

validate_primitive

Validate one primitive against a consumer precision contract.