Final release statement.

release statement.{ The source-level identities, support comparisons, weighted-representative residual, and elementary diagnostics are proved from the stated inputs.

The supplied later response, root, and auxiliary results are recorded on their named objects and domains. Their unresolved identifications are not replaced by a source symbol argument.

X-G and XI-G retain their original quantifiers. Applicability of XI-G to an actual matching prepared class requires a kernel comparison.

The complete-insertion, class-comparison, and admission programme remains Unresolved. This is a completed source-diagnostic proof manuscript, not a completed proof of the unresolved retarded coefficient. }