Cover AC2 (end == start), AC3 (open-ended, end null) and AC4 (null start + end set, which must not reject or NPE), plus end-after-start. Guards the guard against future over-rejection that would diverge from the DB CHECK. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>