This package executes only the Arbiter-authorized analytic gates G0--G6 of TEST 017. Section 14 modal/direct numerical work is deliberately withheld.
Run ./verify_analytic.sh from this directory.
The package imports, without recomputation, the source-free GP-2Q3 operator, generalized norm, and five benchmark modes. It derives the moving-embedding source coupling, proves the embedding equation is the normal-diffeomorphism Noether identity, fixes the absolute canonical trace residues, constructs the analytic retarded spectral kernel, and returns both scalar metric potentials.
- Result:
GP2S-B— the scalar response is closed, causal, positive-norm, gauge-invariant, and action-normalized, but contributes zero to the leading lensing sum and is unsuitable for the proposed halo role. - Scope: Authorized analytic gates G0–G6 only; the modal/direct numerical cross-check and TEST 020 were deliberately withheld.
- Contents: Complete analytic derivations, source couplings, retarded kernel, residues, potentials, tests, results, citations, and failure register.