In the Fact & Gap Checker workflow, human rulings act as an authoritative override that locks a claim's verdict against automated checker updates, while withdrawing a ruling relinquishes the claim back to automated evaluation.

stateDiagram-v2
    [*] --> AutomatedEvaluation

    state "Automated Evaluation" as AutomatedEvaluation {
        direction LR
        Evaluating --> DynamicVerdict : Checker Pass
    }

    state "Dynamic Verdict<br/>(not human-locked)" as DynamicVerdict {
        Correct_Auto : Correct
        Incorrect_Auto : Incorrect
        Gap_Auto : Gap
    }

    DynamicVerdict --> HumanLocked : Human Ruling<br/>(sets human-lock)

    state "Human Locked Verdict<br/>(human-locked)" as HumanLocked {
        Correct_Human : Correct (Locked)
        Incorrect_Human : Incorrect (Locked)
    }

    HumanLocked --> AutomatedEvaluation : Withdraw Ruling<br/>(clears human-lock)