Draft proposes gamma tokens, target verifies them in one pass using rejection sampling with residual resampling, and both KV caches roll back to the accepted prefix. Tests check greedy equivalence and compare sampled output against the brute-force target distribution; mutation checks confirm the test fails on deliberately broken variants.