IECZ: Balanced 3XOR→3SAT — Size-Aware Artifact Bundle (v1.0.0)

Summary.This artifact bundle accompanies the “IECZ” note. It contains the paper PDF, the Python scripts used to generate and check instances, and a manifest for integrity checks. The bundle is meant to be citable and reproducible as a self-contained dataset. What’s inside.– main.pdf — camera-ready manuscript.– scripts/ — Python utilities (generation, checks, manifests).– MANIFEST-SHA256.txt — checksums for all files in the bundle.– README.md — how to verify and how to run the scripts. How to verify integrity. Unzip the archive. In the extracted folder, run: sha256sum -c MANIFEST-SHA256.txt (Linux/macOS) or Get-FileHash -Algorithm SHA256 (Windows) and compare. How to cite.Please cite this dataset (Zenodo DOI) together with the paper. A BibTeX entry @dataset{iecz_zenodo_v1_0_0, …} is included in CITATION.bib. License.Deposit license: CC BY 4.0.Code in scripts/ is additionally licensed under MIT (see LICENSE-CODE). The PDF and documentation are CC BY 4.0. Reproducibility note.The artifact focuses on size-aware bounds for balanced 3XOR→3SAT via a δ=0 measure-preserving translation and includes the exact scripts used to prepare the manifests and example runs.