None of the conversation so far addresses the fact that Jesus Himself categorises Judas as lost by virtue of him being a devil and a son of perdition, so definitely, unequivocably not saved.
Joh 6:70-71 Jesus answered them, "Did I not choose you, the twelve, and one of you is a devil?" (71) He spoke of Judas Iscariot, the son of Simon, for it was he who would betray Him, being one of the twelve.
Joh 17:12 While I was with them in the world, I kept them in Your name. Those whom You gave Me I have kept; and none of them is lost except the son of perdition, that the Scripture might be fulfilled.
Quote from Bible Believer's Commentary on John17:12:
While He was with the disciples, the Savior kept them in the Father's name, that is, by His power and authority, and true to Him. “None of them is lost,” said Jesus, “except the son of perdition,” that is, Judas. But this did not mean that Judas was one of those given to the Son by the Father or that he was ever a genuine believer. The sentence means this: “Those that You gave Me I have kept, and none of them is lost, but the son of perdition is lost, that the Scripture might be fulfilled.” The title “the son of perdition” means Judas was consigned to eternal ruin or damnation. Judas was not compelled to betray Christ in order to fulfill prophecy, but he chose to betray the Savior and in so doing the Scripture was fulfilled.