linking_status
plain-language theorem explainer
linking_status assigns the epistemic label Mathematical Fact (Topology) to the claim that non-trivial topological linking occurs only in three dimensions. A researcher auditing the Recognition Science formalization cites this entry to confirm the dimensional justification for D=3. The declaration is a direct string definition with no proof obligations or computational steps.
Claim. Non-trivial topological linking of objects exists only in three spatial dimensions, classified here as a standard mathematical fact in topology (Zeeman 1963).
background
The Meta.Axioms module implements an axiom registry that partitions claims into physical postulates, well-known mathematical facts, and open problems. The registry table in the module documentation explicitly places linking_dimension_theorem under Mathematical Fact with reference to Zeeman's 1963 result on unknotting combinatorial balls. Upstream structures supply supporting context: LedgerFactorization calibrates the J function on positive reals, SpectralEmergence derives SU(3) x SU(2) x U(1) and three generations from the Q3 structure, and PhysicsComplexityStructure records the convexity of J-cost minimization.
proof idea
One-line wrapper that directly returns the string constant Mathematical Fact (Topology). No tactics or lemmas are applied; the definition simply records the epistemic status for the linking result.
why it matters
This status entry documents the topological support for T8 (D = 3 spatial dimensions) in the forcing chain. It contributes to the axiom registry summarized in the module documentation and distinguishes accepted topology results from physical postulates or T9 open problems such as missing_shift_exists. The entry aligns the framework's dimensional choice with the uniqueness properties required by the Recognition Composition Law and the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.