back to table · edit · history · where entries came from · files
As of the current version, 2026-10-27 01:11, “Attach reproducible argument-selection repair and checks”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| T494-repair-checks.json | 608 bytes | 2026-10-25 | |||||||||||||
| audit.json | 129 bytes | 2026-10-25 | |||||||||||||
| balanced-README.txt | 1189 bytes | 2026-10-27 — in this version | |||||||||||||
| balanced-checks.json | 8095 bytes | 2026-10-27 — in this version | |||||||||||||
| balanced-provenance.json | 2557 bytes | 2026-10-27 — in this version | |||||||||||||
| balanced-selection.json | 11106 bytes | 2026-10-27 — in this version | |||||||||||||
| balanced-source-research.json | 903 bytes | 2026-10-27 — in this version | |||||||||||||
| balanced_checks.py | 14289 bytes | 2026-10-27 — in this version | |||||||||||||
| balanced_generate.py | 9743 bytes | 2026-10-27 — in this version | |||||||||||||
| check.py | 17709 bytes | 2026-10-25 | |||||||||||||
| check_t494_repair.py | 4034 bytes | 2026-10-25 | |||||||||||||
| checks-evidence.json | 1770 bytes | 2026-10-26 | |||||||||||||
| checks-offline-summary.json | 1646 bytes | 2026-10-25 | |||||||||||||
| checks-stored-summary.json | 1646 bytes | 2026-10-25 | |||||||||||||
| checks.py | 9117 bytes | 2026-10-26 | |||||||||||||
2 versions of this file
|
|||||||||||||||
| generate.py | 723 bytes | 2026-10-27 — in this version | |||||||||||||
3 versions of this file
|
|||||||||||||||
| intrinsic_values.py | 10669 bytes | 2026-10-26 | |||||||||||||
| numerical-evidence.json | 209258 bytes | 2026-10-25 | |||||||||||||
| pre-balanced-generator.py | 300 bytes | 2026-10-27 — in this version | |||||||||||||
| program-checks.log | 296 bytes | 2026-10-25 | not shown as text | ||||||||||||
| selection.json | 1461 bytes | 2026-10-26 | |||||||||||||
| selection.md | 979 bytes | 2026-10-26 | |||||||||||||
| versions.json | 65 bytes | 2026-10-25 | |||||||||||||
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.
