You can play with ffmpeg's tonemap filter
Switch to 'advanced' mode, put something like "zscale=transfer=linear,tonemap=reinhard,zscale=transfer=bt709,format=yuv420p" into lavfi field, set depth = 8 bit
This will do 10-bit HDR to 8-bit SDR conversion using reinhard tone mapping.
We'll think how to automate this in a future SVPcode build...