Manuscript VI@1 · VI.tex · section · b5b60afb
Required data and present status
Static audit of the proposed quantum certificate › Required data and present status · lines 2788–2859
| Required datum | Status and consequence |
|---|---|
| Required datum | Status and consequence |
| Classical action and normalization | Specified in (eq:action); source factor fixed in (eq:full-equations). |
| Classical relational prescription | Specified by the harmonic coordinate equation and its Cauchy data. |
| Classical gauge group | Formal pullbacks generated by compact vector fields supported away from the initial surface. |
| Classical second-order descent | Proved in Theorem thm:descent. |
| Switched realization on unchanged free inputs | The candidate (eq:A1g) fails by Theorem thm:plateau-obstruction. |
| Interacting BRST/BV prescription | Not supplied. A free gauge complex is not its replacement. |
| Renormalized products with the coordinate kernels | Not constructed. Classical smoothness is insufficient to establish their quantum distributional products. |
| Quantum switch identity | Not proved. The classical defect is explicit, but no quantum anomaly analysis has been performed. |
| Action counterterms | No complete list for the intended quantum order is claimed. |
| Composite counterterms | No complete list for the relational insertion is claimed. |
| Boundary and switch counterterms | Their admissibility and bounds have not been fixed sufficiently to supply a complete response catalogue. |
| Chosen radiative response and state | Not specified to the point of an evaluated quantum coefficient. |
| Finite family of radiative smearings | Not evaluated. The classical obstruction family is a different certificate. |
| Matrix and target | Not constructed. |
| Rank, minor, fit, or separator | None claimed for the quantum problem. |
Figure fig:VI-status-successors records the uncompleted quantum construction sequence, while Figure fig:VI-two-certificates distinguishes it from the evaluated classical obstruction.