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.
Constructors
Link copied to clipboard
constructor(original: Proposition, new: Proposition, conflictType: ConflictType = ConflictType.Contradiction)