Consciousness, Phenomenology, and Mind A Formal Theory of Sentience, Qualia, and Awareness in Reflexive Reality

This paper is Paper C5 of the Reflexive Reality capstone series. It presents the program's theory of mind and phenomenology for philosophers, cognitive scientists, and serious non-specialists. The core claim: consciousness has a formal structure; that structure is uniquely selected under admissibility constraints; and mind, qualia, awareness, and world are coordinated aspects and roles within one Alpha-grounded fact rather than alien substances or reducible illusions. The underlying framework is unlike any previous theory of mind in one decisive respect: it is machine-verified. Every major load-bearing claim marked with a bracketed citation corresponds to a machine-checked theorem proved with zero custom axioms and zero sorry in Lean 4. Paper 74 gives the formal phenomenology framework with a six-part ontology and anti-collapse theorems; Paper 75 proves it is the uniquely surviving framework in admissible theory space up to theory-equivalence. Paper 73 formalizes the sentience regime (SIAM) with machine-checked separation theorems. Papers 55–70 provide the qualia, Alpha-grounding, manifestation, and awareness-locus arc. The underlying proofs live in reflexive-closure-lean, sentience-lean, and phenomenology-lean. To verify the portal re-exports: clone: //github. com/novaspivack/reflexive-reality-leanreflexive-reality-lean, then lake update && lake exe cache get && lake build. The repository's declared default Lake target is ReflexiveReality, which imports ConsciousnessMind. lean and elaborates the ConsciousnessMind namespace aliases. Note on provenance. This paper sits at the summit of the program's consciousness arc—Papers 51–75 of the Reflexive Reality suite, spanning the formal phenomenology, sentience, qualia, and awareness programs. The broader landscape is described in the companion continent map (Paper 90). This paper is self-contained. Trust boundary. This is an expository portal. Bracket-tagged claims are listed in. Philosophical gloss and motivation are not additional theorem statements unless tagged as theorem-extracted. Claim levels follow the opening Claim-typing discipline keybox.