back to table · edit · history · where entries came from · files · download
5984 bytes, as of the version from 2026-10-29 03:43. Recorded here, not run.
{
"entries": 286,
"lens_space_types": 46,
"rational_entries": 52,
"nonrational_entries": 234,
"minimum_ball_accuracy_bits": 494,
"maximum_relative_gamma_discrepancy": "5.045855487e-150",
"working_bits": 500,
"stored_significant_digits": 100,
"exact_values": [
{
"p": 2,
"q": 1,
"u": 1,
"value": "4"
},
{
"p": 3,
"q": 1,
"u": 1,
"value": "3"
},
{
"p": 4,
"q": 1,
"u": 1,
"value": "2"
},
{
"p": 4,
"q": 1,
"u": 2,
"value": "4"
},
{
"p": 6,
"q": 1,
"u": 1,
"value": "1"
},
{
"p": 6,
"q": 1,
"u": 2,
"value": "3"
},
{
"p": 6,
"q": 1,
"u": 3,
"value": "4"
},
{
"p": 8,
"q": 1,
"u": 2,
"value": "2"
},
{
"p": 8,
"q": 1,
"u": 4,
"value": "4"
},
{
"p": 8,
"q": 3,
"u": 2,
"value": "2"
},
{
"p": 8,
"q": 3,
"u": 4,
"value": "4"
},
{
"p": 9,
"q": 1,
"u": 3,
"value": "3"
},
{
"p": 9,
"q": 2,
"u": 3,
"value": "3"
},
{
"p": 10,
"q": 1,
"u": 5,
"value": "4"
},
{
"p": 10,
"q": 3,
"u": 1,
"value": "1"
},
{
"p": 10,
"q": 3,
"u": 3,
"value": "1"
},
{
"p": 10,
"q": 3,
"u": 5,
"value": "4"
},
{
"p": 12,
"q": 1,
"u": 2,
"value": "1"
},
{
"p": 12,
"q": 1,
"u": 3,
"value": "2"
},
{
"p": 12,
"q": 1,
"u": 4,
"value": "3"
},
{
"p": 12,
"q": 1,
"u": 6,
"value": "4"
},
{
"p": 12,
"q": 5,
"u": 1,
"value": "1"
},
{
"p": 12,
"q": 5,
"u": 2,
"value": "1"
},
{
"p": 12,
"q": 5,
"u": 3,
"value": "2"
},
{
"p": 12,
"q": 5,
"u": 4,
"value": "3"
},
{
"p": 12,
"q": 5,
"u": 5,
"value": "1"
},
{
"p": 12,
"q": 5,
"u": 6,
"value": "4"
},
{
"p": 14,
"q": 1,
"u": 7,
"value": "4"
},
{
"p": 14,
"q": 3,
"u": 7,
"value": "4"
},
{
"p": 15,
"q": 1,
"u": 5,
"value": "3"
},
{
"p": 15,
"q": 2,
"u": 5,
"value": "3"
},
{
"p": 15,
"q": 4,
"u": 5,
"value": "3"
},
{
"p": 16,
"q": 1,
"u": 4,
"value": "2"
},
{
"p": 16,
"q": 1,
"u": 8,
"value": "4"
},
{
"p": 16,
"q": 3,
"u": 4,
"value": "2"
},
{
"p": 16,
"q": 3,
"u": 8,
"value": "4"
},
{
"p": 16,
"q": 7,
"u": 4,
"value": "2"
},
{
"p": 16,
"q": 7,
"u": 8,
"value": "4"
},
{
"p": 18,
"q": 1,
"u": 3,
"value": "1"
},
{
"p": 18,
"q": 1,
"u": 6,
"value": "3"
},
{
"p": 18,
"q": 1,
"u": 9,
"value": "4"
},
{
"p": 18,
"q": 5,
"u": 3,
"value": "1"
},
{
"p": 18,
"q": 5,
"u": 6,
"value": "3"
},
{
"p": 18,
"q": 5,
"u": 9,
"value": "4"
},
{
"p": 20,
"q": 1,
"u": 5,
"value": "2"
},
{
"p": 20,
"q": 1,
"u": 10,
"value": "4"
},
{
"p": 20,
"q": 3,
"u": 2,
"value": "1"
},
{
"p": 20,
"q": 3,
"u": 5,
"value": "2"
},
{
"p": 20,
"q": 3,
"u": 6,
"value": "1"
},
{
"p": 20,
"q": 3,
"u": 10,
"value": "4"
},
{
"p": 20,
"q": 9,
"u": 5,
"value": "2"
},
{
"p": 20,
"q": 9,
"u": 10,
"value": "4"
}
],
"all_symmetries_checked": true,
"all_character_products_contain_p_squared": true,
"rational_classification_checked_by_exact_cyclotomic_arithmetic": true,
"gamma_check_dps": 175,
"gamma_relative_agreement_threshold": "1e-145",
"gamma_controls": "T(2,1,1)=4; T(3,1,1)=3; T(4,1,1)=2; T(6,1,1)=1; T(5,2,1)=sqrt(5)",
"inverse_negative_control": "T(7,2,1) differs from the erroneous q-instead-of-inverse result by >0.1",
"longest_written_value": 103,
"skill_manifest": "agents/runs/20261029T032928Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"versions": {
"mpmath": "1.4.1",
"numberdb": "0.1.10"
},
"checked_stored_document": false,
"all_decimal_intervals_contain_computed_balls": true,
"manifest_sha256": "f3ffe644f05a2d8ba38978976adde3737ab5de3d1ebeb214066f311233b3080e",
"generic_dry_run": {
"passed": true,
"entries": 286,
"longest_ball_characters": 168,
"ball_block_kib": 51.6,
"log": "dry-run.log"
},
"sources": [
{
"file": "kitaoka.pdf",
"url": "https://sigma-journal.com/2022/091/sigma22-091.pdf",
"sha256": "20f84c4fc25d5088ee61abbf29426f085a93d051edd2e9e03a51737b63b5f475"
},
{
"file": "saglam.pdf",
"url": "https://www.uni-muenster.de/FB10/mjm/vol_15/mjm_vol_15_12.pdf",
"sha256": "2d7c454b7e324b85a3c9326f033e6abcfa7312adaec2308a16b9f3153b13aacd"
}
],
"source_files": {
"generate.py": "de0f419089587fc28c4ea423b129e771f852103221f5b5c80e7757eec35e88c8",
"checks.py": "5dc6cb0ff030843b6e232d15bcb3c4e3bef48d7b6703339784108dc4f98c4746",
"argument-selection.md": "590bc006e8b46f2e0b0741ae6e3a0f2dfd4c75f140dbcf4090c0cfd805574619"
},
"stored_check": "stored-evidence.json",
"stored_check_passed": true
}