back to table · edit · history · where entries came from · files · download
1126 bytes, as of the version from 2026-10-30 12:33 (current). Recorded here, not run.
{
"table": "T624",
"run": "20261030T113658Z-repair",
"skill_manifest": "agents/runs/20261030T113658Z-repair-skills/manifest.json",
"skill_sha256_local": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"skill_sha256_live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"sage": "10.9",
"numberdb": "0.1.10",
"generator_sha256": "2586de8f49b2842b0b565b1eede547105b4871f807e1d01d07fcfc090d4c8966",
"approximate_intervals_contain_direct_gamma_balls": 271,
"exact_integer_checked": true,
"stored_intervals_contain_generating_balls": 272,
"one_column_intervals_match_T28": 32,
"minimum_direct_accuracy_bits": 591,
"minimum_generator_accuracy_bits": 389,
"enumeration_matches": true,
"known_answer_controls": 3,
"corruption_control_passed": true,
"all_inputs_exact": true,
"scope": "No numerical values changed. Exact integer and half-integer inputs are enclosed by Arb, propagating all arithmetic uncertainty. Direct gamma products check the stored intervals independently of the generator recurrence, not independently of the stated volume formula."
}