IteratedOverlapBounds
Abstract
Iterated infiltrations isolate their maximal-length ordinary shuffles.
This module lifts the binary infiltration identity to a finite list of factors. It bounds every iterated overlap by the total factor length and identifies the maximal-length filtered stratum exactly with the iterated ordinary shuffles, retaining their list multiplicities.