Quantitative bounds for compiled nonlocal games through a convergent hierarchy for sequential quantum strategies.