loadOneSinkPresentationVista
fun loadOneSinkPresentationVista(parsed: AnalysisResult, logicalSinkSymbol: String, asilBySymbol: Map<String, ASIL> = emptyMap(), analysisJsonDir: File? = null): Vista
Loads one logical sink as a browser-sized code-topology quotient.
Schema-v7 analyzer evidence remains lossless in parsed. This projection deliberately merges segment occurrences with the same ordered instruction payload and merges equal code-topology edges. Fact, component, solver, segment-instance, and edge-instance identities are not copied into the presentation graph; DataFlowSegmentDagView.representedSegmentCount and DataFlowSegmentDagView.representedEdgeCount retain their cardinalities.