jp6/cu129: links for completeness-score-idris