Manuscript Em01-D@2 · Em01-D-v2.tex · section · d3b49151
Main theorem
The fixed-kernel decision problem › Main theorem · lines 264–272
The exact translation distribution is constructed in Section sec:translation. Its complete origin-germ certificate is defined in Section sec:certificate. The certificate is a condition on the actual complete distribution, not on a selected branch or a polynomial-degree presentation.