Horizon-Based Correction Logic