Question, exact claim, and debugging conventions

The question is what would be needed to upgrade each of the separated classical prescriptions to a specified quantum observable with a proved retained-order gauge identity and, where requested, a controlled regulator-removal or continuum limit.

This paper is an inventory and a collection of non-determination results. It does not close either the VI quantum certificate or the Em02-E lapse audit. Its mathematical claims are the explicit arguments below. Its source-status statements are version-qualified documentary reports.

The comparison is motivated by Cheung's classical and quantum interface records CheungVI,CheungEm02E,CheungXVIIIA,CheungXVIIIB, CheungXVIQ,CheungVIIIA,CheungVIIIB,CheungVIIIC. General constructions of relational observables, perturbative gravity, local Wick polynomials, and time-ordered products provide context BFHPR,Frob,BFR,BF,HWlocal,HWexistence. Those theories are not automatically realizations of the particular coordinate data, spatial rods, state conditions, or insertion kernels audited here.