Core Semantics is the language the theory must earn before it can answer.
This section records the structures, laws, grammars, and refusal boundaries that a coherent theory of reality must be able to carry, retype, refine, bridge, or explicitly challenge before its answers can be taken seriously.
This is not a promise to reproduce current semantics unchanged. Where established semantics works, the theory must carry it. Where established semantics breaks, the theory must retype, bridge, or replace it with reasons.
Why this is separate
Open problems test how the theory behaves where current knowledge does not yet close.
Core Semantics asks an earlier question: can the theory carry the language, structures, laws, grammars, and refusal boundaries those questions presuppose?
The two burdens belong together, but they are not the same. A theory cannot credibly answer open problems if it cannot first earn the language in which those problems are asked.
The current canonical v0.1 public projection contains 45 Core Semantics items (recovery and refusal items).
Core Semantic domains
- Mathematics — formal checkability, finite syntax, arithmetic, geometry, ZFC as object theory, bridge adequacy, and mathematical refusals.
- Physics — quantity types, dimensional algebra, unit bridges, constants, laws, regimes, and measurement.
- Life — boundary, metabolism, heredity, evolution, development, ecology, and the life–mind bridge.
- Metaphysics — being, identity, relation, causality, modality, time, truth, mind, language, value, and ultimate boundary.
Mathematics
15 Core Semantics items (recovery/refusal) covering formal checkability, finite syntax, arithmetic, geometry, ZFC as object theory, bridge adequacy, and mathematical refusals.
Physics
8 Core Semantics items covering quantity types, dimensional algebra, unit bridges, constants, laws, regimes, and measurement.
Life
10 Core Semantics items covering boundary, metabolism, heredity, evolution, development, ecology, and the life–mind bridge.
Metaphysics
12 Core Semantics items covering being, identity, relation, causality, modality, time, truth, mind, language, value, and ultimate boundary.
Core Semantics vs problem solving
The Structural Challenge Ledger asks whether the theory can express, classify, constrain, answer, defer, reclassify, or reject external stress-test challenges with reasons.
Core Semantics asks whether the theory can carry the baseline language and structures those questions require: formal reasoning, measurement architecture, life-organization grammar, reflective meaning, and metaphysical intelligibility.
Core Semantics is not a promise to reproduce established semantics unchanged.
Canonical v0.1 items
LREC-L0
Life as a Recoverable Category
Life
partial
LREC-L1
Boundary and Individuality
Life
partial
LREC-L2
Metabolism and Energy Throughput
Life
partial
LREC-L3
Encoding, Heredity, and Genotype/Phenotype Split
Life
partial
LREC-L4
Reproduction, Heredity, and Variation
Life
partial
LREC-L5
Evolution and Adaptive Search
Life
partial
LREC-L6
Morphogenesis and Development
Life
partial
LREC-L7
Tree-of-Life and Classification Structure
Life
partial
LREC-L8
Ecology and Multi-Agent Coupling
Life
partial
LREC-L9
Nervous Systems, Cognition, and Life-Mind Bridge
Life
partial
METH-R0
Reality as a Recoverable Field
Metaphysics
partial
METH-R1
Being, Existence, and Ontological Status
Metaphysics
partial
METH-R10
Value, Normativity, and Ethics
Metaphysics
partial
METH-R11
Ultimate Boundary, Closure, and the Question of Why
Metaphysics
partial
METH-R2
Identity, Difference, and Individuation
Metaphysics
partial
METH-R3
Relation, Dependence, and Grounding
Metaphysics
partial
METH-R4
Causality, Explanation, and Constraint
Metaphysics
partial
METH-R5
Modality: Possibility, Necessity, and Contingency
Metaphysics
partial
METH-R6
Time, Becoming, and Process
Metaphysics
partial
METH-R7
Truth, Knowledge, and Intelligibility
Metaphysics
partial
METH-R8
Mind, Subjectivity, and First-Person Orientation
Metaphysics
partial
METH-R9
Language, Symbol, and Narrative
Metaphysics
partial
MREC-M0
Mechanical Formal Checkability
Mathematics
partial
MREC-M1
Finite Syntax, Terms, and Proof Objects
Mathematics
partial
MREC-M2
Finite Arithmetic and Algebraic Structure
Mathematics
partial
MREC-M3
Euclidean Geometry
Mathematics
partial
MREC-M4
ZFC as Object Theory
Mathematics
partial
MREC-M5
Bridge Adequacy to Standard Mathematics
Mathematics
partial
MREF-R0
Mathematical Refusals Overview
Mathematics
not applicable
MREF-R1
Unrestricted Power Set Formation
Mathematics
not applicable
MREF-R2
Unrestricted Comprehension
Mathematics
not applicable
MREF-R3
Unrestricted Choice
Mathematics
not applicable
MREF-R4
Arbitrary Nonconstructive Existence
Mathematics
not applicable
MREF-R5
Completed Uncountable Totalities
Mathematics
not applicable
MREF-R6
Silent Contraction and Unrestricted Reuse
Mathematics
not applicable
MREF-R7
Impredicative Large-Universe Assumptions
Mathematics
not applicable
MREF-R8
Unqualified Theorem Transfer
Mathematics
not applicable
PREC-P0
Physical Quantity Types
Physics
partial
PREC-P1
Dimensional Algebra
Physics
partial
PREC-P2
Natural / Internal Unit System
Physics
partial
PREC-P3
SI / Empirical Calibration Bridge
Physics
partial
PREC-P4
Fundamental Constants
Physics
partial
PREC-P5
Core Dynamical Laws
Physics
partial
PREC-P6
Physical Regime Bridges
Physics
partial
PREC-P7
Empirical Observability and Measurement
Physics
partial