FeasiblePath
data class FeasiblePath(val id: String, val segmentIds: List<String> = emptyList(), val instructionIds: List<String> = emptyList())
One concrete feasible path through this sink's DAG. segmentIds[] is ordered source-end first → sink-end last, and references Sink.dataFlowDAG.segments[].id.