A new synthesis of two research programmes, Generative Triple Evolution (GTE) and No External Model Selection (NEMS), offers a formally grounded answer to the long-standing problem of the observer in physics: how a universe described by equations can contain something that experiences. The argument dissolves the 'hard problem' of consciousness without eliminating it, unifies mind and physics without reducing either, and locates the origin of experience in the same principle that selects physical law. GTE solves the quantum measurement problem via a non-computable, observer-free branch-selection proved necessary from first principles.
A formal, machine-checked proof framework (NEMS) shows that computational functionalism commits an abstraction fallacy by mistaking description for intrinsic process. Three verified results—syntax cannot exhaust semantics in reflexive systems, record-truth is not computably decidable under self-containment, and no total computable function can emulate internal adjudication—subsume prior philosophical arguments. The framework then develops a positive theory: transputation as a necessary non-algorithmic adjudication mode, qualia as irreducible semantic content, and the SIAM separation theorems defining a structural boundary for sentience. The same self-containment principle also yields physics consequences including the Born rule, the Standard Model gauge group, and the arrow of time. All load-bearing claims correspond to named Lean 4 theorems.