An ordered path between two entities, derived from proposition edges.
The path is the entity sequence [a, ..., b] together with the propositions connecting each consecutive pair. An empty entityIds models "no path" — callers that need to distinguish an absent path from a present one read found.