I look forward to seeing the proof that the system does not deadlock out of main store and unable to page in a memory object manager. (Plus other possible ways of painting itself into a corner.
Check out the constraints on working set low water marks, which should guarantee this if the memory object manager is correctly designed.