> Have people actually constructed a concrete example of a theory that's super deterministic in a way that violates the bell inequalities but is complex enough

> Have people actually constructed a concrete example of a theory that's super deterministic in a way that violates the bell inequalities but is complex enough to contain Turing machines driving the tests? I am not aware that such a theory exists, but the Nobel laureate Gerard 't Hooft made some possible first baby steps into this direction: Gerard 't Hooft; The Cellular Automaton Interpretation of Quantum Mechanics > https://link.springer.com/book/10.1007/978-3-319-41285-6 https://link.springer.com/book/10.1007/978-3-319-41285-6