V₂⊗³carrier dim 125Atlas clone · Ωc = 47/125 · GitHub-hosted
The Mathematical City
An executable research architecture for invariant computation. Structure is discovered. Invariance is selected. Everything else is tested.
125carrier
47kernel
15/17bound
E0/E1ceiling here
Page 02 · The object
125 → K → 47
The City opens with the executable object, not a directory of laboratories.
(C−6I)(C−30I)Casimir selectorker Kselected dim 47P₄₇ = P₆ + P₃₀ · Γ = I − εK² · ε* = 1/99144 · ρ* = 15/17
Page 03 · Instantiated world
Play the City.
One quiet client. Many instruments. Persistent computational citizens underneath.
CITY WORLD · READY
E47INVARIANT CORE
Pick a district.
Eidolon · Flight
Navigate the City as an explorable simulation surface. Instruments are places, not disconnected websites.
Page 04 · Instruments
Thirteen districts. One civic instrument.
The public surface is deliberately quiet. Enter a district through its stable City gateway, or open its primary research record directly.
Page 05 · Interface atlas
One index. Every surface keeps its lineage.
GitHub supplies stable public routes. Notion carries the primary research record. Supabase and other hosts execute current runtimes. Drive and Grok remain source and visual lineage where appropriate.
loading surfaces
Page 06 · Composition law
Labs are morphisms. The City is the operad.
P
→Γε*(P)
→P47(P)
Evidence class is invariant under composition. Cross-system mappings are typed arrows. Local failure does not silently become global refutation, and successful simulation does not silently become physical evidence.
object → operator → invariant → witness → evidence → provenance → next_action Canonical communication grammar: CITY-INVARIANT 1.0 Human promotion gate: BITHOS Runtime receipts: AETHERIS World actor layer: Eidolon
Page 07 · SEE · Citadel
Every claim has a route back to evidence.
Proof-level finite mathematics.
Executable numerical witness.
Controlled modeled behavior.
Empirical, experimental, hardware gates remain explicit.
Core references