GatedPropositionResult

data class GatedPropositionResult(val proposition: Proposition, val evaluations: List<GateEvaluation>, val finalDecision: GateDecision)

The aggregated outcome of running one or more gates against a proposition, together with the final routing decision.

Constructors

Link copied to clipboard
constructor(proposition: Proposition, evaluations: List<GateEvaluation>, finalDecision: GateDecision)

Properties

Link copied to clipboard

The weaker predicate to project, when the final decision is a demotion; null otherwise.

Link copied to clipboard

the per-gate evaluations that contributed to the final decision

Link copied to clipboard

the decision the consumer should act on

Link copied to clipboard

True when the asserted relation should be demoted to a weaker predicate at projection time.

Link copied to clipboard

True when the proposition was rejected.

Link copied to clipboard

the proposition that was gated

Link copied to clipboard

True when the proposition should be persisted normally (a plain GateDecision.Persist).

Link copied to clipboard

True when the proposition should be routed to review.

Link copied to clipboard

True when the proposition should be written to storage at all — that is, every decision except GateDecision.Reject and GateDecision.RouteToReview. Use this (not shouldPersist) to guard a save(), since GateDecision.Demote and GateDecision.SkipProjection both keep the proposition; they only change how it is projected.

Link copied to clipboard

True when the proposition should be persisted but excluded from projection.