back to table · edit · history · where entries came from · files · download
4764 bytes, as of the version from 2026-10-27 02:01 (current). Recorded here, not run.
{
"table": "T521",
"builder_run": "20261026T164353Z",
"instruction_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-natural-arguments-v2/agents/runs/20261026T164353Z-build-skills/manifest.json",
"instruction_manifest_sha256": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
}
],
"selection": {
"factor_pairs": [
[
0,
3
],
[
1,
2
],
[
0,
4
],
[
1,
3
],
[
0,
5
],
[
1,
4
],
[
2,
3
],
[
0,
6
],
[
1,
5
],
[
2,
4
]
],
"powers": [
1,
3,
5,
7
],
"entries": 40
},
"versions": {
"SageMath": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1",
"Python": "3.12.3"
},
"primary": {
"working_decimal_digits": [
150,
200
],
"stored_significant_digits": 100,
"rigour": "heuristic (agreement-checked)",
"worst_relative_precision_difference": "6.06310382359e-152",
"seconds": 40.54,
"quadrature": "mpmath tanh-sinh; Arb Bessel evaluations checked for finite values and relative radii",
"controls": [
"IKM(0,1;1)=1",
"IKM(0,2;1)=1/2"
],
"truncated_tail_absolute_bounds": {
"T=630": "3.8288166846646205156e-254",
"T=780": "1.2224637779963883154e-318"
}
},
"independent": {
"entries": 40,
"working_decimal_digits": 60,
"relative_tolerance": "1e-50",
"worst_relative_difference": "4.77261122392e-57",
"quadrature": "mpmath Bessel implementation; Gauss-Legendre after t=exp(x), -100<=x<=6",
"control": "IKM(0,2;1)=1/2",
"recurrence_checks": 14,
"closed_form_checks": 11,
"raw_identity_relative_tolerance": "1e-180",
"stored_identity_relative_tolerance": "2e-98"
},
"readback": {
"identical_decimal_strings": 40,
"ordered_selection_match": true,
"verify": "40/40 matched, 0 differing, 0 missing, 0 extra",
"independent_quadrature_repeated": true,
"identity_checks_repeated": 25
},
"dry_run": {
"exit_code": 0,
"longest_characters": 104,
"entries_block_kib_rounded": 5.7
},
"audit": {
"tid": "T521",
"title": "Bessel moments",
"findings": [],
"clean": true
},
"limitations": [
"Quadrature discretization error is not certified; precision agreement is heuristic.",
"The independent quadrature validates about 50 digits, not all 100.",
"Independent argument-selection critique has not occurred in this build stage."
],
"source_urls": {
"bbbg.pdf": "https://arxiv.org/pdf/0801.0891",
"zhou.pdf": "https://arxiv.org/pdf/1706.01068"
},
"artifact_sha256": {
"generate.py": "6f50e2a959efd804b670232fe50fdb6ab25048e388278cc83652438a94aa9cfc",
"checks.py": "0562029d386aa10a98293472aebd8e5a78db91dc0609f10a1966864b76ece5b5",
"argument-selection.md": "0f7f5baf32b846a562530b211b5083c15b1dd03b80f398334afca2226ffbb201",
"computation.jsonl": "ccea7c60787b41b3b576677e0272019dd526fbb7cd52ffdd0403e17ba0ec8b86",
"independent-checks.jsonl": "14445d1a2375fccbec22c6c144217de95afe4b14bd5a50ec919f421edeccc026",
"postfill-checks.jsonl": "bd17a965d43c123a3c1e3345ad5872e767c5e704574c530ecdbe712144d34f0e",
"dry-run.log": "271d98c40de0ba68ee050b335ef66d9b6a6d3e2e616117cdb7eb3dee8ab1f405",
"stored-document.json": "949831608f0490e8f140ac0bfc1e99de04ec411fda64e334e79a3da0a14d7b7e",
"bbbg.pdf": "6bdc9c1b09c8c3ad8741e182542aee77c26645248672a2e684a9d1a3859350c6",
"zhou.pdf": "9d20d71c7ec40770763a75f9c10d181a5940ef208b5d4ee61c804edea9d44349",
"program-check.log": "0f377be6902d9bdad7bafa6135aa2778979adc9f8521b5f0e08068e32325aaed",
"dry_run.py": "00615e002d653eb725066ef2dadde09cfe24836e4416b01f085a40e640107cc4",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"skill-manifest.json": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3"
},
"program_snippet": {
"working_digits": 150,
"relative_difference": "3.092239568776151746332593506146464328750184294943732038580929068005156870569000209281919138502656538300317853850994431957641565673870928871689846216643861093394565871262237833460504273550796158224074029529634906383527106E-151",
"passed": true
}
}