Mod p local-global compatibility for GSp₄ (Q₏) in the ordinary case | Synapse