Prediction market on kalshi. If Lane Johnson announces his retirement from the NFL before the 2027-28 NFL season start date, then the market resolves to Yes.
Resolves: 9/30/2027.