Hey Jacob,
Sorry to hear about the 1080p mix-up, that’s frustrating!
For Mac software to upconvert your shots to 4K using AI locally, Topaz Video AI (as Mads suggested) is a great option with impressive results, though it’s a paid tool. Another free alternative is DaVinci Resolve’s basic version, which offers AI upscaling and works offline, perfect for handling a large batch without per-shot costs. Edit your footage first, then upscale the master file for the best quality boost.
Hope that helps with your project!