NATIVE INSTRUMENT PORTAL · REPOSITORY OWNED

One object.
Many instruments.

A concise doorway into the Mathematical City. Learn the invariant, run the machines, inspect the receipts, or follow the object across its public surfaces.

Choose a route ↓ Start with Pip Open the proof →

SELECTOR K (C−6I)(C−30I)

125carrier

47ker K

.376Ωc

CARRIERV₂^⊗3dim 125

SELECTORK(C−6I)(C−30I)

KERNELE₄₇dim 47

FRACTION47/125Ωc = 0.376

CONTRACTION15/17complement bound

ROUTE BY INTENT

What do you want to do?

Each card stays independently addressable. Presentation never upgrades evidence class.

0 routesE0 exact · E1 machine · E2 simulation · E3 observation · E4 experiment

THE CITY SPINE

Same object. Different surfaces.

GitHub executes. Notion organizes. Drive preserves dossiers. Supabase serves registry/runtime state. AIMS publishes the public narrative.

GitHubEXECUTE · VERIFY · SOURCECode, tests, certificates, Pages. NotionKNOWLEDGE GRAPHLiving atlas, context, linked research pages. DriveCORPUS · DOSSIERSLong-form artifacts and certificate corpus. SupabaseREGISTRY · RUNTIMEReceipts, registries, evidence metadata. AIMSPUBLICATION · NARRATIVEReadable essays and public index.

E47

BOUNDARY

Movement never upgrades a claim.

Exact algebra, machine verification, simulation, observation, and experiment retain their own evidence classes as the object moves through the City. A beautiful interface is a doorway, not a promotion.

E0E1E2E3E4H0

One object.Many instruments.

What do you want to do?

Same object. Different surfaces.

Movement never upgrades a claim.

One object.
Many instruments.