Skip to content

Computational companion v1.0

Choose a tag to compare

View all tags
@johnngy44 johnngy44 released this 08 Nov 23:03
files
b3101bf
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This archive contains exact input data, verification programs, computational certificates, dependency maps and execution records supporting the degree-four bound and the subsequent classifications in degrees one through four. It also includes the revised manuscript’s LaTeX source snapshot, an index connecting cited filenames to their locations, and detailed verification notes.

After extracting the archive, run “python3 restore_companion.py” to reconstruct and verify the complete directory tree. README.txt explains the archive’s structure, REPRODUCE.txt gives reproduction commands, and CITED_FILE_INDEX.txt locates the files cited in the paper.

This revision updates the manuscript snapshot and file mappings and includes successful restoration, integrity and exact classification-table checks. The README distinguishes fresh verification runs from preserved execution records. Not all large mathematical computations were rerun for this revision.

Assets 3
Loading