Did the NFL Miss a Josh Allen Concussion During Bills Loss to the Jets?

The New York Jets beat the Buffalo Bills in overtime, 22-16, to wrap up the NFL's first week. Jets quarterback Aaron Rodgers was injured just minutes into the game. While Rodgers only lasted one series, Bills quarterback Josh Allen played the entire game. The question is, should he have?
Does Josh Allen have a concussion?
— Ghost of Adam Gase (@GhostOfAdamGase) September 12, 2023
Why is he not pulled for this at least to get checked?
Why not? Because it only matters when it’s Miami. pic.twitter.com/8UpGWa1IlF
Allen looked like he might have hit his head on the MetLife Stadium turf on two separate occasions. One came while running the ball, the other was while he was throwing his second interception of the game.
Jordan Whitehead picks off Josh Allen for his SECOND interception of the game 🤯pic.twitter.com/n83D3Rw8RV
— ClutchPoints (@ClutchPoints) September 12, 2023
Allen looked lost on that replay, but he could have just been reacting to the interception. Still, his play for most of the second half made you wonder if something was wrong. He turned the ball over two more times after that -- another interception and then a fumble on a play where he didn't catch a snap cleanly, then ran into one of his own teammates and lost the ball.
THE JETS GET IT RIGHT BACK
— NFL (@NFL) September 12, 2023
📺: #BUFvsNYJ on ESPN/ABC
📱: Stream on #NFLPlus https://t.co/6SstXq1rq7 pic.twitter.com/5W3B5LVzTb
Whether Allen had a concussion or not is really not the point. He looked like he hit his head twice and the concussion spotters didn't raise alarm on either. He certainly should have been checked out in each instance.