feat: tangential/cross shear profiles + Kaiser-Squires map (weak series step 6)

[Jammy2211]

Summary

Adds the two canonical cluster weak-lensing diagnostics to autolens/weak/plot/ — step 6 of the weak-lensing series (#581): the azimuthally averaged tangential/cross shear radial profile (plot_shear_profile, with model overlay when given a FitWeak; γ_x doubles as the B-mode null test) and a Kaiser-Squires convergence-map reconstruction (plot_convergence_map, E/B-mode maps from an FFT inversion of the gridded shear field). Both use only the public .ellipticities/.phis accessors, preserving the [γ₂, γ₁] storage encapsulation.

API Changes

Added only — no existing symbol removed, renamed or changed.

• aplt.plot_shear_profile(obj, centre=, bins=, ax=, output_*) — binned γ_t/γ_x profiles of a WeakDataset or FitWeak.
• aplt.plot_convergence_map(shear_yx, shape_native=, smoothing_sigma_pixels=, ...) — Kaiser-Squires E-mode map.
• Library-internal: shear_tangential_cross_from, shear_profile_from, convergence_via_kaiser_squires_from in autolens.weak.plot.
  See full details below.

Test Plan

• Full test_autolens/ suite: 352 passed (38 weak, 6 new).
• SIS conventions: γ_t = |γ| (pure tangential), γ_x = 0 at 1e-6, binned γ_t matches θ_E/2r analytic.
• KS: peak at lens centre, E ≫ B, zero-mean (mass-sheet), and an elliptical-lens axis-parity regression test (45° lens → 47.1° map axis) that the rotation-invariant SIS tests cannot provide.

Validation checklist (--auto run — plan was not pre-approved)

• Effective level: supervised (header: supervised, cap: feature → supervised)
• Plan: on the issue (feat: tangential/cross shear profile + Kaiser-Squires map (weak series step 6) #581), written at start; one user-directed scope addition (should_simulate adoption, recorded on the issue)
• Gate: tests 352-pass · smoke n/a (additive plot surface; both workspace scripts ran end-to-end) · review human sign-off on feat: tangential/cross shear profile + Kaiser-Squires map (weak series step 6) #581 · Heart YELLOW (reason set unchanged from the set acknowledged at the weak-modeling sign-off)
• Human: ship approved on feat: tangential/cross shear profile + Kaiser-Squires map (weak series step 6) #581
• Human: merge, amend, or reject — then log the outcome

Full API Changes (for automation & release notes)

Added

• autolens.weak.plot.shear_profile_plots.shear_tangential_cross_from(shear_yx, centre) — per-galaxy (γ_t, γ_x, r) about a centre.
• autolens.weak.plot.shear_profile_plots.shear_profile_from(shear_yx, centre, bins, noise_map=) — binned profiles with standard errors.
• autolens.weak.plot.shear_profile_plots.plot_shear_profile (exported as aplt.plot_shear_profile).
• autolens.weak.plot.convergence_plots.convergence_via_kaiser_squires_from(shear_yx, shape_native, smoothing_sigma_pixels, extent=) — returns (e_mode, b_mode) aa.Array2D maps.
• autolens.weak.plot.convergence_plots.plot_convergence_map (exported as aplt.plot_convergence_map).

Migration

• None required — purely additive.

Companion workspace PR demos both plotters; merge this PR first (library-first gate). Closes #581 after both merge.

🤖 Generated with Claude Code