Real Time Machine Proof Research Glacier