Data, code and formalization for "The wiring sets a phase-blind quantum memory's gap, the weight caps its coherence"

This archive holds the numerical data, the figure-generating code, the compiled Supplemental Material, and the Lean 4 formalization supporting the Letter "The wiring sets a phase-blind quantum memory's gap, the weight caps its coherence". The Letter itself is not included in this deposit. paper/code/ holds 268 Python producer scripts and 13 Julia scripts with the 591 JSON deposits they write, one script per computation and each deposit naming the computation it records; paper/code/README.md indexes every script against its deposit and the section of the paper that uses it. paper/figures/ holds 17 figure folders. Twelve are rendered figures: each carries the data the figure was drawn from, the plot.py that draws it, and a render_inputs.json recording the SHA-256 of every input at render time. The other five (fig_dephasing_scan, fig_double_plaquette, fig_feasibility_map, fig_mechanism_switch, fig_second_code) are source folders behind merged figures and tables, keeping compute.py and data.json as the recompute path. paper/ holds the Supplemental Material compiled as sm.pdf. The LaTeX sources, bibliography and .bbl are not included. lean/ holds the Lean 4 formalization: 77 source files with the toolchain and dependency pins, and 903 audited declarations, none using any axiom beyond propext, Classical.choice and Quot.sound; lake build is clean, 0 sorry, 0 warnings. tools/ holds the project's own gates and audits. Every number in the Letter is computed, and every result is reproducible from the archive root: python paper/code/SCRIPTNAME.py. README.md records the runtime environment (environment.yml; Project.toml for the Julia side) and the index of the parts. Not included deliberately: the reference library PDFs (their publishers' copyright), the cover letter (it names suggested referees), and the compiled Lean artifacts (lake build regenerates them).