Long-Horizon Modular Validation Discipline