Files of Mahler measures of the Bertin $Q_k$ family

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

As of the current version, 2026-11-02 01:06, “Attach reproducible checks and evidence for the presentation repair”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 5886 bytes 2026-11-02
audit.json 111 bytes 2026-11-02
build-handoff.md 6252 bytes 2026-11-02
check_program.py 455 bytes 2026-11-02
document.json 14555 bytes 2026-11-02
dry-run.log 499 bytes 2026-11-02 not shown as text
exact-checks.log 336 bytes 2026-11-02 not shown as text
exact_checks.py 1779 bytes 2026-11-02
exterior-check.log 484 bytes 2026-11-02 not shown as text
exterior_check.py 843 bytes 2026-11-02
generate.py 6059 bytes 2026-11-02
independent-comparison.json 15213 bytes 2026-11-02
independent-evidence.log 5865 bytes 2026-11-02 not shown as text
independent_checks.py 4526 bytes 2026-11-02
numerical-evidence.json 2950 bytes 2026-11-02
numerical-values.json 42408 bytes 2026-11-02
program-check.log 203 bytes 2026-11-02 not shown as text
repair-20261102T005728Z-evidence.json 23185 bytes 2026-11-02 — in this version
repair-checks.log 679 bytes 2026-11-02 — in this version not shown as text
repair_checks.py 2449 bytes 2026-11-02 — in this version
selection-fingerprint.json 604 bytes 2026-11-02
skill-evidence.json 492 bytes 2026-11-02
stored-verification.log 472 bytes 2026-11-02 not shown as text
verify_stored.py 2211 bytes 2026-11-02

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.