-- Add SKIPPED to ClaudeJobStatus enum.
-- Used for jobs where the worker correctly detects that the work was already
-- merged before the job ran (verify=EMPTY/DIVERGENT with no net diff).
-- Distinct from FAILED (genuine errors) and DONE (new commit produced).

ALTER TYPE "ClaudeJobStatus" ADD VALUE 'SKIPPED';
