Local Systems on Diamonds and p-Adic Vector Bundles | Synapse