Phenomenal Presence and Ground-Manifestation: From Alpha-Grounded Qualia to the Manifestation Theorem Paper 66 of the NEMS Suite
Zenodo (CERN European Organization for Nuclear Research) September 13, 2026 DOI: 10.5281/zenodo.22733282 (opens in new tab)
Study at a glance
AI-extracted from the abstract| Characteristics | Theoretical or philosophical paper Peer reviewed |
|---|---|
| Key points | Argues that known qualia are "Alpha-manifestations"—phenomenally present, irreducible, Alpha-grounded content in ground-mode—and proves a non-collapse theorem that not all Alpha-grounded entities are Alpha-manifestations. The proofs are machine-checked in Lean, with the non-collapse result resting on a formal existential witness class the authors identify as a disputable assumption. |
Abstract
Paper 65 proved that known qualia are irreducible semantic content whose actuality is Alpha-grounded. That result establishes grounding but does not yet establish manifestation: the thesis that qualia are the phenomenal manifestation of Alpha-grounded actuality. The present paper closes that gap. We define phenomenal presence independently of ground-mode, prove that known qualia have phenomenal presence, and prove the bridge theorem: phenomenally present, irreducible, Alpha-grounded content is in ground-mode. We then define Alpha-manifestation as ground-mode with phenomenal presence and prove that known qualia are Alpha-manifestations. We prove the non-collapse theorem: there exist Alpha-grounded entities that are not Alpha-manifestations. The paper proves both the manifestation bridge for phenomenally present irreducible Alpha-grounded content and the non-collapse claim that not all Alpha-grounded reality is manifested phenomenally. Machine-checked in \pathGroundManifestation, reflexive-closure-lean . This overview presents the core NEMS theorem engine and selected applications; stronger domain-specific derivation and ontological synthesis claims belong to separate release surfaces with their own premise bundles and formal artifacts. Trust boundary. Non-collapse requires the formal existential witness class in Lean (Alpha-grounded but not awareness-accessed); dispute that structural assumption if you dispute the theorem's ontology of the ledger. See .