Towards the non-perturbative completion of 4d 𝒩 = 1 effective theories of gravity | Synapse