ReadCompose

Read-side composition across the read/write seam — the join that AssociativeFunctor (which needs B-threading on a shared carrier) structurally cannot express. Composes the READ halves of two optics, ignoring both write sides, and lands at the read-only join of their strengths:

 total   ∘ total   = Getter        (Accessor ∘ Accessor)
 total   ∘ partial = AffineFold    (any mix involving a PartialAccessor)
 partial ∘ total   = AffineFold
 partial ∘ partial = AffineFold
 many on either side = Fold        (ForgetfulFold fallback, List-backed)

Drives the read-collapse andThen members: the Optic trait's any-outer ∘ read-only-inner overload and the read-only-outer ∘ any-inner members on optics.Getter / optics.PickFold / optics.ForgetFold. Instances live in this companion, so they are in implicit scope for every carrier pair with no import.