{ "title": "Long solutions to small equations: complete consolidated reproducibility package", "format": "longsmall-complete-consolidated-v1", "purpose": "Lossless consolidation of the complete 719-file package into 8 ZIP file entries and one implicit anc/ directory.", "contents": { "longsmall.tex": "Unchanged latest paper source; compile directly from the ZIP root.", "references.bib": "Unchanged latest bibliography.", "anc/sources.json": "All 355 programs, with original paths, language labels, full source text, permissions and SHA-256 hashes. Includes all C/C++ and shell programs and both package drivers omitted from the earlier smaller ZIP.", "anc/data.json": "All 316 fixed inputs, witness files and historical reference outputs. UTF-8 text is stored directly; the nine original gzip files use base64 to preserve their compressed bytes exactly.", "anc/documentation.json": "All 46 documentation and checksum files, including 44 Markdown documents, the GPL COPYING file and the original complete-package SHA256SUMS.", "anc/unpack_reproducibility.py": "Standalone Python 3 standard-library utility that verifies all contents and restores the complete original package. It does not execute any restored code.", "anc/manifest.json": "SHA-256 hashes of the seven other submission files, original-package identity and restoration inventory.", "anc/README.json": "These instructions." }, "restore": { "step_1": "Extract this ZIP into a new local directory.", "step_2": "From that directory, run: python3 anc/unpack_reproducibility.py", "result": "A new longsmall_reproducibility/ directory containing exactly the 719 original files, with longsmall.tex and references.bib at its root and all 717 supporting files under anc/.", "optional_output": "python3 anc/unpack_reproducibility.py --output /path/to/a/new/directory", "verify_without_writing": "python3 anc/unpack_reproducibility.py --verify-only", "list_every_original_file": "python3 anc/unpack_reproducibility.py --list", "overwrite_policy": "The utility refuses to use an existing output directory. The bundles are not downloaded and no proof programs are executed during restoration." }, "after_restore": { "working_directory": "Change to longsmall_reproducibility/ before running the following commands.", "package_checks": "python3 anc/check_package.py", "original_checksums": "sha256sum -c anc/SHA256SUMS", "build_paper": "sh anc/build.sh", "quick_computational_checks": "python3 anc/verify_quick.py", "full_computation_instructions": "Read anc/README.md, then follow the case-specific READMEs under anc/code/. Large generated datasets are regenerated by the included programs before running their exact checkers." }, "software": { "unpacking": "Python 3, standard library only.", "computations": "The same external tools as the complete original package: PARI/GP, Magma, C/C++ compilers and the Python/Sage dependencies documented in the restored READMEs. This source distribution does not bundle those external installations.", "assertions": "Do not run the certificate programs with Python -O; their assertions are part of verification." }, "scope_and_validation": { "omitted_original_files": [], "modified_original_files": [], "preservation": "All 719 original file contents, including gzip bytes and the 718-entry SHA256SUMS file, are preserved exactly. Original permissions are recorded and restored on POSIX systems.", "packaging_checks": "The distributed ZIP was extracted, restored and compared file by file with the complete source archive; package checks and all original checksums were verified.", "proof_checks": "Full proof certificates and substantial computer algebra computations were not rerun for this packaging update. Historical outputs remain historical outputs." }, "submission": { "zip_file_entries": 8, "implicit_folders": 1, "files_and_folders_total": 9, "metadata": "No explicit directory entries, archive comments, entry comments or ZIP extra fields. No nested ZIP archives.", "ancillary_extensions": [ ".json", ".py" ], "source_bundle_format": "The JSON source bundle transparently records programs in their original languages; it is not a rewrite of C/C++ or shell programs in Python.", "upload": "Upload this consolidated ZIP, before running the unpacking utility. The restored 719-file working tree is for local reproduction and exceeds the submission entry limit." }, "licensing": "All original copyright and licence notices are retained. In particular, the Denis Simon GP scripts retain their GPL notices, and the full GPL version 3 COPYING file is in documentation.json and restored to its original path. No new blanket licence is asserted." }