Claim verdicts are tracked directly on the claim record—transitioning across unverified, correct, incorrect, and gap states based on evidence—while manual user overrides are stored in an append-only ruling audit log that permanently locks the verdict against automated rewrites using a human-review flag.

sequenceDiagram
    autonumber
    participant U as User / Checker
    participant C as Claim Record
    participant R as Ruling Audit Log
    participant S as Claim Sources

    alt Automated Fact & Gap Check
        U->>C: Check findings vs claim (not human-locked)
        C->>C: Set verdict (correct / incorrect / gap)
        U->>S: Attach citation URLs (supports true / false)
    else Manual Human Ruling
        U->>R: Log ruling (correct / incorrect, note, reviewer)
        U->>C: Update verdict, set human-lock
        Note over C: Automated checks locked from overwriting
    else Human Withdrawal
        U->>R: Log ruling (withdrawn, reviewer)
        U->>C: Clear human-lock, revert to automated baseline
    end