EFT matching from analyticity and unitarity | Synapse