I believe that's Messiah of Evil (which I haven't watched but is on my watchlist for how weird it is)

This is a damn shame. It's such a competent innovation in the single monster horror genre, with some skillful writing to boot. One of the games I point to when I want to show people how far games have come. Sad that the industry can't catch up.

Really cool! Is this derived naturally from running the solver over multiple steps or do you provide some hints to the solver based on e.g. the type of action? I'd love to see a breakdown of what the solver is optimizing for / how that gets applied to different scenarios.