revise
open override fun reviseAll(propositions: List<Proposition>, repository: PropositionRepository): List<RevisionResult>
Deduplicate a batch of propositions by canonical text, then use fast-path (canonical match + auto-merge) where possible and batch the rest into as few LLM calls as possible.