DICE API Documentation/com.embabel.dice.proposition.revision/RevisionResult

RevisionResult

sealed class RevisionResult

Result of revising a proposition against the existing store.

Inheritors

Types

Contradicted

data class Contradicted(val original: Proposition, val new: Proposition, val conflictType: ConflictType = ConflictType.Contradiction) : RevisionResult

Contradicted an existing proposition. Both are stored; the original normally has its confidence reduced and status set to CONTRADICTED — except a pinned original is kept intact (conflict-protected), leaving the clash for explicit resolution.

Generalized

data class Generalized(val proposition: Proposition, val generalizes: List<Proposition>) : RevisionResult

Stored as a new proposition that generalizes existing ones

Merged

data class Merged(val original: Proposition, val revised: Proposition) : RevisionResult

Merged with an existing identical proposition

New

data class New(val proposition: Proposition) : RevisionResult

Stored as a new proposition (no similar ones found)

Reinforced

data class Reinforced(val original: Proposition, val revised: Proposition) : RevisionResult

Reinforced an existing similar proposition