Thin-Slice Integration for Early End-to-End Proof