three_is_Dspatial
plain-language theorem explainer
The natural number 3 equals D_spatial by definition inside the RS cardinality spectrum. Researchers verifying cross-domain consistency of RS primitives would cite this when confirming that the spectrum opens with the spatial dimension cardinality. The proof is a direct reflexivity reduction on the definition of Dspatial.
Claim. $3 = D_{spatial}$ where $D_{spatial}$ is the cardinality assigned to spatial dimensions in the Recognition Science spectrum.
background
The module collects witnesses that canonical RS domain cardinalities belong to the structured set generated from the small cube-generators {2,3}, configDim 5, and gap45. Dspatial is introduced as the definition Dspatial : ℕ := 3. The local setting is the claim that every member of the spectrum admits a decomposition into these RS primitives, with zero sorry or axiom in the file.
proof idea
One-line term proof that applies reflexivity to the definition Dspatial : ℕ := 3.
why it matters
The declaration fixes the spatial dimension cardinality at 3, supplying the base case for the spectrum {2,3,4,...} described in the module. It directly instantiates the forcing-chain result T8 that spatial dimensions equal 3. No downstream theorems are recorded yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.