First measurement of the Hubble constant from a combined weak-lensing and gravitational-wave standard siren analysis | Synapse