A selected matching and an ansatz-feasibility problem

For several formal marked points one may take finite products of the jet and source spaces. Alternatively, one may use a finite-dimensional field ansatz on a declared auxiliary carrier and predeclared evaluation or smearing maps. Those choices must be fixed before fitting.