Positivity of automorphic vector bundles on unitary Shimura varieties | Synapse