revise

abstract fun revise(newProposition: Proposition, repository: PropositionRepository): RevisionResult

Revise a new proposition against the existing repository.

Does NOT persist the result - the caller must persist using PersistablePropositionResults.persist after collecting all results.

Return

The result of revision (merged, reinforced, contradicted, or new)

Parameters

newProposition

The newly extracted proposition

repository

The proposition repository for retrieval (read-only)