The Blessed Machine

In the future, humanity lives underground. When Jacob is plagued by dreams that indicate the world above may be safe again, he and other insurgents search to uncover the truth, putting them in direct conflict with Djinn, the trusted machine meant to ensure their survival. Is the future of humanity in the cold, mechanical world underground? Or is there a lush natural world waiting on the surface?