Manuscript XI-F@2 · XI-F-v2.tex · section · f4899be0

Six corrections to the production sheet

Scope, the two gates, and the corrections › Six corrections to the production sheet · lines 324–369

Back to manuscript

The sheet anticipated an admission proof by composition of retarded kernels, a gauge-fixing companion equal to , and a three-term sum . Each of these must be corrected before the gates can be decided.

  1. The source is local, unswitched and unramped, and the second coefficient has zero data on . Its retarded response is with the zero-data inverse, which truncates the source at . The resulting kernel has a sharp onset at in a metric slot. That onset, not the finite-rank mismatch, is the obstruction (Section sec:F1).

  2. The gauge-fixing companion is the retarded response to the order- de Donder variation . It equals with : pure gauge, zero data, supported in . Its -pairing on the plateau is zero, not (Section sec:F2).

  3. XI-E's cancellation theorem restored by hand in a parametrization with an external second coefficient . Once is generated by the response, the covariant part of is that shift. Adding , which already contains the by-hand , to counts the same term twice (Section sec:F3).

  4. The quadratic flow term of the single-field law is supplied by the response through the flatness identity . It is not added separately.

  5. The second-order parameter selected by gauge fixing is not in . Its support is . The resulting remainder is a switching term of X-A's and VI's type, with no ramp layer, and it vanishes under an explicit causal plateau condition.

  6. The identity is stated with the Einstein-shell term retained. On the gauge-fixed free shell ; the term vanishes when on , which holds for the witness and for every linearized Einstein solution. XI-A's distinction between the gauge-fixed and the Einstein shell is not erased.