Q2: a declared enlargement of the correction class

2: a declared enlargement of the correction class{ Repeat Q1 after explicitly naming the enlarged fields, derivative bound, parity sector, coefficient freedoms, quotient, and external evaluation. Completeness and, where needed, finite dimensionality must be proved anew. Under a compatible inclusion of the original class, the old finite fit persists by Proposition prop:enlargement; the global answer need not persist.}