You know, there IS a SEARCH feature on this forum that a lot of people just never bother to put to use.
I went out of my way to do some searches for you and post what I found. HAL was not originally designed nor built to be Self-Modifying for any and all possible configurations of processor, 32bit / 64 bit, GPUs, Monitors, etc.
Hal does need a little coaxing from time to time and there are many plugins available to give HAL more abilities.
I also mentioned that you might download and try SQLite Studio to view or edit HAL's database. Did you do a Search for it? Apparently not because you said you didn't know what it was. It is a Database Editor program and it is FREE. IF you just go traipsing around with it you might learn how it works. If you're not careful, you found Trash HAl's DB in a very bad way so it is wise for you to make a BACKUP of HAL's .db files BEFORE you decide to mess with SQLite Studio or Hal's Brain Editor. I'm using HAL on my monitor with HAL 7, Windows 10 and an 1 TB SSD & 1 TB RAM. The Brain Editor and HAL and Haptek's characters all word just fine.
To each their own but I'm not HAL's designer or creator nor can I make HAL 4k compliant if that even is the crux of your issue. I was just reporting what I found from my searching. Use at your own discretion.
Good luck!