undercut

An undercutting justification-defeat marker — the inferential or evidential link supporting the target is attacked, removing the warrant without asserting the target's negation. Aligns with gmeow:defeaterUndercutting in the inference slice. A solver-set flag only; never reasoner-promoted.

Structure

Types: gmeow:JustificationStatus

Practical Pattern

Use gmeow:justificationStatusUndercut as a controlled value typed as gmeow:JustificationStatus.

Common Companion Terms

gmeow:JustificationStatus