Manuscript Em02-E@1 · Em02-E-v1.tex · section · f3795050
What is identified and what is not
The quantum input gate and the first contraction target › What is identified and what is not · lines 1547–1604
The classical theory, background, clock, boundary condition, observable, and quadratic Hessian are fixed by explicit formulas. The quantum package is still incomplete.
| Input | Required specification | Present status |
|---|---|---|
| Action and background | Equations (eq:action)–(eq:vH). | Specified |
| Relational observable | Clock-slice harmonic rods and (eq:lapse), with (eq:n1)–(eq:n2). | Specified classically |
| Gauge fixing | Gauge fermion, auxiliary fields, ghost action, complete coupled quadratic operator, and its domain. | Not constructed |
| Green distributions | Retarded and advanced inverses of that operator, causal propagator, Feynman convention, component normalization. | Not constructed |
| State or parametrix | Identified two-point matrix with the required singular and spatial-decay properties. | Not selected |
| Quantum insertion | Choice of Wick/time-ordered representation and retained coupling and grading. | Not completed |
| Graph corrections | Complete scaling, covariance, causal, and gauge-compatible classification. | Not classified |
| Spatial images | Well-defined image of those graph corrections through the observable construction. | Not calculated |
| Quantum gauge identity | Breaking term and its admissible repair at the retained order. | Not verified |
Linearized Einstein–scalar quantization is a separate construction with its own gauge and field-space hypotheses Hack. Naming that construction does not select a covariance for (eq:action) and does not prove the tail bounds needed here.