Complex Action Theory (CAT) extends quantum mechanics by promoting the action functional from real to complex-valued: $S = S_R + i\,S_I$. The real part $S_R$ governs standard unitary dynamics, while the imaginary part $S_I \geq 0$ introduces a natural dissipation channel. How formal verification works →
The software engineering pipeline that produces this dashboard. All verification is fully reproducible — every metric, classification, and flag is computed automatically from source code.
The full verification and simulation stack — five formal verification systems, a multiphysics integration layer, a simulation engine, and this dashboard — all built from a single repository.
Physical experiments modeled, digital twins implemented, and their connection to the CAT/EPT paper equations. Each experiment validates $\tau_{\mathrm{ent}} = \int \lambda\,dt$ across a different Planckian regime.
Every equation from the CAT/EPT paper, with its verification status across all proof systems.
Browser-based physics simulations running entirely client-side. Each simulation implements a CAT/EPT experiment with interactive parameter controls. Drag to rotate 3D views, adjust sliders to explore parameter space.
The Quantum Flow DSL — a domain-specific language for expressing CAT/EPT quantum computations. Two-target compilation (Python/Wolfram), four semantic layers, 19 TLA+ formal specifications, and a verification service spanning 21,800+ lines of infrastructure.
The CAT/EPT multiphysics stack — a unified computational framework simulating physics from quantum vacuum fluctuations to cosmological structure formation through entropic proper time $\tau_{\mathrm{ent}}$ as the universal coupling variable.
Quantitative breakdown of the verification campaign across all proof systems.