uv run data/generate_ctx_magic_number.py