"""
FALSIFY belief-revision tasks.

The three-step revision pipeline, in execution order:

1. :func:`detect_contradictions` — two-gate detector: which existing evidence does a
   new fact contradict/supersede?
2. :func:`propagate_refutation` — flip the contradicted evidence to ``refuted`` and
   cascade ``invalidated`` forward through ``depends_on``; then
   :func:`promote_competing_hypothesis` re-scores the rival hypotheses.
3. :func:`cascade_forget` — hard-delete truly-orphaned dead-ends from graph + vector,
   keeping provenance tombstones.
"""

from falsify.tasks.detect_contradictions import (
    Contradiction,
    ContradictionJudgement,
    detect_contradictions,
)
from falsify.tasks.propagate_refutation import (
    PropagationResult,
    promote_competing_hypothesis,
    propagate_refutation,
)
from falsify.tasks.cascade_forget import ForgetResult, cascade_forget

__all__ = [
    "detect_contradictions",
    "Contradiction",
    "ContradictionJudgement",
    "propagate_refutation",
    "promote_competing_hypothesis",
    "PropagationResult",
    "cascade_forget",
    "ForgetResult",
]