Scroll - Proof Recursion: Scroll’s Darwin Upgrade