PropositionResult

@ApiStatus.Experimental
sealed interface PropositionResult

A proposition assessment keeps false answers, insufficient evidence, and failures distinct.

In JSON a proposition result is an object whose status member names its class: answered, inconclusive or failure.

Inheritors

Types

Link copied to clipboard
data class Answered constructor(val answer: Boolean, val provenance: ModelProvenance, val pTrue: Double? = null) : PropositionResult

A supported Boolean answer. Optional pTrue is the provider-reported probability that the proposition is true, including for false answers. It is finite in 0,1, never inferred, and does not imply calibration or an application decision threshold.

Link copied to clipboard
data class Failure constructor(val reason: FailureReason) : PropositionResult

An operational failure with no raw provider error or throwable retained.

Link copied to clipboard
data class Inconclusive constructor(val provenance: ModelProvenance) : PropositionResult

Insufficient evidence to answer the proposition.