QualiaSpace
plain-language theorem explainer
QualiaSpace defines a simplified structure for experiential states equipped with a real-valued valence map. Researchers citing the Reality Recognition Framework's ultimate isomorphism would reference it to supply the qualia component for embedding theorems. The declaration is a direct structure with two fields that feeds the completeness proposition without further proof obligations.
Claim. A qualia space is a pair consisting of a type $S$ of experience states and a valence function $v:S→ℝ$.
background
The module sets the local theoretical setting as the final claim that a single UniversalStructure $R$ receives embeddings from physics, logic, and qualia, with the strain functional universal and scaling φ-based. UniversalStructure itself carries a state type, a recognizes relation, an existence witness for self-recognition, and a non-negative strain map. QualiaSpace supplies the experiential counterpart, with its valence field drawing on the upstream Berlyne pleasure definition that normalizes J-cost to the interval [0,1].
proof idea
This is a structure definition with an empty proof body. It directly introduces the two fields State and valence exactly as required by the downstream embedding statements.
why it matters
QualiaSpace completes the triad inside FrameworkComplete, which asserts nonempty embeddings for every PhysicsTheory, LogicSystem, and QualiaSpace into universalStructure. It thereby supports the ultimate theorem reality_recognition_framework_complete that the Reality Recognition Framework is closed. The construction aligns with the module claim that reality IS recognition and touches the T5 J-uniqueness step of the forcing chain via the valence link to J-cost.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.