Documentation

LeanPool.ParameterFreeGradient.V7.Proofs.Stage6StrictDeterministic.Closure

No strict deterministic method has a uniform finite query horizon on the normalized hard family.

U04--U07, with the hard transition and instance selected only after the complete affine transcript and its finite output are fixed.