spawn_area accepts both position forms on purpose, so it asserts that one of the two is present rather than narrowing the type. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>