Requirement: Analytical completion of the binary target

A construction realizing the criterion analytically must add all of the following:

1. Complete consistency of forced ordered values and all actual tensor relations.

2. Exact proposed replacement kernels, their source and differentiation conventions, ordered restrictions, singular sets, and residual configuration functionals.

3. Distributional existence, compact configuration kernels, carrier admission, and every required directional descendant.

4. A specified admissible contact family and simultaneous solution of ordered-restriction, old-overlap, admission, symmetry, and anti-time-ordering equations.

5. A named continuity theorem. One possible weak target uses seminorms

   $$F⟼|{\mathrm{D}}_{{\eta }_1}\cdots {\mathrm{D}}_{{\eta }_r}F(\Psi )|$$

   on fixed-support generating families. This is not actual-stage hypocontinuity.