AV1: Colours incorrect on yuv444p10le format

I have encoded a video with both AV1 and H264 encodings with the yuv444p10le pixel format.
VLC plays the H264 video correctly, but the colours are played back incorrectly on the AV1 video

yuv420p10le video encoded in the same way plays back correctly.
I do not believe this to be an encoder problem, as web browsers (Firefox and Chromium) and ffplay were able to play the yuv444p10le video back correctly just fine

This occurs both on VLC v3.0.21 and nightly as of 2024-08-25, and also occurs on both Linux and Windows.
Hardware accelerated decoding is disabled (and would not help, because my hardware cannot decode AV1)

Sample files:

• av1.webm vs h264.mp4
• What I see: av1.png vs h264.png

Above videos were encoded with ffmpeg commands:

ffmpeg -i source.mkv -colorspace bt709 -an -c:v librav1e -speed 9 -tiles 24 -pix_fmt yuv444p10le -qp 96 av1.webm
ffmpeg -i source.mkv -colorspace bt709 -an -c:v libx264 -preset veryslow -pix_fmt yuv444p10le -crf 20 h264.mp4

ffprobe:

Stream #0:0: Video: av1 (libdav1d) (High), yuv444p10le(tv, bt709/bt709/iec61966-2-1, progressive), 2560x1440 [SAR 1:1 DAR 16:9], 60 fps, 60 tbr, 1k tbn
Stream #0:0[0x1](und): Video: h264 (High 4:4:4 Predictive) (avc1 / 0x31637661), yuv444p10le(tv, bt709/bt709/iec61966-2-1, progressive), 2560x1440 [SAR 1:1 DAR 16:9], 59666 kb/s, 60 fps, 60 tbr, 15360 tbn (default)