Status Transition Sweep Policy
class StatusTransitionSweepPolicy constructor(targetStatus: PropositionStatus = PropositionStatus.STALE) : SweepPolicy
Default SweepPolicy: non-destructive and safe for pinned propositions.
Decision order:
Pinned propositions are always skipped, no matter what marks they carry.
A proposition with no marks is skipped.
Everything else transitions to targetStatus.
Never returns SweepAction.HardDelete — the default outcome is STALE, which is reversible.
Functions
Link copied to clipboard
Decide what to do with proposition given its marks.