README.md

Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory

README.md

Download original file

Original Markdown with line links

Release build tools

The active manuscript is compiled from manuscript/Paper_III_Traditional_Final.tex and its four chapter files. The checkpoint_v0.3.0 directory is preserved historical evidence. Its publication counts, source manifests, and instructions describe that checkpoint, not the current release.

Run python BUILD_PDFS.py from the package root to rebuild the current reader files after installing the documented TeX and Python dependencies. Run python VERIFY_RELEASE.py on a fresh extraction to check the final package manifest. Formal verification has its own commands under formal/ and must be run separately.

The statement register is generated from the actual chapter files used by XeLaTeX. Historical source hashes are retained in the register only as comparison records.

Other PDFs for this work

Original file and source record

This copy matches the recorded source file. Its publication here does not change the work’s review status.

SHA-256: b8a38d451482e632c36b18e1366d7aa9f0d949529a811395c0cb0a3281592b75

Original source on GitHub

Back to Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory