EFTP1RCGGL: A Strict Closure Test of Galaxy Dynamics and Weak Lensing (Rotation Curves + GGL)

This record provides an audit-oriented, publication-ready archive report for Project P1, together with the tables/figures supplements that enable line-by-line verification of every quoted number. Scope Quantitative comparison under the same data and the same statistical protocol: the EFT Average‑Gravity Framework vs a minimal cold dark matter (DM) NFW baseline (DMRAZOR). Two probes and one strict consistency test: SPARC rotation curves (RC) + KiDS‑1000 galaxy–galaxy weak lensing (GGL), connected by an RC→GGL closure test under a shared RC‑bin→GGL‑bin mapping. Data and headline results (high level) Data: SPARC RC binned into 2, 295 velocity points (104 galaxies; 20 RC bins) ; KiDS‑1000 GGL ΔΣ (R) with 60 points and the full covariance (4 stellar‑mass bins × 15 R‑points). Main P1 result: EFT outperforms DMRAZOR in the joint RC+GGL fit by ΔlogLₜotal = 1155–1337 (relative to DMRAZOR), and shows stronger closure strength (EFT: ΔlogLclosure ≈ 172–281 vs DMRAZOR ≈ 127; negative‑control shuffling collapses to ≈ 6–23). Appendix B (P1A): strengthening the DM side with standardized low‑dimensional modules (DM 7+1 + DMSTD + a lensing‑systematics nuisance) does not remove EFT’s closure advantage (see Table B1 / Fig. B1). What is included in this record Bilingual release report (English CC BY 4. 0). That software record contains two runpacks under the same Concept DOI: P1 fullfitᵣunpack: reproduces the main‑text results (EFT kernel family vs DMRAZOR) and robustness sweeps. P1A fullfitᵣunpack: reproduces Appendix B (standardized DM‑baseline stress tests; superseding P1B). DOIs Release report (this record) Concept DOI: 10. 5281/zenodo. 18526334. Full reproducibility runpacks (Record B) Concept DOI: 10. 5281/zenodo. 18526286. Note: This report is a preprint and has not been peer‑reviewed.