Hi everyone, I'm the author of this preprint. It introduces Psi-Turing Machines - a minimal introspective model aimed at addressing classical complexity barriers (relativization, natural proofs, algebraization). Formal proofs in Lean/Isabelle are included. Feedback, critique, and discussion welcome.