re: HAL liberated from Discovery
It has been a while, but I have read all 4 books.
In 2010, HAL joined Dave’s spirit(Or whatever you want to call it) just before Discovery was destroyed.
In the book 3001: The Final Odyssey, a frozen Frank Poole is brought back to life in the year 3001.
