what I don’t understand is, that the sources are designed for treble. Has someone checked if the device supports treble, for example with TrebleChecker app ? If yes, there is a new eOS-GSI available which should than also work on your device.
I would prefer, that you check treble or xda or something else how to enable treble on the Pad4 and using the GSI
Here it is written about LOS16 GSI for Clover. So you should go this way with the eOS GSI instead of LOS16