revise

open override fun revise(newProposition: Proposition, repository: PropositionRepository): RevisionResult

Single-proposition revise — uses retrieveAndFastPath then falls back to single-proposition LLM classify for backward compatibility.