dedupNotes

Same-predicate pairs collapsed by addMapping, one human-readable note per pair, in emission order. The conversion entry point logs these as a single summary line; without the dedup each pair would surface as a Geyser boot error instead.