Spectral Causal Theory: derivations, verification, analysis, and publications.

Formal verification of the logical incompatibility between the P=NP hypothesis and the Witten-Helffer-Sjöstrand tunneling theorems in spectral geometry. Implemented in Lean 4.

Lean 4 library characterizing the algebraic structure of metastability and consolidation in stochastic systems

GNN-guided structure-aware mesh simplification framework

Cosmochrony: A Structurally Constrained Pre-Geometric Framework for Emergent Physics

The Golomb Universe

RIME: spectral, transport, accessibility, and observable-pipeline geometry for finite represented systems, with Rubik as a reproducible laboratory.

Proof of the Lifting Hypothesis [H-lift]: Kinetic-Sector Identification via Generator Suppression

BFS Shell Stratification and the Emergence of Four-Dimensional Lorentzian Geometry

Newtonian Potentials from Projective Entropy in Three Dimensions

Effective Spacetime Geometry from Admissible Non-Injective Projection

Fortitude and persistence dedicated to a worthy endeavor.

SUE-inspired benchmark testing spectral geometry, anchor alignment, and MMD refinement for weakly paired multimodal retrieval.

Operator-geometric framework for metabolic identifiability and metabolite panel design under partial observability using Human-GEM, proteomics-informed reaction weighting, and spectral geometry.

Evaluating the Riemann Hypothesis in Lean 4 via p-adic shift operators and tensor networks.

Causal Propagation and Gravitational Waves from Projective Spectral Dynamics

Controlled benchmark showing how spectral geometry diagnostics reveal embedding failures hidden by retrieval metrics.

Three Admissible Directions and Three Spatial Dimensions: A Structural Bridge Candidate between Heff ≃ C3 and the Horizontal Geometry of Heis3(R)

Reproducible verification for the paper Gap-protected spectral invariants on T^d/Z_2 (doi:10.5281/zenodo.20597195)

Emergent Metricity from Spectral Connectivity