Fermion QFT Verification Ledger
Exact SymPy re-derivation of every identity in a curved-spacetime fermion QFT paper
Supplementary code for Fermion quantum field theory on curved and non-inertial backgrounds in standard-Minkowski form by F. Di Pumpo, T. Asano, A. Friedrich, G. Paz and E. Giese (submitted to Phys. Rev. D, 2026).
Twenty-three self-contained scripts re-derive the manuscript’s identities with exact arithmetic (SymPy rationals, symbolic radicals, exact first-order vierbein jets) and print a pass/fail verdict per identity: 307 checks, run in continuous integration. Deliberately altered control identities are asserted to fail, so a pass is a discriminating symbolic identity rather than a numerical coincidence.
- Source: github.com/hyperion-git/paper-supplement-fqft-sm (CC BY-NC 4.0)