Extended-Source Cross-Sector Halos in Ghost-Free Bimetric Gravity: Linear Hassan–Rosen Embedding, Nonlinear Existence Closure, and a Dynamics–Weak-Lensing Benchmark

This preprint studies an extended-source cross-sector benchmark within the known linear two-sector response of ghost-free Hassan–Rosen bimetric gravity. The analysis makes explicit the proportional-Minkowski parameter and physical source-mass dictionary, applies full Newton–Yukawa convolution to truncated NFW and Burkert halos, and computes distinct circular-dynamics, weak-lensing convergence, and tangential-shear responses under one physical Fierz–Pauli range. The manuscript also separates the exterior compact-source Vainshtein estimate from the interior mean-density consistency condition and uses exact Hassan–Rosen sector exchange of published Class-II stellar solutions to close the generic existence of regular static pure-f perfect-fluid branches, without claiming a nonlinear NFW/Burkert solution or global stability. The accompanying version-matched reproducibility archive regenerates the released numerical evidence and includes automated regression and release-integrity tests. Reproducibility archive SHA-256: 759e4251eb6f8f4c4fad0d15eea73a4fcaf96c00202792e3deba987a866e8bb5