Skip to content

Simulation Atlas — Universum Runtime Projection

Interactive Universum Graph Filter, Prototype Solvers & Telemetry

Spine Position

Mathematics Root · Simulation Atlas & Interactive Runtime Projection

Public Status Boundary. This atlas provides an interactive filtered projection of computational models and simulations in the Universum Runtime Graph. All simulations function strictly as numerical surrogates and lattice solvers; they do not constitute physical experiments or confirmed physical laws.


1. Interactive Simulation Graph


2. Active Simulation Subsystems

2.1 Field Models

2.2 Recursive Systems

2.3 Governance & Diagnostic Bridges


3. Canonical Continuations

DirectionTarget ResourcePurpose
Simulation HubCanonical Simulation Atlas Hub →15-point typed simulation contract, solver families, and pnull=0.62 benchmark
Simulation BridgeFormalization ↔ Simulation Bridge →Diagnostic mapping between Lean 4 proofs and discrete numerical solvers
Proof GatewayLean 4 Formalization Roadmap →28 machine-verified theorem records and lemma dependency DAGs
Falsifiability MapFalsifiability Index & Negative Theorems →Quantitative failure criteria and singular Fisher information bounds
EXTERNAL REFERENCE