Decision and exact handoff

The conclusion is deliberately narrower than a joint-extension theorem. Finite regularization, canonical products on proper subdomains, and compact support control do not complete that theorem.