V.D56 — Truncation-coherent descent

The step size lambda_n in the NF Einstein iteration is truncation-coherent if it satisfies compatibility (truncation pi_n(chi_{n+1}) = chi_n) and monotonicity (the cocycle defect norm decreases at each step).