SinkDataFlowDAG
data class SinkDataFlowDAG(val segments: List<DataFlowSegment> = emptyList(), val edges: List<DataFlowSegmentEdge> = emptyList(), val states: List<FlowState> = emptyList(), val segmentPayloads: List<SegmentPayload> = emptyList(), val components: List<EvidenceComponent> = emptyList())
Per-physical-sink data-flow evidence. V5 stores a flattened segment DAG. V6 interns exact (instruction, fact) states and ordered payloads while retaining one isolated EvidenceComponent per positive solver/sink cell. Reconstruction walks backward from the sink; serialized edges point in the forward propagation direction (from upstream of to).
Constructors
Link copied to clipboard
constructor(segments: List<DataFlowSegment> = emptyList(), edges: List<DataFlowSegmentEdge> = emptyList(), states: List<FlowState> = emptyList(), segmentPayloads: List<SegmentPayload> = emptyList(), components: List<EvidenceComponent> = emptyList())