September 2026 · Preprint · 9 pages
Septembre 2026 · Preprint · 9 pages
pysic-rs: A Validated Mathematical-Physics Engine in Rust, and What Grading It Against Closed Forms Revealed
pysic-rs : un moteur de physique mathématique validé en Rust, et ce que sa notation contre des formes closes a révélé
Mel Alvarez · HFThot Research Lab
A CPU-only mathematical-physics library covering special functions, ODE/PDE solvers, quantum mechanics, general relativity, gauge theory and topology, built around one commitment: every routine is graded against a closed form or tabulated value rather than demonstrated on a plot that looks plausible. Applying that commitment exposed eight incorrect routines in our own code — a Dirac propagator whose norm reached $3.6\times10^{57}$, an eigensolver returning the matrix diagonal, Bessel functions returning $+50.6$ for a quantity bounded by 1, and a vacuum spacetime reporting non-zero Ricci curvature. The paper analyses why the existing tests could not have failed, most starkly a Ricci-flatness test that passed a constant metric to a routine that differentiates its argument.
Une bibliothèque de physique mathématique CPU couvrant fonctions spéciales, solveurs EDO/EDP, mécanique quantique, relativité générale, théorie de jauge et topologie, construite sur un seul engagement : chaque routine est notée contre une forme close ou une valeur tabulée plutôt qu'illustrée par un graphique plausible. Cet engagement a révélé huit routines fausses dans notre propre code — un propagateur de Dirac dont la norme atteignait $3{,}6\times10^{57}$, un solveur aux valeurs propres renvoyant la diagonale, des fonctions de Bessel renvoyant $+50{,}6$ pour une quantité bornée par 1, et un espace-temps du vide à courbure de Ricci non nulle. L'article analyse pourquoi les tests existants ne pouvaient pas échouer.
Pysic-rs
Rust
PyO3
Dirac
ADM
Wheeler–DeWitt
Validation
