Verification record

The new written coefficient audit consists of:

1. seed-chart crossed derivative placement;

2. the explicit completeness tensor ${\mathsf{B}}_{\mathrm{kin}}$;

3. its null and d'Alembertian contractions;

4. the local Klein–Gordon identity after cutoff smoothing;

5. all crossed-order-two kinetic and mass terms of $5+$;

6. the second profile moment, including its sign;

7. the positive seed density and combined factor $1/(1024{\pi }^4)$;

8. the residual-square and transverse-square test jets;

9. support isolation for the complete seven-row sum;

10. a positive admissible profile class.

The proof of the detecting coefficient does not use an unexecuted symbolic result or a theorem from the unrelated manuscript excerpts supplied with the revision request.

Actual two-pass compilation and log inspection remain necessary before submission. The source is arranged for pdfLaTeX, but successful compilation is not reported as an observed event.