Assumption: Finite coverage before solving

For one specified linear correction problem:

1. all candidate corrections are parameterized by $z\in {\mathbb{C}}^n$, without omitted admissible directions;

2. the complete residual belongs to a proved finite-dimensional vector space $W$;

3. a specified linear evaluation map $E:W\to {\mathbb{C}}^m$ is injective;

4. the residual depends affinely on $z$.

Odd and even residual sectors are kept as separate graded summands.