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