The Mathematical City · Research Infrastructure · v1

Research Engine

A shared evidence registry connecting independent mathematical constructions, executable validation, public scientific data and reproducible experiments.

Registered runs
…
Public metadata only
Connected consumers
8
Eight independent workflows passed the pinned evidence contract; checked 20 October 2026
Ingestion
Credential pending
Registry records are live; scheduled unattended upload not yet verified

Execution architecture

Public datasets
Provenance + checksums
E47 computation
Supabase registry
Research applications

A common contract connects the components. The pipeline is not represented as a completed empirical radar benchmark.

Research repositories

Radar
Data acquisition, complex I/Q validation and shared evidence contract
Source ↗
Time
Temporal and quantum dynamical systems · consumer checks passed
Source ↗
Genesis
Benchmarks and validation · consumer checks passed
Source ↗
E47-Kartekeya
Canonical E47 mathematical formalism · automated contract checks passed
Source ↗
E47 Electroweak
Application-specific identities · automated contract checks passed
Source ↗
E47 Foundry
Independent mathematical investigations · automated contract checks passed
Source ↗

Connected engines and instruments

Curated entry points to existing repository engines. These links preserve the original source of truth. Browser previews are isolated launch surfaces, not claims of shared backend execution.

Quantum Clock & TQGNN

Time · interactive browser engine

Protected-clock dynamics, quantum time, network evolution and browser validation.

Launch engine ↗Inspect code ↗

Generic Spectral Contraction

E47-Kartekeya · Python numerical engine

Domain-agnostic constraint-to-kernel projector and attracting contraction compiler.

Inspect engine ↗Python source

Bismuth Playground

bi-a7-semimetal-proofs · browser visualizer

Material model selection, energy controls, eigenstates and density-of-states exploration.

Open published URL ↗Inspect code ↗Mirrored static deployment · live audit pending

Foundry Spectral Engine

E47-Foundry-Lifetime-Intersection · Python

Independent lifetime-intersection formalism and its E47 spectral validation implementation.

Inspect engine ↗Python source

PiP Manta

E47-Kartekeya · interactive research interface

Existing Mathematical City research instrument, maintained in the canonical E47 repository.

Launch instrument ↗

Radar Spectral Statistics

Radar · Python research package

Occupancy, contraction residuals, real I/Q acquisition audits and empirical benchmark scaffolding.

Inspect engine ↗View evidence ↗

Connected pages and research surfaces

Direct outbound routes to published instruments, repositories, validation histories and public evidence. These are independent destinations, not embedded claims of shared execution.

Moment Ladder

Published spectral selection and arithmetic research instrument. Live HTTP 200 confirmed by the GitHub Actions link audit.

Open instrument ↗

Bismuth

Material models and browser playground. A static copy of the source application is published through the Mathematical City site while the original repository’s Pages deployment remains disabled.

Published URL ↗Source ↗

Destination verification

Source audit · 20 October 2026. The GitHub repositories, engine source paths, contract workflow files, and Radar manifest linked on this page were checked against repository contents. E47 Planetarium and PiP Manta files were found under website/interfaces/ in E47-Kartekeya; the published site routes are preserved.

GitHub Actions live link audit verified 26 of 27 outbound URLs on 20 October 2026. The sole failing URL was the original Bismuth Pages route (404). A same-site static mirror now replaces that destination; its deployment is subject to the next live audit. GitHub source existence does not guarantee Pages deployment. Unverified links remain available rather than being silently removed.

Distributed computational network

Nine repositories share one versioned evidence contract. Eight consumer workflows execute independently, validate the public registry, and publish commit-linked integration receipts. The native scientific engines remain in their source repositories.

Topology and authority

Radar publishes the shared contract and dataset provenance. E47-Kartekeya supplies the canonical spectral construction; Time, Genesis, Foundry, Electroweak, Bismuth and other repositories retain their domain-specific computation. The website presents read-only state.

Read the machine-readable distributed manifest ↗ · Inspect distributed validation ↗

Integration receipts attest contract checks, not cross-engine numerical parity. Receipts are GitHub Actions artifacts retained for 30 days. Registry records are loaded live below. A recorded ingestion test is distinct from verified scheduled unattended ingestion; the latter remains unverified.

Verified consumer runs: E47-Kartekeya · E47 Electroweak · E47 Foundry. Each produced a commit-linked consumer receipt against Radar contract 46f696fd9479e4dcade7ffb0c79ac7978f6a9bf6.

Live evidence registry

Registry metadata is loaded directly from the public API. A smoke-test receipt confirms an ingestion test, not recurring scheduled authentication. Consumer checks establish schema compatibility, not cross-engine numerical equivalence.

Connecting to read-only registry…

RunProducerEvidenceAlgorithmRecorded

Read-only, metadata-only endpoint. No raw measurements, private artifacts, secrets or full experimental results are published here.

Independent scientific comparison

Compare evidence from autonomous instruments without changing their mathematical implementations. Each repository retains its own methods, tests and conclusions.

Radar spectral statistics ↗ · E47 spectral engine ↗ · Time / TQGNN engine ↗

Comparative numerical parity and labeled radar performance require separate, matched experiments. No such result is implied by the integration receipts.

What the evidence establishes

Exact mathematics

Projector identities and contraction laws can be verified independently of a physical radar dataset.

Algebraic validation
Real I/Q acquisition

Authentic complex samples establish acquisition, not calibrated FMCW geometry or labeled target detection.

Descriptive measurements
Measured detector advantage

Requires verified labels, phase-preserving encoding, recording-safe evaluation and fair conventional baselines.

Not yet demonstrated