back to table · edit · history · where entries came from · files · download
5014 bytes, as of the version from 2026-10-28 17:16 (current). Recorded here, not run.
{
"table": "T586",
"stage": "build-complete",
"policy_manifest": "agents/runs/20261028T165752Z-build-skills/manifest.json",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
],
"dry_run": {
"entries": 303,
"exactness": "all finite balls carry their own error bounds",
"prose": "passed",
"exact_in_disguise": "none",
"min_value_accuracy_bits": 386,
"working_bits": 493,
"seconds": 41.158989667892456,
"raw_ball_longest_characters": 167,
"raw_ball_block_kb": 62.4
},
"checks": {
"table": "T586",
"entries": 303,
"product_checks": 303,
"parity_checks": 303,
"gram_identity_checks": 202,
"gram_sign_failures": [
126,
134,
195
],
"stationary_endpoint_certificates": 100,
"mpmath_checks": {
"125_digits": 303,
"155_digits": 303
},
"shifted_intervals_rejected": 606,
"controls": "passed",
"min_independent_product_accuracy_bits": 452,
"measure": {
"entries": 303,
"longest": 104,
"longest_at": "gram:62",
"block_kb": 42.62890625
},
"cover": {
"count": 100,
"endpoint": "233",
"cover_bits": 96,
"leaf_counts": {
"origin": 1,
"monotone-exclude": 5150,
"exclude": 20945,
"root": 100
},
"leaves_sha256": "7d3f73b0126a8fd09f520f455c6ad39bd84e2a54e1b6a336e1dcedd28a995132",
"origin_second_derivative": "[5.5 +/- 0.0428]",
"origin_endpoint": "1/1024"
},
"versions": {
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1",
"flint": "3.4.0"
},
"seconds": 126.62985754013062,
"policy_manifest": "agents/runs/20261028T165752Z-build-skills/manifest.json",
"skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
"sources": {
"T583-generate.py": "175768685249b690bc1a68fa31e0d19d554e8b1441e3109a6617d1e1f0f2511a",
"T585-generate.py": "959b5b980128018096644577cc703d1df56d24795d60dbdfa2e95b19b0357ad5",
"T585-hardy_arb.pyx": "1a4263a881105a45a4024db2a619162436caa008e11a80c383f6b759b3ee506d",
"flint-doc.html": "6ede5a58cd948c508558653473fa804eacb52788c245531b961ef2fc9a3d743a",
"mpmath-doc.html": "3847675f29d36a9c9f042f57f1d485d35a7c89de52416574b11b9858b34fb1cc",
"hall.pdf": "7e46ef9755ef08b8b7f667cae3d293923a21d4aaff949689db6cac30208709e3"
},
"generator_files": {
"generate.py": "ea2c895a43040fdec88e04605785089a956a778c2f1486988ea87abf6ce536c0",
"gram.py": "ae1ff9235310a6e3dd7c68dbcafb68332d6eaf8b3883f539c7bdac0a950dc3df",
"stationary.py": "36a296ff5fdea427dd25f581b9a785cd3cf1e7cc002f633899fa4efc648411d9",
"hardy_arb.pyx": "1a4263a881105a45a4024db2a619162436caa008e11a80c383f6b759b3ee506d",
"checks.py": "b5c893f2874a1a21c8baa5e763d48c292ea32072bab270b39c749ead69ac18f3",
"argument-selection.md": "cb28c9486be1755b98d751ff74a4c9b3d619d7b540d3851148ef774e08debca4"
},
"stored_checks": {
"table": "T586",
"entries": 303,
"product_checks": 303,
"parity_checks": 303,
"gram_identity_checks": 202,
"gram_sign_failures": [
126,
134,
195
],
"stationary_endpoint_certificates": 100,
"mpmath_checks": {
"125_digits": 303,
"155_digits": 303
},
"shifted_intervals_rejected": 606,
"controls": "passed",
"min_independent_product_accuracy_bits": 452,
"measure": {
"entries": 303,
"longest": 104,
"longest_at": "gram:62",
"block_kb": 42.62890625
},
"cover": {
"count": 100,
"endpoint": "233",
"cover_bits": 96,
"leaf_counts": {
"origin": 1,
"monotone-exclude": 5150,
"exclude": 20945,
"root": 100
},
"leaves_sha256": "7d3f73b0126a8fd09f520f455c6ad39bd84e2a54e1b6a336e1dcedd28a995132",
"origin_second_derivative": "[5.5 +/- 0.0428]",
"origin_endpoint": "1/1024"
},
"versions": {
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1",
"flint": "3.4.0"
},
"seconds": 122.08199000358582,
"policy_manifest": "agents/runs/20261028T165752Z-build-skills/manifest.json",
"skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
"verify": "303/303 matched; 0 differing, 0 missing, 0 extra",
"program": "The exact three-example Programs snippet was executed and each value lay inside the corresponding 100-digit interval.",
"notes": [
"The API returns this single-parameter table as a nested Numbers mapping; checks.py handles both nested and flat forms.",
"The source annotation was corrected to one LaTeX backslash in the origin comment; numerical algorithms and values were unchanged."
]
}