The equality $L_{SO}=HOD$ can not be proved just in $ZF$. This is proved in the paper ``The consistency of the theory $ZF+L^1\neq HOD$'' by Szczepaniak.
Here $L^1$ refers to what you named $L_{SO}$.
Mohammad Golshani
- 32.2k
- 2
- 99
- 198