projectToLogicalSink

Derives one logical-sink view from an aggregate analyzer result.

A logical sink is identified by its exact configured callee symbol and can have several physical call-site instructions. Their sink records, facts, data-flow DAGs, feasibility evidence, and verdicts are retained verbatim. The shared ICFG topology and configured source annotations are preserved, while sink-role annotations and top-level sink records are restricted to the selected logical endpoint. In particular, unconfigured leak records are not allowed to leak into the projected Vista/ASIL-propagation scope.