Mathematics and computational research
Formal proof structure, exact geometry and tested models. Results, assumptions and source records.
Verified representation
Two finite corpora contain 739 and 1,359 declarations. The working corpus represents 670,018,056 expanded occurrences with 1,277,896 shared nodes.
Structural coverage of the extracted corpora; article formalization remains partial.
Numerical result
Transverse damping reduces mean particle-position error from 4.98 to 4.52 voxels against Zel’dovich transport on three held-out simulation seeds.
A tested effective model, with performance similar to MUSCLE; not a new gravitational law.
Complete compiled proof graphs from two Lean corpora, their shared structure, and the limits of correspondence with a mathematical article.
Reproducible catalogue associations, a non-identifiability result, and failed ranking and uncertainty gates define what the present surveys establish.
