I want to highlight something you said: “solving moral philosophy is fairly hard.” I think it is only hard in a non-hyperlocal scope. I think solving moral philosophy in a hyperlocal scope is fairly easy. That is the core claim of quasi-utilitarianism and care ethics. If you only have a hyperlocal moral scope, it’s computationally trivial compared to the universal case.