Well, the official scorekeeper marks that as the batter bing on 1st base via K-e2 (Strikeout, batter reaching first on an error by the catcher).
The batter is credited on his stats with a strikeout (not an Out).
“Out” in the sense of a “strikeout”. Not “out” in the sense of no longer playing that inning.