Expand description
Crate-private value-flow graph construction for composite findings.
This module deliberately does not register a detector or add fields to the serialized IR. It proves the C.0 contracts needed by SHIELD-020 while the detector transport decision remains a separate API review.
Structs§
- Byte
Span - Composite
Flow Candidate - Definition
Id - Flow
Edge - ScopeId
- Semantic
Anchor - Source
Unit - Tool
Flow Input - ValueId