Reactie op PBI-33 batch waar worker correct detecteerde dat werk al
gemerged was, maar geen passende status had om dat uit te drukken.
SKIPPED is bedoeld voor jobs met verify=EMPTY/DIVERGENT waar de
diff t.o.v. origin/main leeg is — geen FAILED (geen fout), geen DONE
(geen netto-output).
Migratie: ALTER TYPE ClaudeJobStatus ADD VALUE 'SKIPPED'.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>