Files of Normalized second moments of the lattice quantizers

back to table · edit · history · where entries came from · files

As of the current version, 2026-10-25 18:47, “Attach exact checks and evidence for the prose repair”. See the history to look at the files of an earlier one.

namesizelast changed
audit-final.json 120 bytes 2026-10-25
check.py 17709 bytes 2026-10-25
checks-attempt3.txt 446 bytes 2026-10-25
checks.py 7328 bytes 2026-10-25
dry-run-final.txt 512 bytes 2026-10-25
generate.py 5725 bytes 2026-10-25
readback-evidence.txt 293 bytes 2026-10-25
readback.py 2338 bytes 2026-10-25
repair-checks-output.json 983 bytes 2026-10-25 — in this version
repair-notes.md 2367 bytes 2026-10-25 — in this version
repair_checks.py 5008 bytes 2026-10-25 — in this version

Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.

These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.