Imagine you're a customs officer with a checklist of contraband items. If something isn't on your list, it passes through — even if it's genuinely dangerous. Your checklist is useful but structurally incomplete: there are categories of contraband it will never catch, no matter how long you make it. This paper proves that nonlocal games, the standard 'checklist' for detecting Bell nonlocality, have exactly this kind of blind spot. The committed claim: there exist nonlocal behaviours — correlations between distant parties that cannot be explained by shared classical randomness — which nonetheless do not violate any nonlocal game with a deterministic predicate. This is not a technicality about edge cases. The authors prove these 'game-classical but nonlocal' behaviours exist in every bipartite scenario with at least 2 inputs and 4 outputs per party. Quantum mechanics itself can produce them. To understand what's at stake, you need to know that nonlocal games are the workhorse formalism for reasoning about Bell nonlocality. A referee sends questions to two separated players; they respond without communicating; a deterministic predicate (a Boolean function) declares win or lose. If quantum-entangled players can win more often than any classical strategy allows, the game 'witnesses' nonlocality. The implicit assumption in much of the field has been that this formalism is complete — that every nonlocal behaviour violates some game. This paper kills that assumption. The proof strategy is constructive and clean. The authors characterize exactly which behaviours can violate deterministic-predicate games: those outside the 'game-classical' polytope, which they show is strictly larger than the local polytope (the set of classically explainable correlations). They then exhibit concrete quantum states and measurements producing behaviours that sit in the gap — nonlocal by Bell's theorem, but invisible to every deterministic-predicate game. The construction works for all $(X,Y \geq 2, A,B \geq 4)$ scenarios, establishing the phenomenon as generic rather than exotic. The integrity profile is strong for a foundations paper. This is a mathematical proof, not a simulation or experiment — the result is either correct or it isn't, with no statistical ambiguity. The authors position their work clearly against the classical framework (Bell inequalities, the local polytope, Fine's theorem) and against the specific formalization of nonlocal games used in computer science and quantum information. The one figure in the paper illustrates the polytope containment structure. No benchmarks to cherry-pick; the validation is deductive. What this changes is primarily conceptual, but the downstream implications are real. Nonlocal games are used in device-independent quantum key distribution, randomness certification, and complexity theory (MIP = RE). If your security proof relies on the assumption that any nonlocal resource will show up as a game violation, you have a gap. The paper does not claim existing protocols are broken — most use specific carefully chosen games — but it does show the formalism itself is not a universal detector. The obvious next step is extending to probabilistic predicates (non-Boolean scoring functions or Bell inequalities with real-valued coefficients), which the authors note would recover completeness. The question is whether the community's standard toolkit — particularly in device-independent cryptography — needs to be audited for implicit reliance on deterministic-predicate completeness. The gap between 'we use a specific game that works' and 'any game would work' is exactly where subtle vulnerabilities hide.
