Demote

data class Demote(val toRelation: String, val reason: String) : GateDecision

Persist the proposition, but signal that the relation it asserts should be projected as a weaker predicate (toRelation) because its evidence did not clear the relation's floor. The proposition itself stays canonical and untouched — the consumer applies the relabel when it projects, so a cheap structural signal lands as the modest claim it actually supports.

Throws

Constructors

Link copied to clipboard
constructor(toRelation: String, reason: String)

Properties

Link copied to clipboard
Link copied to clipboard