The "Domestic Opening" number listed on BoxOfficeMojo for "Despicable Me 4" (2024) will be used to resolve these markets: https://www.boxofficemojo.com/release/rl2603516673/
Details
I will use the number displayed on BoxOfficeMojo, however it is defined (note: this is the domestic opening).
For simplicity, I rounded down the gross of previous films to the nearest million. These numbers (displayed in the current market options [1]) are what I will compare to the "Despicable Me 4" gross (not the full precision available elsewhere).
Example
The "Domestic Opening" for "Shrek 2" was $108,037,878.
With this gross:
The [>$107 million - Minions: The Rise of Gru] option would resolve YES.
The [>$115 million - Minions] option would resolve NO.
[1]. Exception: If I made an actual mistake copying these down (i.e. not just a difference in source), then LMK and I can correct it.