Large negative subspaces for positive Euler deformations
Scott Schubr

Contents
--------
main.tex             Complete mathematical manuscript.
verify_geometry.py   Exact finite progression-free and packet-support examples.

The manuscript proves the analytic prime number theorem transfer, the complete
mixed-matrix estimates, the higher-prime-power bound and the asymptotic
negative-index theorem. The Python program verifies finite examples of the
progression-free center construction and its support exclusions, including the
collision example from the introduction. Its computations use only integers
and rational numbers.

Building the manuscript
-----------------------
Use a standard LaTeX installation with the article class and the lmodern,
amsmath, amssymb, amsthm, mathtools, geometry, microtype and hyperref packages:

    pdflatex -interaction=nonstopmode -halt-on-error main.tex
    pdflatex -interaction=nonstopmode -halt-on-error main.tex

The bibliography is included in main.tex; no separate bibliography processor
or downloaded data are needed.

Running the finite examples
--------------------------
Python 3.10 or later is sufficient. No third-party modules are required.

    python verify_geometry.py
    python -O verify_geometry.py

Both commands perform the same acceptance checks and print a JSON summary.
To save a summary at a chosen location:

    python verify_geometry.py --output geometry_checks.json

The program writes no file unless --output is supplied.

Additional archive contents
---------------------------
Large negative subspaces for positive Euler deformations.pdf: complete paper.
CITATION.cff: citation metadata.
SHA256SUMS.txt: SHA-256 checksums for all other archive members.
The supplied PDF was built with Tectonic 0.17.0 and
SOURCE_DATE_EPOCH=1793386800.
