IndexedSchedulePromotion
Abstract
Binary front promotion lifts to one selected pair of indexed sources.
This module iterates the binary fixed-source promotion theorem over a list of factors. Schedule labels are source positions, not factor values, so repeated equal factors and repeated letters retain distinct identities.