Finite sampling for the actual Gamma and matched composition

The growing extractor keeps error one sixteenth while Gamma supplies three-quarter neighbor coverage. The target test density may be much smaller than that constant error. One extra source-entropy bit makes the sampler failure probability one half.

theorem Algebraic.Cutwidth.Extractor.Internal.amplifiedMatchedSampler_somewhereSampler (n L d : ℕ) (positive : 0 < L) (base : GrowingMatchedBlockRuntimeValid n d L 4) (gamma : GammaBlockSizeGuard (matchedBlockSeedBits L)) : SomewhereSampler (amplifiedMatchedSampler n L d) (2 ^ amplifiedMatchedSamplerEntropy L d) (2 ^ (5 * matchedBlockSeedBits L))⁻¹ (1 / 2)