Will Sergio "Checo" Pérez get a stewards' penalty after the Hungarian GP for his pit‑lane start on 26 July 2026?

🤖 Context

YES if the official stewards' decision(s) published by the FIA for the 26 July 2026 Hungarian Grand Prix show any penalty applied to Sergio Pérez that is explicitly connected to his starting procedure or his start from the pit lane. This includes a post‑race time penalty that changes his classification, a position demotion, disqualification/exclusion, or a grid penalty for a later race. If the FIA has not published a stewards' decision by 12:00 on 27 July 2026, the stewards' decision posted on Formula1.com will be used, and if the only published action is an investigation record or a reprimand that does not alter his classification, the market resolves NO.