IMO 4K77 at 4K has less fine detail than DeEd at 720p, so 1080p should be a fine option. I’m sure this will start an argument though. I don’t know much about 4K77 alternate encodes, so I can’t say much else on the subject.
Next DeEd’s are all planned to be 1080p.