why Explain
Lineage query mapped to a leak-free lineage DTO (null when absent). Returns not-found (null) when the resolved proposition belongs to another context, so a caller bound to one context can never read lineage for a foreign-context proposition id.