Retrieval metrics: precision, recall, MRR, and nDCG

The full family of metrics for scoring whether retrieval actually found the right documents — from simple precision@k up through rank-aware metrics like MRR and nDCG.